排序方式: 共有120条查询结果,搜索用时 15 毫秒
1.
基于PKI技术的PMI的研究与实现 总被引:2,自引:0,他引:2
身份认证和权限管理是网络安全的两个核心内容。研发了一个基于公共密钥基础设施技术的权限管理基础设施系统。提出了一个基于属性证书和条件化的基于角色的访问控制、进行权限管理的权限管理基础设施访问控制模型,提供了属性证书的两种提交方式,即“推”模式和“拉”模式,并在此模型的基础上给出了该系统的实现,最后给出了该系统的一个应用实例。实践证明,该系统提供了一个较好的解决方案和实现,基本上能够满足大型应用(上百万用户)的用户需求。 相似文献
2.
#SAT 问题是SAT 问题的扩展,需要计算出给定命题公式集合的模型个数.通过将问题求解沿着归结的反方向进行,并利用容斥原理解决由此带来的空间复杂性问题,提出了一种基于扩展规则的模型计数和加权模型计数问题求解框架,可以看作是目前所有模型计数问题求解方法的一种补方法.证明了该方法的完备性和有效性,设计了基于扩展规则的#SAT 求解系统:JLU-ERWMC.实验结果表明,JLU-ERWMC 在有些问题中优于目前最为高效的#SAT 问题求解系统. 相似文献
3.
4.
自动推理作为自动定理证明的扩展是人工智能研究的基础工作,许多重要的人工智能系统都是以推理系统为其核心部分,其中的tableau方法,由于具有通用性、直观性及易于计算机实现等特点,至今成为重要的自动推理方法之一。在tableau方法基础上,讨论了一阶逻辑中的自动定理证明理论,提出使用模型存在定理证明其可靠性和完备性的方法。同时也给出了带等词tableau方法的证明过程。 相似文献
5.
6.
7.
稳定类语义和辨论语义是逻辑程序语义学研究方面突出的两种语义统一框架理论,它们统一了一些很重要的语义,因为它们有着不同的直觉和概念,它们的相互关系并不清楚。我们在它们最基础的概念层次上证明了,常规逻辑程序句法下二者是等价的,它们有着同样的语义统一能力。基于这个结果,我们为有前途的辨论语义指明一种迭代构造的方法。 相似文献
8.
因果知识的表示和推理 总被引:2,自引:0,他引:2
本文介绍了因果推理的两个主要应用:预测行为的间接结果,找出给定事实的真正原因,指出了用逻辑描述的因果关系在解决这两个问题中存在的不足。本文也简单地介绍了J.Pearl提出的因果推理方法,该方法的基本思想是把因果推理看成是一种“计算模式”,而这种把智能归结为“计算模式”的想法正是认知科学中的核心思想。本文最后比较了基于逻辑的方法和基于认知科学的方法实现智能的区别,指出了因果推理应该在认知科学的框架内得到解决。 相似文献
9.
预聚集技术通过预先计算并保存原始数据上的查询结果以实现联机分析处理系统的快速查询响应能力.然而,在实际应用中,许多非规则维的结构难以使用传统多维模型进行建模,从而影响了预聚集技术的使用.为此,基于子级别到父级别的部分映射定义级别之间的部分序关系,进而提出了一个支持非覆盖、非映上等非规则维中维级别关系建模的维模型.同时,在维模型基础上,定义了支持非规则维的立方体模型以及典型的联机分析处理操作.多维模型与关系模式的转换定义和实例分析证明了该多维模型可以实现对各种非规则维的建模支持,保证了预聚集技术在联机分析处理中的使用. 相似文献
10.