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