排序方式： 共有2条查询结果，搜索用时 0 毫秒
1
1.
经典计算不能很好地刻画无穷计算的行为.基于形式系统序列及其极限,讨论一类称为收敛无穷计算的问题,旨在建立刻画无穷计算在变化的环境中如何交互与演化以及演化的极限状态的逻辑理论基础.提出了收敛无穷计算的一个逻辑和推理系统,其表达能力超过一阶逻辑.还基于经典计算模型图灵(Turing)机和形式系统序列及其极限,提出了收敛无穷计算的模型,称为过程模式.在极限计算的意义下,其计算能力超过了Turing机和实数机器.讨论了上述研究在数据挖掘中的应用,用收敛无穷计算研究了数据挖掘的极限行为. 相似文献
2.
提出了一种新的基于描述逻辑的形式化表示方法,将组成基于角色的访问控制(RBAC,Role-Based Access Control)模型的集合和关系分别用描述逻辑中的概念和角色表示,并且在基本的描述逻辑语言上引入了可以表示角色的复合关系和包含关系的符号,从而形式化表示出了RBAC与角色继承有关的一些关键性质和约束条件,如角色层次关系(RH,Role Hierarchy)传递性、用户角色分配关系(UA,User-Role Assignment)的继承性和权限角色分配关系(PA,Permission-Role Assignment)的继承性,以及RBAC中的静态职权分离约束和动态职权分离约束等.通过形式化地表示RBAC的继承关系及约束条件,利用描述逻辑本身的推理机制可以限制不符合访问控制策略的继承关系产生. 相似文献
1