全数字交流异步电机伺服系统的设计与实现

介绍了基于TMS320LF2407A的交流伺服系统的硬件和软件构成及实现方案,给出了系统的实验结果,矢量控制与其它控制方法的比较结果表明,与其它控制方式相比,转差频率矢量控制具有动态性能好、控制精度高的突出优点,适合于伺服系统的设计.     

军事仿真系统RDMSS的实现方法

本文介绍了军事指挥实时动态真实感模拟系统 (RDMSS) 的结构设计及实现方法。研究了RDMSS系统军事器械的造型 ,作战背景及目标拦截模拟方法 ,提出了适合于飞行作战模拟的一些新思想、新算法。此系统已在SGI工作站上实现 ,取得了较好的实时性和真实感效果。     

表格驱动程序设计方法

本文提出了一种具有广泛应用前景的程序设计方法——表格驱动(Formdriven)程序设计方法(以下简称表格驱动法)。文中首先描述了表格驱动法的基本思想、解的结构;分析了这种方法的特点与适用性;剖析了基于表格驱动法的办公自动化软件ALL-IN-1的设计思想,并指出表格驱动法特别适合于设计软件开发工具。     

软件无线电中模拟调制方式的软件实现方法探讨

本文讨论了AM、SSB和FM等模拟调制解调方式的软件实现问题。首先从软件无线电的概念、组成及特征和现有军用电台的主要调制方式出发,阐明了软件无线电应具有AM、SSB和FM等功能的思想,说明了用软件实现AM、SSB和FM必要性。其次简述了这三种模拟调制方式的原理,重点论述了它们的软件实现方法,进行了必要的理论分析,提出了在实际实现时应注意的几点建议。最后以AM为例给出了计算机模拟结果,证明了本文采用的方法可行。     

一种基于分块下三角分解的子空间GNSS抗干扰方法

通过SVD获得子空间的方法,适合于多变环境和较少数据样本情况,但计算量很大,限制了该方法的实时应用.在不降低性能的条件下,将SVD弱化为分块下三角分解,减少了提取子空间的复杂度,并给出基于Givens旋转的实现结构,具有结构简单,便于并行实现的优点.将该方法应用于GNSS抗干扰仿真实验,验证了其有效性.     

电影发行管理系统

电影发行软件的研制,实现了影视发行业管理的现代化。本文介绍了电影发行软件的目的、基本功能以及软件实现的技术方法。     

CCD实现管材和线材在线测量研究

介绍了用CCD器件完成玻璃管外径和壁厚在线测量的实现方法,测试系统的结构和硬件及软件设计思想。本测试系统也适合于对其它透明或非透明管材及线材的在线测量。     

基于Click系统的软件路由器的设计与实现

针对软件路由器特点,以Click系统为基础,重新设计并实现了软件路由器,在设计过程中借助了Click体系结构的思想,尤其是在其体系结构规划、模块划分及实现方法上,都尽量做到易于配置、管理和扩充.     

配电教学训练仿真系统研究与开发

介绍了通过硬件仿真和软件编程实现配电器功能的原理和方法,并通过系统设计方案论证及硬件设计实现了对配电教学训练仿真系统的开发,提出了通过串行通信与PC机通信及在原有系统的基础上进行功能扩展来实现系统升级扩展的方法;软件设计采用去除冗余设计和软件仿真两次简化的模型,由控制软件对系统状态进行控制,节点状态由程序中的状态变量所体现,人机交互软件接收指令数据,并输出至主控计算机.     

单边带信号的软件实现方法

相移法产生单边带调制的方法,用数字信号处理算法和数字处理器件易于实现且性能指标优良,同时由于调制是在处理器中用软件编程实现的,摆脱了模拟硬件的限制,适用于软件无线设备。     

潜艇兵力作战方案选优软件的设计与实现

对联合封锁中潜艇兵力作战方案选优问题进行了研究,针对在只有一个选优指标时,人们通过比较分析法能够容易地准确判别方案优劣的特点,综合采用了改进的层次分析法、模糊综合评判等方法设计并实现了方案的选优。通过验证,该软件在应用于作战方案多目标决策等复杂系统时是适用的和可靠的,并且此软件较为简便,可操作性强。     

YH-GKS的设计与实现

图形核心系统GKS是二维图形软件的唯一的国际标准,且为我国采纳为国家标准。YH-GKS是基于GKS,为银河机设计的图形软件系统。文中介绍了YH-GKS的设计特色与实现方法。     

雷达业务与技术勤务管理系统(RDMS)

智能化和工具化是RDMS的主要设计思想和技术特色,体现在RDMS的基于规则的计算工具、通用文档管理子系统和汉字通用报表工具。本文着重讨论这三部分的设计与实现问题。     

汽车驾驶模拟器软件系统

介绍了QJM主动式实时仿真三维计算机成像汽车驾驶模拟器软件系统的实现方法。这些方法已应用于桑塔纳型和东风型汽车驾驶模拟器。     

计算机课程双语教学实践探讨

计算机双语教学是有效提高学生计算机水平和英语应用能力的一种教学方式,在教学实践中体会计算机学科开展双语教学的优越性,掌握实施方案和管理方法,改变计算机双语教学的授课方式。     

智能图形显示终端的软件设计与实现

文中讨论了按CGI 标准来设计智能图形显示终端的软件接口,总结了智能图形显示终端软件的设计和实现的思想和方法。     

Bayesian testing strategies for software with an operational profile

We consider a software reliability model where the failure rate of each fault depends on the specific operation performed. The software is tested in a given sequence of test cases for fixed durations of time to collect data on failure times. We present a Bayesian analysis of software failure data by treating the initial number of faults as a random variable. Our analysis relies on the Markov Chain Monte Carlo methods and is used for developing optimal testing strategies in an adaptive manner. Two different models involving individual and common faults are analyzed. We illustrate an implementation of our approach by using some simulated failure data. © 2001 John Wiley & Sons, Inc. Naval Research Logistics 48:747–763, 2001     

形式化方法在装备保障决策支持系统中的应用

为提高装备保障决策支持系统的整体质量,将形式化方法应用于系统设计和组件开发,特别是关键算法的设计和实现,从而大幅提高了软件的可靠性、可复用性,以及问题求解的效率,有助于装备保障整体效能的提升.     

一种通用仿真支撑系统在模拟器研制中的应用

介绍了一种通用仿真支撑系统MINIS的功能及主要特点,阐述了其建模原理与实现方法,并以一个电站模拟器研制的实例说明了其在仿真软件开发中的应用.     

指控软件可用性工程生命周期模型

针对当前装甲指控软件的应用现状和存在的问题,运用可用性工程理论和方法,提出了指控软件的可用性工程生命周期模型,该模型包括可用性需求分析、模型构建、可用性设计、可用性测试与评估、安装部署与使用体验、用户反馈等过程。通过与一般软件测试的比较,强调可用性测试实验环境的作用。该模型突出用户的作用,重视用户反馈,可为指控软件的设计和开发提供理论指导。