云南高校图书馆联盟文献共享服务平台- 国家自然科学基金(60473094)

国家自然科学基金(60473094): 作品数：13被引量：27H指数：3; 导出分析报告; 相关作者：蒋昌俊韩耀军罗雪梅孙萍丁志军更多>>; 相关机构：同济大学上海外国语大学山东科技大学国家高性能计算机工程技术研究中心更多>>; 相关期刊：《Chinese Journal of Electronics》《计算机应用研究》《计算机工程》《计算机科学》更多>>; 相关主题：PETRI网网格计算共享合成网格计算环境组合预测更多>>; 相关领域：自动化与计算机技术经济管理机械工程自然科学总论更多>>

基于工作流技术的复合语义Web服务框架: 《计算机工程》2009年第2期65-67,共3页李湘梅孙萍; 国家自然科学基金资助项目“面向网格服务的开放式移动计算模型、理论及方法研究”(90612006);国家自然科学基金资助项目“网格程序层次模型及其理论”(60473094); 随着Internet和Web应用的快速发展,Web应用模式及Web服务的异构和分散问题日益突出,如何复合繁复而庞大的Web服务群成了一项繁杂的工作。该文描述了一个复合语义Web服务框架的设计和实现过程。利用本体模型及工作流技术,该Web服务框架...; 关键词：WEB服务语义WEB 本体工作流

基于代价时间Petri网的合同网模型研究被引量：4: 《系统仿真学报》2008年第20期5438-5441,5445,共5页张广胜蒋昌俊沙静孙萍; 国家自然科学基金资助项目(60473094);国家重点基础研究发展计划(973)项目(2003CB316902;2004CB318001-03); 提出一种扩展了价格信息的时间Petri网——代价时间Petri网,并用代价时间Petri网来模拟合同网协商过程,建立虚拟企业的合同加工模型。在合同网协议框架内,利用代价时间Petri网为合同网协议的招标、投标和中标过程进行建模分析,给出了招...; 关键词：代价时间Petri网合同网多智能体系统虚拟企业协作

On the Design and Temporal Petri Net Verification of Grid Commerce Architecture被引量：6: 《Chinese Journal of Electronics》2008年第2期247-251,共5页DU Yuyue JIANG Changjun; This work is supported in part by the National Natural Science Foundation of China （No.60773034, No.60573018, No.60534060, and No.60473094）, the ＂Taishan Scholar＂ Construction Project of Shandong Province, China; the National Basic Research Program of China （973 Program）（No.2003CB316902, No.2007CB316502 and No.2004CB318001- 03）, and the Open Project of the State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences （No.SYSKF0604）.; The emergence of Grid Computing settings lays a solid foundation for designing and constructing a next generation E-commerce environment. This work presents a new E-commerce architecture based on a Grid Computing envi...; 关键词：E-COMMERCE Grid computing Petri net Modeling DESIGN Verification.

基于插桩技术的并行程序性能分析方法设计和实现被引量：5: 《计算机应用研究》2007年第10期225-228,共4页马桂杰蒋昌俊刘吟王忱; 国家自然科学基金资助项目(60473094);国家"973"计划重点资助项目(2003CB316902); 介绍了一种异构环境下的并行调试及性能分析工具ParaVT的设计方法和实现。通过对并行程序源代码的分析处理,利用自动插桩模板插入用于调试和性能分析的用户代码,从而对并行程序进行断点调试和性能参数收集,达到进一步优化程序设计的目的。; 关键词：异构并行调试性能分析插桩优化

各类Petri网语言间的关系被引量：1: 《系统仿真学报》2007年第7期1633-1638,共6页刘关俊蒋昌俊陈黎静; 国家自然科学基(60473094);国家自然科学基金重点项目(60534060)。; Petri网语言是Petri网理论的重要组成部分,反映了Petri网的模拟能力;同时,Petri网语言也是分析系统行为的重要手段之一,在许多方面得到了应用。对已有的12类Petri网语言,已经给出了它们之间一个粗略的包含关系。在已有关系的基础上,给...; 关键词：PETRI网语言属型类

