形式模型相关论文
本体的保守扩充问题是数理逻辑中的一个重要问题,本体的扩充是否保守直接对应着扩充前后是否推理一致.因而若扩充是不保守的,则扩......
20世纪的计算革命导致了计算机和生物学交叉的前沿学科——人工生命的诞生。它以计算机为工具 ,力图在计算机或现实世界中创造出具......
本文介绍朴素地理学的思想和概念.朴素地理学研究常识地理世界的形式模型,是关于日常地理世界的理论体系.可以预见,朴素地理学的理......
论证是一个用理由支持观点以及回应其所受攻击的过程.在过去的几十年里,论证已经成为哲学和人工智能研究领域中的一个重要主题.在......
为实现结构化保护级操作系统的完整性保护,本文在深入分析完整性策略的结构和涵义的基础上,提出了基于DTE技术的完整性保护的形式......
为了在操作系统中实施极小特权原理,必须对进程的特权进行有效的控制;但是进程的动态性使实现对它的控制变得困难重重.在深入分析......
利用上下文信息对授权决策进行控制已越来越受到重视.在无线和移动网络领域中控制资源的访问要求定义支持空间上下文的访问控制形......
期刊
