 |
 |
 |
 |
 |
 |
||
 |
 |
 |
 |
 |
| 4 | 1/1 | 返回列表 |
| 查看: 884 | 回復(fù): 3 | ||||||||
| 本帖產(chǎn)生 1 個(gè) 基金HEPI ，點(diǎn)擊這里進(jìn)行查看 | ||||||||
stonnie木蟲 (正式寫手)
|
[求助]
61100036
|
|||||||
|
回復(fù)此樓» 猜你喜歡
材料學(xué)碩297已過四六級(jí)求調(diào)劑推薦
已經(jīng)有9人回復(fù)
-
一志愿西南交通 專碩 材料355 本科雙非 求調(diào)劑
已經(jīng)有5人回復(fù)
-
316求調(diào)劑
已經(jīng)有4人回復(fù)
-
一志愿武漢理工材料工程專碩調(diào)劑
已經(jīng)有8人回復(fù)
-
329求調(diào)劑
已經(jīng)有8人回復(fù)
-
350求調(diào)劑
已經(jīng)有4人回復(fù)
-
材料與化工 322求調(diào)劑
已經(jīng)有3人回復(fù)
-
一志愿武理材料工程348求調(diào)劑
已經(jīng)有4人回復(fù)
-
265求調(diào)劑
已經(jīng)有13人回復(fù)
-
290求調(diào)劑
已經(jīng)有5人回復(fù)
stonnie
木蟲 (正式寫手)
- 應(yīng)助: 0 (幼兒園)
- 金幣: 1746.4
- 帖子: 338
- 在線: 174小時(shí)
- 蟲號(hào): 341710
- 注冊(cè): 2007-04-08
- 性別: GG
- 專業(yè): 信息理論與信息系統(tǒng)
2樓2014-01-26 13:11:30
mmbeauty
榮譽(yù)版主 (文壇精英)
- 基金HEPI: 25
- 應(yīng)助: 76 (初中生)
- 貴賓: 2.024
- 金幣: 20599.2
- 散金: 20181
- 紅花: 174
- 沙發(fā): 167
- 帖子: 15979
- 在線: 1017.2小時(shí)
- 蟲號(hào): 728451
- 注冊(cè): 2009-03-22
- 性別: MM
- 專業(yè): 通信理論與系統(tǒng)
- 管轄: 基金申請(qǐng)
【答案】應(yīng)助回帖
★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★
stonnie(sandy03代發(fā)): 金幣+50, 基金HEPI+1, 完成應(yīng)助 2014-03-21 16:45:07
stonnie(sandy03代發(fā)): 金幣+50, 基金HEPI+1, 完成應(yīng)助 2014-03-21 16:45:07
|
摘要 混成系統(tǒng)的模型檢驗(yàn)技術(shù)對(duì)實(shí)時(shí)系統(tǒng)質(zhì)量保障具有重要意義。由于系統(tǒng)行為高度復(fù)雜，現(xiàn)有工作主要針對(duì)線性混成自動(dòng)機(jī)的可達(dá)性檢驗(yàn)，但可解決問題規(guī)模過小不足以滿足實(shí)際應(yīng)用需要。同時(shí)，現(xiàn)有技術(shù)在非線性混成自動(dòng)機(jī)可達(dá)性檢驗(yàn)及混成自動(dòng)機(jī)活性檢驗(yàn)兩個(gè)重要應(yīng)用領(lǐng)域所展開的工作頗為有限，亟待進(jìn)一步研究。近年來，CPS系統(tǒng)廣泛興起，混成自動(dòng)機(jī)作為其自然的建模語言，其模型檢驗(yàn)問題顯得愈發(fā)重要。與一般嵌入式系統(tǒng)不同，CPS系統(tǒng)行為具有高度不確定性，因此傳統(tǒng)的離線建模驗(yàn)證技術(shù)已無法滿足CPS系統(tǒng)的需要，如何應(yīng)對(duì)此需求對(duì)CPS系統(tǒng)進(jìn)行驗(yàn)證也是一個(gè)重要科學(xué)問題。本課題將基于已有工作展開，以面向路徑可達(dá)性檢驗(yàn)為基礎(chǔ)，數(shù)值約束技術(shù)為手段，多核技術(shù)為平臺(tái)，服務(wù)于應(yīng)用為目標(biāo)，設(shè)計(jì)面向（非）線性混成自動(dòng)機(jī)可達(dá)性，線性混成自動(dòng)機(jī)活性的驗(yàn)證算法，以此為基礎(chǔ)設(shè)計(jì)支持CPS系統(tǒng)的在線建模驗(yàn)證框架，并結(jié)合典型CPS安全攸關(guān)系統(tǒng)進(jìn)行示范性應(yīng)用。 |
3樓2014-02-15 22:37:43
mmbeauty
榮譽(yù)版主 (文壇精英)
- 基金HEPI: 25
- 應(yīng)助: 76 (初中生)
- 貴賓: 2.024
- 金幣: 20599.2
- 散金: 20181
- 紅花: 174
- 沙發(fā): 167
- 帖子: 15979
- 在線: 1017.2小時(shí)
- 蟲號(hào): 728451
- 注冊(cè): 2009-03-22
- 性別: MM
- 專業(yè): 通信理論與系統(tǒng)
- 管轄: 基金申請(qǐng)
【答案】應(yīng)助回帖
★ ★ ★ ★ ★ ★ ★ ★ ★ ★
stonnie(sandy03代發(fā)): 金幣+10, 補(bǔ)發(fā) 2014-03-21 16:45:29
stonnie(sandy03代發(fā)): 金幣+10, 補(bǔ)發(fā) 2014-03-21 16:45:29
|
負(fù)責(zé)人：卜磊 參與人：卜磊, 趙建華, 周筱羽, 李游, 陳華杰, 楊陽, 邢雨辰, 張鳳玲, 李江偉, 蔣慧 金額：24萬 申請(qǐng)時(shí)間：2011 學(xué)科代碼：軟件工程(F020202) 項(xiàng)目批準(zhǔn)號(hào)：61100036 申請(qǐng)單位：南京大學(xué) 研究類型：基礎(chǔ)研究 關(guān)鍵詞：混成系統(tǒng)；CPS系統(tǒng)；模型檢驗(yàn)；可達(dá)性檢驗(yàn)；在線建模驗(yàn)證技術(shù) |
4樓2014-02-15 22:37:52
相關(guān)版塊跳轉(zhuǎn)
我要訂閱樓主 stonnie 的主題更新
| 4 | 1/1 | 返回列表 |
| 最具人氣熱帖推薦 [查看全部] | 作者 | 回/看 | 最后發(fā)表 | |
|---|---|---|---|---|
|
[考研] A區(qū)線材料學(xué)調(diào)劑 +4 | 周周無極 2026-03-20 | 4/200 |
|
|---|---|---|---|---|
|
|
[考研]
 295復(fù)試調(diào)劑
