سال انتشار: ۱۳۸۶

محل انتشار: سیزدهمین کنفرانس سالانه انجمن کامپیوتر ایران

تعداد صفحات: ۸

نویسنده(ها):

محمد میرزائی – کارشناس ارشد دانشکده برق دانشگاه صنعتی شریف
پژمان لطفی کامران – کارشناس ارشددانشکده برق و کامپیوتر دانشگاه تهران
محمود تابنده – دانشیار دانشکده برق دانشگاه صنعتی شریف
زین العابدین نوابی شیرازی – استاد دانشکده برق و کامپیوتر، دانشگاه تهران

چکیده:

در این مقاله یک ساختمان داده یگانی برای نمایش طرح های انتقال ثبات ارائه می گردد. در حال حاضر نمایش یگانی و مبتنی بر گرافی به نام دیاگرام بسط تیلور وجود دارد. اگرچه می توان دیاگرام بسط تیلور را برای نمایش بهینه عبارت های جبری در سطح کلمه به کار گرفت، اما این دیاگرام نمی تواند عبارت های بولی در سطح کلمه (بردار) را نمایش دهد. در این مقاله تغییراتی به دیاگرام بسط تیلور اعمال می گردد که قابلیت نمایش سطح کلمه عبارت های بولی به آن افزوده می شود.