机载托架自动校准系统的设计与实现

为了解决机载托架传统校准方法精度低、耗时、费力等问题,设计了一种高精度、高效率并且操作简单的成品托架自动校准系统。该系统运用调平精度较高的"循环多次"最高点不动调平方法,建立高精度机载托架校准的静力学数学模型,运用VC与Matlab的COM接口编程技术开发机载托架自动校准系统,并建立良好的人机交互界面。试验结果表明,利用该方法对机载托架进行校准,无论是校准精度还是校准效率都较传统方法有很大提高。     

弹道靶红外辐射测量

为深入认识再入物理现象 ,在弹道靶上做了模型头部和近尾流红外辐射测量。发射器为 1 4.5mm口径的二级轻气炮 ,模型为1 0mm的球 ,材料为聚碳酸酯和铝 ,模型发射速度 4～6km/s,使用红外InSb探测器测量波长 3～ 5 .4μm的红外辐射 ,靶室压力 5 .32kPa。实验中使用光电法测量模型速度 ,两站阴影照相进行模型姿态监测和速度核实。实验结果表明 :球模型的红外辐射强度强烈依赖于模型材料和模型飞行速度。对不同材料模型头部和尾流部辐射强度的定性比较说明由于低温材料烧蚀产物的存在 ,极大地增强了头部和近尾流区的辐射强度 ,而且延长了尾流辐射长度     

一个说明语言的设计和其子集编译器的开发

基于软件文档可执行的想法，设计了一个适用于指称语义描述的可执行规范说明语言——ＪＺＣ，并对其核心子集编译器进行了设计与开发。该语言设计采用了模式匹配、类型并置和构造函数等概念，使得抽象文法易于在程度中体现。模块概念的引入使得函数型语言书写的程序更加易懂和易于编写。作为对严格开发方法的一个尝试，ＪＺＣ核心子集编译器的开发采用了该种方法，其中一个“结果正确性定理”的证明是开发过程的重点工作。本文通过一个示例语言简介ＪＺＣ的语言特点，给出了编译器开发过程的一个描述框架和证明梗概     

燃气蒸汽式发射系统内弹道若干问题研究

通过对燃气蒸汽式发射动力系统的研究，总结出影响内弹道计算精度的若干因素，并就其中几个影响较大的问题进行了详细的分析，开发研制出了一套用于预估内弹道性能的系统化程序。通过实验数据的比较，验证了适用于内弹道计算的数学物理模型，为燃气蒸汽式发射系统设计提供参考依据。     

固体火箭发动机地面性能换算成真空性能研究

根据固体火箭发动机内弹道计算模型，分析了使用大扩张比喷管地面静止试验性能与真空性能之间的联系，建立了由地面性能换算成真空性能的方法，计算出的真空推力、真空比冲等数据与实际相符。     

新的面向对象编程语言Ada95

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

无界域上不定二次规划的一个算法

本文给出了无界域上不定二次规划一个算法。该算法将不定规划转化为一系列凸二次规划，并证明了算法的收敛性。     

一个基于WINDOWS环境的网络连接服务

该文介绍了在校园网环境及WINDOWS平台，采用TCP/IP协议设计并开发PING网络连接服务和客户机/服务器功能的VC^ 程序。     

国家财政主要支出项目与各项税收收入的最优化--回归分析在最优化中的应用研究实例

利用回归分析方法得到国家财政部分主要支出项目，部分税收收入与国内生产总值构成的回归方程，由此构成线性规划问题的约束方程组。再用M单纯形法求最优解。