 |
 |
 |
 |
 |
 |
||
 |
 |
 |
 |
 |
| 2 | 1/1 | 返回列表 |
| 查看: 363 | 回復(fù): 1 | |||
coid銀蟲 (初入文壇)
|
[交流]
【求助】碩士：可信軟件 已有1人參與
|
|
各位前輩，關(guān)于可信軟件我有如下問題要請(qǐng)教： （1）可信軟件國內(nèi)研究如何？ （2）可信軟件研究是否只在邏輯推理、驗(yàn)證的理論研究； （3）對(duì)于碩士研究生研究的意義在哪里？ |
回復(fù)此樓» 猜你喜歡
一志愿上海交大生物與醫(yī)藥專碩324分，求調(diào)劑
已經(jīng)有4人回復(fù)
-
一志愿重慶大學(xué)085700資源與環(huán)境，總分308求調(diào)劑
已經(jīng)有4人回復(fù)
-
0854電子信息求調(diào)劑 324
已經(jīng)有3人回復(fù)
-
303求調(diào)劑
已經(jīng)有3人回復(fù)
-
336求調(diào)劑
已經(jīng)有3人回復(fù)
-
306求調(diào)劑
已經(jīng)有9人回復(fù)
-
工科0856求調(diào)劑
已經(jīng)有4人回復(fù)
-
工科材料085601 279求調(diào)劑
已經(jīng)有10人回復(fù)
-
081700 調(diào)劑 267分
已經(jīng)有4人回復(fù)
-
276求調(diào)劑。有半年電池和半年高分子實(shí)習(xí)經(jīng)歷
已經(jīng)有9人回復(fù)
» 本主題相關(guān)價(jià)值貼推薦，對(duì)您同樣有幫助:
- 【交流】【有獎(jiǎng)參與】來分析版的蟲友，請(qǐng)大家介紹一下自己的研究方向^_^
已經(jīng)有61人回復(fù)
帝國學(xué)者
木蟲 (著名寫手)
- 應(yīng)助: 0 (幼兒園)
- 金幣: 2439.1
- 散金: 290
- 帖子: 1281
- 在線: 261.4小時(shí)
- 蟲號(hào): 465155
- 注冊(cè): 2007-11-22
- 性別: GG
- 專業(yè): 計(jì)算機(jī)軟件
★
小木蟲(金幣+0.5):給個(gè)紅包，謝謝回帖交流
小木蟲(金幣+0.5):給個(gè)紅包，謝謝回帖交流
|
（1）國家自然科學(xué)基金、863、973投入巨大，研究成果已經(jīng)有不少，但依然存在許多難題未解決（具體參見可信軟件基礎(chǔ)研究重大研究計(jì)劃近兩年的申請(qǐng)指南），且成果間集成性有待驗(yàn)證；可信軟件本身的理論發(fā)展不足，多是老酒裝新瓶。 （2）可信性測(cè)試、可信性需求分析、可信性度量與評(píng)估等，可信軟件基礎(chǔ)理論與方法還有很多。邏輯推理和形式化驗(yàn)證成為熱點(diǎn)，主要是因?yàn)閲鴥?nèi)掌控可信軟件研究方向的幾個(gè)院士，多是做此方向出身。 （3）對(duì)于碩士生，建議結(jié)合橫向課題開展研究，或者結(jié)合理論研究的成果開發(fā)一些工具。如果僅僅做理論研究或一些簡(jiǎn)單的仿真驗(yàn)證對(duì)以后就業(yè)沒太大幫助 |
2樓2010-12-22 13:41:13
相關(guān)版塊跳轉(zhuǎn)
我要訂閱樓主 coid 的主題更新
| 2 | 1/1 | 返回列表 |
| 最具人氣熱帖推薦 [查看全部] | 作者 | 回/看 | 最后發(fā)表 | |
|---|---|---|---|---|
|
[考研] 一志愿重慶大學(xué)085700資源與環(huán)境，總分308求調(diào)劑 +4 | 墨墨漠 2026-03-23 | 4/200 |
|
|---|---|---|---|---|
|
[考研] 工科材料085601 279求調(diào)劑 +8 | 困于星晨 2026-03-17 | 10/500 |
|
|
|
[考研]
求調(diào)劑材料學(xué)碩080500，總分289分
 5+3
|
@taotao 2026-03-19 | 21/1050 |
|
|
|
[考研] 307求調(diào)劑 +11 | 冷笙123 2026-03-17 | 11/550 |
|
|
|
[考研] 一志愿中南化學(xué)（0703）總分337求調(diào)劑 +9 | niko- 2026-03-19 | 10/500 |
|
|
|
[考研] 298求調(diào)劑一志愿211 +3 | 上岸6666@ 2026-03-20 | 3/150 |
|
|
|
[考研] 材料求調(diào)劑 +5 | @taotao 2026-03-21 | 5/250 |
|
|
|
[考研] 297求調(diào)劑 +3 | 喜歡還是不甘心 2026-03-20 | 3/150 |
|
|
|
[考研] 求調(diào)劑 +3 | 13341 2026-03-20 | 3/150 |
|
|
|
[考研] 求調(diào)劑 +3 | 白QF 2026-03-21 | 3/150 |
|
|
|
[考研] 一志愿中國石油大學(xué)（華東） 本科齊魯工業(yè)大學(xué) +3 | 石能偉 2026-03-17 | 3/150 |
|
|
|
[考研] 330求調(diào)劑 +4 | 小材化本科 2026-03-18 | 4/200 |
|
|
|
[考研] 353求調(diào)劑 +3 | 拉鉤不許變 2026-03-20 | 3/150 |
|
|
|
[考研] 0856調(diào)劑，是學(xué)校就去 +8 | sllhht 2026-03-19 | 9/450 |
|
|
|
[考博] 申博26年 +3 | 八6八68 2026-03-19 | 3/150 |
|
|
|
[考研] 材料與化工求調(diào)劑 +7 | 為學(xué)666 2026-03-16 | 7/350 |
|
|
|
[考研] 材料，紡織，生物（0856、0710），化學(xué)招生啦 +3 | Eember. 2026-03-17 | 9/450 |
|
|
|
[碩博家園] 湖北工業(yè)大學(xué) 生命科學(xué)與健康學(xué)院-課題組招收2026級(jí)食品/生物方向碩士 +3 | 1喜春8 2026-03-17 | 5/250 |
|
|
|
[考研] 一志愿南京大學(xué)，080500材料科學(xué)與工程，調(diào)劑 +4 | Jy? 2026-03-16 | 4/200 |
|
|
|
[論文投稿] 有沒有大佬發(fā)小論文能帶我個(gè)二作 +3 | 增銳漏人 2026-03-17 | 4/200 |
|