مشاهده مشخصات مقاله
توليد فضاي حالت نمادين با کمک نمودار تصميم دودويي مرتب کاهش‌يافته براي توصيف‌هاي سيسستم‌هاي تصادفي گسسته رخداد
|
Authors |
|
|
Conference |
شانزدهمین کنفرانس ملی سالانه انجمن کامپیوتر ایران |
|
Abstract |
يکي از مشکلات بررسي مدل¬ها، توليد فضاي حالت است. به دليل بزرگ بودن فضاي حالت معمولاً مشکل انفجار حالت پيش مي‌آيد. يکي از راهکارهاي حل اين مشکل، استفاده از نمودار تصميم دودويي است. در اين روش، فضاي حالت مدل به جاي نگهداري مجموعه¬اي، به صورت نمادين نگهداري مي‌شود. نگهداري فضاي حالت به صورت نمادين، ذخيره و پردازش فضاي حالت را به ذخيره و پردازش گراف¬ها کاهش مي‌دهد که از هزينه نگهداري و پردازش مجموعه¬ها به مراتب کمتر است. در اين مقاله الگوريتمي براي توليد فضاي حالت نمادين از توصيف سيستمهاي تصادفي گسسته رخداد بدست آمده از يک مدل ارائه شده است. استفاده از توصيف سيستمهاي تصادفي گسسته رخداد که يک توصيف صوري چندگانه است، اين امکان را مي‌دهد که روش¬هاي صوري سيستم¬هاي تصادفي گسسته رخداد ديگر مثل شبکه¬هاي پتري تصادفي يا شبکه¬هاي فعاليت تصادفي و غيره را به روش صوري SDES تبديل و فضاي حالت نمادين براي آنها توليد کرد. با استفاده از توليد نمادين فضاي حالت با کمک نمودار تصميم¬گيري دودويي مرتب کاهش¬يافته، فضاي حالت بسيار بزرگتري را مي¬توان توليد کرد. در نتيجه با استفاده از اين روش، مي‌توان مشکل انفجار حالت را تخفيف داد. |
|
قیمت |
-
برای اعضای سایت : 100,000 Rial
-
برای دانشجویان عضو انجمن : 20,000 Rial
-
برای اعضای عادی انجمن : 40,000 Rial
|
خرید مقاله
|
|
.gif){kind=icon}