任务间依赖关系的分类及形式化表达

来源 :武汉理工大学学报:信息与管理工程版 | 被引量 : 0次 | 上传用户:leafxzc
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
协调作为一个重要的概念广泛地出现在多个学科和社会经济领域,成为广大学者共同关注的一个研究课题。目前对于协调问题中依赖关系及协调策略的研究,多是做定性的表述,给出的一般都是非形式化的描述,这样不利于协调问题在计算机上的表述,难以实现协调问题的计算机求解。针对这一问题,利用形式化和图形化的建模工具Petri Nets对协调问题中的依赖关系进行研究,提出任务之间的依赖关系可以分为两类,基于资源的依赖关系和基于时间的依赖关系,并用Petri Nets对这些依赖关系进行了表述,为协调问题的可计算描述提供了一种新的思
其他文献
合理的饲喂制度,可使家兔养成定时采食、休息和排粪的习惯,改善消化道的机能,促进消化腺的分泌,促进饲料营养物质的消化吸收。如果饲喂无制度,则会导致喂料多少不均,早迟不定
“转注”是一种很能产的造字方法,可以定义为:在汉字的使用过程中,通过增加、改变偏旁造出新字的方法.汉字的发展经历了表意字、假借字、形声字三个阶段,“转注”在由假借到形
2019年11月,河北省沧州市庞先生带一只虎斑猫咪前来诊所就诊,具体情况描述如下:1病史虎斑猫,2岁,雄性,体重6 kg。主诉:该猫咪最近几天食欲不振,精神欠佳,偶尔排少量血尿。2临
<正>阻塞性睡眠呼吸暂停综合征(Obstructive Sleep Apnea Syndrome,OSAS)是当今社会常见的睡眠障碍相关呼吸系统疾病,国外报道OSAS的患病率为2%~4%,发病率随年龄的增长而增加
CD44是属于黏附分子家族的跨膜糖蛋白,广泛表达于内皮细胞、间充质细胞、造血干细胞及中胚层来源的细胞和组织,参与淋巴细胞活化、增殖、黏附以及渗出,近年发现其与移植排斥反应
清末民初,在教会女学的刺激下,中国女子教育有了长足的发展。伴随着女子教育的大力开展,女性逐步进入社会,从事医学、教育、编辑、革命等职业。20世纪末中国的职业女性群体基
受传统因素和近代西方文明的双重影响,近代中国政治现代化呈现出区域不平衡性。以江苏省为个案,可以看到,在近代江苏政治现代化的过程中,苏南明显优于苏北,细绎其根源,则不能
李树培在《自我对话:一个常被忽视的教育问题》一文中指出,自我对话是关于所发生事情的解释性、评价性的思想,通过倾听并逐渐理解内心的精妙叙说,自我得到确立和展现。自我对话是
对我国中、东、西部金融物流发展的现状进行比较研究发现:我国物流金融发展相对滞后且物流金融发展存在明显的区域差异性,提出在充分发挥本地区物流金融优势的同时,各区域应
微加速度计是集微电子与机械于一体的加速度敏感元件.微加速度计的应用越来越广泛,但是其可靠性问题成为制约微加速度计市场化的关键因素.为了预计压阻式微加速度计的可靠性,分析