非线性序集逻辑系统L4^2中命题真度值在[0，1]上的分布

利用势为4的均匀概率空间的无穷乘积在四值逻辑系统中引入公式的真度概念，给出了真度推理规则，证明了真值集为非线性序集四值逻辑系统L4^2中全体公式的真度值之集在[0，1]上是稠密的，为进一步建立四值非线性序集逻辑系统的近似推理理论奠定了基础．     

非线性序集逻辑系统L_4~2中命题真度值在[0,1]上的分布

利用势为4的均匀概率空间的无穷乘积在四值逻辑系统中引入公式的真度概念,给出了真度推理规则,证明了真值集为非线性序集四值逻辑系统L24中全体公式的真度值之集在[0,1]上是稠密的,为进一步建立四值非线性序集逻辑系统的近似推理理论奠定了基础.     

二值命题逻辑中的伪距离不等式与近似推理

伪距离是二值命题逻辑系统的近似推理研究中的一个基本逻辑度量,而伪距离不等式是研究近似推理问题的一种基本工具.以公式真度为基础,通过真度不等式以及公式到有限理论结论集伪距离的真度表示,给出了二值命题逻辑中与有限理论相关的伪距离的一系列不等式,讨论了伪距离不等式在近似推理中的应用,为二值命题逻辑系统的近似推理研究提供数值化工具和方法.     

二值命题逻辑中公式的一种概率真度

将经典二值命题逻辑中公式的真度概念推广到势为2的概率空间上,定义了二值逻辑(p,q)测度和其上命题的概率真度;在〔1/3,2/3〕的情形下证明了全体公式的概率真度之集在[0,1]中是稠密的,并给出了公式概率真度的表达通式.     

D-逻辑伪距离不等式与近似推理

以D-随机真度为基础，给出了公式到有限理论结论集D-逻辑伪距离的D-随机真度表示式，得到了D-逻辑度量空间中与有限理论相关的一系列D-逻辑伪距离不等式，并在D-逻辑度量空间中进行了近似推理讨论．     

一类n值命题逻辑系统中改进的相似度及伪距离

基于均匀概率空间的无穷乘积在一类n值命题逻辑系统中定义了公式的真度，并利用真度给出一种改进了的相似度定义，进而导出全体公式集F(S)上的一种伪距离，最后讨论了相似度及伪距离的重要性质．     

二值命题逻辑系统的不可靠度及F度累积定理

本研究在二值命题逻辑系统中提出了与随机真度相对应的F度,根据演绎定理证明了F度累积定理,即有效推理结论的F度不超过其各前提的F度之和,从而通过F度累积定理给出了推理前提与结论的真度关系。最后把F度累积定理与概率逻辑学不可靠度累积定理作比较,说明了F度累积定理与不可靠度累积定理是两种不同的表现形式。     

三值乘积逻辑中公式的条件随机真度

基于条件概率的思想,利用赋值集的随机化方法,在三值乘积逻辑系统中引入公式的条件随机真度,证明了条件随机真度的MP规则和HS规则,引入公式间的条件相似度和条件伪距离,建立了条件逻辑度量空间,推导出条件伪距离的若干性质.     

小桥涵水文分析计算中推理公式的应用研究

小桥涵水文分析计算方法中的推理公式法,产流机理清晰、参数物理概念明确,在国内外公路、铁路、水利等行业得到广泛应用。文中较系统总结了小桥涵水文分析计算推理公式的基本形式,通过不同推理公式的应用及其与其他方法的比较实例,总结提出了推理公式在小桥涵水文分析计算应用中存在的问题:计算结果存在较大的不确定性;计算结果的精度与公式的结构没有必然联系;推理公式与经验公式相比优势不明显等。在此基础上给出了关于小桥涵水文分析计算方法中有关推理公式应用的3点建议:一是加强特小流域产汇流参数的研究;二是进一步开展推理公式结构的研究;三是加强推理公式在国外适应性研究。     

命题逻辑中公式的成真程度问题研究

为了研究命题逻辑中命题公式的成真程度问题,对非重言式也非矛盾式的命题公式提出了公式真度的概念,并对赋值真假相同可能性和不同可能性的真度进行了分析,得到一些有规律的结果.     

基于软真度的关联规则挖掘方法

软集是一种新的处理不确定性问题的数学工具。基于软集和逻辑公式,提出一种新的关联规则挖掘方法。将软真度引入软集数据关联规则挖掘,利用软真度描述属性集之间的量化关系;讨论软真度和支持度之间的联系,给出满足给定的支持度阈值和可信度阈值的软关联规则挖掘方法。实例分析结果表明,该方法可约简冗余,提高效率。     

可拓命题与可拓推理句

进一步研究了可拓命题和可拓推理句,引进了静态真度、可拓真度、静态正确度、可拓正确度的概念,讨论了它们的一些性质,丰富了可拓逻辑的基本概念与理论．     

关于主范式的下标集合及其应用

极小项和极大项是主范式问题的核心,体现了命题公式的成真赋值和成假赋值以及公式类型等诸多特征.讨论了命题公式的主析取范式、主合取范式中的极小项与极大项下标集合的性质,利用主范式的下标集合得到了命题公式蕴涵的几个充要条件.并对命题公式的蕴涵问题进行等价描述;对二值命题逻辑系统的程度化研究中命题公式的真度问题进行讨论.     

基于区间值相似度集合的区间值近似推理

在引入区间值相似度集合概念的基础上,给出基于区间值相似度集合的区间值近似推理的数学模型,并研究了其相关性质和推理算法,最后通过实例验证其推理算法的可行性与有效性。     

RL型三I算法

基于三I方法，结合Lukasiewicz的蕴涵算子，给出具体的RL型三I算法，对其性质做了分析，将其在特殊取值的结果与直观推理规则相比较，得出RL型三I算法是一种适合于日常直观推理算法。     

砌体结构损伤状态的评估

本文在分析砌体结构损伤行为的基础上，提出了损伤评估的数学模型，引入砌体伤值来度量砌体结构的损伤状态，伤值也与结构的可靠性有着密切的联系，以砖墙裂缝为例，本文给出了砖墙裂缝的伤值公式，结果令人满意。     

基于区间值推理的模糊神经网络

在区间值模糊推理的理论基础上，提出了基于区间值推理的模糊神经网络。主要是将模糊逻辑规则利用神经网络来实现，给出了基于IVFR的FNN的结构以及通过两个模糊集的贴近度作为误差反馈的学习算法。     

基于IVFS的专家模糊控制应用研究

针对不确定性知识难以量化．摸铷控制器曲隶属函数不容易确定等问题．提出了一种区间值横期产生式规则．建立模糊控制规则模型，给出了区间值模糊匹配函数定义，在此基础上给出了区间值模糊推理方法。该方法更有利于模期规则的精确匹配．应用到实际工业控制对象，能更好的反映领域专家的决策思维和推理过程。     

位势问题的边界元法在光弹实验中的应用

结合推出的位势问题的边界元法公式，给出光弹实验中确定主应力值的一种方法，进而指出在ＰＣ机上的实施，并给出了应用实例。     

试论宝泉抽水蓄能电站岩基抗滑稳定参数的确定

以宝泉抽水蓄能电站工程的抗剪试验资料为依据，讨论了岩体抗剪参数ｃ，ｆ值的选取方法，推导了ｃ，ｆ的数字特征公式。通过对比分析表明，岩体抗剪参数具有随机和模糊两重性，故采用随机—模糊法选取ｃ，ｆ值，会更符合实际；给出的数字特征公式，可对参数ｃ，ｆ值的波动性及相关性进行检验。