 |
 |
 |
 |
 |
 |
||
 |
 |
 |
 |
 |
| 4 | 1/1 | 返回列表 |
| 查看: 883 | 回復(fù): 3 | ||||||||
| 本帖產(chǎn)生 1 個 基金HEPI ，點擊這里進行查看 | ||||||||
stonnie木蟲 (正式寫手)
|
[求助]
61100036
|
|||||||
|
回復(fù)此樓» 猜你喜歡
085600材料與化工
已經(jīng)有6人回復(fù)
-
281求調(diào)劑（0805）
已經(jīng)有24人回復(fù)
-
265求調(diào)劑
已經(jīng)有8人回復(fù)
-
0817 化學(xué)工程 299分求調(diào)劑 有科研經(jīng)歷 有二區(qū)文章
已經(jīng)有21人回復(fù)
-
295材料求調(diào)劑，一志愿武漢理工085601專碩
已經(jīng)有4人回復(fù)
-
0856調(diào)劑，是學(xué)校就去
已經(jīng)有9人回復(fù)
-
298-一志愿中國農(nóng)業(yè)大學(xué)-求調(diào)劑
已經(jīng)有9人回復(fù)
-
求調(diào)劑
已經(jīng)有4人回復(fù)
-
學(xué)校已經(jīng)提交到NSFC，還能修改嗎？
已經(jīng)有7人回復(fù)
-
材料學(xué)碩297已過四六級求調(diào)劑推薦
已經(jīng)有6人回復(fù)
stonnie
木蟲 (正式寫手)
- 應(yīng)助: 0 (幼兒園)
- 金幣: 1746.4
- 帖子: 338
- 在線: 174小時
- 蟲號: 341710
- 注冊: 2007-04-08
- 性別: GG
- 專業(yè): 信息理論與信息系統(tǒng)
2樓2014-01-26 13:11:30
mmbeauty
榮譽版主 (文壇精英)
- 基金HEPI: 25
- 應(yīng)助: 76 (初中生)
- 貴賓: 2.024
- 金幣: 20599.2
- 散金: 20181
- 紅花: 174
- 沙發(fā): 167
- 帖子: 15979
- 在線: 1017.2小時
- 蟲號: 728451
- 注冊: 2009-03-22
- 性別: MM
- 專業(yè): 通信理論與系統(tǒ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)的模型檢驗技術(shù)對實時系統(tǒng)質(zhì)量保障具有重要意義。由于系統(tǒng)行為高度復(fù)雜，現(xiàn)有工作主要針對線性混成自動機的可達性檢驗，但可解決問題規(guī)模過小不足以滿足實際應(yīng)用需要。同時，現(xiàn)有技術(shù)在非線性混成自動機可達性檢驗及混成自動機活性檢驗兩個重要應(yīng)用領(lǐng)域所展開的工作頗為有限，亟待進一步研究。近年來，CPS系統(tǒng)廣泛興起，混成自動機作為其自然的建模語言，其模型檢驗問題顯得愈發(fā)重要。與一般嵌入式系統(tǒng)不同，CPS系統(tǒng)行為具有高度不確定性，因此傳統(tǒng)的離線建模驗證技術(shù)已無法滿足CPS系統(tǒng)的需要，如何應(yīng)對此需求對CPS系統(tǒng)進行驗證也是一個重要科學(xué)問題。本課題將基于已有工作展開，以面向路徑可達性檢驗為基礎(chǔ)，數(shù)值約束技術(shù)為手段，多核技術(shù)為平臺，服務(wù)于應(yīng)用為目標(biāo)，設(shè)計面向（非）線性混成自動機可達性，線性混成自動機活性的驗證算法，以此為基礎(chǔ)設(shè)計支持CPS系統(tǒng)的在線建模驗證框架，并結(jié)合典型CPS安全攸關(guān)系統(tǒng)進行示范性應(yīng)用。 |
3樓2014-02-15 22:37:43
mmbeauty
榮譽版主 (文壇精英)
- 基金HEPI: 25
- 應(yīng)助: 76 (初中生)
- 貴賓: 2.024
- 金幣: 20599.2
- 散金: 20181
- 紅花: 174
- 沙發(fā): 167
- 帖子: 15979
- 在線: 1017.2小時
- 蟲號: 728451
- 注冊: 2009-03-22
- 性別: MM
- 專業(yè): 通信理論與系統(tǒng)
- 管轄: 基金申請
【答案】應(yīng)助回帖
★ ★ ★ ★ ★ ★ ★ ★ ★ ★
stonnie(sandy03代發(fā)): 金幣+10, 補發(fā) 2014-03-21 16:45:29
stonnie(sandy03代發(fā)): 金幣+10, 補發(fā) 2014-03-21 16:45:29
|
負(fù)責(zé)人：卜磊 參與人：卜磊, 趙建華, 周筱羽, 李游, 陳華杰, 楊陽, 邢雨辰, 張鳳玲, 李江偉, 蔣慧 金額：24萬 申請時間：2011 學(xué)科代碼：軟件工程(F020202) 項目批準(zhǔn)號：61100036 申請單位：南京大學(xué) 研究類型：基礎(chǔ)研究 關(guān)鍵詞：混成系統(tǒng)；CPS系統(tǒng)；模型檢驗；可達性檢驗；在線建模驗證技術(shù) |
4樓2014-02-15 22:37:52
相關(guān)版塊跳轉(zhuǎn)
我要訂閱樓主 stonnie 的主題更新
| 4 | 1/1 | 返回列表 |
| 最具人氣熱帖推薦 [查看全部] | 作者 | 回/看 | 最后發(fā)表 | |
|---|---|---|---|---|
|
[考研] 求調(diào)劑 +4 | Mqqqqqq 2026-03-19 | 4/200 |
|
|---|---|---|---|---|
|
[考研] 一志愿中南化學(xué)337求調(diào)劑 +4 | niko- 2026-03-19 | 5/250 |
|
|
|
[考研] 265求調(diào)劑 +9 | 梁梁校校 2026-03-19 | 9/450 |
|
|
|
[考研] 279分求調(diào)劑 一志愿211 +9 | chaojifeixia 2026-03-19 | 10/500 |
|
|
|
[考研] 290求調(diào)劑 +4 | ^O^乜 2026-03-19 | 4/200 |
|
|
|
[考研] 317求調(diào)劑 +4 | 申子申申 2026-03-19 | 9/450 |
|
|
|
[考博] 東華理工大學(xué)化材專業(yè)26屆碩士博士申請 +8 | zlingli 2026-03-13 | 8/400 |
|
|
|
[考研] 一志愿天津大學(xué)化學(xué)工藝專業(yè)（081702）315分求調(diào)劑 +11 | yangfz 2026-03-17 | 11/550 |
|
|
|
[考研] 一志愿西安交通大學(xué)材料工程專業(yè) 282分求調(diào)劑 +5 | 楓橋ZL 2026-03-18 | 7/350 |
|
|
|
[考研] 0703化學(xué) 305求調(diào)劑 +4 | FY_yy 2026-03-14 | 4/200 |
|
|
|
[考研] 311求調(diào)劑 +4 | 冬十三 2026-03-18 | 4/200 |
|
|
|
[考研] 328求調(diào)劑，英語六級551，有科研經(jīng)歷 +3 | 生物工程調(diào)劑 2026-03-17 | 7/350 |
|
|
|
[考研] 277調(diào)劑 +5 | 自由煎餅果子 2026-03-16 | 6/300 |
|
|
|
[考研] 302求調(diào)劑 +4 | 小賈同學(xué)123 2026-03-15 | 8/400 |
|
|
|
[考研] 考研調(diào)劑 +3 | 淇ya_~ 2026-03-17 | 5/250 |
|
|
|
[考研] 333求調(diào)劑 +3 | 文思客 2026-03-16 | 7/350 |
|
|
|
[考研] 304求調(diào)劑 +5 | 素年祭語 2026-03-15 | 5/250 |
|
|
|
[考研] 318求調(diào)劑 +3 | Yanyali 2026-03-15 | 3/150 |
|
|
|
[考研] 070303 總分349求調(diào)劑 +3 | LJY9966 2026-03-15 | 5/250 |
|
|
|
[考研] 311求調(diào)劑 +3 | 冬十三 2026-03-13 | 3/150 |
|