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

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

| 3 | 1/1 | 返回列表 |
| 最具人氣熱帖推薦 [查看全部] | 作者 | 回/看 | 最后發(fā)表 | |
|---|---|---|---|---|
|
[考研] 085600材料與化工求調(diào)劑 +5 | 緒幸與子 2026-03-17 | 5/250 |
|
|---|---|---|---|---|
|
[考研] 085601材料工程專碩求調(diào)劑 +3 | 慕寒mio 2026-03-16 | 3/150 |
|
|
[碩博家園] 深圳大學(xué)碩士招生(2026秋,傳感器方向,僅錄取第一志愿) +4 | xujiaoszu 2026-03-11 | 9/450 |
|
|
[考研] 302求調(diào)劑 +8 | 負(fù)心者當(dāng)誅 2026-03-11 | 8/400 |
|
|
[考研] 一志愿985,本科211,0817化學(xué)工程與技術(shù)319求調(diào)劑 +5 | Liwangman 2026-03-15 | 5/250 |
|
|
[考研] 311求調(diào)劑 +5 | 26研0 2026-03-15 | 5/250 |
|
|
[考研] 283求調(diào)劑 +10 | 小樓。 2026-03-12 | 14/700 |
|
|
[考研] 285求調(diào)劑 +6 | ytter 2026-03-12 | 6/300 |
|
|
[考研] 26考研一志愿中國石油大學(xué)(華東)305分求調(diào)劑 +3 | 嘉年新程 2026-03-15 | 3/150 |
|
|
[考研] 復(fù)試調(diào)劑 +4 | z1z2z3879 2026-03-14 | 5/250 |
|
|
[考研] 【0703化學(xué)調(diào)劑】-一志愿華中師范大學(xué)-六級475 +5 | Becho359 2026-03-11 | 5/250 |
|
|
[考研] 材料080500調(diào)劑求收留 +3 | 一顆meteor 2026-03-13 | 3/150 |
|
|
[考研] 266求調(diào)劑 +4 | 學(xué)員97LZgn 2026-03-13 | 4/200 |
|
|
[考研] 復(fù)試調(diào)劑 +9 | Copy267 2026-03-10 | 9/450 |
|
|
[考研] 341求調(diào)劑 +3 | 番茄頭--- 2026-03-10 | 3/150 |
|
|
[考研] 308求調(diào)劑 +5 | 是Lupa啊 2026-03-11 | 5/250 |
|
|
[考研] 0703化學(xué)一志愿211 總分320求調(diào)劑 +5 | 瑪卡巴卡啊哈 2026-03-11 | 5/250 |
|
|
[考研] 工科材料085601 279求調(diào)劑 +8 | 困于星晨 2026-03-12 | 10/500 |
|
|
[考研] 295求調(diào)劑 +3 | 小匕仔汁 2026-03-12 | 3/150 |
|
|
[考研] 工科調(diào)劑 +4 | Jiang191123! 2026-03-11 | 4/200 |
|