一阶模糊谓词逻辑公式的有限解释真度和可数解释真度的理论及其应用

通过引进公式变元集赋值的新概念给出了一阶模糊谓词逻辑(或一阶模糊语言)公式的有限解释真度及可数解释真度的定义,并讨论了它们的一系列性质及其在近似推理中的应用,从而为一阶谓词逻辑的近似推理理论提供了一种带度量的框架。

完全相容稳定模糊谓词转换器

谓词转换器语义是用程序验证技术来定义程序语言的一种方式。为描述程序的语义,在稳定模糊谓词的基础上建立完全相容稳定模糊谓词转换器,讨论完全相容稳定模糊谓词转换器的拓扑语义。同时给出它与状态转换器之间的一个保序关系,说明完全相容稳定模糊谓词转换器一定是状态转换器。

一阶模糊谓词逻辑公式的区间解释真度理论

通过引进一阶模糊语言变元集赋值的新概念,给出了一阶模糊谓词逻辑(或一阶模糊语言)公式的区间解释真度的定义,并讨论了它们的一系列性质。

模糊谓词逻辑中基于有限解释的公式的条件α-真度理论

在一阶模糊谓词逻辑系统中基于有限解释提出了公式的条件α-真度的概念,并研究了它的性质。

一个新的模糊谓词演算形式系统

首先,在模糊逻辑命题演算形式系统L 的基础上,讨论了相应的谓词演算理论,建立了一阶形式系统K ,基于R0代数的基本理论,给出了系统K 的若干语义概念,包括M-解释I,I-赋值,公式的值,真,M-逻辑有效性等,从而形成了模糊谓词演算一种新的语构与语义体系.其次,研究了系统K 的基本性质,指出了系统L 的定理都是系统K 的定理,给出了系统K 与量词有关的一些重要定理,证明了系统L 的重言式在系统K 中的代换实例都是系统K 中关于任何R0链的逻辑有效公式;系统K 的可靠性定理成立,即系统K 中的定理关于任何R0链也是逻辑有效的;系统K 的强可靠性定理也成立,即系统K 在任何理论T下的定理关于任何R0链也是逻辑有效的.最后给出并证明了系统K 的一种新的演绎定理,一阶系统K 及其重要的性质,为模糊推理提供了一种更为合理的逻辑框架.

稳定模糊谓词

引入稳定模糊谓词的概念,讨论稳定模糊谓词的一些基本性质和它的线性运算,建立具有相容交dcpo上的ξ-半拓扑与模糊ξ-半拓扑之间的序同态关系．

基于Java的模糊谓词混淆技术

首先介绍了混淆技术的研究现状和软件混淆技术,然后对基于模糊谓词的混淆方法作了深入研究,并给出一种基于Java的构建模糊谓词的方案,该方案增加了模糊谓词的复杂性,增加了抵抗攻击者动态分析的能力,增加了反编译的难度.

模糊谓词代码混淆技术研究

混淆是一种可以用于对移动代码和软件知识产权进行保护的程序变换技术,本文首先介绍了混淆的原理和研究现状,然后对基于模糊谓词的混淆方法进行了研究,给出一种基于Java的构建模糊谓词的方案,该方案针对每一个程序分支点,读取链表结构,重新编码成模糊谓词的原始输出,通过背包加密系统将该输出映射成相应的判断条件,增加了模糊谓词的复杂性、抵抗攻击者动态分析的能力以及反编译的难度.

一阶模糊谓词逻辑公式的可测集解释真度理论

首先将一阶模糊谓词逻辑公式的有限、可数、及区间解释真度的概念进行了进一步的推广,在一阶模糊语言的变元集赋值的新概念下,提出了一阶模糊谓词逻辑(或一阶模糊语言)公式的可测集解释真度的概念;然后,讨论了它的一系列性质以及在近似推理中的应用.

基于Java的模糊谓词混淆技术研究

混淆是一种可以用于对移动代码和软件知识产权进行保护的程序变换技术。本文首先介绍了混淆的现状和原理,然后对基于模糊谓词的混淆方法做了深入研究,并给出一种基于Java的构建模糊谓词的方案,该方案增加了模糊谓词的复杂性;增加了抵抗攻击者动态分析的能力,增加了反编译的难度。

格型模糊谓词逻辑与推理

本文研究真值取在布尔格上的模糊逻辑与推理。讨论了布尔格的结构性质及其构造、模糊语言的格型模糊谓词逻辑描述和消解法模糊推理。

一阶模糊谓词逻辑公式的解释模型真度理论及其应用

