形式模型相关论文
本体的保守扩充问题是数理逻辑中的一个重要问题,本体的扩充是否保守直接对应着扩充前后是否推理一致.因而若扩充是不保守的,则扩......
20世纪的计算革命导致了计算机和生物学交叉的前沿学科——人工生命的诞生。它以计算机为工具 ,力图在计算机或现实世界中创造出具......
本文介绍朴素地理学的思想和概念.朴素地理学研究常识地理世界的形式模型,是关于日常地理世界的理论体系.可以预见,朴素地理学的理......
论证是一个用理由支持观点以及回应其所受攻击的过程.在过去的几十年里,论证已经成为哲学和人工智能研究领域中的一个重要主题.在......
为实现结构化保护级操作系统的完整性保护,本文在深入分析完整性策略的结构和涵义的基础上,提出了基于DTE技术的完整性保护的形式......
为了在操作系统中实施极小特权原理,必须对进程的特权进行有效的控制;但是进程的动态性使实现对它的控制变得困难重重.在深入分析......
利用上下文信息对授权决策进行控制已越来越受到重视.在无线和移动网络领域中控制资源的访问要求定义支持空间上下文的访问控制形......
期刊
建造能一起工作的计算机系统一直是计算机科学的一项重要任务［6］.目前多主体(Agent)协作的理论与应用研究已成为多学科和AI交叉研究......
计算机系统的复杂性不仅使其分析与开发困难,而且同样使其安装配置面临挑战。为解决复杂系统配置面临的问题,具有一定程度智能性的......
可视化是人机交互的主要形式,可视化语言是计算机科学中一个重要研究领域,文法为可视化语言提供了一种有价值的形式化描述方法.本......
形式化方法是研究复杂管理系统的有用工具.本文提出一个基于状态的安全组管理形式模型,采用ZNotation语言描述.安全组是共享组密钥......
描述逻辑是一簇知识表示的语言，其以结构化、形式化的方法来表示特定应用领域的知识。文中给出了描述逻辑VL的形式化自然推演系统，并......
本文通过对业务在执行过程中,业务逻辑实例与外部实体交互消息的分析,提出一个基于消息序列语义的特征交互形式模型.首先,业务逻辑......
本文在Rough集框架内建立基于任务的多Agent系统(MAS)形式模型,讨论了任务求解的条件和任务的协同度.在求解基于任务极小MAS的基础......
面向方面的软件开发方法中使用了含有方面的对象模型．经典的面向对象形式化方法没有提供方面的概念．提出一种以范畴语言为基础的形式......
形式方法是国际关系研究领域的重研究工具，尽管其应用并不广泛，但日益显示出扩大的趋势。与此同时，形式方法也面临着各种批评，尤其是来......
如何融合计算密码学与形式演算模型两条途径以有效分析和证明复杂密码协议,是信息安全领域富有挑战性的问题之一.文中提出Dolev-Ya......
首先分析了目前网络协议发展的现状,介绍了协议测试的一般过程.在分析了协议的前后版本之间的变化后,发现可以将这些变化看成是对......
试图提出一个模型,它能为有效处理网络安全对象提供支持.改进Amon ott的动态调整规则,使需要动态改变的量减少,从而使一个系统调用......
随着互联网的应用和发展,各种类型的安全协议,包括具有多个角色、多种密码运算的复杂密码协议,已广泛应用于分布式系统中解决各种......
长久以来,我们认为基于共同利益的集体成员会自觉为集体利益的增加而采取一致行动。这源于古典经济学家亚当·斯密的经典理论：......
由于应急管理领域模型的特点,传统的模型表示方法并不适合表示应急决策支持系统中的模型。有鉴于此,结合框架和面向对象的表示法,......
软件中的代码混淆技术作为一种刚刚兴起的还是很不成熟的软件安全保护技术的重要分支,它引起了越来越多的学者和企业的关注和重视......
该文根据建模基础的不同,对目前处在研究热点中的几个重要协议形式模型进行了分类分析.它们可以分为4类:基于知识演化系统的模型;......
利用组织结构信息进行访问控制已越来越受到重视,特别是在电子政务领域中控制资源的访问要求定义支持职能域的访问控制形式模型。......
将三视图的思想用于分布式数字控制(DNC)系统的分析和设计过程中,以面向对象方法作为主视图,建立了一种基于三视图的DNC系统形式模......
本文研究电子商务系统的支付问题,讨论了简单网络支付协议(SNPP),应用时间自动机(TA)对该协议进行建模,目标是对其性质进行分析并......
领导人如何进行危机决策?现有的四种模型——官僚政治模型、组织行为模型、理性选择模型、"刺激—反应"模型——仅提供部分解释,对......
提出一种基于状态转移系统的安全协议模型，以Dolev-Yao攻击者模型为前提假设，以状态转移系统为框架，用语义编码的方式定义消息和事件，......
本文主要研究开发高安全等级的操作系统所必需的安全策略形式模型，为此我们从形式设计方法的探讨入手，确定模型设计的基本原则及组织......
范畴理论为各数学学科提供了一种公共的语言、工具、思维方法和研究手段，其中作为形式结构的素描是一种基于图的规范，是形式建模和验......
形式问题是西方美学和艺术理论中的一个关键问题,也是我国美学和文艺学研究的一个重要领域。为了推进这一问题的研究,本刊去年第10......
<正>应用建模思想解决化学疑难问题是一个很有效的教学方法,本文从以下三个方面引导学生应用建模思想妙解化学问题:本质建模,分析......
<正>上世纪80年代中后期,陈先达先生推出专著《走向历史的深处———马克思历史观研究》;90年代中后期,又推出随笔《漫步遐思——......
介绍认知语言学流派中的新理论:体验构式语法。体验构式语法是夏威夷大学语言学系的Benjamin Bergen和伯克利国际计算机科学所的Na......
<正>音乐分析作为一门学科,同时也是中国音乐界了解、研究西方作曲家作品及其作曲技术的一个重要途径。①其在中国学术史上经历了......
Java程序因为平台无关性得以在互联网上迅速发布,但同时Java程序也面临着两个严重的软件安全问题：第一,版权问题。Java编译器将每一......
<正>《数学课程标准》(2011年版)在"课程内容"中提出"发展学生的‘模型思想’",并指出:模型思想的建立是学生体会和理解数学与外部......
本文讨论了形式模型在国际关系中的应用,认为形式模型对国际关系研究能够产生助益,这主要体现在:通过明晰理论假设,使人们对结论的......
在国际关系学界,每位学者都必须了解研究方法。为了解不同研究方法的应用分野,笔者对2005年至2009年《国际组织》杂志的文章进行了......
本文简要介绍了计算语言学的发展历程,总结了计算语言学中形式模型研究的成果,并分析了当前计算语言学发展的四个特点。......
论证是一个用理由支持观点以及回应其所受攻击的过程。在过去的几十年里,论证已经成为哲学和人工智能研究领域中的一个重要主题。......
