GFMS门与功能块级混合模拟系统的设计

ＧＦＭＳ是针对《数字逻辑》课程实验而设计的数学电路模拟系统。它以ＰＣ／ＦＯＲＴＨ２０为逻辑模拟语言，设计了一个友好的人机交互界面，通过“双钱驱动的Ｆ－编译法”完成模拟控制。本系统已在ＩＢＭＰＣ／ＸＴ上调试通过。

自主开发的扩展关系模型数据库系统ERDB和GIS_DEMO

本文介绍了一个扩展关系模型数据库系统 ERDB和在该系统之上开发的一个 GIS系统 .重点讨论了 GIS中的拓扑表示和递归查询问题 ,并从中说明这种扩展的重要意义 .

未知时序电路状态图生成算法及状态间路径的递归导出

运用数字系统自动化设计的基本理论和技术，可采用逻辑反向设计法分析未知逻辑电路．本文为分析未知时序逻辑提出一种适合多状态、复杂同步时序电路的数据采集方法，并引入状态网络和基于状态网络的路径导出算法，使时序机数据采集有较理想的时空开销．

一种可靠的微机通信技术

本文介绍一种可靠的微机通信技术,该技术采用了帧、超时、应答、奇偶校验等方法,无论从原理上还是从实现上都很好地解决了通讯中存在的问题,为微机在更深入,更广泛领域的应用提供了有效的途径。

隐稳定矩阵的特征

讨论了低阶隐稳定矩阵扩充高阶后仍保持隐稳定的问题，得到几个关于隐稳定矩阵的新特征。

多处理机并行处理模拟器的设计与实现

“多处理机并行处理模拟器”是旨在帮助使用者巩固和加深对典型的并行计算机系统──ＭＩＭＤ多处理机系统──进行并行处理基本工作过程的理解，通过实际编写并行应用程序并对其模拟执行的过程进而引导其进行更为深入研究与开发的计算机辅助教学系统。通过对ＭＩＭＤ多处理机系统体系结构、编译器和操作系统基本特征的模拟，实现了对作业／作业步和ＤＯ循环级并行性的显式及隐式开发，依据“单独并行段”和“主动抽取”策略可对并行代码高效模拟执行。我们还将“回声”技术引入该模拟器，使其可自动检测系统的配置规模并准确定位连接故障。

对SLD-消解完备性定理的质疑和改进

本文指出,被广大热心于逻辑程序设计的工作人员经常引用的“SLD-消解完备性定理”(见《计算机工程与应用》1987年专辑《逻辑程序设计基础》约翰·劳埃德著,颜松远译)的叙述形式应该改变,否则,存在反例。本文给出了这个反例,对该定理的叙述形式进行了改进,并给出了证明。

一个并行处理模拟器的研究及设计

并行处理摸拟器”旨在帮助使用者加深对典型并行计算机系统基本工作过程的理解，通过一个基本的并行程序开发环境使其可进行并行程序设计及模拟执行．它通过对ＭＩＭＤ多处理机系统体系结构、编译器和操作系统基本特征的模拟，实现了对作业、作业步和ＤＯ循环级并行性的显式及隐式开发，并可自动检测系统配置规模及准确定位连接故障。

微机远程控制逻辑测试与分析

本文提供了微机远程控制逻辑测试与分析的一种新思路，旨在提取数字系统实时工作波形并进行分析处理，从而得到数字系统逻辑功能表达式。提供了数字系统逻辑功能测试与分析自动化的一种新方法。

一种安全电子邮件的设计

为了保证电子邮件的保密性、完整性和不可否认性,本文采用一种改进的混沌加密算法作为加密算法,再以ECC算法为基础,构建比RSA更高效安全的公钥体制,实现对密钥的加密、邮件签名等功能,达到邮件不被篡改,不可抵赖的目的。