期刊文献+
共找到2篇文章
< 1 >
每页显示 20 50 100
具有模糊时态的广义可能性线性时序逻辑的模型检测 被引量:10
1
作者 梁常建 李永明 《电子学报》 EI CAS CSCD 北大核心 2017年第12期2971-2977,共7页
本文首先定义了具有模糊时态的广义可能性线性时序逻辑GPoFLTL(Generalized Possibilistic Fuzzy Linear Tempora Logic)的语构以及基于路径和基于语言的两种语义解释,证明了GPoFLTL在模糊时态方面对GPo LTL(Generalized Possibilistic ... 本文首先定义了具有模糊时态的广义可能性线性时序逻辑GPoFLTL(Generalized Possibilistic Fuzzy Linear Tempora Logic)的语构以及基于路径和基于语言的两种语义解释,证明了GPoFLTL在模糊时态方面对GPo LTL(Generalized Possibilistic Linear Tempora Logic)进行了扩张,并通过实例说明了GPoFLTL比GPo LTL具有更强的表达能力;其次在广义可能性测度下通过模糊矩阵运算讨论了"不久","几乎总是"等几类模糊时态性质的模型检测问题;最后研究了模糊时态性质的必要性阈值模型检测问题,给出了基于自动机的GPoFLTL的阈值模型检测算法及算法的复杂度. 展开更多
关键词 模糊时态 可能性性质 线性时序逻辑 时间复杂度 阈值模型检测
下载PDF
Effective model based fault detection scheme for rudder servo system
2
作者 徐巧宁 周华 +2 位作者 喻峰 魏兴乔 杨华勇 《Journal of Central South University》 SCIE EI CAS 2014年第11期4172-4183,共12页
The inherent nonlinearities of the rudder servo system(RSS) and the unknown external disturbances bring great challenges to the practical application of fault detection technology. Modeling of whole rudder system is a... The inherent nonlinearities of the rudder servo system(RSS) and the unknown external disturbances bring great challenges to the practical application of fault detection technology. Modeling of whole rudder system is a challenging and difficult task. Quite often, models are too inaccurate, especially in transient stages. In model based fault detection, these inaccuracies might cause wrong actions. An effective approach, which combines nonlinear unknown input observer(NUIO) with an adaptive threshold, is proposed. NUIO can estimate the states of RSS asymptotically without any knowledge of external disturbance. An adaptive threshold is used for decision making which helps to reduce the influence of model uncertainty. Actuator and sensor faults that occur in RSS are considered both by simulation and experimental tests. The observer performance, robustness and fault detection capability are verified. Simulation and experimental results show that the proposed fault detection scheme is efficient and can be used for on-line fault detection. 展开更多
关键词 rudder servo system fault detection nonlinear unknown input observer adaptive threshold
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部