蕴涵算子族G-λ-0的支持度与三I算法

首先给出了一个新的蕴涵算子族G-λ-0（λ∈[0,1]）;然后,研究了基于蕴涵算子族G-λ-0的支持度理论;最后,给出了基于蕴涵算子族G-λ-0的三I支持算法。     

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

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

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

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

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

证明了系统IIP是基于连续三角模族T_p-II及其伴随蕴涵算子族R_p-II的逻辑系统,并证明了系统IIP与系统II是等价的。在此基础上给出了基于蕴涵算子族R_p-II的三I算法与α-三I算法,这将有助于提高模糊推理的可靠性。     

基于蕴涵算子L-λ-0-λ-G的模糊推理的三I算法

研究了基于蕴涵算子L-λ-0-λ-G模糊推理的FMP三I支持算法,给出了FMP模型和FMT模型的三I算法的计算公式。     

热套压力容器半径过盈量的优化设计

根据热套压力容器内外筒应同时达到屈服的等强度设计原则,推导出最佳半径过盈量的解析方程,利用C程序计算出高精度的最佳半径过盈量,并运用ANSYS软件对热套压力容器进行了应力和变形分析。     

同标签Vague命题的Lawry乘-加逻辑 与Lawry下-上确界逻辑

作者在另一文中,基于Lawry的不确定模型,提出了一种新的非经典命题逻辑,称为同主语同标签Vague命题的Lawry逻辑.本文又扩充了它的研究对象,利用乘积和加法算子(下确界和上确界算子)引入了同标签Vague命题的Lawry乘-加(Lawry下-上确界)真度的概念,并给出了它们的逻辑规律.由此,本文又提出了新的非经典命题逻辑,称为同标签Vague命题的Lawry乘-加(Lawry下-上确界)逻辑.这两种非经典逻辑不仅新颖,而且相比Lawry的不确定模型适应面更广.     

变截面塔一阶自振频率计算公式的探讨

利用大型有限元分析软件ＡＮＳＹＳ程序对石油、化学工业中的变截面塔一阶自振频率计算公式的适用范围进行了探讨和分析。     

蕴涵算子族G-λ-Ⅱ的模糊推理三Ⅰ支持算法

提出了基于蕴涵算子族G-λ-Ⅱ的模糊推理的思想,这将有助于提高推理结果的可靠性.针对蕴涵算子族G-λ-Ⅱ给出了模糊推理的FMP模型及FMT模型的三Ⅰ支持算法、α-三Ⅰ支持算法.     

Lukasiewicz逻辑系统中的随机化研究

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