论文部分内容阅读
动态网络环境下，Webn服务资源具有高度自治性和动态性，如何根据运行时具体的用户需求完成动念的服务组合是一个重要问题。时间自动机是一种形式化的实时并发系统模型，它为实时系统的行为描述提供了较好的分析方法。本研究通过引入基于时间自动机的二部图表示可以实现对动态服务组合的建模与控制。
基于时间自动机的动态服务组合方法研究
【摘 要】
：
动态网络环境下，Webn服务资源具有高度自治性和动态性，如何根据运行时具体的用户需求完成动念的服务组合是一个重要问题。时间自动机是一种形式化的实时并发系统模型，它为实时系
【机 构】
：
井冈山大学信息科学与传媒学院,东华大学信息科学与技术学院
【出 处】
：
井冈山大学学报：自然科学版
【发表日期】
：
2010年1期
其他文献
目前我区资源产业的大规模开发,引起资本、劳动力等生产要素向采掘业等资源型行业流动,造成了对制造业的＂挤出＂,引起经济增长的乏力。分析了自然资源、技术进步与经济增长的关
翻译批评是联系翻译理论与翻译实践的重要纽带。基于语料库计量分析的语义韵研究有助于探索原文的语用偏好、语言态度等语义因素在译文中的对等和偏离,从而脱离文本层为翻译
目的观察不同剂量曲马多对小鼠学习记忆的影响。方法将小鼠分为4组（n=10）：生理盐水组（NS组）及曲马多5﹑10﹑20mg·kg-1组（TS1、TS2、TS3组）,各组腹腔注射相应剂量的曲马多,随后分别
目的系统评价中等强度体力活动与T2DM之间的关系。方法检索EMBASE和Medline（截止2010年7月）相关文献，并追踪参考文献目录。剔除未将中等强度体力活动与剧烈活动（〉6MET）区分开的文
针对水文仪器的可靠性问题,将可靠性工程引入水文仪器的设计、生产、运行过程,以提高水文仪器系统的可靠性。通过建立可靠性指标评估模型,设计了一种基于水文仪器结构检测的
新疆玛纳斯河流域荒漠区生态工程的主要目标是保护和整治生态环境,为发展地方经济提供了环境保障,它产生的经济效益、生态效益越来越受到人们的关注。本文采用问卷调查的方法