论文部分内容阅读
讨论了逻辑电路测试生成系统中使用的一种模型数据及预处理方法，用简单的表格描述了电路的网络结构，给出了测试生成所需的要的数据，并通过对数据进行预处理，加速了测试生成过程，提高了整个系统的效率。
TGS中的一种逻辑电路模型及预处理
【摘 要】
：
讨论了逻辑电路测试生成系统中使用的一种模型数据及预处理方法，用简单的表格描述了电路的网络结构，给出了测试生成所需的要的数据，并通过对数据进行预处理，加速了测试生成过程，提
【机 构】
：
计算机科学与工程系
【出 处】
：
华中理工大学学报
【发表日期】
：
1997年8期
其他文献
介绍了用Ｃ语言编制的焊缝坡口设计与选择专家系统，用ＡｕｔｏＣＡＤ深入编程方法编制了坡口图形库并设计了向Ｃ语言专家系统传递图形的接口．用基于面向对象的设计方法建立了二步推理，实现了焊缝坡口设计与选择的标准化和智能化．系统人机界面友好，推理合理，操作方便
将分形几何递归迭代函数系统（ＲＩＦＳ）和基于块变换的分形图像压缩（ＦＩＣ）编码方法有机结合起来，提出了将分形图像压缩的分块ＩＦＳ编码转换为ＲＩＦＳ编码，应用混沌算法生成分形图像的新方法，从而能够采用线性
承压板变形试验被用来测量地基表面和深孔的位移，进而利用反分析估计成层地基的弹性模量，评价大坝的安全性。研究了非均匀弹性问题中奇异积分的收敛性和算法。在分析问题中误差
计算出无偏差分离和有偏差分离两种状太民反应分离过程特征的分离曲线。理论上建立了非稳定量对分离同工线影响的宏观模型，并以“浓度”为例进行了分析。理论结合实例，对几种主
对医学多因素比较的分析问题进行了研究，提出了集成式综合分析方法，探讨了这种分析方法的理论基础和技术特点，定义和论证了医学多因素比较时，判定因素间相互影响关系的准则，实例应
以浸没在流体声介质中的无限长弹性薄圆柱壳为研究对象，分别用Ｆｌｕｇｇｅ壳体理论和Ｈｅｌｍｈｏｌｔｚ方程分析壳体结构波运动和外部流体声场，通过南壁外表面的运动协调条件，建立此耦合系统的运动方程，采用沿
研究了具有渐变电导率的圆柱体的散射问题，得到了体散射微分截面的数值争及其与圆柱体内部的电导率，半径和入射电磁波频率的关系。
避开了时间增量松驰法与波形松驰法的缺点，而将其优点综合起来并用于电力系统的潮流计算，得到了一种改进的新方法。该方法的速度比牛顿－拉夫逊法高一个数量级左右，所需存储量却降
基于换热器的传热方程和投资费用方程，在单位投资费用换热热流量最大的条件下导出换热器两侧的最佳性能匹配关系式，即最佳投资分配、最佳表面积分配及最佳热阻分配的平方根律。
研究了多目标ｍｉｎｉｍａｘ问题的极大熵方法的构成。在较弱的条件下证明了极大熵方法导出的多目标逼近问题的ＦＪ点列的任一极限点均为原多目标ｍｉｎｉｍａｘ问题的ＦＪ点。