سال انتشار: ۱۳۸۹

محل انتشار: شانزدهمین کنفرانس بین المللی سالانه انجمن کامپیوتر ایران

تعداد صفحات: ۶

نویسنده(ها):

رضا فتحی – دانشجوی کارشناسی ارشد نرم افزار،دانشکده کامپیوتر،دانشگاه علم و صنع
محمد عبداللهی ازگمی – استادیار گروه نرم افزار،دانشکده کامپیوتر،دانشگاه علم و صنعت ایران

چکیده:

یکی ازمشکلات بررسی مدلها تولید فضای حالت است به دلیل بزرگ بودن فضای حالت معمولا مشکل انفجار حالت پیش می اید یکی از راه کارهای حل این مشکل استفاده ازنمودار تصمیم دودویی است دراین روش فضای حالت مدل به جای نگهداری مجموعه ای بصورت نمادین نگهداری می شود نگهداری فضای حالت به صورت نمادین ذخیره و پردازش فضای حالت را به ذخیره و پردازش گراف ها کاهش میدهد که از هزینه نگهداری و پردازش مجموعه ها به مراتب کمتر است دراین مقاله الگوریتمی برای تولید فضای حالت نمادین از توصیف سیستمهای تصادفی گسسته رخداد بدست آمده از یک مدل ارایه شده است استفاده از توصیف سیستمهای تصادفی گسسته رخداد که یک توصیف صوری چندگانه است این امکان را میدهد که روشهای صوری سیستمهای تصادفی گسسته رخداد دیگر مثل شبکه های پتری تصادفی یا شبکه های فعالیت تصادفی و غیره را به روش صوری SDES تبدیل و فضای حالت نمادین برای آنها تولید کرد با استفاده ازتولید نمادین فضای حالت با کمک نمودار تصمیم گیری دودویی مرتب کاهش یافته فضای حالت بسیاربزرگتریرا می توان تولید کرد درنتیجه با استفاده از این روش می توان مشکل انفجار حالت را تخفیف داد