【摘 要】
：
提出了基于生成图的多过程动态时序一致性验证方法.首先从多过程的时间工作流网构建生成图,以图形化方式表达实例可能经过的路径和时间信息.在动态检测时,依据已经完成活动对
【机 构】
：
北京科技大学机械工程学院,清华大学自动化系
【基金项目】
：
国家自然科学基金（No.60674080）, 国家863高技术研究发展计划（No.2006AA04Z151 No.2006AA04Z166）
论文部分内容阅读
提出了基于生成图的多过程动态时序一致性验证方法.首先从多过程的时间工作流网构建生成图,以图形化方式表达实例可能经过的路径和时间信息.在动态检测时,依据已经完成活动对生成图进行部分更新,再利用图中节点相关信息进行时间约束的验证.该方法可以解决资源约束情况下多过程时序一致性动态验证问题,而且能定位模型中出问题的路径,指导用户进行工作流时序异常处理或优化工作流模型;另一方面,生成图可供多个时序约束进行验证使用,具有较好的可重用性.
其他文献
如果可以根本性地解决问题，才是一个创新。作为一名职业经理人，我们的前任经理人往往都很成功，但是如果按照前任的方式做下去，我们可能会保住自己的位置，但是不一定会有上升的空问
结合教学经验,针对当前环境教育的实际状况,探讨环境教育的必要性与重要性,阐明加强学生环保意识的重要价值,并且探讨在中学地理教育中实施环境教育的途径。
会议结束后，孙杉被几个热情的同事“簇拥”着到楼下吃午餐。席间，看着同事们神秘兮兮、期待惶惑的表情，孙杉说：“总部是否要搬迁、新的职位安排这些具体情况我是真的不知道，你们问
针对盲源分离算法中步长因子的自适应选取问题,本文基于分离性能指标与步长因子的对应关系,提出了一种新的变步长盲源分离算法.该算法通过结合一个受限的辅助分离系统,重新构
2006年1月4日下午，亚信集团宣布，俞兵辞去亚信集团董事，辞去联想亚信科技有限公司董事长、CEO，以及联想网御科技有限公司董事长等亚信集团及子公司所有行政职务。其职务由亚信副
摘 要：学生的生活经验是良好品德形成和社会性发展的基础，要提高学校德育工作实效，德育的目标、内容、方式就要贴近学生的生活，选取生活中富有教育意义的内容，让学生在生活实践、生活体验中进行价值判断和道德选择，用生活经历对自身产生启发、引导作用，从而形成持久而固化的道德修养。 关键词：生活化；依据；实施 学校工作，德育为先，把学生培养成为具有良好道德品质的社会公民，是学校的重要使命。但当前学校德育工
随着素质教育理念的提出,高中生物教师在实际的教学过程中也更加注重提高学生的生物科学素养。的确,那些传统且单一的教学形式并不利于培养优秀人才,因此,作为高中生物教师,
随着社会各界对教育事业的重视,新时代要求教师把立德树人作为教育的根本任务。那么,何为立德？立德即树立德业。何为树人？树人即培养人才。立德树人,即教育工作者不仅要做好传
本文介绍了一种虚拟机全系统在线迁移方法.设计了三阶段迁移方案（Three-Phase Migration,TPM）,能迁移包括外存数据在内的虚拟机全系统状态,最小化迁移过程中的虚拟机暂停时间,
摘 要：识字是学好语文的基础，而兴趣的培养与方法的选择又极其重要，努力给学生营造识字氛围，激发识字兴趣，培养良好的语文学习能力。 关键词：识字；方法；兴趣；效率 汉字是我们祖国所特有的文化，学好汉字、用好汉字是每个炎黄子孙最基本的责任和义务，而识字是一切之根本，是培养学生阅读能力和文字表达能力的基础。所以，学生从识字开始，就要注重其兴趣的激发与能力的培养。 一、利用媒体创设情境，引发识字兴趣