论文部分内容阅读
泰勒展开图是基于图的表达方式，能够有效地表示多变量多项式。提出泰勒展开图的变量替换算法和变量合并算法。并在此基础上提出一个反向构建泰勒展开图的算法，该算法用于多项式数据路径的行为描述和寄存器传输级实现之间的等价性验证。实验结果表明提出的算法是有效的。
基于泰勒展开图的数据路径高层次验证
【摘 要】
：
泰勒展开图是基于图的表达方式，能够有效地表示多变量多项式。提出泰勒展开图的变量替换算法和变量合并算法。并在此基础上提出一个反向构建泰勒展开图的算法，该算法用于多项式
【机 构】
：
黑龙江工程学院计算机科学与技术系
【出 处】
：
黑龙江工程学院学报
【发表日期】
：
2007年2期
其他文献
目的应用彩色多普勒超声研究肝硬化患者餐后肾动脉及肠系膜上动脉循环阻力变化,探讨肝硬化患者肠系膜上动脉血管舒缩与肾动脉阻力变化的关系.方法应用彩色多普勒超声分别在餐
艾滋病是人类免疫缺陷病毒(human immunodeficiency virus,HIV)感染人体后,特异性地破坏CD4+T淋巴细胞,引起机体免疫功能严重受损的获得性免疫缺陷综合征(acquired immunodef
目的应用经阴道彩色多普勒(TVS-CDFI0观察药物流产后阴道出血时间延长者子宫血流变化,并了解出血时间延长原因.方法应用TVS-CDFI观测72例药物流产后阴道出血超过15 d的患者,
基于有粘结拉-压预应力混凝土梁的变形,通过截面内力平衡方程和截面曲率协调关系,对拉-压预应力混凝土梁进行加载的全过程非线性分析,电算结果与试验结果吻合得较好,为深入研
当核心混凝土产生徐变时,会出现内力重分布现象,使钢管和混凝土的模量发生变化.文中通过研究钢管混凝土徐变的特点,分析了核心混凝土徐变对钢管混凝土轴心受压构件强度和稳定