| 查看: 882 | 回复: 2 | ||||||||
| 本帖产生 1 个 基金HEPI ，点击这里进行查看 | ||||||||
syh2010银虫 (小有名气)
|
[求助]
61101214 摘要求助
|
|||||||
61101214 基于时间自动机的实时Web服务组合研究 胡晶晶 北理工 |
回复此楼» 猜你喜欢
人气不行了
已经有7人回复
-
今日不放榜？网传国自然预计 8 月 27 日可查结果
已经有18人回复
-
感觉是下周放榜了
已经有12人回复
-
看来今天不会放榜了？
已经有5人回复
-
我面上完蛋了
已经有8人回复
-
只有每年这种时候来逛逛小木虫
已经有25人回复
-
什么时候开奖？
已经有7人回复
-
时间戳又变了
已经有18人回复
-
时间戳又变了8-15
已经有27人回复
-
今天基金会出结果吗？20260819
已经有16人回复
tjcdp
荣誉版主 (知名作家)
- 基金HEPI: 621
- 应助: 155 (高中生)
- 贵宾: 1.694
- 金币: 46032.8
- 散金: 2101
- 红花: 37
- 沙发: 7
- 帖子: 8270
- 在线: 1807小时
- 虫号: 195921
- 注册: 2006-02-24
- 性别: GG
- 专业: 其他无机非金属材料
- 管辖: 无机非金属
【答案】应助回帖
★ ★ ★ ★
wg423(悬赏金币+4, 基金HEPI+1): 协助结贴，谢谢应助 2012-10-14 19:31:35
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服务组合平台，并利用"北京市公共区紧急预警服务系统"对平台性能进行实例测试和验证，提升公共事件处理的有效性和实时性。 |
2楼2012-01-21 10:51:47
flhcherish
新虫 (初入文坛)
- 应助: 0 (幼儿园)
- 金币: 74.6
- 帖子: 15
- 在线: 3.6小时
- 虫号: 2702252
- 注册: 2013-10-06
- 性别: GG
- 专业: 信息理论与信息系统
3楼2014-04-30 11:07:02
40