基于一阶模糊谓词逻辑公式的有限和可数解释真度的理论,引入了一阶模糊谓词逻辑公式的解释模型及解释模型真度的概念,并讨论了它们的一系列性质及其在近似推理中的应用.

基于一阶模糊逻辑公式的有限解释真度的推理理论

通过给出公式的有限解释真度的平均值不变性定理,得到了一系列推理规则平均值MP规则、平均值HS规则、平均值交推理规则.

初等模糊一阶逻辑的准形式演绎系统

本文在模糊命题逻辑演绎系统的基础上，引入了模糊意义下的一阶逻辑的相关概念，建立了模糊一阶（谓词）逻辑的准形式演绎系统 .并且证明了相应的可靠性定理 .

基于中介真值度量的模糊综合评判

中介逻辑是一种以清晰的和模糊的事物为研究对象的非经典逻辑系统。基于中介逻辑与距离测度,以中介真值程度函数为工具,建立了模糊评判矩阵,并综合评判因素中肯定信息与否定信息的真值程度确立评判指数,进而以评判指数作为总体评判的数量依据,对评判对象进行比较,从而建立了一种新的模糊评判模型;并讨论了它在一个具体的模糊评判实例中的应用。

支持模糊数据类型表示的模糊描述逻辑F-SHOIQ(G)

分析了现有描述逻辑在模糊知识和数据类型表示方面存在的问题,提出了一种新的模糊描述逻辑F-SHOIQ(G).F-SHOIQ(G)不仅能够表示模糊知识,而且能够表示含有自定义模糊数据类型及自定义模糊数据类型谓词的模糊数据信息.首先,给出了模糊数据类型域的概念和模糊数据类型表示的一般形式,在此基础上,定义了F-SHOIQ(G)的语法、语义及相应的知识库,进而给出了基于模糊Tableaux的F-SHOIQ(G)概念的可满足性推理算法.其次,将经典描述逻辑中的推理结构(该结构将Tableaux扩展规则推理和数据类型推理相分离)用于F-SHOIQ(G)的推理问题,设计了相应的模糊数据类型推理机.最后,详细证明了F-SHOIQ(G)概念的可满足性推理问题是可判定的.在数据类型表示方面,F-SHOIQ(G)具备比FSHOIQ更强的表达能力和推理能力,为语义Web表示和推理模糊数据信息提供了理论基础.

模糊语言思维与模糊推理

在普通集合论中,一个对象对于一个集合,要么属于,要么不属于,二者必居其一,绝不模棱两可.这样一条要求就限定了普通集合论只能表现“非此即彼”的现象.模糊数学是研究和处理模糊性现象的数学.模糊数学不是让数学变成模模糊糊的东西,而是让数学进入模糊现象的禁区.这里所谓的模糊性主要是指客观事物的差异在中介过渡时期所呈现的:亦此亦被”性.人脑接受和处理模糊信息,依据少量的模糊信息对事物作出足够的准确的识别判断,灵活机动地解决复杂的模糊性问题,凭借这种能力,司机可以驱车安全的穿过闹市。

完全和部分可观察模糊离散事件系统的状态反馈控制

本文主要讨论完全和部分可观察模糊离散事件系统的状态反馈控制。首先,给出了模糊谓词可观察的定义,并证明了对于预先给定的模糊谓词存在合理的控制器使得闭环系统的可达模糊谓词等于所给定模糊谓词的充要条件是给定模糊谓词可控且可观察;其次,在一定条件下,将部分可观察模糊离散事件系统转化为完全可观察模糊离散事件系统,并讨论了模糊谓词在两类系统之间的控制不变性和可控性。

用于软件保护的代码混淆技术

对软件的盗版、篡改和逆向工程使软件的安全受到了严重威胁。攻击者通过静态分析和动态跟踪来分析编程者的思想,获取机密数据和核心算法。因此,保护程序在未知环境下正常运行,防止逆向工程和静态分析的攻击,成为软件保护的一个重要问题。文章从软件保护的方法出发,介绍和分析代码混淆技术的方法和目标,并指出了代码混淆技术的优势和发展趋势。

模糊离散事件系统中的最大可控模糊子谓词

本文给出了模糊离散事件系统中模糊谓词,模糊谓词变换以及可控模糊谓词的定义,证明了给定模糊谓词的任意个可控模糊子谓词在析取运算下仍然是该模糊谓词的可控模糊子谓词,由此可知该给定模糊谓词存在最大可控模糊子谓词。对给定的两个模糊谓词,它们的最大可控模糊子谓词的合取大于等于它们合取的最大可控模糊子谓词,析取小于等于它们析取的最大可控模糊子谓词。