| 查看: 733 | 回复: 2 | ||||||||
| 本帖产生 1 个 基金HEPI ，点击这里进行查看 | ||||||||
syh2010银虫 (小有名气)
|
[求助]
61101214 摘要求助
|
|||||||
61101214 基于时间自动机的实时Web服务组合研究 胡晶晶 北理工 |
回复此楼» 猜你喜欢
博士读完未来一定会好吗
已经有28人回复
-
博士申请都是内定的吗？
已经有4人回复
-
之前让一硕士生水了7个发明专利，现在这7个获批发明专利的维护费可从哪儿支出哈？
已经有3人回复
-
到新单位后，换了新的研究方向，没有团队，持续积累2区以上论文，能申请到面上吗
已经有12人回复
-
投稿精细化工
已经有4人回复
-
高职单位投计算机相关的北核或SCI四区期刊推荐，求支招！
已经有4人回复
-
导师想让我从独立一作变成了共一第一
已经有9人回复
-
读博
已经有4人回复
-
JMPT 期刊投稿流程
已经有4人回复
-
心脉受损
已经有5人回复
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
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