空间推进系统的故障推理研究

空间推进系统必须可靠地完成轨道保持、轨道修正、姿态控制的重要任务 ,要求当其某一功能模块出现故障时、能及时发现并有效隔离。文中介绍了利用有向图方法分析此推进系统故障传播机理的方法 ,并建立相应的故障推理模型。离线检测和理论分析表明 ,此方法逻辑性强 ,简单高效 ,具有空间实时应用的可能性     

多重加权双向联想记忆模型及决策性能研究

Ｃ Ｃ Ｗａｎｇ等利用Ｋｏｓｋｏ的双向联想记忆模型（Ｂｉｄｉｒｅｃｔｉｏｎａｌ ａｓｓｏｃｉａｔｉｖｅ ｍｅｍｏｒｙ，ＢＡＭ），构造了由多个ＢＡＭ构成的多重ＢＡＭ（Ｍｕｌｔｉ－ＢＡＭ）决策模型，使之可以应用于多证据推理，获得了Ｍｕｌｔｉ－ＢＡＭ的决策性能。作者在此基础上，通过对各ＢＡＭ引入不同的权值来模拟各专家不同的权威度，构建了相应的多重加权ＢＡＭ（Ｍｕｌｔｉ－ＷＢＡＭ）模型，证明了该模型在同、     

飞机发动机燃料计量系统故障分析的一种方法

随着产品成本和复杂性的提高，故障模式影响分析已成为复杂系统设计过程中不可或缺的部分。但其有效性多年来一直存在争议，其主要原因在于采用以经验为主的定性推理法，分析繁琐，工作量大，导致很难确定每种故障模式的故障影响。本文从BIT设计的角度，以功能角色模型理论为基础，导出在反馈系统中的推理规则和故障模式影响分析方法。最后以喷气式发动机燃料计量系统为例，阐述对该系统进行故障分析的一般步骤。研究表明，本文提出的功能角色模型理论可有效提高故障模式影响分析效率。     

基于一种隶属函数的夹具相似度计算模型

针对夹具概念设计过程的复杂性和设计结果的不确定性等缺点,将基于实例推理技术应用于夹具概念设计过程当中。并根据夹具特征和概念设计中的模糊需求,选取三角函数作为隶属函数进行相似度计算,构建相似度计算模型,并将其应用于夹具实例推理过程中,最终实现简化夹具设计过程和提高设计效率的目的。     

基于案例推理和等价空间的定性/定量混合故障诊断方法

针对难以获得航天器控制系统的精确模型,采用基于知识的定性故障诊断方法也难以奏效的问题,采取定性/定量混合故障诊断的思路,将基于案例推理和等价空间故障诊断方法有机结合,建立定性/定量混合故障诊断模型,推出一种定性/定量混合故障诊断方法。以航天器姿态控制系统为对象进行故障诊断。验证结果表明,推出的定性/定量混合故障诊断方法能够发挥二者的优势,比任何单独一种方法的诊断效果都好。     

Space,Language and Ontology: A Response to Davis

Abstract

Ernest Davis' article “Qualititative Spatial Reasoning in Interpreting Text and Narrative” discusses challenges that the interpretation of natural language appears to raise for the formalization of commonsense spatial reasoning. Davis finds these to be of “surprising logical complexity,” but also “erratic” in that they do not show a logical structuring of the problem space that could guide productive research. In this response I argue that much of the apparent lack of structure Davis laments is due to the very style of formal modeling he pursues. By augmenting logical considerations with substantial input from other disciplines and by adopting a heterogeneous and modular approach to formalization, I suggest that the problem space is by no means as ill-structured as Davis presents it.     

Qualitative Spatial Reasoning for Topological Map Learning

Abstract

In this paper we investigate the application of qualitative spatial reasoning methods for learning the topological map of an unknown environment. We develop a topological mapping framework that achieves robustness against ambiguity in the available information by tracking all possible graph hypotheses simultaneously. We then exploit spatial reasoning to reduce the space of possible hypotheses. The considered constraints are qualitative direction information and the assumption that the map is planar. We investigate the effects of absolute and relative direction information using two different spatial calculi and combine the approach with a real mapping system based on Voronoi graphs.     

On Embedding a Qualitative Representation in a Two-Dimensional Plane

Abstract

This paper discusses embedding in a two-dimensional plane a symbolic representation for spatial data using the simple objects, points (P), lines (L), circuits (C), and areas (A). We have proposed PLCA as a new framework for a qualitative spatial reasoning. In a PLCA expression, the entire figure is represented in a form in which all the objects are related. We investigate the conditions for two-dimensional realizability of a PLCA expression, and derive the relation that the numbers of objects in a PLCA expression should have. In this process, we use the well-known Euler's formula. We also give an algorithm for drawing the figure of the PLCA expression that satisfies this condition in a two-dimensional plane and prove its correctness. The algorithm generates a quantitative expression from qualitative expression.     

空间目标态势行为与事件本体设计与构建

针对空间目标态势威胁响应和预警研究不完善的问题，为实现空间目标行为和事件的智能推理、实时响应和主动预警，保障航天活动和空间利益，提出面向行为与事件的空间目标态势本体模型(BEO-SO2)。基于基本形式本体(BFO)，构建空间目标态势行为与事件本体模型。在统一时空框架下建立空间目标关系模型，实现空间目标行为执行和事件发生过程的动态推演。以空间目标碰撞威胁为背景，设计对象实体等级体系和碰撞威胁行为与事件要素，建立碰撞威胁推理规则，基于空间目标态势行为与事件本体进行实现、验证与展示。结果表明,空间目标态势行为与事件本体能够实现空间目标碰撞威胁的等级推理与预警，并指导进一步的空间活动，为航天任务与空间活动提供有效保障。     

考虑扰动的无人机集群协同态势感知一致性评估

无人机（UAV）集群协同态势感知（SA）一致性是无人机集群协同作战的关键，对一致性进行评估至关重要。针对态势感知过程中面临的强不确定性等问题，在一致性评估指标体系的基础上，提出了基于证据推理规则的态势感知一致性评估方法，将各类指标信息统一至置信结构，并充分考虑指标的权重与可靠度。采用扰动分析法对复杂战场环境进行模拟，提出考虑扰动的态势感知一致性评估方法，并对算法进行了总结。最后，通过仿真算例和对比研究验证了所提方法在不确定性表达、一致性评估和无人机集群的环境适应性研究等方面的有效性。