逻辑及数学演算中的不动项与不可判定命题(Ⅰ) 被引量：2

1

作者 张金成 《智能系统学报》 CSCD 北大核心 2014年第4期499-510,共12页

不动点是一个广泛而深刻的数学现象,它已经渗透到数学的各个领域。把不动点推广到逻辑思维领域,将证明Russel悖论是集合论中的不动项,Gdel不可判定命题是自然数系统N中的不动项,Cantor对角线方法构造的项是不动项,不可判定的Turing机... 不动点是一个广泛而深刻的数学现象,它已经渗透到数学的各个领域。把不动点推广到逻辑思维领域,将证明Russel悖论是集合论中的不动项,Gdel不可判定命题是自然数系统N中的不动项,Cantor对角线方法构造的项是不动项,不可判定的Turing机也是不动项。进一步可以证明,当一个已知集合U可以分割成正、反集合时,不动项不在正集或反集之中,不动项一定是U外不动项,U外不动项的逻辑性质相对于U已经发生变异,是未定义项,U外不动项命题是不可判定的,这是系统的固有现象。自然数系统N中同样存在不动项,不动项的存在与不可判定,并不影响正、反集合的递归性与系统的完全性,因此,Gdel不完全定理的证明不成立,Cantor对角线方法证明是错误的,Turing停机问题证明也是错误的。"系统N能否完全"?实数是否可数?Turing停机问题是否可判定?都必须重新思考。 展开更多

关键词 正项 反项 不动项 悖论 U外不动项 不可判定命题 不完全定理 对角线方法 不可数 停机问题

在线阅读 下载PDF 职称材料

逻辑及数学演算中的不动项与不可判定命题(Ⅱ)

2

作者 张金成 《智能系统学报》 CSCD 北大核心 2014年第5期618-631,共14页

不动点是一个广泛而深刻的数学现象,它已经渗透到数学的各个领域。文中把不动点推广到逻辑思维领域,证明Russel悖论是集合论中的不动项,Gdel不可判定命题是自然数系统N中的不动项,Cantor对角线方法构造的项是不动项,不可判定的Turing... 不动点是一个广泛而深刻的数学现象,它已经渗透到数学的各个领域。文中把不动点推广到逻辑思维领域,证明Russel悖论是集合论中的不动项,Gdel不可判定命题是自然数系统N中的不动项,Cantor对角线方法构造的项是不动项,不可判定的Turing机也是不动项。进一步可以证明,当一个已知集合U可以分割成正、反集合时,不动项不在正集或反集之中,不动项一定是U外不动项,U外不动项的逻辑性质相对于U已经发生变异,是未定义项,U外不动项命题是不可判定的,这是系统的固有现象。自然数系统N中同样存在不动项,不动项的存在与不可判定,并不影响正、反集合的递归性与系统的完全性,因此,Gdel不完全定理的证明不成立,Cantor对角线方法证明是错误的,Turing停机问题证明也是错误的。"系统N能否完全"、实数是否可数、Turing停机问题是否可判定都必须重新思考。 展开更多

关键词 正项 反项 不动项 悖论 U外不动项 不可判定命题 不完全定理 对角线方法 不可数 停机问题.

在线阅读 下载PDF 职称材料

基于角色访问控制管理模型的安全性分析 被引量：38

3

作者 杨秋伟 洪帆 +1 位作者 杨木祥 朱贤 《软件学报》 EI CSCD 北大核心 2006年第8期1804-1810,共7页

在基于角色的访问控制管理模型中,采用安全查询来描述系统安全策略,引入状态变换系统定义基于角色的访问控制管理模型及其安全分析,用图灵机理论和计算复杂性理论进行安全分析.将安全查询分类为必然性安全查询和可能性安全查询,证明了... 在基于角色的访问控制管理模型中,采用安全查询来描述系统安全策略,引入状态变换系统定义基于角色的访问控制管理模型及其安全分析,用图灵机理论和计算复杂性理论进行安全分析.将安全查询分类为必然性安全查询和可能性安全查询,证明了必然性安全查询和与状态无关的可能性安全查询能在多项式时间内被有效解决,给出了满足NP-完全问题的可能性安全查询的条件,而一般的可能性安全查询是不可判定的. 展开更多

关键词 基于角色的访问控制 授权管理 图灵机 NP-完全问题 不可判定性

在线阅读 下载PDF 职称材料

混合语义时间Petri网模型 被引量：11

4

作者 潘理 丁志军 郭观七 《软件学报》 EI CSCD 北大核心 2011年第6期1199-1209,共11页

