半导体逻辑集成电路的计算机辅助测试

本文是一篇关于计算机辅助测试逻辑集成电路的综述性文章。文中分析了测试逻辑集成电路的要求,提出了测试中存在的问题及解决的途径。对于半导体存贮的测试图形,也进行了一些分析,列举了常用的一些测试图形。对国外目前采用的测试微处理器CPU芯片的几种方法和国外测试系统的发展所经历的三代,也作了介绍。     

自然语言开发环境的设计与实现(英文)

平文介绍了一个基于演译数据库(由PROLOG与INGRES组成的DDBMS)的自然语言开发环境(NLDE)。用户采用中间转换文法(ITG)就可将用户的需要描述成自然语言形式。DDBMS能从PROLOG数据库中存储的规则与INGRES数据库中存储的元组,为用户推理得出回答。例如,本文介绍了一个航空咨询系统(AAS)。它可用干查询航班、订票及其他一些服务。特别是:AAS还能帮助用户解决一些推理性的复杂问题。本文中的NDLE及AAS是在DUAL68000微机上实现的。籍助NDLE,用户可在他们感兴趣的别的领域,方便而容易地开发一个用自然语言处理的系统。     

基于中间语言的逆编译系统CDS

为了帮助程序员理解、分析软件,减轻人的劳动强度,我们设计了基于中间语言的逆编译系统CDS。CDS的过程首先把机器语言程序转换为中间语言程序,然后进行数据类型和控制流程分析,最后产生目标高级语言程序。     

逆编译系统CDS中的程序控制流程分析

本文介绍了逆编译系统中程序控制流程分析CFA(Control Flow Analysis)的方法。该方法在将机器语言程序抽象为控制流图的基础上,进行结构化的和非结构化的归约,从而产生用高级语言语句表示的功能等价的程序控制流程。因采用与机器语言无关的抽象流图表示,该方法有很强的适应性。     

编译程序自动生成系统HMCGS的设计与实现

本文介绍一个基于范式有序属性转换文法NOATG的编译程序自动生成系统HMCGS。NOATG源于属性文法,可被用于描述程序语言的形式语义、编译程序的自动生成等领域。属性描述语言ADL是专为HMCGS系统设计的输入语言。HMCGS系统接受一个ADL语言程序,生成一个相应的目标编译程序。本文还简要介绍了HMCGS系统与目标编译程序的系统结构。     

一种新型联机仿真器的研究

本文根据微型机应用对开发系统的要求,分析了几种典型的具有联机仿真结构的微型机开发系统,提出一种新型的通用联机仿真器:LJF-06的设计方案。采用本方案的系统具有资源借用、同步地记录仿真过程的动态信息、设置断点、取代目标系统的MPU和单步、多步、连续地执行用户程序等功能。LJF-06联机仿真器是具有硬件仿真能力的独立功能模板,可以直接插入采用EXORCISER总线的微型机运行,开发和全速仿真以MC6800微处理器为基础的目标系统。文中介绍了系统硬件和系统软件以及试验结果。     

微型机在色谱数据处理中的应用

本文阐述一个用于气相和液相色谱仪数据处理的微型机系统。由于应用了微型机,大大地提高了色谱分析中的可靠性、精确度和自动化程度。     

微处理机在温度控制系统中的应用

本文介绍了一个以微处理机为核心的温度控制系统及其设计过程。内容包括怎样用微处理机来实现给定温度的计算和输入,温度测量和非线性校正,调节以及输出驱动控制。在文章中还提出了几种特别适合于微处理机的控制方法,如阀值可调的多位继电式调节等,既简化了系统结构又提高了性能,解决了某些常规控制方法难以解决的问题。     

编译程序自动生成系统HMCGS的理论基础——范式有序属性转换文法NOATG

本文提出了两种新的程序语言语义描述方法,属性转换文法ATG和范式有序属性转换文法NOATG。本文首先定义了ATG并讨论了其性质,然后在ATG基础上进一步提出了NOATG。指出与ATG相比,以NOATG为基础模型构造的编译程序生成系统能构造出能力相同,但时间和空间效率较高、结构更简单的编译程序。本文还围绕着基于ATG和NOATG的编译程序生成系统的有关问题展开了讨论。