| 查看: 763 | 回复: 2 | ||||||||
| 本帖产生 1 个 基金HEPI ，点击这里进行查看 | ||||||||
syh2010银虫 (小有名气)
|
[求助]
61101214 摘要求助
|
|||||||
61101214 基于时间自动机的实时Web服务组合研究 胡晶晶 北理工 |
回复此楼» 猜你喜欢
0703 物理化学调剂
已经有5人回复
-
化学工程321分求调剂
已经有7人回复
-
0703化学调剂 290分有科研经历，论文在投
已经有7人回复
-
308求调剂
已经有3人回复
-
本人考085602 化学工程 专硕
已经有10人回复
-
焦虑
已经有9人回复
-
0856求调剂
已经有3人回复
-
283求调剂
已经有11人回复
-
深圳大学硕士招生（2026秋，传感器方向，仅录取第一志愿）
已经有8人回复
-
0703化学调剂
已经有7人回复
tjcdp
荣誉版主 (知名作家)
- 基金HEPI: 621
- 应助: 155 (高中生)
- 贵宾: 1.694
- 金币: 45997.8
- 散金: 2101
- 红花: 37
- 沙发: 7
- 帖子: 8263
- 在线: 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
