【摘 要】
：
近年来，关于协调已有大量的研究成果，但对于协调问题中依赖关系及协调策略多是作定性的表述，给出的一般都是非形式化的结果，难以实现协调问题的计算机求解。针对这一难题，利用形式
【基金项目】
：
国家自然科学基金（70572034,60773188）.
论文部分内容阅读
近年来，关于协调已有大量的研究成果，但对于协调问题中依赖关系及协调策略多是作定性的表述，给出的一般都是非形式化的结果，难以实现协调问题的计算机求解。针对这一难题，利用形式化和图形化的建模工具Petri网对协调问题中的依赖关系及协调机制进行研究，提出任务之间基于资源的3种基本依赖关系，并用Petri网对这3种依赖关系相应的协调机制进行了表述，最后用XML语言对Petri网表示的协调机制进行了形式化，为协调问题的可计算化提供了一种新的思考角度。
其他文献
为解决煤矿井下硬岩层定向钻进效率低的难题,提出将单弯螺杆马达与液动潜孔锤组合在一起,形成的复合钻具具有硬岩层中轨迹可控和钻进效率高的特点。介绍了复合钻具的组成及实
目的：研究复方丹参注射液与依达拉奉联用对颅脑损伤合并脑水肿的临床疗效。方法：两组均予以常规治疗，对照组采用依达拉奉注射液治疗，治疗组在对照组的基础上加复方丹参注射液治疗
目的 观察牛羊膜应用于烧伤创面的临床效果，并筛选最佳制备和储存方法。方法 2004年1月～2005年11月，随机选取58例浅Ⅰ度、深Ⅱ度、Ⅲ度切削痂植皮创面、供皮区及残余创面的患者，
近年来,中国与中南半岛5国所开展的澜沧江-湄公河开发合作日益成为国际社会关注的热点,并成为当前次区域经济合作的一个典范.
《数学课程标准》指出:数学要向学生提供充分从事数学活动的机会,帮助他们在主动探究和合作交流的过程中,真正理解和掌握基本的数学知识,获取广泛的数学活动经验。为体现这一
[目的]调查糖尿病中、高危足病人自我感受负担的现状,分析其影响因素。[方法]采用一般资料调查表和自我感受负担量表对100例糖尿病中、高危足住院病人进行调查,并分析其影响
思想政治课是中学的一门基础课，也是学校实施德育的有效途径，在实施新课程改革过程中，如何搞好中学思想政治课教学，笔者认为重点应处理好以下三种关系：
针对当前加大环境保护力度,努力建设绿色能源、绿色矿山,促进社会可持续发展的要求,通过广泛调研,对新疆准东地区露天煤矿的环保技术进行了研究,总体上提出了露天矿山优化环
肾结石开放取石术后肾造瘘管是从肾盂直接通向体外的管道系统,可以有效地引流尿液,清除残留结石,同时也能导致术后出血及泌尿系感染。笔者护理肾造瘘患者32例,疗效满意,报道
随着新课程改革的不断推进,合作学习逐渐走进中小学英语课堂。合作学习有效地解决了目前中小学英语教学中普遍存在的班额大、课上时间少的问题。合作学习营造了宽松的学习氛