24小时热门版块排行榜

返回列表

本帖产生 1 个基金HEPI ，点击这里进行查看

当前只显示满足指定条件的回帖，点击这里查看本话题的所有回帖

tjcdp

荣誉版主 (知名作家)

基金HEPI: 621
应助: 155 (高中生)
贵宾: 1.694
金币: 45992.8
散金: 2101
红花: 37
沙发: 7
帖子: 8262
在线: 1807小时
虫号: 195921
注册: 2006-02-24
性别: GG
专业: 其他无机非金属材料
管辖: 无机非金属

【答案】应助回帖

★ ★ ★ ★
wg423(悬赏金币+4, 基金HEPI+1): 协助结贴，谢谢应助 2012-10-14 19:31:35

基于时间自动机的实时Web服务组合研究

负责人：胡晶晶参与人：胡晶晶, 曹元大, 刘美华, 靳军, 周瑞涛, 郑乐靖, 董明斌, 罗欧

金额：25万申请时间：2011 学科代码：智能信息处理(F010406) 项目批准号：61101214

申请单位：北京理工大学研究类型：应用基础研究

关键词：Web服务组合；实时；时间自动机；不确定规划；模型检测

摘要:
Web服务是极具前景的分布式计算模型，Web服务组合是Web服务研究的焦点，实时Web服务组合因兼具动态和及时的特点而成为Web服务组合最新的发展方向。本项目将针对实时Web服务组合这一时间系统的不确定规划问题，探索语义Web架构下实时模型检测的形式化方法。本项目拟基于时间自动机的形式化理论，研究面向实时Web服务组合的不确定规划方法。首先，构建通用的时钟操纵模型，为时间系统形式验证奠定基础；其次，设计基于时间带的时钟操纵与分层搜索相结合的实时模型检测搜索算法，缓解状态空间的组合爆炸；再次，完成实时Web服务组合的语义Web扩展，实现语义Web架构下的实时模型检测规划；最后，集成理论成果，构建实时Web服务组合平台，并利用"北京市公共区紧急预警服务系统"对平台性能进行实例测试和验证，提升公共事件处理的有效性和实时性。

赞一下(1人)

回复此楼

2楼2012-01-21 10:51:47

已阅回复此楼关注TA 给TA发消息送TA红花 TA的回帖

相关版块跳转我要订阅楼主 syh2010 的主题更新

返回列表