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

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

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

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

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

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

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

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

量值定理的推广及其应用

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

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

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

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

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

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

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

泰勒中间点分布的区间分布

运用上确界与下确界存在定理，在一定条件下，研究了泰勒公式中间点的分布特点，得到了全部中间点分布的最小闭区间。     

关于随机变量“几乎确界”的注记

作者对随机变量的几乎确界进行了研究，在适当的条件下，得到了随机变量几乎确界的一些性质，并对对称、可逆、倒对称随机变量的几乎确界性质作了进一步的讨论。     

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

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

真理想族的上、下确界及其性质

 研究了非空集合上真理想族的上、下确界.在非标准扩大模型中,采用单子论的研究方法,提出了非空集合上真理想族上、下确界的定义,在此基础上研究了真理想族上、下确界存在的充要条件,并得到了真理想族在上、下确界存在的条件下的一些运算性质.     

模糊数空间上下确界的度量刻划

在模糊数空间上定义了一种新的度量，证明用这种度量可以对序有界的模糊序列的上、下确界进行刻划。     

n维模糊数的序、距离、确界及其逼近问题

诸如模糊数值函数积分等问题,如何采用上、下函数逼近的方法去定义,在模糊数学领域讨论的比较少,其主要原因是涉及到模糊数集的上、下确界问题.对n维模糊数的序、距离、确界及其逼近问题进行讨论:在模糊数空间定义了新的序关系、距离和确界,并利用模糊数的支撑函数给出了n维模糊数集确界的表示和在新的距离意义下的逼近刻划;使得高维模糊数空间中诸如模糊数值函数的积分采用上、下函数逼近的方法去定义成为可能.     

一种数列的单调性与确界

用适当拆项合理分组的方法证明了一种通项为和式的数列的单调性,既解决了参考文献中关于此种数列尚未解决的问题,又给出了已有结论的简证,并得出了这种数列在相应情况下的上确界和下确界.     

关于凸函数性质的注

本文讨论了凸函数的下确界与最小值之间的关系，给出非强凸函数的例子并加以证明。此外证明了几里得空间闭凸庥上的连续强凸函数的下确界就是它在此集合上的最小值。     

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

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

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

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

半于凸函数性质的注

本文讨论了凸函数的下确界与最小值之间的关系，给出非强凸函数的例子并加以证明，此外证明了欧几里得空间闭凸集上的连续强凸函数的下确界就是它在此集合上的最小值。     

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

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