Complexity Reduction in Finite State Automata Explosion of Networked System Diagnosis
محل انتشار: ماهنامه بین المللی مهندسی، دوره: 27، شماره: 1
سال انتشار: 1392
نوع سند: مقاله ژورنالی
زبان: انگلیسی
مشاهده: 727
متن کامل این مقاله منتشر نشده است و فقط به صورت چکیده یا چکیده مبسوط در پایگاه موجود می باشد.
توضیح: معمولا کلیه مقالاتی که کمتر از ۵ صفحه باشند در پایگاه سیویلیکا اصل مقاله (فول تکست) محسوب نمی شوند و فقط کاربران عضو بدون کسر اعتبار می توانند فایل آنها را دریافت نمایند.
- صدور گواهی نمایه سازی
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
JR_IJE-27-1_013
تاریخ نمایه سازی: 17 خرداد 1393
چکیده مقاله:
This research puts forward the rough finite state automata which have been represented by two variants of Binary Decision Diagram (BDD) called ROBDD and ZBDD, for networked system diagnosis. Using the suggested data structures can help us overcome the combinatorial explosion which usuallyoccurs in system diagnosis. In implementations and analysis of our experimental results, we used CUDD-Colorado University Decision Diagram package. A mathematical proof for the claimed complexity is provided which shows that ZBDD representation has superiority in space and time complexity to ROBDD representation.v
کلیدواژه ها:
نویسندگان
m Ghasemzadeh
Electrical and Computer Engineering Department, Yazd University, Yazd, Iran