摘要：OBDD是一种表示和操纵布尔函数的有效方法。由于许多布尔运算都可以转换为 OBDD图的运算 ,因此 ,OBDD在集成电路设计领域 ,如逻辑综合、验证以及测试生成等 ,得到了广泛的应用。但是 ,OBDD的大小则严重依赖于变量序 ,为了实现 OBDD的有效操作 ,寻找一个好的变量序是非常重要的。基于此 ,文章提出了一个新的寻找 OBDD变量序的启发式算法 ,它通过动态计算原始输入变量的可观测性无关项来确定一个好的变量序。实验结果表明 ,对于大部分电路 。

摘要：在数字集成电路设计过程中 ,为了实现已有组件的复用 ,文章提出了一种基于多项式表示法的组件匹配算法。通过要求实现功能的多项式表示式与已有组件库的多项式表示式两者的对比 。

摘要：1994年的Northridge地震和1996年的Kobe地震带给人们的最为惨痛的教训之一就是现代钢结构焊接抗弯节点的开裂和脆性破坏。由此引发的研究所获得的成果导致了设计方法的改进。研究表明,为了改善地震多发地区刚性框架房屋的设计和施工,可以采用钢-混组合抗弯框架体系。由于钢筋混凝土的存在和组合抗弯框架刚度高的特点,内置有型钢的组合节点的变形需求比起纯钢抗弯框架节点来要小得多。而且组合梁-柱节点有着更为顺畅的传力机制和较小的应力集中。因此,组合刚框架的开发可为结构设计和施工提供了许多新的优良的结构体系。为了在保证优良的抗震性能的同时改善可施工性,本文作者设想了几种创新性的组合节点构造,并将对这几种节点构造展开研究。本文描述了作者提出的设计方法以及对试件的分析结果。

摘要：Register transfer level mapping (RTLM) algorithm for technology mapping at RT level is presented,which supports current design methodologies using high level design and design *** mapping rules implement a source ALU using target *** source ALUs and the target ALUs are all represented by the general ALUs and the mapping rules are applied in the *** mapping rules are described in a table *** graph clustering algorithm is a branch and bound algorithm based on the graph formulation of the mapping *** mapping algorithm suits well mapping of regularly structured data *** are made between the experimental results generated by 1 greedy algorithm and graphclustering algorithm,showing the feasibility of presented algorithm.

摘要：文章对数字集成电路设计中的时序分析作了一个概要的介绍。对一些时序分析算法进行了讨论 ,同时 ,指出伪路径是时序分析中的一个重要问题。因此 ,为了进行有效的时序分析 。

摘要：提出了一种寄存器传输级存储器工艺映射 ( RTLM)算法 ,该方法用目标存储模块来综合一个源存储器 ,它支持使用高层次综合和设计再利用的现代 VLSI设计方法学。存储器的映射被定义为三个子问题 ,即端口映射、字长映射和字数映射。最后 ,把这三个子问题综合起来形成完整的算法。实验结果表明 。

摘要：交通安全评价是已被国内外实践所证明的有效的预防减少交通事故方法之一，目前在我国主要应用于公路领域，为进一步推广其在城市道路系统中的应用以及相关评价方法的理论研究，首先介绍了目前国内外交通安全评价的应用情况，系统地对交通安全评价的方法体进行了分类，最后从基于安全的城市道路设计理论创新、针对城市道路特点的交通安全评价审查清单体系建立、运行速度预测模型、基于交通流安全的定量化评价模型以及城市道路安全评价效益研究等五方面提出了城市道路系统开展安全评价所需要解决的几个问题。