تولید فضای حالت نمادین با کمک نمودار تصمیم دودویی مرتب کاهش یافته برای توصیف های سیستم های تصادفی گسسته رخداد
محل انتشار: شانزدهمین کنفرانس سالانه انجمن کامپیوتر ایران
سال انتشار: 1389
نوع سند: مقاله کنفرانسی
زبان: فارسی
مشاهده: 1,142
فایل این مقاله در 6 صفحه با فرمت PDF قابل دریافت می باشد
- صدور گواهی نمایه سازی
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
CSICC16_122
تاریخ نمایه سازی: 28 بهمن 1390
چکیده مقاله:
یکی ازمشکلات بررسی مدلها تولید فضای حالت است به دلیل بزرگ بودن فضای حالت معمولا مشکل انفجار حالت پیش می اید یکی از راه کارهای حل این مشکل استفاده ازنمودار تصمیم دودویی است دراین روش فضای حالت مدل به جای نگهداری مجموعه ای بصورت نمادین نگهداری می شود نگهداری فضای حالت به صورت نمادین ذخیره و پردازش فضای حالت را به ذخیره و پردازش گراف ها کاهش میدهد که از هزینه نگهداری و پردازش مجموعه ها به مراتب کمتر است دراین مقاله الگوریتمی برای تولید فضای حالت نمادین از توصیف سیستمهای تصادفی گسسته رخداد بدست آمده از یک مدل ارایه شده است استفاده از توصیف سیستمهای تصادفی گسسته رخداد که یک توصیف صوری چندگانه است این امکان را میدهد که روشهای صوری سیستمهای تصادفی گسسته رخداد دیگر مثل شبکه های پتری تصادفی یا شبکه های فعالیت تصادفی و غیره را به روش صوری SDES تبدیل و فضای حالت نمادین برای آنها تولید کرد با استفاده ازتولید نمادین فضای حالت با کمک نمودار تصمیم گیری دودویی مرتب کاهش یافته فضای حالت بسیاربزرگتری را می توان تولید کرد درنتیجه با استفاده از این روش می توان مشکل انفجار حالت را تخفیف داد
کلیدواژه ها:
تولید فضای حالت نمادین ، نمودار تصمیم دودویی ، انفجار فضای حالت ، توصیف SDES ، سیستم های تصادفی گسسته رخداد
نویسندگان
رضا فتحی
دانشجوی کارشناسی ارشد نرم افزار،دانشکده کامپیوتر،دانشگاه علم و صنعت ایران
محمد عبداللهی ازگمی
استادیار گروه نرم افزار،دانشکده کامپیوتر،دانشگاه علم و صنعت ایران
مراجع و منابع این مقاله:
لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :