| 查看: 336 | 回复: 1 | |||||||||
| 本帖产生 1 个 基金HEPI ，点击这里进行查看 | |||||||||
[交流]
【摘要编号】60673118
|
|||||||||
谢谢了。 |
回复此楼» 猜你喜欢
281求调剂（0805）
已经有8人回复
-
环境领域全国重点实验室招收博士1-2名
已经有3人回复
-
材料专硕306英一数二
已经有10人回复
-
301求调剂
已经有6人回复
-
一志愿天津大学化学工艺专业（081702）315分求调剂
已经有7人回复
-
302求调剂
已经有6人回复
-
26博士申请
已经有3人回复
-
268求调剂
已经有3人回复
-
311求调剂
已经有10人回复
-
被我言中：新模板不强调格式了，假专家开始管格式了
已经有4人回复
» 抢金币啦！回帖就可以得到:
-
天津理工大学国家杰青王铁课题组招收2026年博士研究生
+1/89
-
物理学 调剂
+1/85
-
浙江农林大学招收调剂
+1/81
-
福建师范大学招收2026年化学、材料硕士3-4名
+1/78
-
坐标广州，男征女，双向奔赴
+1/67
-
光学工程学硕调剂信息
+2/52
-
湘潭大学“过程强化与绿色化工”创新团队补招2026年秋入学博士生
+1/35
-
纺织科学与工程、材料化工方向招收研究生
+1/28
-
新加坡国立大学药学系化学生物学课题组招PhD
+1/19
-
学术/专业硕士调剂——化学、资源与环境
+1/15
-
河南大学龚和贵教授2026年博士研究生招生
+1/13
-
招收化工与材料学科点研究生
+1/13
-
【全奖招生】北师港浸大ESLAS实验室招收密码工程/网络安全/计算机视觉博士/博士后
+1/10
-
26年申博自荐-计算机视觉
+1/7
-
课题组招收环境及相关专业调剂硕士研究生（欢迎优秀学生加入）
+1/6
-
Top-88悉尼科技大学数据科学/AI 招收2027年入学 校奖 博士生1到2名(国际和本地学生）
+1/4
-
博后即将出站，求稳定的教职
+1/3
-
连发两篇 Nature！大样本单细胞测序解析认知、衰老与灵长类进化
+1/2
-
招收理论凝聚态物理/纳米光学/量子计算方向博士、硕士研究生/博士后
+1/1
-
中国科学院地球化学研究所招科研助理
+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