提出了时间Petri网的混合语义模型,通过在变迁及其非冲突变迁集的最小上界处设置强制实施点,排除冲突变迁对变迁可实施性的影响,达到既能扩大模型调度范围又可保证任务调度时限性的目的,以解决现有语义模型在调度分析上的缺陷.进一步证... 提出了时间Petri网的混合语义模型,通过在变迁及其非冲突变迁集的最小上界处设置强制实施点,排除冲突变迁对变迁可实施性的影响,达到既能扩大模型调度范围又可保证任务调度时限性的目的,以解决现有语义模型在调度分析上的缺陷.进一步证明了混合语义模型的图灵等价性及标识可达性问题的不可判定性,然后界定了3种语义模型的时间语言接受能力.最后提出了状态类分析方法,用于模型的可调度性分析和时间计算,并以一个柔性制造系统为例,比较和验证了3种语义模型的调度分析能力. 展开更多

关键词 时间PETRI网 混合语义 图灵等价性 不可判定性 调度分析

在线阅读 下载PDF 职称材料

带时间特性的自动信任协商 被引量：1

5

作者 杨秋伟 周洁 +1 位作者 唐卓 刘玲 《计算机应用研究》 CSCD 北大核心 2010年第6期2304-2308,共5页

自动信任协商是陌生实体通过交替地披露属性证书建立信任关系的一种方法。现有的研究仅仅考虑与时间特性无关的其他方面,没有合理的信任协商会话调度方案,存在着拒绝服务攻击。提出了自动信任协商的基本组件,使用状态变换系统形式化描... 自动信任协商是陌生实体通过交替地披露属性证书建立信任关系的一种方法。现有的研究仅仅考虑与时间特性无关的其他方面,没有合理的信任协商会话调度方案,存在着拒绝服务攻击。提出了自动信任协商的基本组件,使用状态变换系统形式化描述了一个自动信任协商抽象模型。讨论了自动信任协商的时间特性,对原有安全策略扩展了时间约束安全策略,构造了一个带时间特性的自动信任协商状态变化系统。同时分析了安全策略的可满足性判定问题。 展开更多

关键词 自动信任协商 信任证 图灵机 不可判定性 时间自动机

在线阅读 下载PDF 职称材料

面向半结构化数据的树逻辑及其性质研究

6

作者 韩婷婷 陈韬略 +1 位作者 俞春 吕建 《南京大学学报（自然科学版）》 CAS CSCD 北大核心 2005年第2期162-170,共9页

　半结构化数据正以其灵活性而成为解决Internet环境下互操作语义层面问题的重要工具和网络数据交换格式的标准.从基础理论层面上对版结构化数据进行研究,在考察了进程代数和空间逻辑的有关结果后,从模型和逻辑系统的角度对半结构化数... 　半结构化数据正以其灵活性而成为解决Internet环境下互操作语义层面问题的重要工具和网络数据交换格式的标准.从基础理论层面上对版结构化数据进行研究,在考察了进程代数和空间逻辑的有关结果后,从模型和逻辑系统的角度对半结构化数据特别是XML语言进行刻画.在[1]的基础上,在数据模型中加入了受限算子,并提出一种新的空间逻辑———树逻辑,在其中引入了一个新的模态算子,它们的意义在于能够对私有数据的性质进行刻画和表达.此外,通过修正数据模型中的同余关系,使得模型符合数据的有序性,从而使其更为合理.在此基础上证明了树逻辑系统公式可满足性的不可判定性,从而说明针对整个树逻辑系统的模型检测算法是不存在的.同时选择了其中一个子逻辑系统,给出了其模型检测算法,并证明了该算法的正确性. 展开更多

关键词 半结构化数据 树逻辑 不可判定性 模型检测

在线阅读 下载PDF 职称材料

含有不希望出现句子的网页鉴别问题

7

作者 王柠 刘国华 《小型微型计算机系统》 CSCD 北大核心 2014年第6期1232-1238,共7页

网页是传递信息的重要载体,以网页作为研究对象是现今信息检索和信息关联研究的必然趋势.鉴于句子既是传递信息的基本单位,又是表述完整意思的语言单位,本文以句子为出发点对网页鉴别问题进行研究.句子的不同变换形式能够表述相同的含... 网页是传递信息的重要载体,以网页作为研究对象是现今信息检索和信息关联研究的必然趋势.鉴于句子既是传递信息的基本单位,又是表述完整意思的语言单位,本文以句子为出发点对网页鉴别问题进行研究.句子的不同变换形式能够表述相同的含义的特点,给网页鉴别带来了困难.为解决该问题,首先定义句子和网页之间的4种关系:属于关系、同义词替换关系、简单语序变换关系、复杂语序变换关系,然后讨论每一种关系的识别问题,证明了:(1)识别句子和网页的属于关系是可判定问题并且是P问题;(2)识别同义词替换关系是不可判定问题;(3)识别简单语序变换关系是不可判定问题;(4)识别复杂语序变换关系是不可识别问题.上述结论勾画出了网页鉴别问题难易程度的谱系. 展开更多

