基于蕴涵算子上的模糊布尔代数

文中给出R-模糊布尔代数的定义,讨论了其与模糊布尔代数的关系,证明在一定的条件下,有限个R-模糊布尔代数的交(并)还是R-模糊布尔代数,R-模糊布尔代数的同态像(原像)仍是R-模糊布尔代数。     

条件染色正常图的几个充分条件

给定正整数r,图G的一个r-条件染色是G的顶点的一个正常染色,使得G中任意度数为d(v)的顶点v,其邻域中至少出现min{r,d(v)}种不同的颜色。若图的r-条件色数等于色数,则称图为r-正常的。给出了判断一个图G为正常图的一些充分条件,并用实例说明了这些条件并非必要的。     

软土的循环累积变形模型研究

基于上海地区饱和软土的动三轴试验成果,通过对累积变形影响因素及累积变形发展规律的分析,引入等效循环动应力水平的概念,建立能综合考虑列车荷载循环次数、静偏应力和和动偏应力的耦合作用、固结方式等影响因素的软粘土循环累积变形模型.结合试验成果对模型进行验证,确定不同试验条件下模型中的试验系数.研究结果表明:此模型能够很好地反映多种因素对软土循环累积变形规律的影响;此模型仅适用于软土正常固结且循环应力比小于临界循环应力比的情况;为提高模型计算和预测的精度,用室内试验确定模型中的试验系数时,应采用与现场实际相符的加载和固结条件.     

格值命题逻辑系统LP(X)的语义归结方法

为提高格值逻辑系统中α-归结原理的效率,将语义归结思想和α-归结原理相结合,讨论了格值逻辑系统的α-语义归结方法,并得到了其可靠性和完备性,为基于格值逻辑的归结自动推理算法作了必要的准备。     

模糊推理三Ⅰ算法的还原性

模糊推理算法的还原性是判断蕴涵算子与推理方法配合效果的一个重要标准,只有蕴涵算子与推理方法搭配适当,才能使模糊推理有一个好的效果。本文对模糊推理三I算法具备还原性的条件进行了研究。首先,当与蕴涵算子相伴随的三角模为连续三角模时,给出了FM P问题三I算法具有还原性的充要条件;其次,当蕴涵算子为连续的正则蕴涵算子时,给出了FM T问题的三I算法具有还原性的充要条件;最后,当正则蕴涵算子关于补运算满足对合律时,给出了FM T问题三I算法满足还原性的一个充分条件。     

基于S蕴涵算子的区间值模糊推理的三I算法

针对S蕴涵算子讨论了FM P模型及FM T模型的区间值模糊集三I推理,借助S蕴涵算子的性质,给出相应的推理算法,并讨论了算法的还原性。     

格蕴涵代数的(∈,∈V q[k])-fuzzy LI-理想

运用fuzzy集的思想和方法研究格蕴涵代数的LI-理想.引入了(∈,∈Vq[k])-fuzzy LI-理想和(∈,∈V q[k])-fuzzy格理想的概念,讨论了它们的性质及相互关系.获得了(∈,∈Vq[k])-fuzzy LI-理想的若干等价刻画;证明了在格H蕴涵代数中(∈,∈Vq[k])-fuzzy LI-理想和(∈,∈Vq[k])-fuzzy格理想相互等价的结论.     

关于余剩余格的一点注记

进一步研究了余剩余格的一些性质,并证明了余剩余格等价于具有条件(S)的BCK-格,最后基于余剩余格的形式给出了格蕴涵代数的一种等价刻画.所得结果将有助于深入了解余剩余格的代数结构,也为相关多值逻辑系统的研究提供又一途径.     

逻辑函数化简程序的实现

本文论述了用C语言实现重复包含算法的过程．利用合并操作实现求全部质蕴涵和用包含操作实现函数的最小覆盖．从而实现对逻辑函数的化简。     

一类本性正常算子的(U+K)轨道的闭包

讨论了一类本性正常算子的（U K）-轨道的闭包：（U K）（T）↑-。具体地讲，如果T是一个具有正常加紧形式的三角算子，且它的本性谱是完备的，对角线以上部分是紧的，得出结论：A∈L（H），A∈（U K）（T）↑-的充要条件是：（1）A∈Nor(H) K(H);(2)σ(A)增包含σ（T），σ0(A)增包含于σ0(T)，σe(A)=σe(T);(3)ind(λ-A）=ind(λ-T），A↓λ∈ρs-F(A)=ρs-F(A)=ρF(A);(4)nul（λ-A）≥nul(λ-T），A↓∈ρs-F(A);(5)如果λ∈σe(A)则rankE(λ；T）。除此之外，如果T是一个双三角的本性正常算子，它的谱σ（T）=σe(T)=σ是C的一个完备集，则A∈（U K)(T)↑当且仅当A满足：（1）A∈Nor(H) K(H);(2)σ（A）增包含σ（T）是完备的；（3）σe(A)=σe(A)=σe(T),且对任意的λ∈ρs-F(A),ind(λ-A）=0。