摘要:在文章[10]中,我们详细地讨论了如何用函数式硬件描述语言对数字电路进行描述、综合和模拟验证的方法。本文将在此基础上,进一步研究函数或硬件描述语言的代数性质并通过程序变换对所描述的电路进行综合和优化,从而设计出正确的优化逻辑结构,在这种逻辑结构中去除了冗余,最大限度地重复使用各个子部件。文章中给出了变换规则和变换的算法及若干示例。

摘要:本文在给定的Occam子集上建立它的组合式时态语义。为了处理并发问题引入了局部环境、局部存储和局部通道状态,使其成为真正的并发语义,并在此语义下讨论了进程的各种分布式性质。

摘要:本文介绍了数据库转换的概念和方法,并介绍了一个数据库转换系统,该系统将数据库及应用程序从层次模型的IMS系统转换到关系模型的ORACLE系统。转换系统包括三个部分:模式转换、数据转换、应用程序转换。

摘要:如何解决大型的复杂软件的可靠性及一致性问题是降低软件开发成本的关键。由此应运而生了许多计算机辅助软件工程(CASE)系统。本文将介绍我室汉化成功的大型软件工具CPSL/CPSA(Chinese Problem Statement Language/Chinese Problem Statement Ana-lyzer)系统,并摘要介绍如何应用该系统来描述一个目标系统。 CPSL/CPSA系统应用于软件生命周期的需求分析及设计阶段,其特点在于它提供了一个与自然语言类似的需求规范描述语言来描述目标系统,并具有对目标系统的描述进行分析、修改的能力,输出分析报告及自动生成文档。该系统应用于北京市蔬菜公司经济 信息管理系统的分析和设计,及石油部油藏模拟软件系统的分析、设计和文档生成,收到良好的效果。

摘要:本文介绍我们开发的运用人工智能技术的CAD工具:演绎CAD数据库;具有推理能力并内含演绎版图数据库的版图语言;能从晶体管网络中识别基本逻辑单元和从基本逻辑单元网络中识别复杂逻辑电路的电路识别工具。

摘要:本文描述微机网上的分布式专家联合系统UNION的设计思想、目标、体系结构和原理。UNION是继1985年陆汝钤提出分布式专家系统的概念及其设计思想之后于次年夏天开始组织实现的一个实验系统。目标机型是配有UNOS操作系统、PASCAL和C语言的MC68000微机,它们用Ethernet局部网联网。UNION目前已完成支撑系统Sup- port1和通信系统,其余部分正在实现中。UNION的工程实现由中国科学院数学研究所承担。