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

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

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

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

湿度换算软件包

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

基于磁场映像的印制电路板故障诊断方法研究

简要分析了印制电路板的电磁场，提出了用电磁感应法测量磁场的电咱故障诊断新方法，并给出了测试系统组成方案。最后通过验证实验证明了该方法是确实可行的。     

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

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

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

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

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

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

磁粉检验标准环形试块的机理分析

为了分析控制磁粉检验系统综合性能的标准环形试块的机理，首先建立一个计算漏磁场的简化数学模型，然后解标量磁位的=维拉普拉斯方程，求出被磁化的环形试块上圆孔产生的漏磁场，计算环形试块表面的磁粉受力，分析其特点并得出相应的结论。     

大客车局部优化造型对其使用性能的影响

随着车速的提高,汽车在行驶中受到的空气阻力便成为不可忽视的问题,因此与减阻节能相关的汽车优化造型也就显得越来越重要了。由于运动物体所受到的空气阻力系数的大小主要取决于它的头部的形状,因而我们对厢式大客车驾驶室前风窗区的几种不同造型在低速风洞中进行了测力的实验研究。实验结果表明,驾驶室前围不同形式的过渡是影响厢式客车空气阻力的重要因素。其中在适当的风窗倾角下,经过良好的圆化处理后,可使厢式大客车的空气阻力减小27%左右。这不仅节省了燃料的消耗,还可以提高汽车的最大行驶速度,改善其加速和爬坡能力。     

如何在应用软件中实现财务数学公式自定义

本文实现了在开发具有数据校验功能的软件时，一种全新的数据校验方法，将传统的写在程序中的校验公式或利用手工进行检验数据的方式完全抛弃。该种方法具有配置灵活、维护简单和功能强大的特点，利用界面元素命名方法，内置校验公式到各个界面元素中，而公式是可以灵活维护的，一般是将公式存贮在数据库表中，在软件需校验数据时，从数据库表中读取公式，根据公式中涉及到的各种界面数据项进行自动的数据校验并得出校验结果。这对需大量数据校验和校验算法经常改变的软件是非常有用的。