您的位置： 专家智库 > >

国家自然科学基金(60473094)

作品数：13 被引量：43H指数：4
相关作者：蒋昌俊韩耀军罗雪梅孙萍丁志军更多>>
相关机构：同济大学上海外国语大学山东科技大学更多>>
发文基金：国家自然科学基金国家重点基础研究发展计划国家杰出青年科学基金更多>>
相关领域：自动化与计算机技术经济管理机械工程自然科学总论更多>>

文献类型

  • 12篇中文期刊文章

领域

  • 11篇自动化与计算...
  • 1篇机械工程
  • 1篇自然科学总论

主题

  • 5篇网格
  • 5篇PETRI网
  • 4篇网格计算
  • 2篇调度
  • 2篇共享合成
  • 1篇形式化
  • 1篇形式化分析
  • 1篇性能分析
  • 1篇虚拟企业
  • 1篇异构
  • 1篇语言
  • 1篇语义WEB
  • 1篇智能体
  • 1篇智能体系统
  • 1篇任务调度
  • 1篇审计
  • 1篇时间PETR...
  • 1篇时序PETR...
  • 1篇企业
  • 1篇启发式算法

机构

  • 7篇同济大学
  • 4篇山东科技大学
  • 4篇上海外国语大...
  • 1篇聊城大学
  • 1篇国家高性能计...

作者

  • 6篇蒋昌俊
  • 4篇韩耀军
  • 2篇丁志军
  • 2篇罗雪梅
  • 2篇孙萍
  • 1篇刘关俊
  • 1篇陈黎静
  • 1篇刘吟
  • 1篇王忱
  • 1篇李湘梅
  • 1篇杜玉越
  • 1篇沙静
  • 1篇左风朝
  • 1篇马桂杰
  • 1篇张广胜
  • 1篇张鹏

传媒

  • 6篇系统仿真学报
  • 2篇计算机工程
  • 2篇计算机科学
  • 1篇计算机应用研...
  • 1篇Journa...

年份

  • 1篇2009
  • 1篇2008
  • 2篇2007
  • 5篇2006
  • 3篇2005
