【摘 要】
：
时间约束的动态验证是保障工作流及时、有效的完成的关键.本文采用具有满足、弱不满足、强不满足3种状态的时间约束，改进了时间约束的动态验证方法.对于部分弱不满足的时间约
【机 构】
：
沈阳航空工业学院计算机学院,辽宁大学信息科学与技术学院
【基金项目】
：
辽宁省教育厅攻关计划项目（2004D116）资助,辽宁省自然科学基金项目（20052007）资助.
论文部分内容阅读
时间约束的动态验证是保障工作流及时、有效的完成的关键.本文采用具有满足、弱不满足、强不满足3种状态的时间约束，改进了时间约束的动态验证方法.对于部分弱不满足的时间约束，通过基于角色信任度和时间延迟的松弛时间分配方法，可调整其状态至满足的，降低了异常的触发频率，提高了运行效率.实验表明，该方法有效地降低了异常处理的代价.
其他文献
对“嫦娥奔月”这则神话以全新的女性视角进行阐释,可以析出女性“逃离”男权压抑的主题。《作女》中的卓尔一次又一次的逃离与“嫦娥奔月”在形式与内涵方面都存在着极大的
采用一种考虑结点电势自由度的四边形压电薄板单元,利用Hamilton变分原理,基于压电材料的本构关系建立了压电结构动力有限元模型,推导了动力学有限元方程.利用负速度反馈控制
我国是苹果种植大国,产量近10年高居世界首位,各种苹果需要精确分级以适应不同人群的需求。面对庞大的数量,有必要建立精度高、速度快、指标全的检测线,以实现智能化分级,对
声乐是音乐的一种表现形式,包括言语和乐音两部分。言语和乐音的有机结合组成了声乐的传达机制,由言语衍化成的语感和乐音衍化成的乐感的有机结合,形成了声乐的艺术传达。声
合理的激励设置是促进师资建设的中心环节和核心所在。激励设置是否合理一方面取决于其是否契合教师行为选择目标,另一方面取决于其是否能够提供一个公平的、多层次的激励体
网络技术的发展使得隐私保护日益引起关注．本文分析比较了数据摧毁和数据擦除技术在隐私保护方面的应用，阐述了数据擦除技术的发展现状．结合现代RLL码的发展，提出了一种基于m序列
薄皮甜瓜(Cucumis melo var.makuwa Makino)因其果实香气馥郁、口感甜脆而深受消费者喜欢。香气作为薄皮甜瓜的重要品质特征,直接影响消费者的选择。甜瓜果实香气组成复杂,其
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
目的分析健康促进对城市社区居民慢性高血压防控的效果。方法采用随机整群抽样法,在平顶山市区范围内随机抽取4个社区,采取发放宣传手册、在社区公共场所悬挂宣传标语及张贴
就资源具备特色和历史上具有影响力而言,汉中的"汉文化"应该指"汉代文化"。汉中的"汉文化"宣传和发掘,应该以"汉代文化"的资源保护、资料整理、人物和事件研究、遗迹的开发利