R0代数中的正蕴涵MP滤子和固执MP滤子

在R0代数中,给出布尔MP滤子的几种性质特征。提出正蕴涵MP滤子和固执MP滤子的概念,讨论了它们的一些性质定理。证明正蕴涵MP滤子与布尔MP滤子等价,固执MP滤子与MP超滤等价,同时也讨论了正蕴涵MP滤子和固执MP滤子的关系。     

逻辑系统Hα中广义语义MP规则证明的改进

将修正的Kleene逻辑系统中语义MP规则推广后应用于H_α逻辑系统中,讨论了H_α逻辑系统中广义重言式理论的语义（[α]-MP）规则,语义（[α⁺]-MP）规则,使得对H_α系统中的广义语义MP规则有了更进一步的认识。另外,逻辑系统W中的广义语义MP规则也成为一个特例。     

非交换BR0-代数与其上的Quantale

提出非交换BR₀-代数的概念,然后讨论了在完备非交换BR₀-代数和完备BR₀-代数上的Quantale性质,最后得出完备Boole代数、完备MV代数、完备R₀-代数以及完备BR₀-代数都是可换的Girard quantales的结论。     

正则蕴涵算子族G-λ-R0的约束度理论相关研究

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

基于蕴涵算子族L-λ-R0的模糊推理α-三I约束算法

提出了基于蕴涵算子族L-λ-R₀的模糊推理的思想,这将有助于提高推理结果的可靠性。针对蕴涵算子族L-λ-R₀给出了模糊推理的FMP模型及FMT模型的α-三I约束算法。     

RG-代数的子代数与广义重言式理论

对Godel逻辑系统中的广义重言式理论进行推广,讨论了R_G-代数的各类无限子代数上的广义重言式,证明了在子R_G-代数中,Godel逻辑系统中存在着可数多个不同的广义重言式。     

基于含参数蕴涵算子族L-λ -R0的三I支持算法 ——仅就FMP模型进行讨论

提出了基于蕴涵算子族L-λ-R₀的模糊推理的思想,这将有助于提高推理结果的可靠性。针对蕴涵算子族L-λ-R₀给出了模糊推理的FMP模型的三I支持算法、α-三I支持算法。     

BL*系统的一种扩张及相关性质

对BR₀代数,Boole 代数以及BL*系统,命题演算形式系统L进行了研究。首先讨论了BR₀代数与Boole 代数间的相互关系,随后在BL*系统中分别添加公理模式(A →B) →¬A ∨ B或(A →(B → C)) →(A ∧ B → C)得到BL*系统的两种扩张,并证明了BL*系统的这两种扩张与命题演算形式系统L之间是等价的。     

基于蕴涵算子族L-λ-R0的FMT三I约束算法

提出了基于蕴涵算子族L-λ-R₀的模糊推理的思想,这将有助于提高推理结果的可靠性。针对蕴涵算子族L-λ-R₀给出了FMT模型的三I约束算法、α-三I约束算法。给出了FMT模型的三I约束算法、α-三I约束算法计算公式。     

三值乘积逻辑系统Π3中的随机化研究

利用赋值集的随机化方法,在三值乘积逻辑∏₃提出了公式的随机真度,证明了所有公式的随机真度之集在[0,1]中没有孤立点;给出了两公式间的D_∏3-相似度与伪距离的概念,并建立了D_∏3-逻辑度量空间,证明了此空间没有孤立点。     

Boolean filters and positive implicative filters of residuated lattices

The aim of this paper is to introduce the notions of Boolean filters and positive implicative filters in residuated lattices and to investigate their properties. Several characterizations of Boolean filters and positive implicative filters are derived. The extension theorems of implicative filters and positive implicative filters are obtained. The relations among Boolean filters, implicative filters and positive implicative filters are investigated and it is proved that Boolean filters are equivalent to implicative filters, and that every Boolean filter is a positive implicative filter, but the converse may not be true. Furthermore, the conditions under which a positive implicative filter is a Boolean filter are established.     

BR_0代数中的次极大滤子

首先在BR0代数M中引入滤子,然后又给出了M中次极大滤子的概念,并讨论了它的性质,得到了BR0代数中的每个滤子都可表示为一些次极大滤子的交的结果。特别地,在满足滤子降链条件的BR0代数中,每个滤子都可表示为有限个次极大滤子的交。     

广义时滞系统的时滞依赖L2-L∞滤波

讨论广义时滞系统的L2-L∞滤波问题. 目的是设计全阶滤波器保证滤波误差系统的时滞依赖指数允许性和给定的L2-L∞性能指标. 通过解线性矩阵不等式获得所需的滤波器. 数值例子表明结果具有较小的保守性.     

BR0代数的关联MP滤子和布尔MP滤子

引入BR0代数的关联胛滤子。研究它的特征,证明如下主要结果：F是关联脚滤子,当且仅当F是布尔仰滤子。从而BR0代数成为Boole代数的充要条件是每个胛滤子均为布尔胛滤子或关联肿滤子。     

Filter theory of BL algebras

In this paper we consider fundamental properties of some types of filters (Boolean, positive implicative, implicative and fantastic filters) of BL algebras defined in Haveshki et al. (Soft Comput 10:657–664, 2006) and Turunen (Arch Math Logic 40:467–473, 2001). It is proved in Haveshki et al. (2006) that if F is a maximal and (positive) implicative filter then it is a Boolean filter. In that paper there is an open problem Under what condition are Boolean filters positive implicative filters? One of our results gives an answer to the problem, that is, we need no more conditions. Moreover, we give simple characterizations of those filters by an identity form ? x, y(t(x, y) ∈ F), where t(x, y) is a term containing x, y.      

参数LP系统的三I算法与α-三I算法

给出了连续三角模族T_(p-L)及其伴随蕴涵算子族R_(p-L)的定义,并且给出了逻辑系统LP的定义;证明了逻辑系统LP与逻辑系统L的等价性,在此基础上给出了基于蕴涵算子族R_(p-L)的三I算法与α-三I算法。     

考虑有限字长影响的离散时间非脆弱H∞滤波

本文研究了线性离散时间系统由有限字长影响的非脆弱滤波问题. 假定所设计的滤波器具有加性增益变量, 此增益变量反映了滤波器执行时的有限字长的影响. 为了解决该非脆弱滤波问题, 提出了一个结构的顶点分离器的概念, 并采用该分离器, 基于线性矩阵不等式给出了非脆弱滤波器设计的充分条件. 设计的结果使得误差系统渐进稳定且具有一定的性能水平. 数值例子验证了方法的有效性.     

量测缺失下多速率传感器系统的H∞滤波器设计

提出了一类具有量测缺失和堆栈存贮特性的网络化多速率系统的H∞滤波问题. 采用提升技术将多速率系统转化为单速率系统, 并提出了一种解决由提升所带来的因果约束的方法, 然后通过构造李亚普诺夫稳定函数设计H∞滤波器. 在构造滤波器过程中, 发现采样速率越慢, 滤波设计的保守性越强. 算例表明了方法的有效性, 并且分析了不同采样周期以及不同的量测到达率对滤波器性能的影响.