形式化描述模型

作品数：15被引量：72H指数：5
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：闫浩文胡静冯志勇李景霞张水舰更多>>
相关机构：天津大学兰州交通大学武汉大学上海海洋大学更多>>
相关期刊：《测绘科学技术学报》《计算机工程与设计》《测绘科学》《计算机应用与软件》更多>>
相关基金：国家自然科学基金天津市科技支撑计划国家高技术研究发展计划国家科技支撑计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
群组目标空间方向关系形式化描述模型被引量：5
《测绘科学》2016年第8期71-75,共5页禄小敏 闫浩文 王中辉 甘治国 
国家自然科学基金项目(41371435;41561090);国家科技支撑计划项目(2013BAB05B01);甘肃省财政厅基本科研业务费项目(214146);甘肃省自然基金项目(148RJZA041);地理空间信息工程国家测绘地理信息局重点实验室经费资助项目(201313)
针对目前群组目标空间方向关系模型在描述方向关系方面存在的不精确及复杂性等问题,该文提出一种形式化描述模型。该模型采用"剥皮"法计算得到源目标群的边界多边形,较好地顾及了空间形状及分布范围对方向关系的影响;并通过方向关系矩...
关键词：空间方向关系 群组目标 方向关系矩阵模型 形式化描述 
蜕变关系形式化描述与分解技术被引量：3
《计算机工程与设计》2016年第2期405-412,共8页惠战伟 黄松 李辉 刘剑豪 
国家863高技术研究发展计划基金项目(2009AA01Z402);江苏省自然科学基金项目(BK20141072;BK2012059;BK2012060);解放军理工大学预研基金项目(20110202;20110210)
蜕变测试的实践应用研究虽得到了极大发展,但其理论基础却还未引起学者的足够关注,蜕变关系的描述就是其中关键问题之一。分析蜕变测试正确性理论基础,提出一种蜕变关系形式化定义与描述方法,对蜕变关系的取值进行分析;分析蜕变关系与...
关键词：蜕变关系 蜕变测试 测试判定 形式化描述模型 分解模型 
三维拓扑关系的基本问题和研究进展被引量：5
《地理信息世界》2014年第3期9-17,共9页贺鸿愿 周晓光 
国家自然科学基金项目(41371366)资助
三维拓扑关系是三维空间关系中最重要的空间关系,是三维空间数据表达、查询、分析与应用的理论基础,是目前拓扑关系研究的热点。本文从三维空间实体的定义和描述、三维拓扑关系描述、表达与应用等方面回顾了国内外学术界所取得的研究进...
关键词：三维拓扑关系 拓扑不变量 三维空间实体 形式化描述模型 
基于多元Pi-演算的Web服务形式化描述模型及其验证被引量：2
《计算机应用研究》2011年第8期2999-3003,共5页胡静 冯志勇 
天津市科技支撑计划重点资助项目(08ZCKFGX00700);应用基础及前沿技术研究计划资助项目(08JCZDJC19800)
Web服务组合在运行时多发生由于类型不匹配而产生的错误,为了有效地避免这种错误,在多元Pi-演算的基础上提出了Web服务形式化描述模型。通过基本类型定义、语法定义和判定规则说明单个Web服务的类型良好性,通过操作语义说明Web服务发生...
关键词：WEB服务 Web服务组合功能验证 类型化的形式化描述模型 多元Pi-演算 
基于Pi-演算的Web服务形式化描述模型*被引量：2
《计算机应用研究》2011年第6期2168-2173,共6页胡静 冯志勇 
天津市科技支撑计划重点资助项目(08ZCKFGX00700);应用基础及前沿技术研究计划资助项目(08JCZDJC19800)
当前对Web服务进行形式化描述的方法多是基于对某个具体Web服务组合规范的抽象,无法兼顾基于全局和局部的设计方法,并且无法描述Web服务组合的体系结构的动态性。在对现有的Web服务形式化描述方法进行回顾和总结的基础上,基于Pi-演算建...
关键词：WEB服务 WEB服务组合 形式化描述模型 PI-演算 
基于颜色Petri网的交通信息网格系统建模与分析被引量：2
《微计算机信息》2011年第6期20-21,6,共3页李景霞 赵慧娟 
交通信息网格系统以高性能计算网格环境为支撑平台,综合运用网格及Web服务技术提供交通信息服务。系统请求响应过程复杂且有功能复用,为了确保系统各响应流程设计的正确性,建立了基于颜色Petri网的分层描述模型,在模型基础上利用形式化...
关键词：交通信息网格系统 颜色PETRI网 形式化描述模型 
Web服务的颜色Petri网模型及验证
《计算机应用与软件》2011年第3期80-82,88,共4页李景霞 赵慧娟 
国家高技术研究发展计划项目(2007AA01Z136);国家重点基础研究发展规划项目(2010CB328100)
利用Web服务组合技术,能够快速、灵活地满足复杂多变的业务需求。针对现有Web服务组合描述模型不独立于具体组合流程描述语言且不能全面刻画Web服务组合这两个问题,提出了一个描述Web服务的颜色Petri网模型,并给出了五个Web服务基本组...
关键词：颜色PETRI网 模型驱动体系结构 形式化描述模型 WEB服务组合验证 
交通网络中线-线拓扑关系形式化描述模型
《公路交通科技》2010年第9期89-93,99,共6页张水舰 李永树 鲁恒 王子豪 
"十一五"国家科技支撑计划课题资助项目(2006BAJ05A13)
针对现有模型的不足,首先以点集拓扑学基本理论为基础,定义了交通网络中线目标的端点、内部、边界等概念,在此基础上提出了一种描述交通网络线-线拓扑关系完善的形式化模型即LL9I模型。在对此模型进行分析的基础上,根据线目标的物理意义...
关键词：交通工程 LL9I模型 点集拓扑学 交通网络线-线拓扑关系 
GIS空间线目标间拓扑关系形式化描述模型被引量：1
《测绘科学技术学报》2009年第4期292-295,共4页张水舰 李永树 
国家自然科学基金资助项目(40371098)
针对现有拓扑关系描述模型的不足,首先以点集拓扑学基本理论为基础,定义了空间线目标的端点、内部、边界等概念,在此基础上提出了一种描述空间线目标间拓扑关系完善的形式化模型——New 9交模型。根据线目标的物理意义,提出了5条取值规...
关键词：拓扑关系 NEW 9交模型 点集拓扑学 空间线目标 地理信息系统 
GIS空间拓扑关系形式化描述模型分析被引量：2
《江西理工大学学报》2008年第5期41-44,共4页刘耀开 刘传立 
空间拓扑关系形式化描述模型是GIS空间关系研究的重要内容之一,在GIS数据建模、空间查询、空间分析、空间推理等过程中起着重要作用.文中主要给出了空间拓扑关系形式化描述方法的分类,阐述了空间拓扑关系的形式化描述模型与表达方法,分...
关键词：拓扑关系 空间关系 GIS 形式化描述模型 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部