双功能电子式温度报警器

设计了一种实用的双功能温度报警器，既可以给出环境温度低于某一值的报警，又可以给出温度高于某一值的报警，而且可以区分这两种不同的报警状态，文中给出温度高于某一值的报警状态，文中给出了详细的原理分析；传感的结构设计、依报警范围选择各参数的可靠的判据，并给出有关的误差分析。     

高频宽频偏压控晶体振荡器

详细介绍了高频宽频偏压控晶体振荡器的工作原理，根据技术指标给出了实际电路，并对电路进行了分析，最后给出测试结果。     

关于约束分类问题的研究

约束条件的分类对于简化数学规划问题的求解具有重要意义，对于凸函数ｇｉ（ｘ）（ｉ＝１，２，…，ｎ）给出了约束ｇｉ（ｘ）≤０是必要约束或多余约束的充要条件，对于一般约束，定义了约束相关矩阵，给出了约束是必要的或多余的充要条件，对相对多余约束给出了分类。     

多目标混合变量优化问题的罚方法及算法

给出了多目标非线性优化设计问题的加罚方法，从而为有效地解决混合变量的多目标优化问题提供了理论依据，同时给出一个优化长法，并附有算例。     

标准偏差的几个计算及其应用

给出了计算标准偏差的理论式，常用估计式，无偏估计式，最大似然估计式，极差估计式和平均误差估计并给出了各公式的使用条件。通过实例比较了各公式计算结果的差异。     

反馈严格正实输出的充分必要条件

给出了多输入线性系统具有反馈严格正实输出的充分必要条件，由于这一条件用矩阵Ａ、Ｂ和Ｃ直接给出，所经检查比较方便。     

航天器相对运动与Hill解的适应性分析

研究了空间飞行器编队中最具基础性的问题之一，即相对运动的角析表达及Hill方程的适用条件，通过建立相对运动的通解公式。针对不同性质的初值深入地分析了其相对运动轨迹的本质特征，并给出了Hill方程的适用条件，此外，文中还给出了一个新的编队设计简化公式。     

应用试验模态参数修正理论模型的最佳矩阵逼近法

本文从特征方程和模态正交性条件出发，给出了一种应用模态参数识别结果修正理论模型的最佳矩阵逼近方法。该方法通过对识别出的模态矩阵进行奇异值分解并结合特征方程和模态正交条件导出了修正理论模型的通解表达式，在此基础上，给出了最佳逼近解的定义，研究了最佳逼近解的唯一性，给出了最佳修正质量矩阵和刚度矩阵的具体表达式，数值计算表明，本文方法具有很高的修正精度，对于大误差模型也有较好的修正能力，具有一定的应有和     

Walsh相关函数的研究

研究了既有波形畸变又有时间位移时的Ｗａｌｓｈ互相关函数，并在Ｈａｒｎｕｔｈ ＨＦ给出的Ｗａｌｓｈ互相关函数误差矩阵定性结果的基础上进一步给出了定量结果，依据这个结果，提出了选择Ｗａｌｓｈ副载波的原则。     

远程导引可行飞行方案寻求算法研究

提出了一种寻求远程导引可行飞行方案的算法，能够满足远程导引对测控、日照、燃料和时间等各方面的要求；重点论述了Lambert一次变轨方案，给出了算法的具体步骤和主要模块的实现方法；最后给出了一个算例，说明算法是切实可行的。     

基于粘贴式应变传感器的车辆超载监测系统

针对车辆超载运输,深入研究了车载称重技术,设计了基于车载称重装置的短消息技术的车辆超载监测系统.利用安装在汽车钢板弹簧上的粘贴式应变传感器测量车辆钢板弹簧承受的载荷信息,计算显示车辆总载荷,在车辆超载的情况下车辆超载监测装置启动车载短消息终端以短消息形式发送超载信息,并将数据提供给相关部门.系统经过反复的试验验证,能够准确地检测出车辆的载重状态,可用于交通部门和路政部门对载重车辆进行收费、管理和处罚.      

新的面向对象编程语言Ada95

介绍了Ａｄａ９５的主要面向对象特征，分析了Ａｄａ９５对面向对象模型和面向对象逻辑设计的支持。     

Java虚拟机中动态内联策略的改进

