边界约束下的增量式布图规划算法

快速地在局部范围内调整布图已经成为一种设计需要。该文提出了一种二阶段法来实现边界约束下的增量式布图规划算法。根据已有布图规划建立松弛推移图,直观描述各模块之间"空白区"和松弛量的情况;同时建立模块交换图,记录所有具有形状相似特征的模块集合,基于这2个图进行增量式布图规划。第1阶段,基于推移图和交换图调整布图规划,使其满足边界约束。第2阶段,再次利用交换图进行互连性能优化。实验结果表明该算法在较短的时间里不仅对原有布图规划进行了有效调整满足了给定的所有的几何约束,而且还保证了芯片的面积和线长效果。     

二维布图结构的VLSI单元优化算法

针对阵列优化问题提出了一种反复“压缩”和“放松”的算法ＳＱＵＥＥＺＥＲ。此算法在每一“压缩”和“放松”过程中，首先使用“贪婪的”（ｇｒｅｅｄｙ）方法来压缩布图面积，直到面积不再减小，再对被压缩在一起的单元进行“放松”，允许布图面积适当增大，使布图的拓扑结构得以改变，然后对放松的布图再进行“压缩”和“放松”。算法对给定的初始布图反复地“压缩”和“放松”，直到满足终止条件（如几次选代过后布图面积不再减小等）为止。测试实验结果表明，本算法和“模拟退火”算法一样，具有绕开局部最优的能力，且运算速度较快。实验结果令人满意。     

一维变带宽存储矩阵子阵的方法

在科学工程计算中经常面临求解大型对称、正定、带状线性方程组 ,我们通常采用一维变带宽存储方法来储存方程组系数矩阵 ,本文采用此方法来处理系数矩阵子阵 ,这在有限元法中是很重要的     

一维变带宽存储矩阵子阵的方法

在科学工程计算中经常面求解大型对称、正定、带状线性方程组，我们通常采用一维变带宽存储方法来存储方程组系数矩阵，本采用此方法来处理系数矩阵子阵，这在有限元法中是很重要的。     

基于改进离散粒子群算法的固定边框布图规划

研究固定边框布图规划方法,提出一种改进的离散粒子群优化算法进行布图规划求解,采用一种自然数列的粒子表示方法,并设计粒子群优化算法的相关操作. 基于MCNC 和GSRC基准电路对算法性能进行验证,实验结果表明,该方法具有成功率高、寻优快等特点,能够高效解决基于固定边框布图规划问题.     

对集成电路布图设计立法保护模式的分析与思考

本文从集成电路立法保护的核心，布图设计立法保护的“交叉”模式以及此模式对计算机软件保护的启发意义三个方面进行了论述，并得出结论：布图设计立法保护的“交叉”保护模式适应并促进了集成电路工业的发展，同样具有“交叉”性特点的计算机软件也应当按照这种“交叉”保护模式单独创建一部单行法规。     

基于混合差分进化算法的VLSI布图规划

基于B*-tree布局表示法,结合差分进化算法的全局搜索能力和局部搜索,提出了一种用于VLSI布图规划的混合差分进化算法,并使用MCNC标准数据进行测试.实验结果表明该算法是有效的.     

一种E—R图自动布图方法

引用图论中平面图的概念,提出了一种E-R图自动布图的新方法。     

基于卡诺图的多变量逻辑函数化简原则的一个补充

文中从经典卡诺图化简原则出发,结合一个实际的多变量逻辑函数化简问题,经讨论给出用卡诺图进行逻辑函数化简的一个补充原则,即在卡诺图上一个圈中如有2^i（i=0,1,2…）个逻辑“1”项,则该圈中任意一个逻辑“1”项在本圈中存在而且只存在i个逻辑相邻项。     

Horn子句逻辑程序的Petri网模型

Horn 子句逻辑程序 H 可以逻辑等价地转化为 Petri 网模型 M,在 M 中从初始标识 N_0到目标变迁/g(?)形成的发射序列对应着求解 H 的调用序列,在 M 中存在变迁不变式 X≥(?),并且 X(tg)≠0是 H 有解的充要条件。     