关键词 网页鉴别 句子 可判定问题 不可判定问题 不可识别问题

在线阅读 下载PDF 职称材料

一些多值狭义谓词演算中的标准形 被引量：1

8

作者 王世强 翁稼丰 《北京师范大学学报（自然科学版）》 CAS 1980年第2期19-23,共5页

本文讨论一些多值的狭义谓词演算中良构式(即合式的公式)的前束标准形和Skolem标准形。讨论的目的是为考虑判定问题和多值模型论作准备。但它们显然也是自身有意义的。在我们所讨论的多值谓词演算中。

关键词 谓词演算 标准形 真假值 前束 模型论 命题连接词 不可判定性 数序 判定问题 逻辑符号

在线阅读 下载PDF 职称材料

从传统哲学思维结构观的失误看思维结构的本质 被引量：1

9

作者 安维复 《齐鲁学刊》 CSSCI 1989年第2期19-21,共3页

传统哲学家认为,人类用以再现世界的思维框架是完备的、一元的、连续的(或可比的),笔者认为,认识观是不完备的、多元的、不可比的。一、思维结构的不完备性传统的思维科学、传统哲学及其传统认识论,甚至于相当一部分现代认识理论,一直... 传统哲学家认为,人类用以再现世界的思维框架是完备的、一元的、连续的(或可比的),笔者认为,认识观是不完备的、多元的、不可比的。一、思维结构的不完备性传统的思维科学、传统哲学及其传统认识论,甚至于相当一部分现代认识理论,一直坚信思维结构的完备性,或者认为思维结构的完备性是自明的(如笛卡尔、黑格尔),或者相信存在着某种理想状态的思维结构(如爱因斯坦、卡尔纳普),或者确认自己的思维结构是完备的(如玻尔、海森堡)。休谟曾经怀疑过一切超验的东西,但唯独不曾怀疑经验本身。康德曾经审查过人类的理性能力,但却忽略了对自己的理性能力的审查。 展开更多

关键词 思维结构 爱因斯坦 哥德尔定理 康德 传统哲学 不可判定 形式系统 逻辑前提 马克思 理性能力

在线阅读 下载PDF 职称材料

论集合概念与普遍概念的区别 被引量：1

10

作者 纪善韬 《东北师大学报（哲学社会科学版）》 1988年第3期26-29,共4页

集合概念和普遍概念是形式逻辑中两个不同的概念,因此,从理论上讲它们的界定范围是分明的,不存在区分的问题。但是长期以来,在形式逻辑中普遍认为,集合概念是比较抽象的,是一个难点,区别集合概念与普遍概念的不同是一个棘手的问题。

关键词 集合概念 形式逻辑 概念外延 普遍概念 自然语言 集合体 朴素集合论 不可判定 单独概念 概念区分

在线阅读 下载PDF 职称材料

理论·理论性·理论检验

11

作者 李振伦 《河北学刊》 1987年第5期3-10,共8页

一、理论是知识组织形式通过实践,在人同自然界的不断相互作用中,人们对于现实的事物加以认识和理解,便获得关于现实的知识.如果这种认识和理解只是寓于认识个体的意会之中,成为那种“不能明言的知识”(M·波兰尼),它将只能使这些... 一、理论是知识组织形式通过实践,在人同自然界的不断相互作用中,人们对于现实的事物加以认识和理解,便获得关于现实的知识.如果这种认识和理解只是寓于认识个体的意会之中,成为那种“不能明言的知识”(M·波兰尼),它将只能使这些个别人成为聪明人或心灵手巧的工匠,只能在狭窄的直接接触范围内,以其行为和操作起到展示他们“知道”或“有知识”的作用.这时候,我们说知识还没有在科学上表现.知识只有通过语言概括和逻辑处理被阐述出来,才获得对象性和存在感,即能够呈现在大家面前,被共同领会、理解和把握,被分析、讨论和评说,被传授、交流和保存,从而具有如同物件能以摆示庭众或珍藏于府库的意义,使之成为科学上的存在而载入史册.就语言的本性和使命,以及语言和知识的真正关系而言,知识的语言阐述只不过是知识的自我表现,并且使得任何知识都是可阐述的,即知识的表现不仅必需而且总是可能的.理论正是知识的自我表现,即知识的科学语言阐述. 展开更多

关键词 理论检验 形式系统 无矛盾性 完全性 经验事实 客观价值 不可判定 元理论研究 专用性 公理

在线阅读 下载PDF 职称材料