在Java虚拟机中,传统的基于计数的热点探测方法往往不能得到方法间的调用关系,因此,采用这种机制的动态编译器会丧失一些优化机会,比如方法内联.提出了基于在线反馈信息的动态内联策略.同已有的内联算法相比,该方法引入了BC Map,它由基线编译器对方法进行第一次编译时构建.BC Map可以确定对方法M进行调用的字节码在其调用者中的索引.通过构建Guarded Rec记录,编译器能够准确判断出虚方法的接收者对象的类型,进而确定方法间的调用关系.使用该信息指导的保护内联优化可以避免静态判断虚方法的接收者对象类型的缺陷,得到更加准确的动态信息,使应用程序的性能得到提升.      

Java智能卡解析优化方法

 针对复杂的传统Java智能卡指令解析问题,结合Applet的部署特点,提出了指令预解析的概念;给出了转换后的Applet文件(CAP,Converted Applet file)中导入组件、常数池和导出组件的预解析优化存储结构及包注册表结构,使用定长存储结构替代原有的变长存储结构以加快查找过程,引入了导出组件辅助索引表以加快外包类的解析过程;设计了基于优化后组件的静态域、静态方法和类访问字节码指令的快速解析流程,将解析算法的时间复杂度降为常数阶;在Applet下载过程中通过预解析来生成优化后的组件存储结构,在执行过程中依据快速解析流程来完成静态域、静态方法和类对象的快速访问,从而缩短了Applet运行时的解析时间.测试结果表明,在不改变标准Applet下载、运行流程的情况下,该方法有效地减少了卡内存储器的访问次数,缩短了解析算法的执行时间,提高了Applet执行的整体性能.     

可视化系统建模语言及其在MIS开发中的应用

介绍了VSML(Visual System Modeling Language)的描述内容及其原语定义和行为描述,并对新完善的数据库信息处理功能进行了介绍;接着对完善后的VSML的体系结构及其功能进行了较详细的描述;然后以商业管理采购员订货系统模型作为实例,介绍了VSML的应用,最后对VSML及其进一步的研究工作进行了小结.     

用对象实现构件的原型开发方法

基于面向对象语言的基本特征,分析了用对象表示构件的诸多有利因素,提出了用对象实现构件的原型开发方法。该方法规定了构件的外部接口,构件间“联系”函数及原型合成过程中的择优方案等。它对原型法的实用化将会起很大的推进作用。     

软件主动性及其实现技术

提出一种软件主动性概念，并讨论它的实现技术。主动性将改变一般应用程序系统只能提供遥惯列，可使一个具有主动性的应用系统中种主动服务功能，使得诸如实时监控和报警功能，安全保障功能，系统冗错功能，通信和同步功能，灵活的实时处理能力，以及其它军用需要的功能等等，都可以一种统一而方便的机制得以实现。     

航天器C语言软件常见编程错误分析及检测方法研究

基于软件第三方评测发现的问题,梳理并详细分析了在航天器C语言软件中6种常见编程错误.针对其中的软件安全漏洞提出了使用代码分析技术的检测方法,针对编程语言使用错误提出了通过制定编程规则并使用代码分析方法进行检测的解决方法.采用上述方法可以有效检测出上述6种常见编程错误,并可以用于检测软件的其他严重错误.     

基于基元关系模型的C++程序静态分析器

分析了面向对象软件测试和度量的特点,结合面向对象程序的性质提出了描述程序基本组成元素之间关系的基元关系模型(ERM),介绍了从基于MFC(Microsoft Foundation Class)的Visual C+ +6.0源程序中构造ERM模型的算法,据此构造了一个基于基元关系模型的VC+ +6.0程序静态分析器.对分析器实现中采取的名称空间符号表、增量式开发和增量式分析等关键技术进行了介绍.实践证明,该分析器可以高效正确地提取出模型中描述的各种关系,有助于面向对象软件测试和度量方面的进一步研究.      

地面模拟静止微重力环境中导线先期着火特性研究

针对在微重力环境中运行的载人航天飞行器上的电缆和导线在工作时由于电流过载导致温度升高而引起着火的情况,提出了"功能模拟"实验原理,并且利用地面实验设备对微重力环境下导线的着火前期特性进行了功能模拟实验研究.通过实验,得到了在微重力情况下由于浮升力的减小使自然对流减弱导致电流过载时导线的热平衡温度高于地面正常重力情况,从而证明了这正是引起航天飞行器着火的潜在点火源.