基于层次分析和中介真值度量的工程质量模糊综合评判

随着建筑市场日益完善,建筑工程项目的质量越来越受到政府和业主的关注.通过专家打分,结合层次分析和中介真值度量的方法,对建成项目的质量进行模糊综合评判,并与传统模糊评价方法进行了比较分析.基于层次分析和中介真值度量的工程质量模糊评判方法,为工程项目质量的评判比较开辟了新的道路,为新时代工程项目后评价赋予了新的内涵.     

模糊推理中的真值传播研究

研究模糊推理的问题,提出了一种真值传播的计算公式与方法,这种算法可以区别精确推理和模糊推理,也可以区别推理条件多与寡的推理。     

目标属性为真假值函数的多目标决策问题解的存在性与求解方法

本文建立了一类目标属性为真假值函数的多目标决策模型，定义了相应有效解、弱有效解与最优解．并在此基础上，对有效解与弱有效解的存在性、求解等问题进行了探讨．     

加权抽取模糊推理中的评判方法

在真值流推理和加权模糊推理过程中,必然要遇到评判揄结论是否被证实的问题,本文针对多角度反映规则结论的情况提出了一种实用评判算法。     

多元三值函数真值向量的收缩性

引入Ｋｕ和运算，讨论了多元函数变量展开顺序的变化对真值向量的收缩性的影响，并将单个向量的逐次收缩扩展到多个变量的逐次收缩，进一步将模和收缩延拓到模乘收缩，从而扩充了真值向量收缩的内涵。     

多值模代数函数的线性分解

提出一种由函数的真值向量判定多值模代数函数能否线性分解或部分线性分解的简捷方法。     

Boole算子Fuzzy逻辑

将算子Fuzzy逻辑建立在Boole代数上,从而提出了Boole算子Fuzzy逻辑(简称BOFL),并且在BOFL中引进了λ-归结推理方法,BOFL系统可以用于模糊知识的定性描述,并且BOFL更自然地将经典逻辑作为它的特例。     

基于知识的结构分析系统

本文扼要分析了以有限元方法为基础的结构分析软件及其辅助系统─—智能化前端系统和模型化系统；然后结合黑板结构和真值维护系统，建立了一个综合模型化、数值求解和对数值结果的解释评价于一体的、基于知识的新型结构分析系统的概念模型；最后，基于有限元软件环境──ＳＥＦＥＭ，针对一类简单的结构系统，用语言实现了一个上述模型的简化系统──ＫＢｓＡＰ。     

命题组相容真值指派集的自动生成

利用常规逻辑中的归结原理给出了命题组具值指派的相容性判定的一个算法，并在其中使用了删除策略以提高归结原理的效率；从而获得了确定命题组相容真值指派集的一种行之有效的方法．     

Gdel系统中由一个或两个原子生成的公式的真值函数的特征

在Gdel系统中研究了仅由一个或两个原子生成的逻辑公式的真值函数的特征,进而按照逻辑等价关系对F(p),F(p,q)进行了细致的分类。