| 3 | 1/1 | 返回列表 |
| 查看: 764 | 回復(fù): 2 | ||||||||
| 本帖產(chǎn)生 1 個(gè) 基金HEPI ,點(diǎn)擊這里進(jìn)行查看 | ||||||||
syh2010銀蟲 (小有名氣)
|
[求助]
61101214 摘要求助
|
|||||||
61101214 基于時(shí)間自動(dòng)機(jī)的實(shí)時(shí)Web服務(wù)組合研究 胡晶晶 北理工 |

榮譽(yù)版主 (知名作家)
|
基于時(shí)間自動(dòng)機(jī)的實(shí)時(shí)Web服務(wù)組合研究 負(fù)責(zé)人:胡晶晶 參與人:胡晶晶, 曹元大, 劉美華, 靳軍, 周瑞濤, 鄭樂靖, 董明斌, 羅歐 金額:25萬 申請時(shí)間:2011 學(xué)科代碼:智能信息處理(F010406) 項(xiàng)目批準(zhǔn)號:61101214 申請單位:北京理工大學(xué) 研究類型:應(yīng)用基礎(chǔ)研究 關(guān)鍵詞:Web服務(wù)組合;實(shí)時(shí);時(shí)間自動(dòng)機(jī);不確定規(guī)劃;模型檢測 摘要: Web服務(wù)是極具前景的分布式計(jì)算模型,Web服務(wù)組合是Web服務(wù)研究的焦點(diǎn),實(shí)時(shí)Web服務(wù)組合因兼具動(dòng)態(tài)和及時(shí)的特點(diǎn)而成為Web服務(wù)組合最新的發(fā)展方向。本項(xiàng)目將針對實(shí)時(shí)Web服務(wù)組合這一時(shí)間系統(tǒng)的不確定規(guī)劃問題,探索語義Web架構(gòu)下實(shí)時(shí)模型檢測的形式化方法。本項(xiàng)目擬基于時(shí)間自動(dòng)機(jī)的形式化理論,研究面向?qū)崟r(shí)Web服務(wù)組合的不確定規(guī)劃方法。首先,構(gòu)建通用的時(shí)鐘操縱模型,為時(shí)間系統(tǒng)形式驗(yàn)證奠定基礎(chǔ);其次,設(shè)計(jì)基于時(shí)間帶的時(shí)鐘操縱與分層搜索相結(jié)合的實(shí)時(shí)模型檢測搜索算法,緩解狀態(tài)空間的組合爆炸;再次,完成實(shí)時(shí)Web服務(wù)組合的語義Web擴(kuò)展,實(shí)現(xiàn)語義Web架構(gòu)下的實(shí)時(shí)模型檢測規(guī)劃;最后,集成理論成果,構(gòu)建實(shí)時(shí)Web服務(wù)組合平臺,并利用"北京市公共區(qū)緊急預(yù)警服務(wù)系統(tǒng)"對平臺性能進(jìn)行實(shí)例測試和驗(yàn)證,提升公共事件處理的有效性和實(shí)時(shí)性。 |
新蟲 (初入文壇)

| 3 | 1/1 | 返回列表 |
| 最具人氣熱帖推薦 [查看全部] | 作者 | 回/看 | 最后發(fā)表 | |
|---|---|---|---|---|
|
[考研] 0703化學(xué)調(diào)劑 ,六級已過,有科研經(jīng)歷 +7 | 曦熙兮 2026-03-15 | 7/350 |
|
|---|---|---|---|---|
|
[考研] 321求調(diào)劑 +5 | 大米飯! 2026-03-15 | 5/250 |
|
|
[考研] 中科院材料273求調(diào)劑 +4 | yzydy 2026-03-15 | 4/200 |
|
|
[考研] 085600調(diào)劑 +5 | 漾漾123sun 2026-03-12 | 6/300 |
|
|
[考研] 277材料科學(xué)與工程080500求調(diào)劑 +3 | 自由煎餅果子 2026-03-16 | 3/150 |
|
|
[碩博家園] 深圳大學(xué)碩士招生(2026秋,傳感器方向,僅錄取第一志愿) +4 | xujiaoszu 2026-03-11 | 8/400 |
|
|
[考研] 327求調(diào)劑 +6 | 拾光任染 2026-03-15 | 11/550 |
|
|
[考研] 294求調(diào)劑 +3 | Zys010410@ 2026-03-13 | 4/200 |
|
|
[考研] 297一志愿上交085600求調(diào)劑 +5 | 指尖八千里 2026-03-14 | 5/250 |
|
|
[基金申請] 面上和青基一樣限30頁不合理 +5 | wowsunflower 2026-03-10 | 7/350 |
|
|
[考研] 調(diào)劑 +3 | 13853210211 2026-03-10 | 3/150 |
|
|
[考研] 材料工程專碩,一志愿中國礦業(yè)大學(xué),總分314,求調(diào)劑 +5 | 無懈可擊的巨人 2026-03-10 | 5/250 |
|
|
[考研] 290求調(diào)劑 +9 | ADT 2026-03-11 | 9/450 |
|
|
[考研] 332求調(diào)劑 +3 | Zz版 2026-03-13 | 3/150 |
|
|
[考研] 工科材料085601 279求調(diào)劑 +8 | 困于星晨 2026-03-12 | 10/500 |
|
|
[考研] 314求調(diào)劑 +7 | 無懈可擊的巨人 2026-03-12 | 7/350 |
|
|
[考研] 085600材料與化工 309分請求調(diào)劑 +7 | dtdxzxx 2026-03-12 | 8/400 |
|
|
[考研] 一志愿山大07化學(xué) 332分 四六級已過 本科山東雙非 求調(diào)劑! +3 | 不想理你 2026-03-12 | 3/150 |
|
|
[考研] 270求調(diào)劑 085600材料與化工專碩 +3 | YXCT 2026-03-11 | 3/150 |
|
|
[考研] 321求調(diào)劑(食品/專碩) +3 | xc321 2026-03-12 | 6/300 |
|