系统L中公式相对于有限理论的∑Γ-真度理论

将模糊命题逻辑中的∑-α-重言式理论与计量逻辑学中的真度理论相结合,在经典二值命题演算系统L中引入了公式相对于有限理论的∑Γ-真度理论,较为详细地讨论了它们的性质,并利用∑Γ-真度的性质在公式集F(S)上引入了ρΓ-伪距离,对原有的理论进行了加强和补充,为在模糊命题逻辑系统的有限理论中讨论结论的程度化问题奠定了基础.     

基于公理化设计的机床再制造设计支持软件开发

在分析机床再制造设计过程特点的基础上,引入公理化设计的相关理论与方法,形成基于多域映射的机床再制造设计过程框图;基于此,设计并开发基于公理化设计的机床再制造设计支持软件,包括机床信息、用户需求、功能规划、结构设计、再制造工艺设计等5个功能模块;该软件在某重型机床再制造设计中进行了初步应用与实施。     

标准序列逻辑系统S3中的相似度及伪距离

在三值标准序列逻辑系统中引入了公式的真度概念,并利用真度定义了公式间的相似度,进而导出全体公式集上的一种伪距离,证明了伪距离空间中没有孤立点,从而可以考虑用一列公式去逼近某个公式,这就为进一步在三值标准序列逻辑系统中展开近似推理奠定了基础。     

基于公理化思想的基础评价理论研究

将用于理论构建的公理化思想引入评价领域,从基础理论层面为评价的发展作支撑.结合评价作为应用科学自身的特点,从评价方法的演变和结构角度探讨了基础理论的构建,并尝试提出了基于公理化思想的评价基本概念及基础评价理论的公设,为建立一种完整的评价基本理论体系奠定了基础.     

二值命题逻辑中的蕴涵度量与近似推理

在二值命题逻辑系统中引入公式的真度、条件真度和蕴涵真度概念,为二值命题逻辑系统的程度化研究和近似推理提供了数值化工具.为了讨论基于真度、条件真度和蕴涵真度的近似推理模式的关系问题,以真度概念为基础,在二值命题逻辑系统中引入蕴涵度量概念,并通过蕴涵度量的真度表示式,给出了与有限理论相关的分别基于真度、条件真度和蕴涵真度的伪距离的蕴涵度量表示式,证明了分别基于真度、条件真度和蕴涵真度的近似推理问题可以转化为基于蕴涵度量的近似推理讨论,并给出了蕴涵度量在近似推理中的应用,为二值命题逻辑系统的基于不同真度的近似推理研究提供数值化方法.     

匕ukasiewicz三值命题逻辑中公式的可靠真度理论

基于均匀概率空间的无穷乘积在匕ukasiewicz三值命题逻辑中引入了公式的可靠真度概念,证明了全体公式的可靠真度值之集在[0,1]中没有孤立点;利用可靠真度定义了可靠相似度和伪距离,进而建立了逻辑度量空间,证明了该空间中没有孤立点,为进一步在三值命题逻辑中展开近似推理奠定了基础。     

一种非均匀概率空间下逻辑系统G_3中命题的真度理论

利用势为3的非均匀概率空间的无穷乘积,在Go¨del三值命题逻辑系统中引入公式的真度概念,在三值逻辑14,12,14测度下证明G3中全体公式的真度值之集在[0,1]上是稠密的,并给出公式真度的表达通式,为进一步在三值命题逻辑系统中展开近似推理奠定基础.     

直觉模糊粗糙集的公理化

直觉模糊粗糙集的公理系统是直觉模糊粗糙集理论与应用的基础,文章定义了直觉模糊集的2种运算,基于这些运算和直觉模糊粗糙集公理化模型,给出直觉模糊粗糙集新的公理系统;该系统用一条简洁的公理描述了直觉模糊粗糙集,为直觉模糊粗糙集理论研究的深入和完善提供了有益的帮助。     

三值G(o)del命题逻辑中基于前提信息的随机真度

利用赋值集的随机化方法,在三值G(o)del命题逻辑系统中引入基于前提信息Γ公式的Γ-随机真度,证明了Γ-随机真度的MP规则、HS规则及交推理规则;同时引入公式间的Γ-随机相似度和Γ-随机伪距离,建立了Γ-随机逻辑度量空间,推导出Γ-随机相似度的若干性质;在Γ-随机逻辑度量空间中提出3种不同类型的近似推理模式并研究了它们之间的关系.     

均匀逻辑公式的基本性质及其真度的分布

基于密码学中布尔函数的等重性在二值命题逻辑中引入了均匀公式的概念。证明了每个均匀公式的真度都小于或等于1／2, 全体均匀逻辑公式的真度之集在逻辑度量空间中有惟一的聚点0。 研究了均匀逻辑公式的基本性质, 给出了含有同样原子公式的二均匀逻辑公式的析取式真度以及二者之间的相似度的简单计算方法。