智能CAD系统实现途径的研究

以ＴＡＮＧＯ软件包的智能化为背景，对智能ＣＡＤ的实现途径进行了探讨．提出了一个基于ＴＡＮＧＯ的电路印制板智能ＣＡＤ系统的原型．阐述了该系统的总体结构、专家系统的设计、专家系统与ＴＡＮＧＯ的结合方式与接口设计，最后用两个应用实例说明该实现途径的有效性．

基于双重库结构的数据库系统容错设计技术

本文在传统差分文件技术的基础上提出了一种采用双重库结构的数据库系统容错设计新技术,并将其实际应用于多个信息系统的设计中。这些系统除了完成正常的事务管理(包括数据维护)功能外,还具有独特的适用于微型机环境的可靠性控制及完整性控制功能。理论和实践表明,基于双重库结构的数据库系统具有良好的可靠性和完整性性能。该项数据库容错技术可推广至微型机DBMS及数据库应用系统的设计中。

方程组求解可视化系统VSES

本文介绍方程组求解的可视化原理及其实现系统VSES,并以实例说明相对于传统处理方法的优点。

多值开关级代数在MOS电路形式验证中的应用

本文讨论了ＭＯＳ电路多值开关级代数表达式的三种标准结构．给出了将多值开关级表达式转换成布尔表达式的定理．基于这些理论，提出了ＭＯＳ电路开关级形式验证的一种方法．

综合话音/数据局域网协议的研究

本文比较了两种话音/数据综合局域网协议的性能特点。第一种是CSMA/CD综合协议,第二种是环网综合协议。这两种协议分别对传统的CSMA/CD协议和环网协议进行了改进,都取得了缩短话音延迟的效果。通过分析和GPSS仿真,得出以下结论:话音负载较重时(1km电缆上超过25个话音站),采取环网协议,可以使话音传输质量相对改进型CSMA/CD协议得到改善,而话音负载较轻时,采取改进型CSMA/CD协议,能够取得优于环网协议的话音传输质量。

多值逻辑在VLSI设计与测试中的若干应用

本文介绍了多值逻辑在VLSI设计与测试中的若干应用。包括可作为VLSI模拟、设计与分析工具的ECSA理论;改进VLSI可测试性设计的三值扫描设计;具有自校验性能的三中取二值逻辑系统以及基于三值逻辑的制入测试技术。这些多值逻辑技术为VLSI的设计与测试提供了新的工具与途径。

单微处理机上程序执行流程的差错恢复

在用各类商用微处理机系列产品构造实时应用系统时，必须解决其抗干扰问题。本文以对微处理机系统的指令执行过程受干扰情况的分析为基础，研究了失控后的程序执行流程的行为，着重讨论了程序执行流程出现差错后的各种恢复策略。

基于多值开关级代数的逻辑设计自动化

本文在多值开关级代数理论的基础上,提出了适合于NMOS及CMOS组合电路的逻辑设计自动化算法。这些算法包括:由真值表导出最简布尔表达式的算法,由布尔表达式导出与各种MOS电路相应的开关级代数表达式的算法;由开关级代数表达式导出其等价的MOS元件联接关系表的算法;从而初步实现了组合MOS电路的逻辑设计自动化。

方块脉冲函数及其在控制论中的应用

本文综合介绍了方块脉冲函数及其变换。它比拉普拉斯变换的运算容易处理,并更适用于计算机辅助计算,因此在控制论和系统科学的分析、识别诸问题中是一个极有用的工具。