Improving Variable Orderings of Taylor Expansion Diagrams Using Simulated Annealing

سال انتشار: 1383
نوع سند: مقاله کنفرانسی
زبان: انگلیسی
مشاهده: 1,461

فایل این مقاله در 5 صفحه با فرمت PDF قابل دریافت می باشد

استخراج به نرم افزارهای پژوهشی:

لینک ثابت به این مقاله:

شناسه ملی سند علمی:

ICS06_077

تاریخ نمایه سازی: 18 تیر 1391

چکیده مقاله:

Recently, a new, compact and canonical graphbased representation called Taylor Expansion Diagrams (TEDs) was introduced as an efficient representation for algebraic (or arithmetic) expressions. Taylor Expansion Diagrams are based on non-binary decomposition principle. The algebraic expression is decomposed using the Taylor series expansion with respect to its support variables. The choice of a good variable ordering is crucial in applications of TEDs. A simulated annealing approach with a new type of neighborhood is presented

نویسندگان

Pejman Lotfi-Kamran

Electrical and Computer Engineering Department, Faculty of Engineering,University of Tehran, Tehran, Iran

مراجع و منابع این مقاله:

لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :
  • R. E. Bryant, "Graph Based Algorithms for Boolean Function Manipulation", ...
  • K. S. Brace, R. Rudell, and R. E. Bryant, ":Efficient ...
  • R. E. Bryant and Y-A. Chen, :Verification of Arithmetic Functions ...
  • A. Narayan and et al., "Partitioned ROBDDs: A Compact Canonical ...
  • R. Dreschler, B. Becker, and S. Ruppertz, :The _ A ...
  • نمایش کامل مراجع