应用限制编程的信息模型内在检查方法

提出了一种基于限制编程(Constraint programmmg)的信息模型内在一致性检查方法,重点描述了EXPRESS信息模型的一致性及其检查。EXPRESS语言,作为标准制造数据交换的一个重要部分,广泛地应用于制造与信息业。中提到的一致性检查包括三个步骤：EXPRESS模型形式化,限制满足性问题(CSP)从形式化模型中的抽取和CSP的可满足性测试。本同时揭示了限制编程的一个新的应用领域：模型验证。     

矩形截面高超声速进气道气动设计及实验验证

首先对矩形截面高超声速进气道设计方法进行了研究,给出了设计流程,并据此设计了矩形截面高超声速进气道.接着对其进行了三维数值仿真研究,给出了进气道性能参数随来流马赫数、飞行迎角及飞行高度的变化规律.最后设计了实验模型,并进行了高焓风洞实验验证.数值模拟及高焓风洞实验验证均表明:本文采用的设计方法可达到预期的设计效果,设计的进气道达到了相应的设计要求,本文采用的数值仿真方法可以较为准确地模拟高超声速进气道内的流动,数值模拟结果可信.     

内埋式模型操纵面自动变角度系统研制

针对风洞试验模型操纵面角度的改变,开发了内埋式自动变角机构及控制系统,对控制角度进行了地面校准,并采用三角翼模型进行了风洞常规测力实验、重复性实验和操纵面效率试验.结果表明,采用自动变角机构改变操纵面角度的试验精准度均较高,完全满足国军标的要求,说明本操纵面自动变角系统的研制是成功的,在风洞试验中可以代替人工更换角度片方式,大大提高实验效率.     

气动除冰类飞机结冰风洞试验适航审定技术

民用飞机为获得型号合格证,应按照有关结冰适航规章条款进行结冰适航验证,如何解读适航条款要求并制定有效的符合性验证流程,是进行适航合格审定的关键。本文以Y12F气动除冰飞机结冰风洞试验的实际工程为例,以相关结冰适航文件为基础,结合国际最新的飞机结冰研究成果,研究并总结了目标试验状态设定、设备选择、试验状态的等效转换、模型研制、风洞试验等适航审定要求和技术。构建的结冰风洞试验适航审定方法,有效地指导完成了Y12F飞机除冰系统的适航验证工作,完成中国民用航空局（CAAC）和美国联邦航空管理局（FAA）同时审查,为获得CAAC和FAA型号合格证奠定良好基础。     

端壁抽吸槽道布置对边界层抽吸压气机平面叶栅性能的影响

在压气机静叶叶栅端壁适当位置进行边界层抽吸,可以控制平面叶栅内的流动分离,提高平面叶栅的气动负荷。为考察抽吸槽道不同布置方案对平面叶栅气动性能的影响,在哈尔滨工业大学发动机气体动力研究中心的跨声速风洞上,对不同抽吸槽道布置方案的压气机平面叶栅进行了吹风实验与数值模拟。结果表明:端壁边界层抽吸可以有效降低平面叶栅的总压损失,其效果与抽吸槽道布置的数量有关。     

卫星瞬时覆盖区二维图形显示普适性算法

为清楚显示卫星瞬时覆盖状况,提出了一种新的二维图形显示普适性算法.根据星敏感器、合成孔径雷达、雷达和扫描敏感器四种常见卫星仪器瞬时覆盖区形状,给出了像素点的解析计算和仿真步长确定的解.对两种典型覆盖仿真结果表明:该算法计算速度快、显示效果好.     

基于自适应卡尔曼滤波的机动目标自主轨道确定

用自适应卡尔曼滤波法对非合作机动目标进行轨道确定,通过实时计算观测星的状态转移矩阵,近似描述目标星的状态变化并获得两星体相对位置.算法中用自适应卡尔曼滤波辨识噪声,通过极大似然法选择噪声修正模型.仿真结果表明:该法可有效用于对椭圆轨道非合作机动目标的自主轨道确定.     

残击机高度分层试飞验证

针对采用气动补偿空速系统以改善测高系统精度的现代飞机，简要介绍了高度分层的要求，阐述了引起飞机空速系统位置误差的主要误差源并进行了分析；给出了通过GPS速度法对残击机高度分层试飞验证结果，并对试飞结果进行了分析和讨论；结果表明，所得到的试飞数据可为飞机气动补偿空速系统设计和高度分层试飞方法研究提供重要依据。     

可靠性维修性保障性CAD软件集成环境工程应用验证研究

工程应用验证可以说是一种新的软件测试手段和方法，是对常规软件测试的一种补充。工程应用验证主要适用于那些大型、复杂、开发周期长、与工程实际结合比较密切的，尤其像MS－CAD集成环境那样具有预先研究性质的软件，目的是软件能更好地满足潜在用户的需求。本文结合有关的课题工作进行，对工程应用验证的内涵、方法及实施途径进行了探讨。并针对RMS－CAD集成环境，对验证实施办法进行了详细分析。通过对集成环境应用验证工作的实施，对工程应用验证理论进行了检验，得出了相应的结论。从某些角度讲，工程应用验证应成为具有预研性质的大型工程软件开发的重要辅助手段。     

军事计量保障费-效决策分析

从军事计量保障费-效决策的目的出发,建立了计量保障费用-效能决策模型,对费-效决策优化的具体实施进行了初步研究.针对全寿命周期费用不能定量评估的情形,将指标权重分配的MITA方法和多属性决策的TOPSIS方法结合起来,给出了一种可行的多指标评估方法.通过给出一个决策优化的案例,验证了费-效决策多指标评估方法的正确性和实用性,提高了效能评估的有效性和精确度,供有关研究人员和决策部门参考.