您的位置： 专家智库 > >

上海市卫生系统百名跨世纪优秀学科带头人培养计划(04XD14016)

作品数：6 被引量：26H指数：2
相关作者：蒋昌俊丁志军杜晓丽刘关俊张广胜更多>>
相关机构：同济大学山东科技大学更多>>
发文基金：上海市卫生系统百名跨世纪优秀学科带头人培养计划国家自然科学基金国家重点基础研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 6篇中文期刊文章

领域

  • 6篇自动化与计算...

主题

  • 3篇PETRI网
  • 2篇调度
  • 2篇异构
  • 2篇异构环境
  • 2篇语言
  • 2篇任务调度
  • 2篇精炼
  • 2篇PETRI网
  • 1篇调度算法
  • 1篇异构计算
  • 1篇异构计算环境
  • 1篇语义
  • 1篇正规语言
  • 1篇模糊PETR...
  • 1篇计算环境
  • 1篇交互图
  • 1篇工作流
  • 1篇工作流网
  • 1篇分析方法
  • 1篇复杂系统

机构

  • 6篇同济大学
  • 2篇山东科技大学

作者

  • 6篇蒋昌俊
  • 4篇丁志军
  • 2篇杜晓丽
  • 1篇潘美芹
  • 1篇刘关俊
  • 1篇王俊丽
  • 1篇张金泉
  • 1篇张广胜

传媒

  • 1篇自动化学报
  • 1篇计算机研究与...
  • 1篇计算机学报
  • 1篇同济大学学报...
  • 1篇控制与决策
  • 1篇计算机科学

年份

  • 4篇2007
  • 2篇2006
共 6 条 记 录，以下是 1-6
全选 清除 导出
排序方式：
基于模糊Petri网的服务发现框架研究被引量：8
2006年
现有的主流服务发现方法不支持模糊逻辑推理,无法处理软计算语义,从而缺乏灵活性.为了弥补人类可理解的软计算逻辑和机器能够识别的硬逻辑的差异,提出了面向服务基于模糊Petri网的Multi-Agent服务发现框架.为支持这一框架,设计了一种模糊Petri网服务描述语言,其主要特点是变迁表示一个服务或者请求;变迁的输入库所表示服务执行前应满足的条件,变迁的输出库所表示只有在所需条件满足的情况下服务才能成功执行.变迁相关的CF值(certaintyfactorvalue)表示服务消费者对Agent所提供服务的置信度.其次,提出了支持软计算语义的松弛匹配机制,并且给出了模糊松弛匹配算法;借助于本体库(类库),通过计算命题的真实度,在不精确模糊信息情况下,可以实现服务和请求的模糊松弛匹配.
张广胜蒋昌俊丁志军
关键词：本体模糊PETRI网
精炼工作流网的行为保持性质被引量：1
2007年
本文定义了工作流网的精炼操作,研究了精炼工作流网的行为保持性质。结果表明精炼工作流网满足行为保持性质,即精炼工作流网的行为与原网和子网行为保持一致。在精炼工作流网行为保持性质的基础上,给出了基于原网语言和子网语言的精炼工作流网的语言刻画。本文结果有助于复杂工作流的设计、建模和验证。
丁志军潘美芹蒋昌俊
关键词：工作流PETRI网精炼
异构环境下基干松弛标记法的任务调度被引量：1
2007年
提出了一种基于松弛标记法的任务调度算法(Relaxation labeling based task scheduling,RLBTS),将任务映射到异构资源(处理器计算能力和链路的通信能力不同)上．松弛标记法善于处理大量的约束条件,其核心思想是结点的标签分配通常受该结点的邻居结点某些属性的影响．依据邻居约束关系,可以逐渐排除不相关因素,迅速缩小搜索空间．该算法统筹兼顾了任务执行的计算需求和通信需求问题,实验结果表明对于通信和计算需求都很高的任务和通信密集型任务,RLBTS不失为一种有效的调度算法．
杜晓丽王俊丽蒋昌俊
关键词：任务调度异构环境
异构环境下基于任务交互图的调度算法被引量：1
2007年
针对异构环境下任务图为TIG(task interaction graph)的问题,利用松弛标记法善于利用邻居属性处理大量约束的特点,提出一种任务调度算法.算法把任务看作目标对象,处理器单元看作待分配标记,根据对象间所有可能关系,逐渐排除不相关的处理器单元,选择计算和通信综合性能较好的处理器单元.在兼顾任务执行的计算和通信需求的情况下,能够合理分配资源、提高处理速度、缩短整个应用程序的执行时间.实验结果与用穷举法得出的最优结果比较显示,本算法能较理想地解决异构环境下基于任务交互图的调度问题.
杜晓丽蒋昌俊丁志军张金泉
关键词：任务调度异构计算环境
基于精炼操作的Petri网建模及其分析方法被引量：1
2007年
针对复杂系统的Petri网建模及其分析问题,定义了Petri网的精炼操作及其相关的Petri网模型.基于序列投影,建立精炼Petri网与原网、子网间的动态行为关联关系,并分析了该精炼操作的相关动态性质,得到一组性质保持判据.最后,基于该方法实现了一个顺序资源共享系统的应用案例的建模及其分析.所提出的方法不仅为复杂系统的Petri建模提供了新的思路,而且有助于复杂Petri网模型的分析和验证.
丁志军蒋昌俊
关键词：PETRI网精炼复杂系统
Petri网语言的Pumping引理被引量：14
2006年
Petri网语言是Petri网理论的重要组成部分,也是系统行为分析的一种重要的工具.Petri网语言的Pumping引理反映了Petri网语言的共性,可用来证明某些语言不是Petri网语言.已经证明,当一个Petri网语言可被某个有界Petri网产生时,此语言是正规语言,因此,正规语言的Pumping引理对此语言是有效的,但正规语言的Pumping引理并不适用于所有的Petri网语言.文中给出了一种Petri网语言的Pumping引理,证明其对任意无空标注的Petri网语言都有效,并且正规语言的Pumping引理是此引理的一种特殊形式.利用此Pumping引理可以证明某些语言是不能由Petri网产生的.
蒋昌俊刘关俊
关键词：PETRI网语言正规语言
全选 清除 导出
共1页<1>
聚类工具0