单片机软件测试方法研究

单片机(Single Chip Microcomputer:SCM)软件的可靠性是影响系统和设备可靠性的关键因素.以80C51单片机系统一个C51应用为例,针对单片机软件测试的特点,提出了单片机软件测试方法.     

一种光电瞄准系统的建模仿真方法

基于某型飞机的光电瞄准系统,给出了光电瞄准系统的工作原理,建立了光电瞄准系统接受到的热辐射强度和热辐射检测门限的算法模型.然后根据所建立的模型, 编写软件进行了仿真测试,验证了模型的合理性,形成了一个完整的光电瞄准系统的仿真软件.     

火控系统仿真软件设计与开发

介绍了火控系统仿真软件的主要功能特点、设计思想和开发实现方法。该火控系统仿真软件,采用开放设计原则,可进行火控单元参数级和结构级选择替换,为研究和开发火控系统提供了有力手段。提供了从火控系统各单体到全系统的仿真环境,即可供教学科研人员进行火控系统研究,也可满足工程人员进行火控系统设计开发的需要。     

软件集群路由器体系结构的研究

分析了集群路由器的研究现状,而后提出了软件集群路由器的两个参考模型:SCR-RM(software-based cluster router reference model)和PCR-RM(parallel cluster routing reference model),给出两个参考模型的具体描述。这两个参考模型将为集群路由器的后续研究提供参照系统、实验系统和IP流处理场景。     

扫描环诊断技术研究与分析

本文介绍扫描环诊断的原理和方法,并讨论硬件和软件设计,进行了效能分析,指出提高速度的方法。     

太阳观测卫星的数传天线波束及其指向设计

针对三轴稳定对日指向姿态的太阳同步轨道卫星,提出为获得最大对地数据传输时间的天线波束设计及布局方案。根据某型太阳观测卫星的轨道姿态设计方案,建立数传天线对指定地面站的天线波束指向仿真模型;使用卫星工具包STK仿真软件,分析不同波束角方案及其可能的指向对数传时间的影响,发现了对日指向卫星与对地指向卫星在数传时间上的不同规律,找到最优的天线波束布局来获得最大的数传时间;根据星载数传能力与不同天线波束宽度之间的关系,获得传输数据的最佳天线波束宽度,为这类卫星数传天线的波束设计及其布局提供设计依据。     

GSEIB 软件工程信息库图形规范子系统的设计与实现

软件信息库是集成化软件工程环境的核心。本文给出了一种图形化的软件过程与产品（ｓｏｆｔｗａｒｅｐｒｏｃｅｓｓａｎｄｐｒｏｄｕｃｔ）规范语言及其支撑环境的设计与实现。采用这种规范语言可对给定的软件开发项目进行规划,据此自动产生定做的软件信息库,从而真正反映和支持该软件工程项目的开发。     

非线性规划问题求解的计算机实现

科学研究、工业生产与军事管理等领域存在着大量非线性规划问题,但其求解是复杂的。本文探讨了使用数学软件在计算机上实现求解非线性规划问题,并进行了分析比较。