Skip to main content
SUPERVISOR
Farshad Tooyserkani,Jamshid Parvizian
فرشاد تویسرکانی (استاد راهنما) جمشید پرویزیان (استاد راهنما)
 
STUDENT
Abolfazl Doostparast Torshizi
ابوالفضل دوست پرست ترشیزی

FACULTY - DEPARTMENT

دانشکده مهندسی صنایع
DEGREE
Master of Science (MSc)
YEAR
1387

TITLE

Integrated Risk Analysis of Systems Based on Petri nets Analysis
Safety Engineering and its branches are undetachable elements of any systematic process in which there is an interaction between human and machine. Also, developments in systems modeling and analysis methods have increased efficiency and maneuverability of safety engineering techniques. One of such methods which originates from modeling of discrete event systems is Petri net. These nets have various kinds with different capabilities. Hence, incorporating them in reliability and safety problems makes them more flexible. On the other hand, because of static nature of many failure an alysis methods and lack of dynamic techniques in safety science, utilizing dynamic tools such as Petri nets seems to be inevitable. In this thesis, we consider three goals. Firstly, proposing a fuzzy risk analysis method based on correspondence of Stochastic Petri nets and Markov Chai secondly, proposing a novel algorithm in order to determine firing sequences of Petri nets; and finally, implementing concept of counters from linear systems point of view in the field of sequential failure analysis. In the first goal, a novel ranking algorithm which is able to handle generalized trapezoidal fuzzy numbers was presented and its capabilities in covering drawbacks of existing approaches was proved. Then, on the basis of this algorithm and introduction of some efficient risk factors our novel dynamic risk analysis was proposed. In the second goal, according to lack of a documented method in determination of firing sequences leading to sequential failures, a set of algorithms were presented and their precision was analyzed. At the end in the third goal, using DIOID algebra we analyzed linear and nonlinear systems dominating connections in Petri nets and utilized its results in calculation of sequential failure probabilities. Computational results of this method demonstrated a high reduction in computation complexity which proves capability of this technique. It noteworthy to mention that the proposed algorithms in this research are comprehensive and can be used in other fields. Results of the proposed methods demonstrate precision, accuracy, and ease of use in contrast with the existing techniques.
مهندسی ایمنی و زیرشاخه های آن اجزای جدایی ناپذیر هر فرآیند نظام مندی هستند که در آن ها ارتباطی دوسویه میان انسان و ماشین وجود دارد. از سوی دیگر، گسترش روش های نوین مدل سازی و تحلیل سیستم ها موجب افزایش کارایی و مانور پذیری تکنیک های مهندسی ایمنی گردیده اند. از جمله این روش ها که ریشه در مدل سازی سیستم های وقایع گسسته دارد می توان به انواع شبکه های پتری اشاره کرد. این شبکه ها دارای انواع گوناگون با قابلیت های متفاوت می باشند. از این رو به کارگیری آن ها در مباحث علوم ایمنی و قابلیت اطمینان انعطاف پذیری زیادی به این مباحث می بخشد. . از سوی دیگر، ایستا بودن اکثر روش های تحلیل شکست و عدم به کارگیری روش های پویا در علوم ایمنی بهره گیری از ابزارهای پویا هم چون شبکه های پتری را ضروری می سازد. در این پایان نامه سه هدف مورد توجه است. اول، ارائه یک روش آنالیز ریسک فازی بر پایه ارتباط دوسویه شبکه های پتری تصادفی و زنجیره های مارکوف؛ دوم، ارائه الگوریتمی نوین برای تعیین کلیه توالی های فایرینگ در شبکه های پتری؛ و سوم پیاده سازی مفهوم شمارنده ها از منظر سیستم های خطی در مبحث تحلیل شکست های متوالی.در اولین هدف یک الگوریتم نوین رتبه بندی اعداد فازی که قابلیت رتبه بندی اعداد فازی ذوزنقه ای عمومی را داراست ارائه گردیده و قابلیت آن در پوشش معایب رویکردهای موجود به اثبات رسید. سپس بر پایه این الگوریتم و با معرفی مجموعه ای از فاکتورهای ریسک کارا رویکرد نوین آنالیز ریسک به صورت پویا ارائه گردید. در هدف دوم، با توجه به عدم وجود روشی مدون در تعیین توالی های فایرینگ منجر به شکست های متوالی در سیستم ها مجموعه ای از الگوریتم ها ارائه شده و صحت عملکرد آن ها مورد تأیید قرار گرفت. در پایان، در هدف سوم با استفاده از جبر دیودی سیستم های خطی و غیرخطی حاکم بر اتصالات شبکه های پتری تصادفی مورد تحلیل قرار گرفته و نتایج آن در تعیین احتمالات رخداد شکست های متوالی به کار گرفته شد. نتایج حاصل از این رویکرد نوین تأثیر چشم گیری در کاهش حجم محاسبات از خود نشان داد که خود گواه توانایی این روش می باشد.لازم به ذکر است که الگوریتم های ارائه شده در این تحقیق جامع بوده و قابلیت به کار گیری در سایر حوزه ها را نیز دارا می باشند. نتایج رویکردهای ارائه شده بیان گر صحت، دقت، و سهولت اجرای این روش ها در مقایسه با روش های کنونی می باشد.

ارتقاء امنیت وب با وف بومی