VAX计算机的硬件管理实践

本文根据作者多年的工作经验,提出了一套VAX小型计算机的硬件维修与维护的实用方法,并剖析了一些典型的检修实例,对于加强计算机的硬件管理工作具有积极的指导意义。     

PDP-11/45与PDP-11/23微机系统综合改造技术探讨

本文提出一种在微机软件上实现18位地址磁带机与22位总线系统的联机技术,并研究了在一类 PDP-11宿主机上生成另一类具有不同型号主机和不同系统配置的PDP-11 目标系统的技术。利用这些技术对PDP-11/23和PDP-11/45两种系统进行了改造。实践证明,改造后的两个系统工作都很正常,实现了PDP-11/23磁带机的正常联机使用,并大大增加了其后备存贮容量。使 PDP-11/45的 CRT终端扩充到 9台,建立了PDP-11/45和 PDP-11/23机之间的正常通信渠道,共享软件资源。     

一种函数分割型程序设计规范描述——FDP程序的正确性验证

FDP 是一种函数分割型程序设计规范描述手法。我们把按此法进行描述的设计规范叫作 FDP 程序。本文将提出实现 FDP 程序正确性自动验证的基本方法和具体步骤,以说明 FDP 的优越性。     

基于RTX和MFC的后封装平台数据采集和控制系统

简要回顾了实时系统的现状,通过RTX(realtimeextension)系统介绍了实时操作系统(RTOS)的概念和特点。对Windows系统和实时操作系统在实时精度方面的性能作了比较。针对实际的高速、高精度芯片后封装平台的硬件体系结构,提出了基于微型计算机的MFC(microsoftfoundationclasses)和RTX综合软件模型,从而简捷实现了面向高速封装平台的高性能软件控制系统。实验结果表明,该采集控制系统为进一步的高性能控制提供了良好的结构框架基础。     

—种基于多结构元的形态滤波器设计

数学形态学可以看作是一种特殊的数字图像处理的方法和理论。数学形态学中的各种变换、运算、概念和算法的目的在于描述图像的基本特征或基本结构，也就是描述图像的各个元或各个部分之间的关系。它的基本思想是基于集合的交、并、移位运算，产生出二值形态学和灰值形态学的基本运算，如腐蚀、膨胀、开、闭、击中击不中及其一些性质。     

采用USB-UART转换方式实现DSP与PC机的USB通信

介绍了异步串行通信芯片SC16C550和USB-UART转换芯片FT232BM的功能、结构特点和内部寄存器．在此基础上设计了通信系统的硬件电路，针对一类应用于运动控制的DSP系统的数据传输需求较低且数据流零散的特点．提出了一种采用LISB-UART转换方式实现该类DSP系统与PC机USB通信的方案．这种方案不但满足了LISB通信方便快捷的特点．而且继承了传统UART通信占用系统资源少、通信固件开发简单的优势．设计了通信系统程序流程图，选用ADSP-21992为目标DSP，介绍了其代码开发平台VisualDSP 3．5及其相关调试工具，并根据流程图简述了DSP内的程序代码组织结构和运行机制．最后说明了PC机上相关驱程的开发步骤和重要函数。     

Research of IDSS Architecture Based on Hybrid Systems

This paper discusses the necessity of building IDSS on hybrid systems, and adopts XML technology to manage isomeric knowledge in hybrid systems. The paper proposes a new architecture of hybrid systems based IDSS whose core system is isomeric knowledge system. The architecture is composed of knowledge component, problems processing system, data component and intelligent user interface. This new architecture aims to enhance the capability of integrating hybrid systems, to improve the supporting effectiveness of decision-making and the intelligent level of IDSS, and tries a new way to elevate the system＇s ability of handling and learning knowledge.     

船载AIS中GMSK基带调制解调的实现

分析了船载AIS基带信号的GMSK调制解调原理,并对其实现进行了硬件设计,为开发自主知识产权高性能的AIS产品奠定基础,本实现方案测试实验效果良好.     

基于重用的用例层次模型与应用

扩展了Regnell关于用例层次模型的研究,提出了一种基于重用的用例层次模型.该层次模型将用例的描述分为3个不同的抽象层次:服务层、结构层和事件层.按照UML规范,定义了各层有关元素间的关系,给出了由扩展巴科斯范式定义的用例描述规范及相应的图形表示.该模型解决了Regnell采用纯图形方式描述用例时不能处理用例间的包含、扩展和泛化关系的描述问题,易于实现不同系统间、不同用例间和用例内部对用例描述的重用.同时,采用该模型还可以避免纯图形方式下难以采用自动工具支持用例描述的修改和验证等问题.在Drawlet框架下,设计了该模型的用例建模和重构原型工具.