Tractable Fragments of Fuzzy Qualitative Algebra

Abstract

In this paper we study the computational complexity of Fuzzy Qualitative Temporal Algebra (QA ^fuz ), a framework that combines qualitative temporal constraints between points and intervals, and allows modelling vagueness and uncertainty. Its tractable fragments can be identified by generalizing the results obtained for crisp Constraint Satisfaction Problems (CSPs) to fuzzy CSPs (FCSPs); to do this, we apply a general methodology based on the notion of α-cut. In particular, the results concerning the tractability of Qualitative Algebra QA, obtained in a recent study by different authors, can be extended to identify the tractable algebras of the fuzzy Qualitative Algebra QA ^fuz in such a way that the obtained set is maximal, namely any maximal tractable fuzzy algebra belongs to this set.     

基于BHS-树的定性故障诊断方法

基于定性模型的诊断方法,由于无需系统定量模型,尤其适用于航天器等复杂系统的故障诊断.该方法推理过程包括冲突集的确定及诊断集的生成.基于BHS-树的方法,是一种由冲突集生成诊断集的有效途径,但存在诊断结果冗余及反向递归过程复杂的问题.采取异常/正常特征量相结合的措施,有效地解决了诊断结果冗余的问题,能够准确确定诊断集;同时在系统单故障的假设前提下,对反向递归过程进行适当简化,降低了推理的复杂程度,并通过实例对上述改进进行了验证.     

Localization,Exploration, and Navigation Based on Qualitative Angle Information

Abstract

Three of the major problems in building autonomous mobile robots are localization, exploration, and navigation. This paper investigates how well different qualitative methods based on angle information, most of them originally invented for representation of spatial knowledge, are suited for addressing these problems. It combines results from discrete and computational geometry with methods from qualitative spatial reasoning, gaining some new insights on the complexity of robot navigation. It turns out that essentially only with panoramas (special roundviews) the qualitative localization problem can be solved in a satisfactory manner. The exploration problem (qualitative map building), remains difficult for all considered approaches.     

一类静不平衡控制系统的最优控制

为一类静不平衡控制系统设计了最优控制器，在最优状态反馈和输出反馈的设计中，性能指标是时间变量相乘的二次型，并且在系统设计中同时考虑了性能指标对参数变化的灵敏度，实际的控制系统由常用器件构成，实验结果表明，实际构成的最优控制系统的动态响应与理想的模拟结果相当接近，此类控制系统可用于航空及航海等领域。     

基于BP神经网络的飞行训练品质评估

为了弥补现有飞行训练品质评估系统存在的不足,本文提出利用飞行员生理信号和飞行操作参数来构建评估指标体系。建立了基于BP神经网络的飞行员飞行训练品质评估模型,通过已完成训练的网络的权值分布计算出各输入指标对最后评分结果的影响,并通过算例分析检验了该模型的可靠性。检验结果表明:经BP神经网络模型训练得到的结果和样本的专家评分基本吻合,选取的评价指标有效,该评估模型能够有效地将飞行员生理信号与飞行训练参数相结合,对飞行员的飞行训练品质进行评价。     

复杂性和意义含糊问题的定性仿真和控制

定性推理;定性仿真;定性模型许多系统是高阶、时变、非线性,传统的模型分析方法不容易应用。定性推理能避免复杂的数学计算,定性推理有吸引力是因为它涉及到物理系统一般原理的描述,这意味着一个特殊的定性模型能用于描述一个大范围的起作用的条件。在工程上定性推理用于监控和诊断。这篇论文阐述如何用定性推理技术去控制液位系统的问题。     

基于FWFPN的装备保障性定性指标评价算法

以模糊Petri网为基础,将权重、可信度等约束条件应用到模糊Petri网中,建立了一种新的、称之为加强的带权模糊Petri网;给出了加强带权模糊Petri网的形式化推理算法,并将推理算法与矩阵运算相结合,用Matlab进行计算;最后,结合舰炮装备的一些保障性定性指标对该推理算法进行了验证.     

Research on Maintainability Evaluation Model Based on Fuzzy Theory

分析了产品维修性影响属性,给出了维修性属性值与权重的确定方法;提出了基于相对接近度的维修性模糊评价方法。以虚拟环境下产品维修过程为研究对象,在分析产品各可更换单元的维修作业的基础上,建立了产品维修性评价模型。最后结合民机主起落架系统给出了应用实例,结果表明该模型适用于产品维修性的定性评价并且能够支持维修性并行设计。     

The effect of solar and geomagnetic parameters on total electron content over Ankara,Turkey

In this study, the relationship between total electron content (TEC) and solar and geomagnetic parameters for Ankara station (39.7 N, 32.76 E), Turkey located in the mid-latitude ionosphere is investigated. In this context, F10.7 solar flux and Interplanetary Magnetic Fields (IMF) from solar parameters and Kp and Dst indices from geomagnetic parameters affecting on TEC are considered. The relationship between the variables is investigated by means of the statistical multiple regression model at the universal time (UT) (Local Time = UT + 2 h) 1200 and 2400 in the years when the 24th solar cycle was minimum (2007–2009) and maximum (2015). As a result, it is found that explainable rates by solar and geomagnetic parameters of TEC changes in 2007–2009 are lower than in 2015 at daytime, while the explainable rates in the solar minimum years are higher than those the maximum year at nighttime. To be higher than the solar maximum of explainable rate in the solar minimum years at nighttime may be related to the fact that the dynamics of the ionosphere is significantly different than expected in this deep minimum period. As expected in 2015, the relationship between TEC and independent parameters is greater at daytime than at nighttime.     

基于网络流仿真的潜通路分析方法

针对线索表法在分析潜通路问题过程中约束条件过多的问题,在人工神经网络分析法的基础上应用网络流仿真进行潜通路分析.根据电路元件的电气特性以及人工神经网络的特点,建立了元件的定性仿真模型,确定电路网络的构成方式.通过网络流仿真模拟电流在电路系统中的扩散过程,预测电路中负载的响应.通过对比电路网络中负载的设计响应以及通过分析预测得到的负载响应,就可以判断出电路网络是否存在潜通路问题,并且找到发生潜通路问题的原因.该方法可以正确预测电路网络中的负载响应,克服了线索表法的缺陷,减少对分析已知条件的要求以及人为因素对分析结果的影响.