基于不完备信息系统的分配约简的启发式算法

研究了不完备信息系统下的属性约简,基于相容关系提出一种遗传算法的分配约简算法,算法编码采用了二进制一维编码形式,比较适合地表达了遗传算子.为了加快算法的收敛,在适应值函数中引入了惩罚函数,可以保证所求约简既含较少属性又有较强支持度.在交叉规则中,采用了单点交叉,最大迭代代数被作为停止准则,算法获得较佳的搜索效果.通过实例分析,可以证明该算法是求解知识约简问题的快速有效方法.     

知识库上逻辑程序图搜索的一种启发函数

本文把A~*算法的启发搜索应用到逻辑程序的求解过程中,就逻辑程序这一特定的问题领域,构造出A~*算法相应的一种启发函数。利用该启发函数,通过A~*算法可求得逻辑程序的“最佳解”。     

分配问题的启发式算法求解

禁忌搜索算法和蚁群算法是近几年优化领域中出现的两种启发式算法.简单介绍了这两种启发式算法的基本原理,给出了应用这两种算法以及其混合算法解决分配问题的求解过程.仿真结果表明混合算法取得的结果较好.     

失效树中门重要度的算法分析

把失效树中基本事件级的重要度推广到门事件级的重要度,分析了怎样用通常的失效树算法计算门重要度,给出了计算门可靠性重要度的计算公式。并通过例子来比较改进前后的算法,说明该算法的简单实用和精确性,及其易于在计算机上实现。     

多输入多输出单边逻辑函数优化系统的设计研究

逻辑综合的作用是在功能等价的条件下减少电路中的元件数目,使电路体积减少、能耗降低、故障率下降、稳定度提高。对于超大变量多输入多输出逻辑函数优化,存储开销对输入变量呈2幂次方增长。针对多输入多输出单边逻辑函数的特性,通过引入特征矩阵和状态矢量的描述,求解多输入多输出单边逻辑函数补集,以积项扩展为基础,完成多输入多输出单边逻辑函数无冗余覆盖。编程实现了多输入多输出单边函数逻辑优化的算法,对影响单边函数逻辑优化效率的因素(输入变量数、输出变量数、积项数和无关因子)进行了分析,软件系统在奔腾1.8 MHz、512 M的计算机上通过了正确性验证与测试。测试结果表明性能良好,有效的降低了系统的存储空间和时间开销。     

CVRP问题的一种启发式算法

推广了Deniele Vigo提出的解决ACVRP的方法，给出一种解决CVRP的启发式算法，并且举例说明了这种算法的有效性与优越性。     

LSI/VLSI设计的一种方法及有关规则

本文给出了LSI/VLSI设计的一种方法,对其设计过程中的一个重要环节,即版图的设计规则展开了讨论。文中讨论了积木式布局方案中单元版图的设计方法和应注意的问题,并给出了具有实用价值的三个规则:4μm硅栅CMOS工艺设计规则,标准单元设计规则及宏单元设计规则。     

最短路算法(dijstra算法)的研究

Dijstra标号算法是求从一点到网络其它各点之间最短路的重要算法,而最小生成树是求网络各点之间相互连接的整体代价最小的算法,两者之间算法过程以及思路都不同。然而,本文对这两个算法进行研究,发现这两种算法的本质是一致的。接着对算法进行推广,一种综合算法,并应用到组播路径构造上,经对许多事例分析,发现该算法不仅很好地解决了无约束组播和有时延约束组播的近似最优解的问题,同时对部分有时延和时延抖动组合约束问题也能进行快速求解,且复杂度不超过O(kmn2)。     

一种求解翻箱问题的启发式算法

在集装箱堆场,翻箱操作不可避免,为降低翻箱次数,提高作业效率,有必要找到一种有效的方法来解决这一问题.在已知每个集装箱提箱顺序的前提下,如何安排翻箱作业顺序是典型的NP难问题.为此提出了一种启发式算法,并通过算例实验与已有算法的结果进行对比,实验结果表明本文提出的算法较优.