归纳推理和归纳进程

分析了归纳推理与演绎推理的区别, 给出了归纳推理的形式化规则,定义了重构和归纳进程(序列)的概念.同时还给出了一个产生归纳序列的归纳过程模式,并证明:若已知模型M的全体实例集合ε_M,则可以从任一给定的理论出发, 使用此归纳过程模式所产生的所有归纳序列都收敛于同一极限,这个极限就是模型M的全部真语句. 这说明了归纳推理规则的合理性.     

机载电子产品加速试验研究进展

舰载机机载产品在服役过程中故障率高,故障机理复杂,制约了舰载机作战效能发挥,而传统设计生产阶段的可靠性鉴定试验方法,不能有效推断产品在服役环境下的真实可靠性水平。加速试验是解决高可靠性、小样本产品可靠性评估和验证问题的有效方法,具有低成本、短周期等特征。系统分析了加速试验方法在机载电子产品全寿命周期中的应用现状,包括电子产品加速试验的基本模型、存在问题和发展趋势,从而为有效开展机载电子产品的加速试验提供借鉴。     

气源系统建模及功能流仿真分析

给出了功能流模型定义及其建模流程,详细分析了飞机气源系统的工作模式、层次结构、功能流及典型部件的物理失效过程,并实现了气源系统典型工况的建模。最后对气源系统的功能流相关性关系和传播特性进行了仿真分析,以及功能流故障的注入和系统响应分析。     

基于CATIA V5的装配工具快速建模技术研究

针对装配工具种类繁多、建模过程费时费力的情况,通过完善CATIA V5参数化建模功能,构建一种基于CATIA的可视化快速建模方案.在Visual Studi02005平台下,利用CAA技术对CATIA进行二次开发,实现3种类型气钻的应用开发实例.实例表明,利用该建模方案可以大大提高装配工具建模的效率,为进一步实现装配工具模型库的建立奠定基础.     

先进战斗机过失速机动模型飞行试验技术

具有过失速机动能力的战斗机在近距空战中能够取得快速占位、先敌瞄准、有效规避攻击的战术优势,是先进战斗机的标志性性能要求。模型飞行试验技术作为空气动力学研究三大手段之一,在解决飞行器技术难题、实现技术创新方面发挥了重要作用。本文介绍了中国空气动力研究与发展中心利用带动力自主控制模型飞行试验平台发展的过失速机动模型飞行试验技术,以及开展的先进战斗机构型典型过失速机动模型飞行试验,分述了在大迎角非定常气动建模、宽量程气流系参数测量、大迎角非线性控制、推力矢量控制、大迎角非定常气动参数辨识方面的研究工作与解决这些关键问题的技术途径。通过此项研究,在国内首次实现了先进战斗机构型缩比模型典型过失速机动飞行,相关研究成果可为先进战斗机实现过失速机动飞行能力提供有力的技术支撑。     

大推力氢氧发动机瞬态特性研究

以大推力氢氧火箭发动机为研究对象,对其瞬态特性进行了研究。根据模块化的建模和仿真思想,建立了发动机各组件的动态数学模型,开发了发动机系统各组件的仿真模块,开展了发动机动态特性仿真分析与起动时序试验研究。仿真结果表明,推力室氧阀采用25%初级与100%全开的双开度形式,氧涡轮侧设置10%分流流量的燃气分流阀,燃气发生器在火药启动器工作至70%~80%时间段点火的系统优化配置方案,有利于控制发动机点火起动混合比,提高起动可靠性。通过添加故障因子,当涡轮效率由于故障从0.29降至0.19时,发动机工况降至故障前的78%工况,当效率降至0.06时,发动机工况降至故障前20%工况,发动机故障仿真结果与地面试验故障结果吻合较好,有利于故障分析定位。     

自主卫星系统基于Agent的建模与仿真研究

为满足越来越高的航天任务要求,卫星系统必须具有一定程度自主性;但自主卫星系统是复杂系统,研究困难,仿真往往成为唯一的有效手段.本文提出使用基于agent的建模与仿真(ABMS)方法研究自主卫星系统的策略.首先分析了3个有代表性的自主航天任务系统,然后详细讨论了卫星系统的自主性,最后介绍了作者独立开发的支持自主卫星系统ABMS的模型体系结构和软件平台--ABSSA和absimlib,为仿真研究自主卫星系统提供了理论和实践支持.     

卫星总体参数多学科优化与建模探讨

卫星总体参数优化是一个典型的多学科优化问题。文章针对卫星总体参数优化建模及其他相关问题进行了探讨,阐述了卫星总体参数优化的过程;以对地观察卫星为对象,给出了多学科优化模型,包括优化目标、约束条件和设计变量。     

空间对接机构差动式缓冲阻尼及传动系统力学特性研究

空间对接机构差动式缓冲阻尼及传动系统的模化是航天器对接动力学中的核心内容之一,本文在分析该系统运动学原理的基础上研究系统的动力学特性,给出了精确的动力学模型,进行对接动力学仿真研究。      

飞机大振幅非定常滚转运动的非线性稳定性分析

本文根据某飞机大振幅非定常滚转力矩的风洞试验结果,采用两种方法,计算了飞机绕体轴作自由滚转运动时的滚转角时间历程,分析研究了飞机非线性滚转运动的稳定性,并对非定常空气动力对飞机稳定性的影响作了较深入的研究。本文通过两种滚转运动时间历程结果的比较,表明了给出的从大振幅实验提取常规动导数方法是可行的;而且也表明了通过测量飞机绕体轴滚转时大振幅非定常滚转运动时的滚转力矩值,可以研究飞机的摇滚（Ｗｉｎｇ