您的位置: 专家智库 > >

国家自然科学基金(90412013)

作品数:11 被引量:48H指数:5
相关作者:蒋昌俊支青丁志军庞善臣张金泉更多>>
相关机构:同济大学山东科技大学陕西师范大学更多>>
发文基金:国家自然科学基金国家重点基础研究发展计划国家杰出青年科学基金更多>>
相关领域:自动化与计算机技术理学更多>>

文献类型

  • 11篇中文期刊文章

领域

  • 10篇自动化与计算...
  • 1篇理学

主题

  • 4篇调度
  • 3篇调度算法
  • 3篇任务调度
  • 3篇PETRI网
  • 2篇异构
  • 2篇异构环境
  • 2篇网格
  • 1篇动态调度
  • 1篇动态调度算法
  • 1篇多项式
  • 1篇多项式算法
  • 1篇形式化
  • 1篇形式化分析
  • 1篇异构计算
  • 1篇异构计算环境
  • 1篇语义
  • 1篇正文
  • 1篇任务调度算法
  • 1篇三I算法
  • 1篇时间PETR...

机构

  • 8篇同济大学
  • 4篇山东科技大学
  • 1篇聊城大学
  • 1篇中国科学院
  • 1篇陕西师范大学

作者

  • 8篇蒋昌俊
  • 2篇丁志军
  • 2篇庞善臣
  • 2篇张金泉
  • 2篇支青
  • 1篇张跃冬
  • 1篇樊建平
  • 1篇马捷
  • 1篇杨毅
  • 1篇倪丽娜
  • 1篇杜玉越
  • 1篇王淑栋
  • 1篇裴道武
  • 1篇傅丽
  • 1篇左风朝
  • 1篇杜晓丽
  • 1篇张广胜
  • 1篇张鹏

传媒

  • 2篇计算机研究与...
  • 2篇同济大学学报...
  • 2篇系统仿真学报
  • 1篇模糊系统与数...
  • 1篇自动化学报
  • 1篇计算机应用
  • 1篇信息与控制
  • 1篇Journa...

年份

  • 1篇2009
  • 1篇2007
  • 2篇2006
  • 5篇2005
  • 2篇2004
