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