An IPC-based Prolog design pattern for integrating backward chaining inference into applications or embedded systems

Prolog is one of the most important candidates to build expert systems and AI-related programs and has potential applications in embedded systems. However, Prolog is not suitable to develop many kinds of components, such as data acquisition and task scheduling, which are also crucial. To make the best use of the advantages and bypass the disadvantages, it is attractive to integrate Prolog with programs developed by other languages. In this paper, an IPC-based method is used to integrate backward chaining inference implemented by Prolog into applications or embedded systems. A Prolog design pattern is derived from the method for reuse, whose principle and definition are provided in detail. Additionally, the design pattern is applied to a target system, which is free software, to verify its feasibility. The detailed implementation of the application is given to clarify the design pattern. The design pattern can be further applied to wide range applications and embedded systems and the method described in this paper can also be adopted for other logic programming languages.     

行星着陆轨迹优化技术研究进展

针对行星大气进入、动力下降过程动力学环境及约束条件等进行了分析,回顾了近年来行星着陆轨迹优化的研究现状。在此基础上,结合行星着陆轨迹优化技术在动力学特征、约束条件、不确定环境方面的特点,从非线性动力学的等价/近似变换技术、复杂约束条件下的最优轨迹快速求解技术、不确定条件下的能控/能达性分析技术三个方面,对行星着陆轨迹优化的关键技术进行了梳理。     

涡喷发动机燃烧室内声测量技术研究

本文论述了测量分析燃烧噪声的目的和意义，它是进行燃烧室声疲劳研究及燃烧稳定性主动控制的基础。文中介绍了将声波导管插入燃烧室高温区和采用氮气吹洗冷却的测量系统，并对声导管的截止频率、半无限管的作用以及传热进行了分析讨论。最后论述了运用复数倒源信号恢复的技术来修正声导管测得的数据，还引用验作者实结果说明了这一方法的有效性。     

高负荷风扇级的特性实验与流场分析

为了探索高负荷风扇级的流场特性,积累这方面的设计经验,在压比和效率特性之外,还分别利用三孔针和总压耙对所实验风扇级的出口有关参数进行了测量。同时,为了辅助分析问题,借助了CFD研究了转静根部的匹配问题。对根部区域的实验和计算现象进行了重点讨论,并指出了不足和进一步改进的方向。     

对圆柱和二维扩压叶栅在平面叶栅风洞中旋涡脱落的试验研究

随着叶轮机设计技术的发展，对流动非定常的了解显得越来越急迫。而在叶轮机的流动中，尾流是导致流动非定常的一个重要因素，因此对尾流流动特性的研究就显得很有必要。本文在不同的平面叶栅风洞中对圆柱及二维扩压叶栅进行了吹风实验，利用传声器、热线热膜以及动态压力传感器等动态测试仪器，对圆柱和二维扩压叶栅后旋涡脱落情况进行了试验研究。实验结果显示，在平面叶栅风洞内的圆柱体尾流中有类似在外流中的卡门涡街脱落现象．但所对应的斯特劳哈数比外流稍小。更重要的是，还首次得到了二维扩压叶栅后明显的旋涡脱落特征频率，证实了在二维扩压叶栅非定常流动中也伴随着有规律的旋涡脱落。这些结果将为利用外流的成果和更全面地考虑叶轮机的气动设计提供很重要的参考作用。     

有初始横流的冲击壁面强化的换热特性实验研究

对初始横流的冲击壁面强化的换热特性进行了实验研究。实验的参数范围：Ｒｅｊ＝５０００－２００００，Ｚｎ＝１－３，Ｇｃ／Ｇｊ＝１－１．３。实验表明：随着初始横流的增加（Ｇｃ／Ｇｊ的增大），将改善冲击粗糙肋靶面的换热特性；Ｚｎ的变化对换热有着明显的影响，存在一个最佳值；实验结果还表明冲击孔与粗糙肋相对位置对换热有影响。     

基于UML的电子商务系统设计

随着互连网的日益普及 ,越来越深刻而广泛地影响到人们生活的方方面面。电子商务作为互连网世界中的一颗璀璨的明珠 ,将从根本上改变几千年来形成的传统商业模式 ,充分体现现代科学技术给人们生活带来的便利。UML是一种定义良好 ,易于表达 ,功能强大 ,且适应广泛的建模语言。文章介绍了UML定义的 5类、共10种模型图 ,给出了构建电子商务系统的步骤 ,对其应用进行了评价和展望。     

数字仿真在航空可靠性工程中的应用

回顾近10年来蒙特卡罗数字仿真在我国航空可靠性工程领域的应用和发展,它展示出可靠性仿真在该领域的作用和地位。最后,对今后可靠性仿真研究提出了几点看法。     

飞机起落架上位锁机构可靠性分析

对机构系统可靠性分析的典型方法进行了阐述，并以某国产民机的主起落架上位锁系统为例进行了功能可靠性性定量分析，此工程分析方法也适用于同类问题。     

雷达PRI调制样式识别新方法

针对雷达PRI调制样式识别难题,在分析雷达PRI类型的基础上,提出了能够有效描述雷达PRI调制特征的五种分类特征参数,分析了对存在丢失和虚假脉冲的处理方法,并据此提出了PRI调制样式的识别算法与实现流程,实现了五种典型PRI调制样式的有效识别。理论分析与计算机仿真结果表明,该方法在PRI测量精度较低和丢失虚假脉冲比例较高的情况下具有稳健的识别性能。