کاهش فضای حالت در تکنیک بررسی مدل به کمک روش سمبولیک بهبود یافته مبتنی بر دیاگرام تصمیم گیری دودویی
- سال انتشار: 1390
- محل انتشار: اولین کنفرانس ملی دانش پژوهان کامپیوتر و فناوری اطلاعات
- کد COI اختصاصی: CSCCIT01_022
- زبان مقاله: فارسی
- تعداد مشاهده: 1431
نویسندگان
دانشگاه علوم و فنون مازندران - دانشکده فنی و مهندسی
دانشگاه علوم و فنون مازندران - دانشکده فنی و مهندسی
دانشگاه علم و صنعت ایران - دانشکده کامپیوتر
چکیده
دیاگرام تصمیمی گیری دودویی یکی از روش های سمبلیک بررسی مدل است که به صورت چشمگیری سبب بهبود کاربر تکنیک بررسی مدل شده است. دیاگرام تصمیم گیری دودویی مرتب شده دیاگرامی است که به وسیله کاهش حالات دیاگرام تصمیم گیری دودویی به دست می اید و تا حدود زایادی دیاگرام تصمیم گیری دودویی را بهبود داده است. دیاگرام تصمیم گیری دودویی مدتب شده اگر چه موجب بهبود کاربرد تکنیک بررسی مدل شده است اما هنوز هم حافظه و زمان یادی را صرف می کند. هدف ما بیان روشی است که مشکل حافظه برای دیاگرام خای تصمیمی گیری دودویی مرتب شده که در آنها انفجار حالت رخ می دهد را حل کند. گاهی واقعا نم توان تعداد حالات را بیش از حد کاهش داد زیرا ممکن است حالات سیستم به دلیل نوع ان بسیار زیاد شود در این صورت کاهش حالات ممکن است کنجر به نادیده گرفتن حالات و در نهایت شکست سیم شود. برای مفابله با این مشکل می توان به جای حاهش بیش از حد حالات بر نحوه ذخیره دیاگرام تصمیم گیری دودویی مرتب شده در حافظه تمرکز کرد. در این مقاله ما دیاگرام تصمیم گیری دودویی مرتب شده را در حافظه تا عمق K ذخیره می کنیم و در صورت نیاز قسمتی از گره های انرا هرس می کنیم تا مشکل کمبود حافظه را برطرف کنیم.کلیدواژه ها
تکنیک بررسی مدل ، انفجار حالت ، دیاگرام تصمیم گیری دودویی (BDD)مقالات مرتبط جدید
- ناوبری وسائل نقلیه زیر آبی مستقلبا استفاده الگوریتم تکرارشونده خط مشی معتبر ایمن
- استفاده از هوش مصنوعی - یادگیری عمیق برای تشخیص خطای ماشینهای دوار
- هوش مصنوعی و کاربرد آن در حمل و نقل
- طراحی و پیاده سازی کنترل کنندهPI D فازی برای اکسترودر واحد پلی اتیلن سبک خطی در PLC زیمنس
- هوش مصنوعی: تحول دنیای مدرن و آینده نگری
اطلاعات بیشتر در مورد COI
COI مخفف عبارت CIVILICA Object Identifier به معنی شناسه سیویلیکا برای اسناد است. COI کدی است که مطابق محل انتشار، به مقالات کنفرانسها و ژورنالهای داخل کشور به هنگام نمایه سازی بر روی پایگاه استنادی سیویلیکا اختصاص می یابد.
کد COI به مفهوم کد ملی اسناد نمایه شده در سیویلیکا است و کدی یکتا و ثابت است و به همین دلیل همواره قابلیت استناد و پیگیری دارد.