一种基于虚拟页地址映射的NAND Flash管理算法

本文提出了一种基于虚拟页地址映射的NAND Flash管理算法.该算法通过定义坏块表、对应表等结构，以及设计的坏块替换策略和虚拟页地址到实际物理页地址的转换算法，实现上层软件采用虚拟地址对NAND Flash的无坏块连续页地址访问.该算法是一种高效的地址映射算法，能高效地对数据进行索引，占用SRAM空间较少，使系统达到高性能，并使得闪存使用的更加稳定持久.     

一种软件脆弱性自动分析定位的方法

摘要： 为了更好地满足航空航天领域中使用的多种嵌入式软件的高可靠性要求，设计一种软件脆弱性自动分析定位的方法.该方法基于程序切片技术，改进现有的前向计算动态切片算法，利用动态程序切片收集程序运行时的动态信息，构造程序切片谱，设定相关统计量统计程序语句的脆弱性可疑度，生成脆弱性定位报告.在发现软件中存在的脆弱性后，该方法对导致此脆弱性的程序代码根源实现了自动分析定位.基于此方法设计开发了软件脆弱性自动定位工具并进行了实例验证分析，实验证明了该方法的有效性.     

数字多用表自动检定校准系统

本文介绍了一种数字多用表的自动检定校准系统的构成及软件设计 ,并对系统软件的设计方法 ,主要功能及主要特色进行了讨论。     

湿度换算软件包

湿度不论是在科研领域还是在工业生产中，都是一个很重要的参量指标，在具体的应用中，各领域对湿度参量的使用单位和范围要求是不同的，由此我们编写了一套“湿度换算软件包”，可以在湿度的不同参量和单位间进行换算。本文主要介绍了该软件的主要功能、使用说明以及同国外其它同类软件的数据比对情况。     

基于VXI总线的武器控制盒综合测试系统设计

介绍了基于VXI总线技术所设计的武器控制盒综合检测系统,并给出了系统总体结构框架,重点说明了硬件构成和软件设计方法。实际应用表明,此系统具有测试精度高、操作便利以及智能化程度高的特点。     

四维下降飞行技术的研究与仿真：定常航迹角法下降剖面解算

本文研究的是四维飞行性能管理系统的核心环节－飞机在终端区域内的四维下降技术，首先探讨了基于常值航迹角的定常Ｍ数／指示空速下降飞行技术，论述了其高度剖面的构成与特点，通过尤拉积分方法求解飞机运动方程，实现了高度冲面的解算。其次开发了对速度剖面的迭代过程，选取原则及方法。本文在进行理论分析的同时，还开发了满意的仿真软件，一了其应用价值。     

光学中心偏测量仪软件研制

文章介绍了北京空间机电研究所自行研制的光学中心偏测量仪的软件设计思路、工作原理 ,并对一些关键技术进行了讨论。     

信息系统群演化的综合环境SEE的研究

旨在通过对系统构架各视角的研究，开发一个信息系统综合演化环境，从而提供针对各类系统演化特征的通用的解决方案，并利用方法论的手段规范、指导和维护系统(群)的演化活动。本文首先论述了大型系统中各个系统和组件变化及改进活动中存在的问题，分析相关的研究及面临的挑战，从而提出系统群演化的概念。然后文章概括了系统群演化的特征，提出解决以上问题的思想方法，即开发“信息系统群演化的综合环境(Synthetic environment of evolution，SEE)”，将各种演化活动纳入规范，指导系统群的演化活动；在此基础上，进一步就实现SEE的关键技术给出了描述及运用的范例。     

"空军航空修理物资管理信息系统"的设计与实现

本文首先分析了空军航空修理企业的管理特点，然后详细论述了空军航空修理物资管理信息系统的设计原则、网络方案、总体结构及软件设计方法。     

一种新的射频仿真目标位置控制方法与软件研究

针对射频目标仿真系统中目标位置的控制，本文通过对国内外目标位置控制的常用方法进行研究，提出一种新的通用目标位置控制方法，该方法适用于任何天线分布的面阵。利用这种新的方法编写了基于三元阵天线阵面的射频仿真目标位置控制软件，实现对多目标在天线阵面上多种轨迹运动下的高速准确的定位，并能实时监视目标的运动状态和运动轨迹。