钢铁产品海上运输管理信息系统的设计与实现

介绍了本溪钢铁集团公司产品从出厂运输到港口，再经海上运输最终到达客户整个运输业务数据的网络管理信息系统的设计与实现，以及该系统的主要功能和特点。该网络信息系统由一台服务器、3个客户机及2个远程客户机组成，在Windows2000的网络平台上，共享服务器端的VFP6数据库系统；在各客户机，采用VFP6中文企业版进行应用程序的开发。     

加强软件质量控制,提高军用软件的可靠性水平

针对军用软件在质量和可靠性方面存在的问题，提出了提高军用软件质量和可靠性的措施和方法。     

一种基于UML的面向对象需求分析方法

 提出一种实用的基于UML 的需求分析及其建模方法, 以活动图模型来表达业务模型, 以概念层的对象图、状态图及交互图模型表达系统的结构逻辑及行为逻辑, 以用例表达系统需求, 讨论了需求分析及其建模的过程概念, 方法实施的构造算法。该方法已经在空间天文望远镜系统需求分析中得到成功应用。     

基于DSP的数字下变频软件实现

数字下变频(DDC)技术将宽带大数据流信号变成窄带低数据流信号,以便 DSP 实时处理。在分析数字下变频的基本模型基础上,提出了一种基于 DSP 芯片的数字下变频软件实现方案,讨论了相应的算法及分析,并给出了软件实现的主程序结构。软件数字下变频比常规 DDC专用芯片有更大的灵活性、适应性和更高的处理中频。     

电磁环境监测系统设计

详细地介绍了电磁环境监测系统的研究设计，同时介绍了软件及计算机辅助测试设计。     

远程飞航导弹组合制导仿真软件

介绍了研制的远程飞航导弹组合制导仿真软件。首先建立了制导系统各个子系统模块数学模型,然后给出了主要的程序流程,最后介绍了软件包的人机界面和使用方法。     

基于CORBA构件的软件体系结构模型的实现

软件体系结构是一种新型的基于构件以及构件库的深层的软件复用,它的提出使超大规模软件设计的简化成为了可能。本文提出了基于CORBA构件的软件体系结构模型,并通过给出ADL的BNF语法,扩充CIDL编译器和CORBA的服务,从而描述了其实现模型。     

软件测试的控制论方法

 软件测试被认为是软件开发过程中理解最为不清的一环。部分原因是虽然有很多策略被定义和分析,但很少有策略被设计和优化。软件测试的反馈机制迄今尚未形成。基于此种情况,软件测试的控制论方法将软件测试问题当作控制问题,被测软件当作被控对象,软件测试策略当作相应的控制器,被测软件和测试策略构成一个闭环反馈控制系统。软件控制论是一门探讨软件理论和工程与控制理论和工程交叉的学科,软件测试的受控马尔可夫链方法利用受控马尔可夫链理论设计和优化软件测试策略,是软件控制论思想的体现。在受控马尔可夫链方法的框架内讨论软件系统的自适应测试,并与随机测试进行比较,发现自适应测试方法相对于传统的随机测试方法具有较大的优越性。     

飞机拦阻系统PID控制及Matlab实现

主要介绍了飞机拦阻器的控制原理,并以钢缆式液压飞机拦阻系统为对象,采用线性化的方法得出系统传递函数模型,以恒加速度为控制目标设计出了PID控制器。并将该控制器应用在飞机拦阻系统的控制中,仿真结果表明,采用此控制器的控制系统具有较好的拦阻效果,可应用于我国大多数型号军用飞机的拦阻。     

机载数据链通信系统综合调研、分析与设计考虑

旨在对机载数据链通信系统进行综合性调研,并且对各种主要的系统架构进行分析,通过这些过程,形成对系统设计的支持。对机载数据链通信系统的调研内容覆盖:系统的发展历史、设计实现和可应用的条款和规范。另外,还介绍了通信导航监视/ 空中交通管理(Communication Navigation Surveillance/ Air Traffic Management,简称CNS/ ATM)概念,并对其中与机载数据链相关的技术进行了分析。最后,阐述了针对民机机载数据链通信系统设计要点的考虑。