国家自然科学基金(90412013)
- 作品数:11 被引量:48H指数:5
- 相关作者:蒋昌俊支青丁志军庞善臣张金泉更多>>
- 相关机构:同济大学山东科技大学陕西师范大学更多>>
- 发文基金:国家自然科学基金国家重点基础研究发展计划国家杰出青年科学基金更多>>
- 相关领域:自动化与计算机技术理学更多>>
- 工作流模型验证及分解的多项式算法分析
- 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年
- 有效任务安排对在格子计算环境上完成高效批评。在格子上安排的任务在这 paper.A 作为优化问题被学习令人满意的资源装载在格子环境上平衡的启发式的任务调度算法被介绍。由采用平均数的算法时间表任务作为试探信息基于任务装载预兆的执行时间获得起始的调度策略。然后,最佳调度策略被选择二台机器完成经由再分配他们的任务在下面改变他们的负担的令人满意的状况他们的吝啬的负担启发式。选择机器和任务的方法在这篇论文被给增加系统的产量并且减少全部的等待时间。算法的效率被分析,建议算法的表演经由广泛的模拟实验被评估。试验性的结果证明试探算法显著地表现高保证负担平衡并且完成最佳调度策略几乎所有时间。而且,结果证明我们的算法以时间复杂性是高有效的。
- 倪丽娜张金泉闫春钢蒋昌俊
- 关键词:启发式算法任务调度负载平衡
- 异构环境下基于任务交互图的调度算法被引量:1
- 2007年
- 针对异构环境下任务图为TIG(task interaction graph)的问题,利用松弛标记法善于利用邻居属性处理大量约束的特点,提出一种任务调度算法.算法把任务看作目标对象,处理器单元看作待分配标记,根据对象间所有可能关系,逐渐排除不相关的处理器单元,选择计算和通信综合性能较好的处理器单元.在兼顾任务执行的计算和通信需求的情况下,能够合理分配资源、提高处理速度、缩短整个应用程序的执行时间.实验结果与用穷举法得出的最优结果比较显示,本算法能较理想地解决异构环境下基于任务交互图的调度问题.
- 杜晓丽蒋昌俊丁志军张金泉
- 关键词:任务调度异构计算环境