国家自然科学基金(60125205)
- 作品数：5 被引量：13H指数：3
- 相关作者：蒋昌俊方钰何启海闫春钢李启炎更多>>
- 相关机构：同济大学山东科技大学东华大学更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术医药卫生更多>>
- 主从任务调度的T-时间Petri网
- 2005年
- 任务调度是一个NP-hard问题,并且是并行与分布式计算必不可少的组成部分.本文首先提出了适合描述异构环境下独立、等尺寸的大规模任务调度问题的T-时间Petri网模型,然后给出了刻画该模型运行的并发可达图的构造算法,最后,在并发可达图中得到了最优调度策略,该策略实现了稳定状态的最优调度,有效地缩短了调度的初始化及清除阶段的时间.
- 张金泉倪丽娜蒋昌俊
- 关键词：任务调度PETRI网
- 移动导航系统数字地图路网数据的描述与组织被引量：6
- 2005年
- 导航电子地图路网数据的描述,组织和管理是移动导航系统的设计中涉及的关键问题。从移动导航系统对路网数据的信息要求出发,针对以往路网数据模型的不足,探讨了一种名为HOT的层次化路网模型。详细论述了该模型的数据对象描述和层次结构定义,特别是针对网络拓扑结构的刻画给出了解决方案。通过在某市交通信息网格项目中的应用,表明该模型具有信息完备、结构清晰、简洁实用等优点。
- 方钰何启海
- 关键词：导航电子地图
- 医疗信息系统工作流的Petri网建模与化简分析被引量：3
- 2006年
- 应用Petri网建模与工作流技术，构建了基于医疗信息整合（IHE）规范的医疗信息系统工作流的Petri网模型，并对一个医疗信息系统工作流实例，给出了基于Petri网化简分析方法的模型化简与性质验证，表明该模型能够对医疗信息工作流进行有效的分析和验证，从而为医疗信息系统集成设计及其工作流分析提供了理论基础。
- 闫春钢蒋昌俊史有群丁志军李启炎
- 关键词：PETRI网工作流信息系统IHE
- 网格体系的Petri网模拟与分析
- 2005年
- 应用Petri网分析技术对网格体系进行模拟与验证.网格体系中的不确定性由逻辑Petri网表达,并基于给出的网格体系模型,分析验证了网格体系的正确性和完整性.结果表明该模型能够清晰地描述网格体系的动态行为、静态性质及动作的因果关系.
- 张鹏杜玉越杜玉越左风朝
- 关键词：网格PETRI网形式化分析
- 网格环境下的车载导航信息服务系统
- 提出了一种网格环境下的智能车载信息服务系统。该系统依托上海市交通信息网格强大的数据处理和服务能力,为车载终端用户提供实时交通信息,动态路径决策,城市移动黄页等高附加值的移动信息服务,克服了传统的自主导航设备与实时的交通状...
- 方钰蒋昌俊陈林刘磊
- 关键词：智能交通系统交通信息网格
- 面向移动导航设备的数字地图分级组织与预取策略被引量：4
- 2006年
- 由地图数据的分级组织出发,提出一种基于多级H ilbert网格的地图数据组织与预取策略.通过多级H ilbert网格的二进制编码,使网格之间层次关系和邻近关系的刻画更加准确和灵活.而分级的数据组织,更加符合地图显示的现实情况,降低了数据预取和更新操作的代价.测试表明该策略优于普通的预取策略,并已在上海市交通信息网格移动信息终端的研发中取得了良好的实施效果.
- 方钰何启海
- 关键词：数据组织数据预取
