| 查看: 343 | 回复: 1 | |||||||||
| 本帖产生 1 个 基金HEPI ，点击这里进行查看 | |||||||||
[交流]
【摘要编号】60673118
|
|||||||||
谢谢了。 |
回复此楼» 猜你喜欢
国自然面上和省基金B类撒花
已经有17人回复
-
有没有学校收留
已经有3人回复
-
312求调剂
已经有3人回复
-
华师大读博
已经有5人回复
-
又一批高校组建人工智能学院 师资行吗 不是骗人吗
已经有5人回复
-
急需审稿人！！！
已经有3人回复
-
申博/考博
已经有8人回复
-
295分求调剂
已经有6人回复
-
085600材料与化工调剂
已经有6人回复
-
有没有接收比较快的sci期刊呀，最好在一个月之内的，研三孩子求毕业
已经有7人回复
» 抢金币啦！回帖就可以得到:
-
寻找真诚的女朋友，坐标北京
+1/264
-
欢迎硕博咨询
+1/196
-
深圳湾实验室招聘电镜运维工程师
+1/89
-
QS世界排名221位实际就读在厦门华大的朱拉隆功大学全日制硕博开启第二批招生了
+1/88
-
中山大学牛利课题组招收光/电催化方向博士后
+1/82
-
湖南大学材料学院电镜中心招收2026年博士生
+1/80
-
深圳89在编高中男老师，诚征女友（代友发）
+1/69
-
南京航空航天大学 太阳能蒸发方向招收博士/科研助理
+1/35
-
重庆大学电气学院刘坤教授招收2026年入学博士生（农学或图像处理相关专业背景）
+1/29
-
爱尔兰 - 可持续金融+航空方向 全奖博士 (2个名额)
+1/20
-
南开大学齐迹课题组招收有机分子合成、免疫学、分子生物学相关方向的博士研究生
+1/14
-
南开大学齐迹课题组招收有机分子合成、免疫学、分子生物学相关方向的博士研究生
+1/13
-
河南省医科院王宁利院士团队招博士博后硕士
+1/11
-
2026级博士研究生-大连工业大学孙润仓教授、马纪亮教授（国家杰青、长江学者）团队
+1/10
-
全合成博士想找香港药学相关博后
+1/6
-
非全博士求助
+1/6
-
遵义医科大学复试调剂公告
+1/6
-
明年35岁了，还能找到教职吗
+1/5
-
APS回稿时找不到投递链接是什么情况？
+1/5
-
为什么很多发了优秀论文的博士却不再走科研之路？
+1/1
book2005593
主管区长 (文坛精英)
- 基金HEPI: 1182
- 应助: 123 (高中生)
- 贵宾: 64.97
- 金币: 161270
- 帖子: 17949
- 在线: 1647.8小时
- 虫号: 539655
stonnie(金币+4, 基金HEPI+1): 谢谢 2011-01-23 23:07:04
|
项目编号 60673118 项目名称 安全关键软件的故障诊断、隔离与恢复技术研究 项目类型 面上项目 申报学科1 软件理论与软件方法学(F020201) 研究性质 应用基础研究 资助金额 27.00万元 开始日期 2007年1月1日 完成日期 2009年12月31日 项目摘要 由于安全关键软件自身及其环境的复杂性，软件故障难以完全避免。这使得软件故障诊断、隔离与恢复成为确保已部署和运行的软件全面、连续地支持系统任务，以及在发生故障情况下尽可能减免严重后果的重要途径。本项目将以航天、武器控制等领域的典型安全关键软件案例为背景，结合近年来软件形式模型与设计验证理论、程序静态与动态分析技术等方向的最新进展，研究自动高效的软件故障诊断、隔离和恢复理论框架及关键技术。具体研究内容包括：安全关键软件的故障机理以及支持故障诊断的软件形式模型和设计方法；构件级诊断与程序级诊断相结合的软件故障诊断技术，以支持对故障原因和缺陷代码的准确、快速定位；基于代码隔离、控制隔离和软硬件隔离等不同方式的软件故障隔离技术，以保证软件在完成修正和重新部署前能持续支持主要任务的执行；安全关键软件的运行时恢复技术；具有较高自动化程度、与主流软件工程环境相结合的软件故障诊断、隔离与恢复支持环境。 获资助单位 中国人民解放军国防科学技术大学(项目负责人) |
2楼2011-01-23 07:42:29