11 条 记 录,以下是 1-10
排序方式:
工作流模型验证及分解的多项式算法分析
2009年
基于工作流的Petri网结构化建模方法,证明了工作流网的T不变量和P不变量的存在性、可覆盖性,给出了一个工作流模型完整性的充要条件,进一步得到了基于T不变量的多项式分解算法,与以往非多项式分解算法相比,克服了遍历的不足,降低了算法复杂度,给出的实例验证了算法的有效性.
庞善臣蒋昌俊
关键词:工作流PETRI网多项式算法
主从任务调度的T-时间Petri网
2005年
任务调度是一个NP-hard问题,并且是并行与分布式计算必不可少的组成部分.本文首先提出了适合描述异构环境下独立、等尺寸的大规模任务调度问题的T-时间Petri网模型,然后给出了刻画该模型运行的并发可达图的构造算法,最后,在并发可达图中得到了最优调度策略,该策略实现了稳定状态的最优调度,有效地缩短了调度的初始化及清除阶段的时间.
张金泉倪丽娜蒋昌俊
关键词:任务调度PETRI网
一种双匹配动态调度算法被引量:8
2005年
提出了适于异构环境独立任务调度的双匹配动态调度算法(BM算法).BM算法将任务与处理机实现双匹配,使大部分任务在执行时间最短而且完成时间最早的处理机上执行.对于无法实现双匹配的任务,采用最早完成时间最小者优先的策略进行调度.BM算法可以同时满足负载均衡和高吞吐率两个目标.BM算法与通常用作评测基准的M in-m in算法的比较结果表明,BM算法的运行时间远少于M in-m in算法,其调度跨度比M in-m in算法减少约9%.*
支青蒋昌俊
关键词:调度
模糊推理三I算法的逻辑基础被引量:16
2004年
在模糊推理理论中 ,近期问世的三 I推理方法以逻辑蕴涵运算取代传统的合成运算 ,从根本上改进了传统的合成推理规则 (即 CRI方法 )。本文基于模糊命题逻辑的形式演绎系统 L* 和模糊谓词逻辑的一阶系统 K* ,构建了一个完备的多型变元一阶系统 K*ms,并且将三 I算法完全纳入了模糊逻辑的框架之中 ,从而为模糊推理奠定了严格的逻辑基础。
裴道武傅丽
关键词:模糊逻辑模糊推理CRI算法三I算法
基于模糊Petri网的服务发现框架研究被引量:8
2006年
现有的主流服务发现方法不支持模糊逻辑推理,无法处理软计算语义,从而缺乏灵活性.为了弥补人类可理解的软计算逻辑和机器能够识别的硬逻辑的差异,提出了面向服务基于模糊Petri网的Multi-Agent服务发现框架.为支持这一框架,设计了一种模糊Petri网服务描述语言,其主要特点是变迁表示一个服务或者请求;变迁的输入库所表示服务执行前应满足的条件,变迁的输出库所表示只有在所需条件满足的情况下服务才能成功执行.变迁相关的CF值(certaintyfactorvalue)表示服务消费者对Agent所提供服务的置信度.其次,提出了支持软计算语义的松弛匹配机制,并且给出了模糊松弛匹配算法;借助于本体库(类库),通过计算命题的真实度,在不精确模糊信息情况下,可以实现服务和请求的模糊松弛匹配.
张广胜蒋昌俊丁志军
关键词:本体模糊PETRI网
网格体系的Petri网模拟与分析
2005年
应用Petri网分析技术对网格体系进行模拟与验证.网格体系中的不确定性由逻辑Petri网表达,并基于给出的网格体系模型,分析验证了网格体系的正确性和完整性.结果表明该模型能够清晰地描述网格体系的动态行为、静态性质及动作的因果关系.
张鹏杜玉越杜玉越左风朝
关键词:网格PETRI网形式化分析
计算机外设部件网格使能协议——gDevice
2005年
网格计算机是计算机体系结构未来的发展方向之一,网格使能部件是构成网格计算机系统的重要元素.网格使能部件具有网格实体、功能服务、智能互连3大特征,计算机部件网格使能中的关键问题包括设备描述、互连互通、资源共享与复用、安全等诸多方面.gDevice协议是一个用来解决计算机外设部件网格使能问题的协议.在网格计算机控制台系统GridConsole中,该协议已经得到了部分验证.
张跃冬杨毅樊建平马捷
关键词:网格计算机计算机外设
BM串匹配的一个改进算法被引量:6
2004年
在分析BM算法和文献[12]的基础上,给出了BM串匹配的一个改进算法。该算法有以下重要的特点:1)最坏情况下,算法有效地减少了字符重复比较的次数,提高了匹配效率;2)匹配算法在二维匹配和不精确匹配中较易推广。
庞善臣王淑栋蒋昌俊
关键词:串匹配正文时间复杂度
A Heuristic Algorithm for Task Scheduling Based on Mean Load on Grid
2006年
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 satisfying resources load balancing on grid environment is presented. The algorithm schedules tasks by employing mean load based on task predictive execution time as heuristic information to obtain an initial scheduling strategy. Then an optimal scheduling strategy is achieved by selecting two machines satisfying condition to change their loads via reassigning their tasks under the heuristic of their mean load. Methods of selecting machines and tasks are given in this paper to increase the throughput of the system and reduce the total waiting time. The efficiency of the algorithm is analyzed and the performance of the proposed algorithm is evaluated via extensive simulation experiments. Experimental results show that the heuristic algorithm performs significantly to ensure high load balancing and achieve an optimal scheduling strategy almost all the time. Furthermore, results show that our algorithm is high efficient in terms of time complexity.
倪丽娜张金泉闫春钢蒋昌俊
异构环境下基于任务交互图的调度算法被引量:1
2007年
针对异构环境下任务图为TIG(task interaction graph)的问题,利用松弛标记法善于利用邻居属性处理大量约束的特点,提出一种任务调度算法.算法把任务看作目标对象,处理器单元看作待分配标记,根据对象间所有可能关系,逐渐排除不相关的处理器单元,选择计算和通信综合性能较好的处理器单元.在兼顾任务执行的计算和通信需求的情况下,能够合理分配资源、提高处理速度、缩短整个应用程序的执行时间.实验结果与用穷举法得出的最优结果比较显示,本算法能较理想地解决异构环境下基于任务交互图的调度问题.
杜晓丽蒋昌俊丁志军张金泉
关键词:任务调度异构计算环境
共2页<12>
聚类工具0