不可判定性相关论文
第六节 规模压缩在引言中我们已经对系统的规模给了一个定义。参数N可以作为系统的复杂性的度量,因此,也可认为是用来衡量得出系统......
最近几年,计算技术理论上的极限已经得到彻底的修正.致使某些科学家现在相信,所有的物理系统,包括宇宙在内,本质上,是计算装置.
I......
现代物理学的基础理论从相对论和量子 杂与美丽时,也许我们人类所知永远有限。理论开始,发展到超弦理论和M理论阶段,由 我们不可......
本文对目前计算机病毒防治的理论与实践进行了总结,并对几种主要的防治方法作出评价,提出了评价计算机病毒防治方法的准则。
This......
针对传统的目标描述中存在的不可判定性以及没有清晰的语义等问题,在描述逻辑(description logics,DLs)上,将宣称型(declarative)......
本文探讨了数学、物理和生物学中各种形式的内在随机性。首先,阐述了数学中不含时的数学内随机性(如多解性、非循环性、不定性、任......
多变元公钥密码等新一代密码体制在信息安全领域发挥着越来越重要的作用。本文以多变元公钥密码体制为背景,研究了有限域上多变元多......
写在专栏之前:每一种文化部有它特殊的情结,甚至每一个领域的每一时段都有那么一个“结”如果说,20世纪中国美术的“结”在“中西......
函数分解问题是一个重要的数学问题,它被应用于多变量公钥密码系统的设计中.作者主要关注函数分解问题的判定性问题,将整系数多变元多......
本文首先介绍了Godel的不完全性定理不可判定的概念。其次指出在二阶的标准分析模型M中,普遍存在不可判定的积分公式,如A6:∫^+∞sintdt=1等。第三,本文介......
自动信任协商是陌生实体通过交替地披露属性证书建立信任关系的一种方法。现有的研究仅仅考虑与时间特性无关的其他方面,没有合理......
<正> 本文讨论一些多值的狭义谓词演算中良构式(即合式的公式)的前束标准形和Skolem标准形。讨论的目的是为考虑判定问题和多值模......
近来,“反病毒产品误报率高”似乎重又成为大家所关注的话题。这一现象看似老调重弹,实际上却暴露出国内某些反病毒软件长期以来技......
在基于角色的访问控制管理模型中,采用安全查询来描述系统安全策略,引入状态变换系统定义基于角色的访问控制管理模型及其安全分析,用......
1.计算机安全与恶意程序计算机安全含三要素:(1)保密性(2)完整性(3)可正常服务性。保密性指保证用户的信息不泄露给无权了解该信息......
【正】我们是幼稚的、神经症的、狂热的存在,同时也是理性的。所有这些就构成了人类特有的品质。人类存在是理性的和无理性的、既......
对于任何一个受了人的认识能力是无限的这种思想影响的人,当他面对20世纪的许多科学结论时,都不可避免地陷入一种尴尬的境地.这些......
针对多元χ演算运行时刻通信安全的判定性问题进行了研究.通过从Lazyλ项到χ项的编码,将判定一个Lazyλ项是否有范式的问题归约为......
本文指出:交换积分Jij来自全同粒子的不可识别性,并作反对称波函数所特有;Jij并非仅仅存在于自旋平行态之间,某些自旋非平行态亦存在交换积分......
半结构化数据正以其灵活性而成为解决Internet环境下互操作语义层面问题的重要工具和网络数据交换格式的标准.从基础理论层面上对......
本文是有关Hilbert第十问题近代成果(特别是James P.Jones教授的工作)的综述报告。它由六个部分组成:1.Hilbert第十问题;2.9未知数定......
<正> 1.形式语言和形式系统 1.1 语法和语义元逻辑(metalogic)可以定义为对形式语言和形式系统的语法和语义的研究。它与自然语言......