دانلود ترجمه مقاله تجزیه و تحلیل ایمنی سیستمهای گسسته
ترجمه در قالب فایل Word و قابل ویرایش میباشد
سال انتشار:2013
تعداد صفحه ترجمه:21
تعداد صفحه فایل انگلیسی:6
موضوع انگلیسی :Safety analysisofdiscreteeventsystemsusingasimplified Petri
net controller
موضوع فارسی:دانلود ترجمه مقاله تجزیه و تحلیل ایمنی سیستمهای گسسته
چکیده انگلیسی:This paperdealswiththeproblemofforbiddenstatesindiscreteeventsystemsbasedonPetrinet
models. So,amethodispresentedtopreventthesystemfromenteringthesestatesbyconstructinga
small numberofgeneralizedmutualexclusionconstraints.Thisgoalisachievedbysolvingthreetypesof
IntegerLinearProgrammingproblems.Theproblemsaredesignedtoverifytheconstraintsthatsomeof
them arerelatedtoverifyingauthorizedstatesandtheothersarerelatedtoavoidingforbiddenstates.
The obtainedconstraintscanbeenforcedonthesystemusingasmallnumberofcontrolplaces.
Moreover,thenumberofarcsrelatedtotheseplacesissmall,andthecontrollerafterconnectingthemis
maximally permissive
چکیده فارسی:این مقاله بر اساس مدل شبکه پتری به مسئله حالات ممنوع در سیستم های گسسته پیشامد می پردازد. بنابراین، برای جلوگیری از داخل شدن این حالات در این سیستم، با ایجاد محدودیت های انحصار متقابل تعمیم یافته، روشی ارائه شده است. این امر با حل سه مسئله در برنامه نویسی صحیح خطی با موفقیت انجام شده است. برخی از این مسائل برای بررسی محدودیت های تایید حالات مجاز و برخی دیگر برای اجتناب از حالات ممنوع طراحی شده اند. محدودیت های به دست آمده در سیستم را می توان با استفاده از تعداد معدودی از مکان های کنترل اجرا نمود. علاوه بر این، تعداد کمان های مربوط به این مکان ها کم می باشد و کنترل کننده پس از اتصال به آنها تا حد ممکن مجاز می شود