共 13 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
基于Petri网共享合成的网格计算资源调度方案
2005年
网格计算资源具有分布、异构、动态、自治等特点,一方面需要一个有效的资源调度方案,另一方面需要强有力的图形与数学工具对其进行建模与分析.通过对现有方案的分析,提出了网格计算资源的三层调度方案,该方案与已有的方案相比,更能体现网格资源的特点.为不同层次的调度者构造了不同的有色时延Petri网模型,并利用Petri网的共享合成得到整个系统的Petri网模型.通过对Petri网可达性的分析,获得如吞吐量、负载平衡、调度时间等资源调度的一些重要特性.
韩耀军罗雪梅
关键词：网格计算PETRI网共享合成
网格体系的Petri网模拟与分析
2005年
应用Petri网分析技术对网格体系进行模拟与验证.网格体系中的不确定性由逻辑Petri网表达,并基于给出的网格体系模型,分析验证了网格体系的正确性和完整性.结果表明该模型能够清晰地描述网格体系的动态行为、静态性质及动作的因果关系.
张鹏杜玉越杜玉越左风朝
关键词：网格PETRI网形式化分析
基于工作流技术的复合语义Web服务框架被引量：2
2009年
随着Internet和Web应用的快速发展,Web应用模式及Web服务的异构和分散问题日益突出,如何复合繁复而庞大的Web服务群成了一项繁杂的工作。该文描述了一个复合语义Web服务框架的设计和实现过程。利用本体模型及工作流技术,该Web服务框架能够动态复合基本Web服务并在动态Web环境下自动执行,提高了Web应用的灵活性,并结合语义Web和工作流理论在提供智能化Web服务方面作了一次新的尝试。
李湘梅孙萍
关键词：WEB服务语义WEB本体工作流
审计缓冲区的形式化模型及其验证被引量：1
2006年
审计系统作为安全信息系统的一个重要组成部分,对于监督系统的正常运行、保障安全策略的正确实施、构造计算机入侵检测系统等都具有十分重要的意义。审计缓冲区的管理是审计系统的核心部分,本文利用时序 Petri 网对审计缓冲区管理的实现方案进行建模,进而对系统的安全性和活性进行了分析和验证。该方法利用时序逻辑扩充了 Petri 网缺乏描述系统事件之间时序关系的局限性,同时发挥了 Petri 网对系统并发和物理结构的有效描述及分析的优势,达到了系统验证的目的。
丁志军刘海峰蒋昌俊
关键词：审计时序PETRI网缓冲区
网格计算资源调度方案及其Petri网建模与分析被引量：9
2006年
通过对现有网格计算资源调度方案的分析,提出了网格计算资源的三层调度方案,该方案与已有的方案相比,更能体现网格资源的特点。利用Petri网这一具有描述并发、异步、动态等事件能力的图形与数学工具,对所提出的调度方案进行了模拟与分析。为不同层次的调度者构造了不同的扩展有色时延Petri网模型,并利用Petri网的共享合成技术得到整个系统的Petri网模型。同时给出了资源调度所对应的Petri网的可达任务图的概念,利用可达任务图,分析了诸如吞吐量、负载平衡、调度时间等资源调度的一些重要特性。
韩耀军
关键词：网格计算PETRI网共享合成
网格计算环境下任务执行时间的组合预测被引量：8
2006年
有效的资源调度算法提高了任务的执行时间,对优化资源的使用起着非常重要的作用。在网格计算环境下,需要用统计预测的方法对任务的执行时间进行估计。该文提出了任务执行时间的组合预测方法,以任务过去执行时间的观察值为基础,用多种预测方法对任务的执行时间进行估计,用多种预测方法得出的估计值进行组合预测,给出任务执行时间的估计值。实验表明,组合预测要优于单一模型预测。
韩耀军罗雪梅
关键词：网格计算组合预测
网格计算资源调度的层次Petri网建模与分析被引量：4
2006年
本文给出了网格计算资源的三层调度方案,并利用层次颜色 Petri 网对这一调度方案进行了建模与分析。对不同层次的资源调度建立了相应的颜色时延 Petri 网模型,不同层次的颜色时延 Petri 网模型可以有不同的行为表现,体现了网格计算资源的异构、自治等特点。给出了层次颜色 Petri 网的可达任务图的概念及构造算法,并利用可达任务图,对网格计算资源调度系统的运行状态进行了分析。
韩耀军
关键词：网格计算资源调度PETRI网层次颜色PETRI网
基于代价时间Petri网的合同网模型研究被引量：4
2008年
提出一种扩展了价格信息的时间Petri网——代价时间Petri网,并用代价时间Petri网来模拟合同网协商过程,建立虚拟企业的合同加工模型。在合同网协议框架内,利用代价时间Petri网为合同网协议的招标、投标和中标过程进行建模分析,给出了招标要求和Agent在投标和评标决策过程的代价时间Petri网模型,最后利用该模型对盟员企业内部制造过程以及相互之间的协作关系进行了形式化分析和验证。
张广胜蒋昌俊沙静孙萍
关键词：合同网多智能体系统虚拟企业
基于插桩技术的并行程序性能分析方法设计和实现被引量：7
2007年
介绍了一种异构环境下的并行调试及性能分析工具ParaVT的设计方法和实现。通过对并行程序源代码的分析处理,利用自动插桩模板插入用于调试和性能分析的用户代码,从而对并行程序进行断点调试和性能参数收集,达到进一步优化程序设计的目的。
马桂杰蒋昌俊刘吟王忱
关键词：异构性能分析插桩
A Heuristic Algorithm for Task Scheduling Based on Mean Load on Grid
2006年
有效任务安排对在格子计算环境上完成高效批评。在格子上安排的任务在这 paper.A 作为优化问题被学习令人满意的资源装载在格子环境上平衡的启发式的任务调度算法被介绍。由采用平均数的算法时间表任务作为试探信息基于任务装载预兆的执行时间获得起始的调度策略。然后，最佳调度策略被选择二台机器完成经由再分配他们的任务在下面改变他们的负担的令人满意的状况他们的吝啬的负担启发式。选择机器和任务的方法在这篇论文被给增加系统的产量并且减少全部的等待时间。算法的效率被分析，建议算法的表演经由广泛的模拟实验被评估。试验性的结果证明试探算法显著地表现高保证负担平衡并且完成最佳调度策略几乎所有时间。而且，结果证明我们的算法以时间复杂性是高有效的。
倪丽娜张金泉闫春钢蒋昌俊
关键词：启发式算法任务调度负载平衡
全选 清除 导出
共2页<12>
聚类工具0