检索结果-维普期刊中文期刊服务平台

一阶模糊谓词逻辑公式的有限解释真度和可数解释真度的理论及其应用被引量：22: 1; 作者张兴芳孟广武《计算机科学》 CSCD 北大核心 2005年第10期1-5,共5页; 通过引进公式变元集赋值的新概念给出了一阶模糊谓词逻辑(或一阶模糊语言)公式的有限解释真度及可数解释真度的定义,并讨论了它们的一系列性质及其在近似推理中的应用,从而为一阶谓词逻辑的近似推理理论提供了一种带度量的框架。; 关键词一阶模糊谓词逻辑公式变元集的赋值有限解释真度可数解释真度一阶谓词逻辑模糊谓词逻辑逻辑公式真度应用可数有限近似推理模糊语言; 在线阅读下载PDF 职称材料

一个新的模糊谓词演算形式系统被引量：10: 2; 作者裴道武姜慧《东北师大学报（自然科学版）》 CAS CSCD 北大核心 2003年第1期23-30,共8页; 　首先,在模糊逻辑命题演算形式系统L 的基础上,讨论了相应的谓词演算理论,建立了一阶形式系统K ,基于R0代数的基本理论,给出了系统K 的若干语义概念,包括M-解释I,I-赋值,公式的值,真,M-逻辑有效性等,从而形成了模糊谓词演算一种新的语... 展开更多; 关键词模糊逻辑模糊谓词演算一阶形式系统 R0代数 R0链模糊推理; 在线阅读下载PDF 职称材料

支持模糊数据类型表示的模糊描述逻辑F-SHOIQ(G) 被引量：11: 3; 作者王海龙马宗民 +1 位作者严丽程经纬《计算机学报》 EI CSCD 北大核心 2009年第8期1511-1524,共14页; 分析了现有描述逻辑在模糊知识和数据类型表示方面存在的问题,提出了一种新的模糊描述逻辑F-SHOIQ(G).F-SHOIQ(G)不仅能够表示模糊知识,而且能够表示含有自定义模糊数据类型及自定义模糊数据类型谓词的模糊数据信息.首先,给出了模糊数... 展开更多; 关键词模糊描述逻辑 F-SHOIQ(G) 模糊数据类型表示 Tableaux算法自定义模糊数据类型谓词; 在线阅读下载PDF 职称材料

用于软件保护的代码混淆技术被引量：15: 4; 作者罗宏蒋剑琴曾庆凯《计算机工程》 EI CAS CSCD 北大核心 2006年第11期177-179,共3页; 对软件的盗版、篡改和逆向工程使软件的安全受到了严重威胁。攻击者通过静态分析和动态跟踪来分析编程者的思想,获取机密数据和核心算法。因此,保护程序在未知环境下正常运行,防止逆向工程和静态分析的攻击,成为软件保护的一个重要问题... 展开更多; 关键词软件保护代码混淆模糊谓词; 在线阅读下载PDF 职称材料

题名一阶模糊谓词逻辑公式的有限解释真度和可数解释真度的理论及其应用被引量：22: 1; 作者张兴芳孟广武; 机构聊城大学数学科学学院; 出处《计算机科学》 CSCD 北大核心 2005年第10期1-5,共5页; 基金山东省自然科学基金; 文摘通过引进公式变元集赋值的新概念给出了一阶模糊谓词逻辑(或一阶模糊语言)公式的有限解释真度及可数解释真度的定义,并讨论了它们的一系列性质及其在近似推理中的应用,从而为一阶谓词逻辑的近似推理理论提供了一种带度量的框架。; 关键词一阶模糊谓词逻辑公式变元集的赋值有限解释真度可数解释真度一阶谓词逻辑模糊谓词逻辑逻辑公式真度应用可数有限近似推理模糊语言; Keywords First-order fuzzy predicate logic, Valuation of set of formulas variable, Truth degree of finite interpretation, Truth degree of enumerable interpretation; 分类号 TP18 [自动化与计算机技术—控制理论与控制工程] O159 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名一个新的模糊谓词演算形式系统被引量：10: 2; 作者裴道武姜慧; 机构盐城师范学院数学系长春市教育学院数学系; 出处《东北师大学报（自然科学版）》 CAS CSCD 北大核心 2003年第1期23-30,共8页; 基金江苏省自然科学基金资助项目(01JD11007); 文摘　首先,在模糊逻辑命题演算形式系统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 及其重要的性质,为模糊推理提供了一种更为合理的逻辑框架.; 关键词模糊逻辑模糊谓词演算一阶形式系统 R0代数 R0链模糊推理; Keywords fuzzy logic fuzzy predicate calculus first-order formal system K~* R_0 algebra R_0 chain; 分类号 O141.1 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名支持模糊数据类型表示的模糊描述逻辑F-SHOIQ(G) 被引量：11: 3; 作者王海龙马宗民严丽程经纬; 机构东北大学信息科学与工程学院计算机应用技术研究所东北大学软件学院软件工程研究所; 出处《计算机学报》 EI CSCD 北大核心 2009年第8期1511-1524,共14页; 基金国家自然科学基金(60873010) 教育部新世纪优秀人才支持计划(NCET-05-0288) 教育部高等学校博士学科点专项科研基金(20050145024)资助~~; 文摘分析了现有描述逻辑在模糊知识和数据类型表示方面存在的问题,提出了一种新的模糊描述逻辑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表示和推理模糊数据信息提供了理论基础.; 关键词模糊描述逻辑 F-SHOIQ(G) 模糊数据类型表示 Tableaux算法自定义模糊数据类型谓词; Keywords fuzzy description logic F-SHOIQ（G） representation of fuzzy data types Tableaux algorithm customized fuzzy data type predicate; 分类号 TP301 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名用于软件保护的代码混淆技术被引量：15: 4; 作者罗宏蒋剑琴曾庆凯; 机构南京大学计算机软件新技术国家重点实验室; 出处《计算机工程》 EI CAS CSCD 北大核心 2006年第11期177-179,共3页; 基金国家自然科学基金资助项目(60473053) 国家"863"计划基金资助项目(2004AA147070); 文摘对软件的盗版、篡改和逆向工程使软件的安全受到了严重威胁。攻击者通过静态分析和动态跟踪来分析编程者的思想,获取机密数据和核心算法。因此,保护程序在未知环境下正常运行,防止逆向工程和静态分析的攻击,成为软件保护的一个重要问题。文章从软件保护的方法出发,介绍和分析代码混淆技术的方法和目标,并指出了代码混淆技术的优势和发展趋势。; 关键词软件保护代码混淆模糊谓词; Keywords Software protection Code obfuscation Opaque predication; 分类号 TP309 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	一阶模糊谓词逻辑公式的有限解释真度和可数解释真度的理论及其应用	张兴芳孟广武	《计算机科学》 CSCD 北大核心	2005	22	在线阅读下载PDF 职称材料
2	一个新的模糊谓词演算形式系统	裴道武姜慧	《东北师大学报（自然科学版）》 CAS CSCD 北大核心	2003	10	在线阅读下载PDF 职称材料
3	支持模糊数据类型表示的模糊描述逻辑F-SHOIQ(G)	王海龙马宗民严丽程经纬	《计算机学报》 EI CSCD 北大核心	2009	11	在线阅读下载PDF 职称材料
4	用于软件保护的代码混淆技术	罗宏蒋剑琴曾庆凯	《计算机工程》 EI CAS CSCD 北大核心	2006	15	在线阅读下载PDF 职称材料