基于CBR和RBR的航天测控设备故障诊断专家系统

采用CBR和RBR混合推理设计了航天测控设备故障诊断专家系统，建立了系统的层次诊断结构模型。介绍了产生式和基于案例的知识表示方法，并详述了系统所采用的基于规则和基于案例的诊断推理机制。最后，基于CLIPS和Visual C 混合编程的方法进行了系统实现，详细介绍了两种语言的嵌入设计。     

金融危机视角下的大学生就业问题

金融危机可能引发大规模的就业冲击。美国次贷危机引发的国际社会金融海啸对整个经济增长带来巨大的负面影响。就中国而言,行业性的冲击不可避免,这对就业增长将是非常不利的。大学生就业难已是不争的事实,为此必须落实好高校就业工作,实现大学生充分就业,发挥好这部分人的作用,这也是落实科教兴国战略,全面建设小康社会的客观要求。     

栅格翼绕流特性的实验研究

研究了栅格翼的绕流特性。采用氢气泡法和丝线法在水洞和风洞中进行实验 ,显示了栅格翼的自由涡系 ,迎角 0°～ 40°范围内各网孔内的流态。还对栅格翼绕流的基本特性以及流动机理作了讨论和分析。     

圆柱体绕横轴气动力和气动热的试验研究

对圆柱体绕垂直中心轴线的横轴旋转时的气动阻力矩和气动热做了试验研究，描述了能将阻力降低８０％左右的加罩法。     

空间实验室天地一体化故障诊断技术研究

航天器故障诊断不仅可以提高航天器安全性和可靠性，而且可以节约航天器安全寿命期成本。文中详细阐述了空间实验室天地一体化故障诊断系统方案。整个故障诊断体系由在轨诊断系统和地面诊断系统组成，在轨诊断系统具有部分自主诊断能力，地面诊断系统又分为系统级故障诊断和分系统级故障诊断。强调了基于模型推理技术(特别是多信号建模技术)在空间实验室天地一体化故障诊断系统中的重要性；最后指出了当前需要深入研究的建模技术及故障诊断系统的组件化和网络化等关键技术。     

基于故障树模型的航天器故障诊断研究

本文建立了基于故障树模型的航天器故障诊断框架，提出了航天器故障诊断的知识组织和表示方法及相应的推理控制策略，并通过对某卫星能源系统故障实验台的故障诊断验证了方法的正确性。     

Modelling Dynamic Spatial Systems in the Situation Calculus

Abstract

We propose and systematically formalise a dynamical spatial systems approach for the modelling of changing spatial environments. The formalisation adheres to the semantics of the situation calculus and includes a systematic account of key aspects that are necessary to realize a domain-independent qualitative spatial theory that may be utilised across diverse application domains. The spatial theory is primarily derivable from the all-pervasive generic notion of “qualitative spatial calculi” that are representative of differing aspects of space. In addition, the theory also includes aspects, both ontological and phenomenal in nature, that are considered inherent in dynamic spatial systems. Foundational to the formalisation is a causal theory that adheres to the representational and computational semantics of the situation calculus. This foundational theory provides the necessary (general) mechanism required to represent and reason about changing spatial environments and also includes an account of the key fundamental epistemological issues concerning the frame and the ramification problems that arise whilst modelling change within such domains. The main advantage of the proposed approach is that based on the structure and semantics of the proposed framework, fundamental reasoning tasks such as projection and explanation directly follow. Within the specialised spatial reasoning domain, these translate to spatial planning/re-configuration, causal explanation and spatial simulation. Our approach is based on the hypothesis that alternate formalisations of existing qualitative spatial calculi using high-level tools such as the situation calculus are essential for their utilisation in diverse application domains such as intelligent systems, cognitive robotics and event-based GIS.