动态线性模拟电路多频故障诊断

本文给出一种非线性计算量较小的动态线性模拟电路多频故障诊断法。该方法采用多频激励建立的非线性故障诊断方程组及其雅克比矩阵,结构简单,计算机容易实现。非线性方程组的求解采用局部收敛的牛顿——拉普逊迭代法,速度较快。本文还研究了电路的可诊断性以及测试频率的选择问题。     

图论算法复杂性问题(一)

本文论述了图论算法复杂性的基本理论和分析方法。由它的表示式和阶的运算,可以分析一个具体问题的算法复杂性,进而明确某一具体算法的有效性。     

基于形状配准方法的研究与改进

图像配准技术是近年来发展迅速的图像处理技术之一,本文分析了基于形状配准方法的特点,并提出了一种改进的基于面的配准方法,该方法在保持基于面配准精度的同时减少了计算量。     

一种三边Switch-box的布线问题及其图论算法

本文将一种VLSI中的三边Swithc-box的布线转化为图论中的求偶图的最大非交叉匹配问题,并在文献[1]思想的基础上提出了一个求偶图的最大非交叉匹配的有效算法。该算法已在IBM PC/XT上用FORTRAN77实现。最后给了算法用于三边Switch-box布线的实例。     

一个印刷电路板布线计算机辅助设计系统

本文介绍一个实用的人机交互式印刷电路板布线系统。该系统侧重解决模似电路元件构成的单面印刷电路板布线问题。系统不仅可以设计出直接用于制版的印刷电路板版图,还可以给出标有元件图形、汉字、符号的套色元件装配图,并且可以绘出电路原理图。根据所绘电路原理图还可以自动提取元件明细表、电路连接关系表,电路基本描述文件等。     

用软件工程的方法指导研制VLSI版图CAD系统

本文研究如何用软件工程的方法指导研制VLSI版图CAD系统,并强调对其中的一些方法在使用时要加以综合和改进。在系统的分析阶段,用SA方法的“自顶向下”的思想分解系统,但允许暂不能分解的“黑箱”存在。在设计阶段,以SD方法为主,Parnas方法为辅综合处理。在从数据流图导出模块结构图的过程中,将变换与事务分析技术结合使用。在测试阶段使用了“黑盒”测试法和“渐增式”的测试过程。     

解决布线过程中通道消失分解、合并问题的一种方法

在 VLSI 积木块布图设计模式中,模块的移动会引起通道图发生变化,影响布线的进行。本文给出了一种布线方法,用此方法可保证:任给一个通道图,只要其 T 形约束图中无约束环,无论模块在布线过程中怎样平行移动,均可按照通道图正常布线。此方法已成功地应用在我们研制的 VLSI 版图 CAD 系统中。本文从理论上给予证明,并给出应用实例。     

网络图论在集成电路设计中的应用

应用图论进行集成电路布局(IC Layout)的设计,是微电子学中计算机辅助电路设计的重要发展,本文从一个侧面论述以下问题:1.大规模集成电路设计中的一些问题和概念(等级设计法中使用团图的最大划分;使用布尔方程的多层平面化)。2.以有向线段为基础的拓扑方法(用以完成集成电路设计中的逻辑和拓扑运算;设计规则的检查;设计尺寸的重设计以及设计和电路/逻辑之间一致性的检查)。最后,根据平面图定理,通过对图的回路矩阵B_(?)进行检测,以判定图的平面性作了基本说明。