 |
 |
 |
 |
 |
 |
||
 |
 |
 |
 |
 |
| 2 | 1/1 | 返回列表 |
| 查看: 365 | 回復(fù): 1 | |||
coid銀蟲 (初入文壇)
|
[交流]
【求助】碩士：可信軟件 已有1人參與
|
|
各位前輩，關(guān)于可信軟件我有如下問題要請教： （1）可信軟件國內(nèi)研究如何？ （2）可信軟件研究是否只在邏輯推理、驗(yàn)證的理論研究； （3）對于碩士研究生研究的意義在哪里？ |
回復(fù)此樓» 猜你喜歡
279分求調(diào)劑 一志愿211
已經(jīng)有16人回復(fù)
-
求調(diào)劑一志愿武漢理工大學(xué)材料工程（085601）
已經(jīng)有5人回復(fù)
-
上海電力大學(xué)材料防護(hù)與新材料重點(diǎn)實(shí)驗(yàn)室招收調(diào)劑研究生（材料、化學(xué)、電化學(xué)，環(huán)境）
已經(jīng)有3人回復(fù)
-
急發(fā)核心期刊論文
已經(jīng)有5人回復(fù)
-
291 求調(diào)劑
已經(jīng)有5人回復(fù)
-
298-一志愿中國農(nóng)業(yè)大學(xué)-求調(diào)劑
已經(jīng)有11人回復(fù)
-
一志愿南京理工大學(xué)085701資源與環(huán)境302分求調(diào)劑
已經(jīng)有7人回復(fù)
-
316求調(diào)劑
已經(jīng)有7人回復(fù)
-
材料與化工考研調(diào)劑
已經(jīng)有4人回復(fù)
-
一志愿重慶大學(xué)085700資源與環(huán)境，總分308求調(diào)劑
已經(jīng)有7人回復(fù)
» 本主題相關(guān)價值貼推薦，對您同樣有幫助:
- 【交流】【有獎參與】來分析版的蟲友，請大家介紹一下自己的研究方向^_^
已經(jīng)有61人回復(fù)
帝國學(xué)者
木蟲 (著名寫手)
- 應(yīng)助: 0 (幼兒園)
- 金幣: 2439.1
- 散金: 290
- 帖子: 1281
- 在線: 261.4小時
- 蟲號: 465155
- 注冊: 2007-11-22
- 性別: GG
- 專業(yè): 計(jì)算機(jī)軟件
★
小木蟲(金幣+0.5):給個紅包，謝謝回帖交流
小木蟲(金幣+0.5):給個紅包，謝謝回帖交流
|
（1）國家自然科學(xué)基金、863、973投入巨大，研究成果已經(jīng)有不少，但依然存在許多難題未解決（具體參見可信軟件基礎(chǔ)研究重大研究計(jì)劃近兩年的申請指南），且成果間集成性有待驗(yàn)證；可信軟件本身的理論發(fā)展不足，多是老酒裝新瓶。 （2）可信性測試、可信性需求分析、可信性度量與評估等，可信軟件基礎(chǔ)理論與方法還有很多。邏輯推理和形式化驗(yàn)證成為熱點(diǎn)，主要是因?yàn)閲鴥?nèi)掌控可信軟件研究方向的幾個院士，多是做此方向出身。 （3）對于碩士生，建議結(jié)合橫向課題開展研究，或者結(jié)合理論研究的成果開發(fā)一些工具。如果僅僅做理論研究或一些簡單的仿真驗(yàn)證對以后就業(yè)沒太大幫助 |
2樓2010-12-22 13:41:13
相關(guān)版塊跳轉(zhuǎn)
我要訂閱樓主 coid 的主題更新
| 2 | 1/1 | 返回列表 |
| 最具人氣熱帖推薦 [查看全部] | 作者 | 回/看 | 最后發(fā)表 | |
|---|---|---|---|---|
|
[考研]
 0854 考研調(diào)劑 招生了！AI 方向
+3
|
pk3725069 2026-03-19 | 14/700 |
|
|---|---|---|---|---|
|
[考研] 336求調(diào)劑 +3 | 收到VS 2026-03-20 | 3/150 |
|
|
|
[考研]
求調(diào)劑材料學(xué)碩080500，總分289分
 5+3
|
@taotao 2026-03-19 | 21/1050 |
|
|
|
[考研] 08工科 320總分 求調(diào)劑 +11 | 梨花珞晚風(fēng) 2026-03-17 | 11/550 |
|
|
|
[考研] 311求調(diào)劑 +3 | 26研0 2026-03-20 | 3/150 |
|
|
|
[考研] 求調(diào)劑 +5 | Zhangbod 2026-03-21 | 7/350 |
|
|
|
[考研] 資源與環(huán)境 調(diào)劑申請(333分) +5 | holy J 2026-03-21 | 5/250 |
|
|
|
[考研] 廣西大學(xué)材料導(dǎo)師推薦 +3 | 夏夏夏小正 2026-03-17 | 5/250 |
|
|
|
[考研] 0805 316求調(diào)劑 +3 | 大雪深藏 2026-03-18 | 3/150 |
|
|
|
[考研] 297求調(diào)劑 +11 | 戲精丹丹丹 2026-03-17 | 12/600 |
|
|
|
[考研] 求調(diào)劑 +3 | 白QF 2026-03-21 | 3/150 |
|
|
|
[考研] 一志愿重慶大學(xué)085700資源與環(huán)境專碩，總分308求調(diào)劑 +3 | 墨墨漠 2026-03-18 | 3/150 |
|
|
|
[考研] 材料專碩英一數(shù)二306 +7 | z1z2z3879 2026-03-18 | 7/350 |
|
|
|
[考研] 294求調(diào)劑材料與化工專碩 +15 | 陌の森林 2026-03-18 | 15/750 |
|
|
|
[考研] 一志愿武漢理工材料工程專碩調(diào)劑 +9 | Doleres 2026-03-19 | 9/450 |
|
|
|
[考研] 求調(diào)劑 +3 | @taotao 2026-03-20 | 3/150 |
|
|
|
[考研] 一志愿南理工085701環(huán)境302求調(diào)劑院校 +3 | 葵梓衛(wèi)隊(duì) 2026-03-20 | 3/150 |
|
|
|
[考博] 申博26年 +3 | 八6八68 2026-03-19 | 3/150 |
|
|
|
[考研] 考研求調(diào)劑 +3 | 橘頌. 2026-03-17 | 4/200 |
|
|
|
[論文投稿] 有沒有大佬發(fā)小論文能帶我個二作 +3 | 增銳漏人 2026-03-17 | 4/200 |
|