مقاله چهارچوبی برای تشخیص خاتمه پذیری قوانین فعال با استفاده از وارسی مدل مبتنی بر BDD و SAT

توجه : به همراه فایل word این محصول فایل پاورپوینت (PowerPoint) و اسلاید های آن به صورت هدیه ارائه خواهد شد

  مقاله چهارچوبی برای تشخیص خاتمه پذیری قوانین فعال با استفاده از وارسی مدل مبتنی بر BDD و SAT دارای ۱۲ صفحه می باشد و دارای تنظیمات در microsoft word می باشد و آماده پرینت یا چاپ است

فایل ورد مقاله چهارچوبی برای تشخیص خاتمه پذیری قوانین فعال با استفاده از وارسی مدل مبتنی بر BDD و SAT  کاملا فرمت بندی و تنظیم شده در استاندارد دانشگاه  و مراکز دولتی می باشد.

توجه : در صورت  مشاهده  بهم ریختگی احتمالی در متون زیر ،دلیل ان کپی کردن این مطالب از داخل فایل ورد می باشد و در فایل اصلی مقاله چهارچوبی برای تشخیص خاتمه پذیری قوانین فعال با استفاده از وارسی مدل مبتنی بر BDD و SAT،به هیچ وجه بهم ریختگی وجود ندارد

بخشی از متن مقاله چهارچوبی برای تشخیص خاتمه پذیری قوانین فعال با استفاده از وارسی مدل مبتنی بر BDD و SAT :

تعداد صفحات:۱۲

چکیده:

یکی از مهمترین مشکلات مربوط به قوانین فعال ، مسئله خاتمه ناپذیری آنهاست . تاکنون روشهای متعددی برای بررسی خاتمه پذیری قوانین فعال پیشنهاد شدهاند. بسیاری از روش های پیشنهادی محافظه کارانه عمل نموده و قادر به اظهارنظر قطعی ئر مورد خانمه ناپذیری قوانین نمی باشند. در این میان چند روش نیز با بهره گیری از وارسی مدل موفق به آنالیز خودکار و غیر محافظه کارانه خصوصیت خاتمه پذیذری قوانین فعال گشته اند. اما این روشها نیز از مشکل اصلی اکثر روشهای مبتنی بر وارسی مدل ، یعنی انفجار فضای حالت رنج می برند. همچنین اکث روشهای پیشنهادی در گذشته از استراتژی های مختلف پردازش قوانین پشتیبانی نمی نمایند. ما ر روش پیشنهادی خود به منظور اجتناب از مشکل انفجار فضای حالت ، از وارسی مدل مبتنی بر BDD و AST بهره گرفته ایم. بر اساس چهارچوب پیشنهادی ما خصوصیت خاتمه پذیری قوانین فعال تحت استراتژیهای مختلف پردازش قوانین و با استفاده از وارسی مدل قدرتمندی به نام NUSMV قابل بررسی می باشد. بعلاوه چهارچوب پیشنهادی به دلیل عدم وابستگی ساختاری به معماری پایگاه داده فعال ، به راحتی برای تمامی سیستمهای مبتنی بر قوانین فعال قابل تطبیق و استفاده است.