دوره 2، شماره 1 - ( بهار و تابستان 92-زمان پایان: 1392 )                   جلد 2 شماره 1 صفحات 12-21 | برگشت به فهرست نسخه ها


XML English Abstract Print


Download citation:
BibTeX | RIS | EndNote | Medlars | ProCite | Reference Manager | RefWorks
Send citation to:

Implementation of a Symbolic State Space Generator for SDES Descriptions in PDETool Framework. SCJ. 2013; 2 (1) :12-21
URL: http://scj.kashanu.ac.ir/article-1-40-fa.html
فتحی رضا، عبداللهی ازگمی محمد. پیاده‏سازی یک مولد فضای حالت نمادین برای توصیف‌های سیسستم‌های تصادفی گسسته رخداد در چارچوب PDETool. نشریه علمی ترویجی محاسبات نرم. 1392; 2 (1) :12-21

URL: http://scj.kashanu.ac.ir/article-1-40-fa.html


1- کارشناس ارشد دانشگاه علم و صنعت ایران، دانشکده کامپیوتر
2- دکتری دانشگاه علم و صنعت ایران، دانشکده کامپیوتر ، azgomi@gmail.com
چکیده:   (1778 مشاهده)
بررسی مدل یکی از مهمترین روشهای درستی‌یابی سیستم‌هاست. یکی از مشکلات بررسی مدل، تولید فضای حالت است و معمولاً به دلیل بزرگ بودن فضای حالت، مشکل انفجار حالت پیش می‌آید. دلیل انفجار فضای حالت، رشد نمایی اندازه فضای حالت با تعداد متغیرهای مدل است. از راهکارهای غلبه بر این مشکل، نگهداری فضای حالت به صورت ضمنی به جای نگهداری صریح آنهاست. نگهداری فضای حالت به صورت نمادین، هزینه ذخیره‌ و پردازش فضای حالت را به مرتبه ذخیره‌سازی و پردازش گراف‌ها کاهش می‌دهد. در این مقاله، پیاده‏سازی نوینی برای تولید فضای حالت نمادین از توصیف SDES در ابزار PDETool ارائه شده است. این ابزار با هدف فراهم‌سازی یک چارچوب یکپارچه برای مدل‌سازی و تحلیل سیستم‌ها طراحی شده است و بر مبنای موتور شبیه‌‌سازی SimGine و توصیف SDES عمل می‌‌کند. در واقع، از توصیف سیستم‌های تصادفی گسسته رخداد (SDES) به عنوان صورتبندی رابط استفاده می‌گردد، که انواع مدل‌های صوری به آن تبدیل می‌شوند. در این روش، با استفاده از تولید فضای حالت نمادین به کمک گراف تصمیم دودویی مرتب کاهش‌یافته (ROBDD)، فضای حالت بسیار بزرگتری را می‌توان تولید و مدیریت کرد. در نتیجه با استفاده از این روش، تحمل‌پذیری بالاتری برای ابزار PDETool در مقابل مشکل انفجار حالت ایجاد شده است.
متن کامل [PDF 829 kb]   (1813 دریافت)    
نوع مطالعه: پژوهشي | موضوع مقاله: تخصصي
دریافت: ۱۳۹۱/۱۰/۱۶ | پذیرش: ۱۳۹۲/۱۰/۲۳ | انتشار: ۱۳۹۲/۱۲/۱۶

ارسال نظر درباره این مقاله : نام کاربری یا پست الکترونیک شما:
کد امنیتی را در کادر بنویسید

ارسال پیام به نویسنده مسئول


کلیه حقوق این وب سایت متعلق به مجله محاسبات نرم می باشد.

طراحی و برنامه نویسی : یکتاوب افزار شرق

© 2015 All Rights Reserved | Soft Computing Journal

Designed & Developed by : Yektaweb