网格计算环境下任务执行时间的组合预测被引量：3: 《计算机工程》2006年第21期70-72,共3页韩耀军罗雪梅; 国家自然科学基金资助项目(60473094);上海外国语大学科学研究基金资助项目; 有效的资源调度算法提高了任务的执行时间,对优化资源的使用起着非常重要的作用。在网格计算环境下,需要用统计预测的方法对任务的执行时间进行估计。该文提出了任务执行时间的组合预测方法,以任务过去执行时间的观察值为基础,用多种预...; 关键词：网格计算执行时间组合预测

A Heuristic Algorithm for Task Scheduling Based on Mean Load on Grid: 《Journal of Computer Science & Technology》2006年第4期559-564,共6页倪丽娜张金泉闫春钢蒋昌俊; This work is supported by the National Natural Science Foundation of China （Grant Nos. 90412013, 60473094 and 60534060）, the National Basic Research 973 Program of China （Grant Nos. 2003CB316902 and 2004CB318001-03）, and the Shanghai Science ＆： Technology Research Plan （Grant Nos. 04XD14016 and 05DZ15004）.; Efficient task scheduling is critical to achieving high performance on grid computing environment. The task scheduling on grid is studied as optimization problem in this paper. A heuristic task scheduling algorithm sa...; 关键词：heuristic algorithm task scheduling load balancing knowledge grid

审计缓冲区的形式化模型及其验证被引量：1: 《计算机科学》2006年第5期98-103,共6页丁志军刘海峰蒋昌俊; 国家自然科学基金(60473094);国家杰出青年科学基金(60125205); 审计系统作为安全信息系统的一个重要组成部分,对于监督系统的正常运行、保障安全策略的正确实施、构造计算机入侵检测系统等都具有十分重要的意义。审计缓冲区的管理是审计系统的核心部分,本文利用时序 Petri 网对审计缓冲区管理的实...; 关键词：审计时序PETRI网缓冲区验证

网格计算资源调度方案及其Petri网建模与分析被引量：3: 《系统仿真学报》2006年第4期824-828,共5页韩耀军; 国家重大研究计划(90412013);国家重点基础研究发展计划(973)项目(2004CB318001-03);国家自然科学基金项目(60473094);上海外国语大学科学研究基金项目; 通过对现有网格计算资源调度方案的分析,提出了网格计算资源的三层调度方案,该方案与已有的方案相比,更能体现网格资源的特点。利用Petri网这一具有描述并发、异步、动态等事件能力的图形与数学工具,对所提出的调度方案进行了模拟与分...; 关键词：网格计算资源调度方案 PETRI网共享合成可达任务图

网格计算资源调度的层次Petri网建模与分析被引量：3: 《计算机科学》2006年第4期236-239,共4页韩耀军; 国家重大研究计划(90412013);国家自然科学基金项目(60473094);上海外国语大学科学研究基金项目; 本文给出了网格计算资源的三层调度方案,并利用层次颜色 Petri 网对这一调度方案进行了建模与分析。对不同层次的资源调度建立了相应的颜色时延 Petri 网模型,不同层次的颜色时延 Petri 网模型可以有不同的行为表现,体现了网格计算资源...; 关键词：网格计算资源调度 PETRI网层次颜色PETRI网

高级检索 检索式检索

时间限定

期刊范围

学科限定全选

高级检索 检索式检索

时间限定

期刊范围

学科限定全选

国家自然科学基金(60473094)

检索结果分析

下载全文

高级检索检索式检索

时间限定

期刊范围

学科限定全选

高级检索 检索式检索

时间限定

期刊范围

学科限定全选

国家自然科学基金(60473094)

检索结果分析

下载全文

用户登录

高级检索检索式检索