Complexity Reduction in Finite State Automata Explosion of Networked System Diagnosis
- سال انتشار: 1392
- محل انتشار: ماهنامه بین المللی مهندسی، دوره: 27، شماره: 1
- کد COI اختصاصی: JR_IJE-27-1_013
- زبان مقاله: انگلیسی
- تعداد مشاهده: 844
نویسندگان
Electrical and Computer Engineering Department, Yazd University, Yazd, Iran
چکیده
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کلیدواژه ها
Complexity,Finite State Automata,Networked System Diagnosis,ROBDD,مقالات مرتبط جدید
- بررسی به کارگیری سیستم ذخیره سازی انرژی با استفاده از منابع انرژی تجدیدپذیر
- اقدامات لازم برای حفاظت از محیط زیست دریایی
- ارائه طرح مبتنی بر رایانش ابری جهت ارتقاء بهره وری صنایع خودروسازی (مطالعه موردی: مدیران خودرو)
- مروری بر تکنولوژی ماکرویو برای خردایش سنگ های کمیاب
- کاربرد و بکارگیری تکنولوژی های اینترنت اشیا ، یادگیری ماشین و پردازش تصویر در امنیت و کنترل خودرو
اطلاعات بیشتر در مورد COI
COI مخفف عبارت CIVILICA Object Identifier به معنی شناسه سیویلیکا برای اسناد است. COI کدی است که مطابق محل انتشار، به مقالات کنفرانسها و ژورنالهای داخل کشور به هنگام نمایه سازی بر روی پایگاه استنادی سیویلیکا اختصاص می یابد.
کد COI به مفهوم کد ملی اسناد نمایه شده در سیویلیکا است و کدی یکتا و ثابت است و به همین دلیل همواره قابلیت استناد و پیگیری دارد.