+8
|
簡(jiǎn)木ChuFront 2026-03-19 | 8/400 |
|
|
[考研] 085600材料與化工 +7 | 安全上岸！ 2026-03-16 | 7/350 |
|
|
|
[考研] 289求調(diào)劑 +6 | 懷瑾握瑜l 2026-03-20 | 6/300 |
|
|
|
[考研] 一志愿西安交通大學(xué) 學(xué)碩 354求調(diào)劑 +3 | 我想要讀研究生 2026-03-20 | 3/150 |
|
|
|
[考研] 265求調(diào)劑 +8 | 梁梁校校 2026-03-17 | 8/400 |
|
|
|
[考研] 求調(diào)劑 +3 | 暗涌afhb 2026-03-16 | 3/150 |
|
|
|
[考研] 復(fù)試調(diào)劑 +4 | z1z2z3879 2026-03-14 | 6/300 |
|
|
|
[考研] 一志愿西安交通大學(xué)材料工程專業(yè) 282分求調(diào)劑 +5 | 楓橋ZL 2026-03-18 | 7/350 |
|
|
|
[考研] 材料與化工求調(diào)劑 +7 | 為學(xué)666 2026-03-16 | 7/350 |
|
|
|
[考研] 286求調(diào)劑 +6 | lemonzzn 2026-03-16 | 10/500 |
|
|
|
[考研] 一志愿985，本科211，0817化學(xué)工程與技術(shù)319求調(diào)劑 +10 | Liwangman 2026-03-15 | 10/500 |
|
|
|
[考研] 0703化學(xué)調(diào)劑，求各位老師收留 +10 | 秋有木北 2026-03-14 | 10/500 |
|
|
|
[考研] 收復(fù)試調(diào)劑生 +4 | 雨后秋荷 2026-03-18 | 4/200 |
|
|
|
[考研] 070300化學(xué)319求調(diào)劑 +6 | 錦鯉0909 2026-03-17 | 6/300 |
|
|
|
[考研] 304求調(diào)劑 +12 | 小熊joy 2026-03-14 | 13/650 |
|
|
|
[考研] 280求調(diào)劑 +6 | 咕嚕曉曉 2026-03-18 | 7/350 |
|
|
|
[考研] 293求調(diào)劑 +11 | zjl的號(hào) 2026-03-16 | 16/800 |
|
|
|
[考研] 290求調(diào)劑 +3 | p asserby. 2026-03-15 | 4/200 |
|
|
|
[考研] 070300化學(xué)學(xué)碩求調(diào)劑 +6 | 太想進(jìn)步了0608 2026-03-16 | 6/300 |
|