شماره ركورد كنفرانس :
3928
عنوان مقاله :
فشرده كردن درخت خطا بااعمال قوانين جبر بول
پديدآورندگان :
تجرد فهيمه F.Tajarod@gmail.com گروه كامپيوتر ،واحد شيراز، دانشگاه آزاد اسلامي ، شيراز ،ايران , پروين نيا الهام Parvinnia@iaushiraz.ac.ir گروه كامپيوتر ،واحد شيراز، دانشگاه آزاد اسلامي ، شيراز،ايران
كليدواژه :
جبر بول , درخت خطا , آناليز درخت خطا , دياگرام BDD , تكنيكهاي فشرده سازي
عنوان كنفرانس :
نخستين همايش ملي توسعه پژوهش در كامپيوتر و فناوري اطلاعات
چكيده فارسي :
يكي از روشهاي متداول ارزيابي قابليت امنيت و اطمينان سيستمها طراحي و تحليل درخت خطاي آنهاست. آناليز درخت خطا به دو صورت كمي و كيفي صورت ميگيرد كه در تمامي مراحل آناليز خصوصا آناليز كيفي از روابط ساده يا معادلات پيچيده رياضيات استفاده ميشود. در سيستمهاي بزرگ و پيچيده آناليز درخت بدليل حجم بالاي درخت خطا كار دشواري است. از اين رو شخص تحليلگر در تلاش براي كاهش حجم محاسبات ميكوشد حجم درخت خطا را كم كند. در اين مقاله روشهايي كه به هدف كاهش حجم درخت خطا با استفاده از روابط ساده جبر بول در مقالات ارائه شده بيان نموده و با مثالهاي متنوع تشريح مينماييم.
