模糊推理的反向三I约束算法

提出了基于蕴涵算子R0的反向三I约束算法的理论，分别得到了α－反向三I约束算法的FMP的下确界与FMT的上确界的一般计算公式。     

基于含参量蕴涵算子的反向三Ⅰ算法

针对Hα系统中的含参量蕴涵算子给出FMP问题的反向三I算法上确界计算公式和FMT问题的反向三Ⅰ算法下确界计算公式,并进一步将问题一般化,给出了α-反向三Ⅰ支持算法相应的计算公式.     

关于模糊推理的全蕴涵三I算法的约束度理论

提出了三I算法的约束度理论,分析了约束度的性质,得到了一般的α-三IMP上确界公式与α-三I MT下确界公式.     

基于正则蕴涵算子的约束度分析

采用正则蕴涵算子进行探讨,提出三I算法的约束度理论,并给出 -三I FMP上确界与 -三I FMT下确界的计算公式。     

基于蕴涵算子族NMp的α-三I算法及约束度理论

研究了基于蕴涵算子NMp模糊推理的三I算法的约束度理论,分析了约束度的性质,给出了α-三I算法的FMP(FMT)上(下)确界的计算公式.     

基于含参量蕴涵算子的反向三Ⅰ约束算法

针对王国俊教授提出的Hα系统中的蕴涵算子给出FMP问题的反向三I约束算法计算公式和FMT问题的反向三I约束算法计算公式.     

基于某些常见蕴涵算子的模糊推理反向三I约束算法

讨论了FMP，FMT问题的反向三I约束算法解的存在惟一性条件，分别给出了几个常见蕴涵算子的FMP问题与FMT问题的反向三I约束算法解的计算公式. 进而将问题一般化，给出了FMP与FMT问题的α^-反向三I约束算法解的存在惟一性条件，并得到了基于这些蕴涵算子的α^-反向三I约束算法相应的计算公式.     

基于完备余剩余格的反向三I算法

提出了一般余剩余格中的反向三I算法规则,给出了基于完备余剩余格的反向三Iα-MIFMP算法和反向三Iα-MIFMT算法,证明了CRL-型反向三IMIFMP算法和CRL-型反向三IMIFMT算法是P-还原算法,并基于Lukasiewicz余伴随对和R0余伴随对中的Θ算子给出了FMP问题和FMT问题关于反向三IMIFMP规则和反向三IMIFMT规则的解法.     

基于蕴涵算子族NMp的α-三｜算法及约束度理论

研究了基于蕴涵算子NMp模糊推理的三｜算法的约束度理论,分析了约束度的性质,给出了α-三｜算法的FMP（FMT）上（下）确界的计算公式。     

基于某些常见蕴涵算子的模糊推理反向三Ⅰ约束算法

讨论了FMP,FMT问题的反向三Ⅰ约束算法解的存在惟一性条件,分别给出了几个常见蕴涵算子的FMP问题与FMT问题的反向三Ⅰ约束算法解的计算公式.进而将问题一般化,给出了FMP与FMT问题的α-反向三Ⅰ约束算法解的存在惟一性条件,并得到了基于这些蕴涵算子的α-反向三Ⅰ约束算法相应的计算公式.     

基于某些常见蕴涵算子的反向三I算法

讨论了FMP,FMT问题的反向三I支持算法解的存在性和惟一性条件,分别给出了几个常见蕴涵算子的FMP问题与FMT问题的反向三I解的计算公式.进而将问题一般化,给出了FMP与FMT问题的α-反向三I支持算法解的存在惟一性条件,并得到了基于这些蕴涵算子的α-反向三I支持算法相应的计算公式.     

基于蕴涵算子族L-λ-G的反向FMT模型三I支持算法

提出了基于蕴涵算子族L—λ—G的模糊推理的思想，这将有助于提高推理结果的可靠性．针对蕴涵算子族L-λ-G给出了模糊推理的FMT模型的反向三I支持算法、a-反向三I支持算法．     

基于某些常见蕴涵算子的反向三Ⅰ算法

讨论了FMP，FMT问题的反向三Ⅰ支持算法解的存在性和惟一性条件，分别给出了几个常见蕴涵算子的FMP问题与FMT问题的反向三I解的计算公式．进而将问题一般化，给出了FMP与FMT问题的α-反向三Ⅰ支持算法解的存在惟一性条件，并得到了基于这些蕴涵算子的α-反向三Ⅰ支持算法相应的计算公式．     

误差协方差约束下的传感器噪声估计算法

该文针对具有误差协方差约束下噪声确界算法为研究背景,阐述了协方差约束下容许噪声发展过程和现状,介绍了卡尔曼滤波噪声的确界算法,在此基础上重点陈述了不完全量测下噪声确界办法。提出不完全量测下传感器精度容许噪声的确界算法,在给定协方差的条件下,利用凸优化问题求解最优值问题的求解方法,在LMI工具箱中求解多传感器容许噪声的问题,介绍了该方法在实际工程中的应用价值,最后指出了当前方法的局限性,并对未来研究方式做了总结和展望。     

Reverse three I Algorithm Based on Regular Implication

讨论了基于常见正则蕴涵算子的反向三I算法,给出了计算公式.     

基于含参量蕴涵算子H_（p,λ）的多种三I算法

基于新的带参数的蕴涵算子H（p,λ）给出粘了FMP问题的三I支持算法公式、α-三I支持算法公式以及α-三I约束算法公式。并详细证明了这些算法的正确性。     

量值定理的推广及其应用

推广了最值定理,找到了在区间I内连续函数f(x)的上确界与下确界的一个必要条件,提供了求在区间I内连续函数f(x)的最值与值域的一般方法。     

基于至少满足弱硬实时限制的调度算法

提出了一种用于保证实时周期任务满足“至少满足”弱硬实时限制的算法.针对以往算法的缺点,扩充了弱硬实时限制的性质,定义了下确界限制并给出求解法.下确界限制用于保证任务满足“至少满足”弱硬实时限制,是任务满足限制的下确界.下确界限制的求解法计算负责度较低,因此在该求解法的基础上设计了调度算法MAA,用于保证任务满足“至少满足”弱硬实时限制.     

基于含参量蕴涵算子的三I约束算法

针对Hα系统中的蕴涵算子给出了FMP和FMT问题的三I约束算法计算公式.     

区间值模糊推理的FOOL方法的细致化

给出了FMP的三I解的一般形式,证明了关于区间值模糊推理的单调性定理、下确界定理以及存在性定理。在分析了规则后件相对于前件的敏感性的基础上提出了p－敏感参数概念,从而定义了p－综合距离与（p-θ）相对激活度。将关于区间值模糊推理的FOOL方法细致化为（p-θ）算法,可望用于解决这一类空间数据分析问题。