中西文仿真终端设计技术

通过对ＶＴ１００、ＩＢＭ３２７０等终端的中国文仿真软件设计的实践、介绍ＩＢＭＰＣ及其兼容机上设计通用中西文仿真软件的技术，并对一些特殊类型的终端的仿真技术进行探讨。     

Petri网中子网的分类与规范化研究

研究了Petri网中子网的外部环境、子网的接口、子网的边界等问题,给出了相关的定义;通过分析不同子网的特点,将子网分为T子网、P子网、TP子网和PT子网等不同类型;提出了接口标准化和子网规范化的思想.研究成果有助于基于子网的结构化设计方法的研究和推广.     

带时间和控制的Petri网系统及应用

Ｐｅｔｒｉ网在描述一个并发事件组成的系统的同步行为时,无法体现时间因素对同步控制的影响,同时也难以描述这种同步控制。本文给出了Ｐｅｔｒｉ网中时间和控制的形式定义,并以信号灯系统等例说明了带时间和控制的Ｐｅｔｒｉ网的应用及在描述同步控制上的功能     

DJS-186微仿真器模拟系统

本文讨沦在Cromemco系统上用Z-80汇编语言实现的DJS-186微仿真器的模拟系统,介绍了模拟系统的结构、模拟程序的设计思想,并给出了一个在模拟系统上运行的实例。     

DJS 186微仿真器的结构

DJS 186微仿真器具有灵活的通用仿真能力和高的仿真效率,它能达到三个仿真目标:扩充宿主系统指令、扩充系统功能和系统仿真。它的主要特点是在充分利用宿主系统数据通路基础上,增加仿真必需要的数据通路和手段,使能实现灵活通用和高效率的仿真,获得较高的系统性能价格比。 本文从数据通路、微程序设计和仿真方法等方面论述 DJS 186微仿真器的结构。     

仿真微程序的调度方法

本文描述DJS 186微仿真器可写控制存储器中仿真微程序的各种调度方法——静态调度和动态调度,特别是论述动态调度方法,并给出动态调度程序和微程序的流程图。     

模块结构微程序设计

模块结构微程序设计是固件工程的重要基础。本文阐述了它的基本思想,并通过在VAX-11/780上运行仿真微程序的实例,说明模块结构微程序设计的方法。     

MultiExpress软件包分析及验证

本文根据对ＭｕｌｔｉＥｘｐｒｅｓｓ软件包的分析，就远程控制进行了简介，提出了它的实现方式并给出流程图，又在此基础上，建立Ｐｅｔｒｉ网模型，进行了验证。     

IP Over ATM与IP Over SDH/SONET技术

首先对当今IPOverATM技术采用的设计方案（局域网仿真，IP交换，标签交换）进行了详细的分析与比较，然后在总体上将IPOverATM与IPOverSDH/SONET技术进行了比较。     

UML与SDL结合使用的研究

在本文中我们探索如何将统一建模语言(UML)与由国际电信联盟(ITU)标准化了的规格与描述语言(SDL)结合在一起使用．在研究中，我们发现SDL用户可以从UML中获得益处，同样UML用户也可以利用SDL的优点．特别是对于实时系统的开发，我们应当用UML进行系统的需求分析，使用SDL进行系统设计．