形式模型相关论文
本体的保守扩充问题是数理逻辑中的一个重要问题,本体的扩充是否保守直接对应着扩充前后是否推理一致.因而若扩充是不保守的,则扩......
在科学实践当中，科学家所构建和运用的模型，至少表面看来呈现出极大的异质性，例如所谓实物模型、现象模型、解释模型、例示模型、检测......
本文提出了一个使科研单位的研究业绩定量化的形式模型。作者导出了一个耦合线性方程组,此方程组既考虑到同行评议的评定结果,也考......
测试集自动生成工具的研究是协议一致性测试领域中比较活跃的一个分支，本文在对目前已有的各种测试集生成方法进行分析的基础上，提出......
现代主流经济学对经济人类学的影响力,主要表现为形式分析理论工具的运用。在普适性的理论基点上,它导致了不加区别地运用普遍模式......
允许A使B相信她知道一个离散对数问題的解——即她知道一个满足α~X≡β(modN)的X,而不泄露任何有关X的信息给B的技术被介绍。对N......
本文提出了一种基于规划系统的密码协议形式模型,即密码协议规划系统,将对密码协议安全性的验证建模为对规划问题的求解,详细描述......
类比推理是人类典型的思维形式之一,是机器学习的重要基础.本文从知识表示、相似性定义、推理方法和计算模型四个方面综述了类比推......
该文首先对建筑结构系统建立了设计的形式模型[1]，用以将各具体设计过程及相应的分析软件，从逻辑上组成统一的系统，从总体的角度定义......
该文旨在介绍一种用来描述分布式系统的各组成部分之间的抽象通讯关系的形式模型，借以体现分布式系统的控制。这种方法主要用于对软......
该文讨论了混合系统的一类混合输入输出自动机模型（ＨＩＯＡ〈’＋〉）。定义了ＨＩＯＡ〈’＋〉的形式规范和行为规则，此类输入输出自动机可作为混全控制的......
本文首先给出了管理决策问题的形式模型及其问题求解的逻辑过程。进而提出了问题求解的递阶控制策略和问题求解学习方法。最后以实......
该文所要讨论的是政府民移支付的效率及模式选择问题,因此首先对涉及政府间转移支付的一些基本理论问题进行讨论.政府间转移支付转......
本文介绍朴素地理学的思想和概念.朴素地理学研究常识地理世界的形式模型,是关于日常地理世界的理论体系.可以预见,朴素地理学的理......
论证是一个用理由支持观点以及回应其所受攻击的过程.在过去的几十年里,论证已经成为哲学和人工智能研究领域中的一个重要主题.在......
为了在操作系统中实施极小特权原理,必须对进程的特权进行有效的控制;但是进程的动态性使实现对它的控制变得困难重重.在深入分析......
利用上下文信息对授权决策进行控制已越来越受到重视.在无线和移动网络领域中控制资源的访问要求定义支持空间上下文的访问控制形......
期刊
建造能一起工作的计算机系统一直是计算机科学的一项重要任务［6］.目前多主体(Agent)协作的理论与应用研究已成为多学科和AI交叉研究......
计算机系统的复杂性不仅使其分析与开发困难,而且同样使其安装配置面临挑战。为解决复杂系统配置面临的问题,具有一定程度智能性的......
可视化是人机交互的主要形式,可视化语言是计算机科学中一个重要研究领域,文法为可视化语言提供了一种有价值的形式化描述方法.本......
形式化方法是研究复杂管理系统的有用工具.本文提出一个基于状态的安全组管理形式模型,采用ZNotation语言描述.安全组是共享组密钥......
描述逻辑是一簇知识表示的语言，其以结构化、形式化的方法来表示特定应用领域的知识。文中给出了描述逻辑VL的形式化自然推演系统，并......
本文通过对业务在执行过程中,业务逻辑实例与外部实体交互消息的分析,提出一个基于消息序列语义的特征交互形式模型.首先,业务逻辑......
本文在Rough集框架内建立基于任务的多Agent系统(MAS)形式模型,讨论了任务求解的条件和任务的协同度.在求解基于任务极小MAS的基础......
面向方面的软件开发方法中使用了含有方面的对象模型．经典的面向对象形式化方法没有提供方面的概念．提出一种以范畴语言为基础的形式......
形式方法是国际关系研究领域的重研究工具，尽管其应用并不广泛，但日益显示出扩大的趋势。与此同时，形式方法也面临着各种批评，尤其是来......
本文提出了一个基于Ｐｅｔｒｉ网的超文本形式模型Ｈ－网。Ｈ－网自然地从本质上刻画了超文本的所有主要性质，有助于超文本中各种主要问题的解决，并且可......
如何融合计算密码学与形式演算模型两条途径以有效分析和证明复杂密码协议,是信息安全领域富有挑战性的问题之一.文中提出Dolev-Ya......
首先分析了目前网络协议发展的现状,介绍了协议测试的一般过程.在分析了协议的前后版本之间的变化后,发现可以将这些变化看成是对......
试图提出一个模型,它能为有效处理网络安全对象提供支持.改进Amon ott的动态调整规则,使需要动态改变的量减少,从而使一个系统调用......
随着互联网的应用和发展,各种类型的安全协议,包括具有多个角色、多种密码运算的复杂密码协议,已广泛应用于分布式系统中解决各种......
长久以来,我们认为基于共同利益的集体成员会自觉为集体利益的增加而采取一致行动。这源于古典经济学家亚当·斯密的经典理论：......
由于应急管理领域模型的特点,传统的模型表示方法并不适合表示应急决策支持系统中的模型。有鉴于此,结合框架和面向对象的表示法,......
本文讨论了计算机网络协议的一种抽象形式模型。文中利用该模型对通信协议的某些重要概念及性质进行了定义和形式描述,研讨了某些......
...
本文讨论了石油产品设计活动的类型，思维特性和类比在石油产品设计中的重要作用，给出了石油产品设计系统的形式模型及其问题求解策略......
提出了一种基于问题求解理论的密码协议模型,给出了模型的基本语法以及基于ρ演算的形式语义,明确了模型推理过程中涉及到的一些关......
软件中的代码混淆技术作为一种刚刚兴起的还是很不成熟的软件安全保护技术的重要分支,它引起了越来越多的学者和企业的关注和重视......
The problem studied in this paper is to determine E(p,C),the maximum size of a connected graph G with the given vertex n......
本文用三元组集合来表示面向对象数据库的概念视图，并此为基础给出了ＯＯＤＢ上操作的形式描述。本文所给出的形式模型对副作用作了精确定义......
该文根据建模基础的不同,对目前处在研究热点中的几个重要协议形式模型进行了分类分析.它们可以分为4类:基于知识演化系统的模型;......
<正>In order to provide integrity protection for the secure operating system to satisfy the structured protection class&......
利用组织结构信息进行访问控制已越来越受到重视,特别是在电子政务领域中控制资源的访问要求定义支持职能域的访问控制形式模型。......
