24小时热门版块排行榜

返回列表

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

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

tjcdp

荣誉版主 (知名作家)

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

【答案】应助回帖

ly2122003(金币+10, 基金HEPI+1): ★★★★★最佳答案谢谢 2012-01-16 11:00:38

. 基于约束规划的语义Web服务动态组合技术研究

负责人：廖乐健参与人：廖乐健, 张艳, 林永钢, 任春阳, 方志, 陈若愚, 李鹏, 刘丹, 刘鹏, 曹晔

金额：30万申请时间：2008 学科代码：网络环境下的协同技术(F020806) 项目批准号：60873237

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

关键词：语义Web服务；动态服务组合；约束规划；模型检测；过程约束模型
摘要：
Web服务组合是Web服务领域用于整合互联网的异构程序资源的主要技术。目前工业界主要采用的是基于工作流的静态服务组合，缺乏语义互操作性，而且无法支持开放环境下陌生服务间的发现与执行的全过程自动化。基于语义Web的动态服务组合是Web服务技术的发展方向。动态服务组合可视为动态环境下的不确定规划问题，模型检测规划是求解该问题的有效技术。本项目的主旨目标是针对语义Web动态服务组合的需求与特征，研究基于模型检测规划的动态服务组合。首先研究在语义Web动态服务组合的应用环境下模型检测规划的搜索求解算法与策略效率，包括基于约束传播与分层搜索相结合的模型检测搜索剪枝策略。同时基于这种策略，研究语义Web服务功能与过程的约束建模，并在此基础上开发相应的工具，构建包括服务发现选择、组合规划、执行监控验证等一系列动态服务计算功能的完整平台。

赞一下

回复此楼

2楼2012-01-16 10:52:43

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

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

返回列表