不可判定性相关论文
函数分解问题是一个重要的数学问题，它被应用于多变量公钥密码系统的设计中．作者主要关注函数分解问题的判定性问题，将整系数多变元多......
自动信任协商是陌生实体通过交替地披露属性证书建立信任关系的一种方法。现有的研究仅仅考虑与时间特性无关的其他方面,没有合理......
在基于角色的访问控制管理模型中，采用安全查询来描述系统安全策略，引入状态变换系统定义基于角色的访问控制管理模型及其安全分析，用......
对于任何一个受了人的认识能力是无限的这种思想影响的人,当他面对20世纪的许多科学结论时,都不可避免地陷入一种尴尬的境地.这些......
半结构化数据正以其灵活性而成为解决Internet环境下互操作语义层面问题的重要工具和网络数据交换格式的标准.从基础理论层面上对......
本文是有关Hilbert第十问题近代成果（特别是James P.Jones教授的工作）的综述报告。它由六个部分组成:1.Hilbert第十问题;2.9未知数定......
<正> 1.形式语言和形式系统 1.1 语法和语义元逻辑(metalogic)可以定义为对形式语言和形式系统的语法和语义的研究。它与自然语言......
提出了时间Petri网的混合语义模型,通过在变迁及其非冲突变迁集的最小上界处设置强制实施点,排除冲突变迁对变迁可实施性的影响,达......
