基于模型检测的机载电子硬件验证方法研究

模型检测技术已广泛应用于计算机硬件、通信协议、控制系统等领域,在民用航空领域如何采用模型检测技术开展硬件符合性验证,成为设计及验证人员待解决的问题。文中介绍模型检测方法的验证机理,并提出使用该方法作为机载电子硬件的补充验证方案。以PCI总线状态机模块作为验证对象,开展模型检测补充验证,确定了状态机各状态转移路径的正确,说明了该方法的合理性。     

高可用性集群系统及其状态机研究

网络通信维护的高代价不是一般企业能够承担得起的,因此发展了高可用集群技术.介绍了最常见的双节点高可用集群系统的原理及其双机热备份系统的状态机.目前在电信网管、计费、智能网、短消息的系统应用中,无一例外都使用了双机热备份的系统.     

光刻版图形处理过程的计算机仿真

采用有限状态机模型来仿真集成电路行业中光刻版图形的处理过程,涵括了层次处理、涨缩处理和反转处理。将不同的处理过程定义为相应的状态,将图形处理要求定义为输入条件触发状态转换。该模型已应用于光刻版数据处理的电子设计自动化软件。     

基于Windows的GSM系统的仿真

移动通信系统仿真工具价格昂贵,不利于在教学环节中推广。本文提出了利用Windows操作系统对GSM系统进行仿真,并主要介绍了移动交换机系统部分的仿真。着重阐述了MSC的FSM模型的仿真实现,并且根据最新的资费方案对GSM系统的计费模型进行了仿真。     

MVC模式在J2EE中的应用

文章介绍了模型-视图-控制器(MVC)模式在J2EE体系结构中的应用，以及XML数据交换、数据库连接池等技术。这些技术使得J2EE应用的业务层与表现层相互独立，系统结构清晰，便于开发与维护。     

基于CPLD的通用PCI扩展总线桥设计

本文阐述了使用CPLD实现通用PCI扩展总线桥的设计方法，并且介绍了用verilog HDL语言进行PCI总线目标模块设计的方案，重点叙述了PCI扩展总线桥逻辑设计和verilog HDL实现模块的设计，最后给出了PCI扩展总线桥的仿真时序图。     

有限状态机在可编程器件设计中的应用

在可编程逻辑器件设计中，状态机的设计方法是最常用的设计方法之一。本文阐述了状态机的表示、类型、编码及用HDL语言来描述状态机模型以及一些注意事项。     

宽带交换网络的多时隙信元技术

介绍阿尔卡特多路径自选路由(MPSR )宽带交换网络中所使用的多时隙信元(MSC)技术.重点论述了MSC的定义格式及其意义,包括与异步传送模式(ATM)、语音及IP业务的兼容、MSC的同步机制及其自选路由标志等.     

B—ISDN宽带UNI信令点到多点配置的实现

本文根据ＩＴＵ－Ｔ最新的Ｑ．２９７１协议，以及笔者所从事的实际课题，提出一整套Ｂ－ＩＳＤＮ第三层ＵＮＩ信令的软件实现策略，其特点是能同时满足用户对点到点以及点到多点广播这两种通信方式的要求，而且可以动态配置。     

基于SDRAM的视频处理器设计与实现

在认真研究了SDRAM内部的独立存储体（Bank）作用的基础上，提出了一种基于SDRAM的视频处理器的设计方案；该方案是通过Bank乒乓操作和场乒乓操作来实现的；利用该设计方案能够实现视频图像的旋转、截取、平移等实时视频操作和处理。