TAILIEUCHUNG - APPLICATIONS OF MATLAB IN SCIENCE AND ENGINEERING - PART 9

Mô hình hóa với Sự biến động đầu vào sử dụng một phương pháp tiếp cận dựa trên khoảng Sử dụng một cách tiếp cận dựa trên khoảng ISPN: mô hình hóa Stochastic Stochastic Sự biến động đầu vào | ISPN Modeling Stochastic with Input Uncertainties Using an Interval-Based Approach 413 Generation of the IERG The first of four steps of ISPN analysis is the IERG generation interval extended reachability graph . From the IERG the set of markings M T u V is divided into set of tangible markings T and vanishing V. Through the elimination of vanishing markings discussed below using methods of interval analysis we obtain the infinitesimal generator matrix O of ICTMC underlying an ISPN model. From a given ISPN an interval extended reachability graph IERG is generated containing markings as nodes and interval stochastic information attached to arcs so as to relate markings to each other. The ISPN reachability graph is a directed graph RG ISPN V E where V RS ISPN and E m t m I m m G RS ISPN and m -G m I are the set of nodes and edges respectively. If an ISPN model is bounded the RG ISPN is finite and it can be constructed for example based on Algorithm Computation of the Reachability Graph p. 61 from Girault Valk 2003 . The RG ISPN is constructed in this work using the Algorithm 1 below. The activity defined in Step ensures that no marking is visited more than once. Each visited marking is labeled Step and Step ensures that only unique added markings to V are those that were not previously added. When the marking is visited only those edges that represents the firing of an enabled transition are added to the set E Step . Algorithm 1 IERG generation Input - A ISPN model. Output - A directed graph RG ISPN V E of a limited network system. 1. Initialize RG ISPN m0 0 m0 is unlabelled. 2. while there are an unlabeled node m in V do Select an unlabeled node m G V label it for each enabled transition t in m do Calculate m such that m -G mz if there are m G V such that m -G mz and m m then the algorithm fails and ends no limitation condition was detected . if there is no m G V such that m z m then V V u m7 mz é um nó não .

TAILIEUCHUNG - Chia sẻ tài liệu không giới hạn
Địa chỉ : 444 Hoang Hoa Tham, Hanoi, Viet Nam
Website : tailieuchung.com
Email : tailieuchung20@gmail.com
Tailieuchung.com là thư viện tài liệu trực tuyến, nơi chia sẽ trao đổi hàng triệu tài liệu như luận văn đồ án, sách, giáo trình, đề thi.
Chúng tôi không chịu trách nhiệm liên quan đến các vấn đề bản quyền nội dung tài liệu được thành viên tự nguyện đăng tải lên, nếu phát hiện thấy tài liệu xấu hoặc tài liệu có bản quyền xin hãy email cho chúng tôi.
Đã phát hiện trình chặn quảng cáo AdBlock
Trang web này phụ thuộc vào doanh thu từ số lần hiển thị quảng cáo để tồn tại. Vui lòng tắt trình chặn quảng cáo của bạn hoặc tạm dừng tính năng chặn quảng cáo cho trang web này.