搜索到11982篇“ 形式化描述模型“的相关文章
- 群组目标空间方向关系形式化描述模型被引量：5
- 2016年
- 针对目前群组目标空间方向关系模型在描述方向关系方面存在的不精确及复杂性等问题,该文提出一种形式化描述模型。该模型采用"剥皮"法计算得到源目标群的边界多边形,较好地顾及了空间形状及分布范围对方向关系的影响;并通过方向关系矩阵模型计算源目标群的边界多边形与各方向区域之间的交,借助矩阵形式化描述源目标群相对于参考目标群的空间方向关系。实验结果表明,该模型较好地克服了现有方法中存在的缺陷,能够准确判断地理空间中两个群组目标之间的空间方向关系。
- 禄小敏闫浩文王中辉甘治国
- 关键词：空间方向关系形式化描述
- 基于可拓理论的装备知识形式化描述模型研究被引量：2
- 2016年
- 通过分析现有装备知识描述方法的特点,提出了构建装备知识形式化描述模型的需求;概括和归纳了可拓理论的内容及国内外研究现状,结合基元原理和拓展分析原理构建了5种装备知识形式化描述模型;为了说明装备知识形式化描述模型的可行性和有效性,以部分装备知识为例进行实例验证;装备知识形式化描述是进行装备参数聚合及装备体系评估的前提和基础。
- 于少波李新明刘东程建博李迎春
- 关键词：形式化描述可拓理论
- 基于Pi-演算的Web服务形式化描述模型*被引量：2
- 2011年
- 当前对Web服务进行形式化描述的方法多是基于对某个具体Web服务组合规范的抽象,无法兼顾基于全局和局部的设计方法,并且无法描述Web服务组合的体系结构的动态性。在对现有的Web服务形式化描述方法进行回顾和总结的基础上,基于Pi-演算建立了Web服务形式化描述模型,将BPEL4WS和WS-CDL规范的重要行为在模型中作了映射。最后通过例子说明,基于局部和全局的设计方法在提出的模型中的映射是一致的。提出的描述模型直接用来进行Web服务组合的设计时,可以更好地描述动态的体系结构。
- 胡静冯志勇
- 关键词：WEB服务WEB服务组合形式化描述模型PI-演算
- 基于多元Pi-演算的Web服务形式化描述模型及其验证被引量：2
- 2011年
- Web服务组合在运行时多发生由于类型不匹配而产生的错误,为了有效地避免这种错误,在多元Pi-演算的基础上提出了Web服务形式化描述模型。通过基本类型定义、语法定义和判定规则说明单个Web服务的类型良好性,通过操作语义说明Web服务发生组合时的类型良好性;给出Web服务可替换性定义,并在此定义基础上说明如何进行Web服务组合的功能验证。提出的类型化Web服务形式化描述模型,准确说明了Web服务组合运行时的类型良好性,以及Web服务组合的功能验证方法。最后通过例子说明,提出的定义和判断方法的有效性。
- 胡静冯志勇
- 关键词：WEB服务
- 基于Pi-演算的Web服务形式化描述模型
- Web服务组合使得开发者可以基于面向服务的计算无缝地访问众多分布式服务,组合在一起解决复杂问题。大多数Web服务是独立开发并运行在异构平台上的,为了能够实现它们之间的服务组合,需要能够兼容其异构性的服务组合描述方法以及对...
- 胡静
- 关键词：系统级芯片PI-演算形式化描述模型WEB服务组合验证类型化服务网络
- 文献传递
- 交通网络中线-线拓扑关系形式化描述模型
- 2010年
- 针对现有模型的不足,首先以点集拓扑学基本理论为基础,定义了交通网络中线目标的端点、内部、边界等概念,在此基础上提出了一种描述交通网络线-线拓扑关系完善的形式化模型即LL9I模型。在对此模型进行分析的基础上,根据线目标的物理意义,提出了10条规则以排除此模型描述的线-线拓扑关系中没有意义的类型,并总结出了交通网络线-线拓扑关系的最小集,定义了6种基本的线-线拓扑关系,并且证明了此最小集的互斥性与完备性。
- 张水舰李永树鲁恒王子豪
- 关键词：交通工程点集拓扑学
- GIS空间线目标间拓扑关系形式化描述模型被引量：2
- 2009年
- 针对现有拓扑关系描述模型的不足,首先以点集拓扑学基本理论为基础,定义了空间线目标的端点、内部、边界等概念,在此基础上提出了一种描述空间线目标间拓扑关系完善的形式化模型——New 9交模型。根据线目标的物理意义,提出了5条取值规则以排除模型描述的拓扑关系中没有意义的类型,并在此基础上总结出了空间线目标间拓扑关系的最小集,定义了6种线目标间的基本拓扑关系,并且证明了此最小集的互斥性与完备性。
- 张水舰李永树
- 关键词：拓扑关系NEW点集拓扑学地理信息系统
- 空间拓扑关系形式化描述模型分析
- 2009年
- 拓扑关系是GIS空间目标之间最重要的关系之一,在GIS空间数据建模、空间查询、空间分析、空间推理、制图综合等过程中起着重要的作用。文中阐述了空间拓扑关系形式化描述模型与表达方法,分析了各模型的优缺点,并探讨了将来的发展方向。
- 么艳娜
- 关键词：拓扑关系GIS
- GIS空间拓扑关系形式化描述模型分析被引量：2
- 2008年
- 空间拓扑关系形式化描述模型是GIS空间关系研究的重要内容之一,在GIS数据建模、空间查询、空间分析、空间推理等过程中起着重要作用.文中主要给出了空间拓扑关系形式化描述方法的分类,阐述了空间拓扑关系的形式化描述模型与表达方法,分析比较了各自的优缺点,并探讨了目前存在的问题和今后的发展方向.
- 刘耀开刘传立
- 关键词：拓扑关系GIS形式化描述模型
- GIS空间方向关系形式化描述模型分析被引量：13
- 2007年
- 空间方向关系是空间关系的重要内容,是地理信息系统(GIS)的基础理论问题之一,在GIS空间查询、空间分析、空间推理、制图综合等过程中起着重要作用。空间方向关系的理论研究相对于拓扑关系和度量关系的研究相对滞后。本文给出了空间方向关系形式化描述方法的分类,阐述了空间方向关系的形式化描述模型与表达方法,分析比较了各自的优缺点,并探讨了目前存在的问题和今后的发展方向。
- 夏宇朱欣焰李德仁秦昆
- 关键词：形式化描述模型地理信息系统
相关作者
- 胡静
- 作品数：58被引量：41H指数：4
- 供职机构：天津大学
- 研究主题：安全需求 安全漏洞 计算软件 可信计算 知识库
- 闫浩文
- 作品数：294被引量：1,098H指数：20
- 供职机构：兰州交通大学
- 研究主题：地图 道路网 地理信息系统 多尺度 盲水印
- 冯志勇
- 作品数：354被引量：979H指数：13
- 供职机构：天津大学
- 研究主题：WEB服务 本体 服务网络 RDF 语义WEB服务
- 李景霞
- 作品数：22被引量：69H指数：4
- 供职机构：安徽农业大学信息与计算机学院
- 研究主题：WEB服务组合 颜色PETRI网 离散数学 WEB服务 层次颜色PETRI网
- 赵慧娟
- 作品数：15被引量：53H指数：4
- 供职机构：上海海洋大学信息学院
- 研究主题：最短路径 计算机科学与技术专业 工程教育专业认证 教学方法 颜色PETRI网
