| 查看: 326 | 回复: 1 | |||||||||
| 本帖产生 1 个 基金HEPI ，点击这里进行查看 | |||||||||
[交流]
【摘要编号】60673118
|
|||||||||
谢谢了。 |
回复此楼» 猜你喜欢
退学或坚持读
已经有25人回复
-
遇见不省心的家人很难过
已经有13人回复
-
博士延得我，科研能力直往上蹿
已经有4人回复
-
免疫学博士有名额，速联系
已经有14人回复
-
面上基金申报没有其他的参与者成吗
已经有4人回复
-
多组分精馏求助
已经有6人回复
» 抢金币啦！回帖就可以得到:
-
南方医科大学中药学院 申请考核博士一名 （天然药化方向，天然产物分离经验优先）
+1/272
-
天津科技大学邓启良教授团队 招收2026年博士生
+1/80
-
诚聘 有机光电材料计算方向 博士后、科研助理、访问学生
+1/75
-
非粮生物质能技术全国重点实验室合成生物学创新团队全球招聘博士/博士后
+1/74
-
深圳大学柔性电子材料方向“申请-考核制”博士生招生
+2/72
-
电力全国重点实验室双一流A类长江学者团队招2026年全日制博士1-2名/博士后
+2/68
-
结构动力学与结构健康监测方向欧盟玛丽居里全奖博士招聘
+1/66
-
娃娃们今儿考试喽。。。。
+1/62
-
西安交通大学前沿院/机械学院招收2026级硕博研究生！
+1/43
-
教育部重点实验室和清华大学某国家重点实验室，联合培养硕生、博生，并长期招博士后
+1/27
-
四川大学华西医院沈百荣教授课题组科研助理招聘启事
+1/9
-
2026年天津大学杰青团队招收化学合成、计算机和器件的方面博士
+1/8
-
中山大学柔性电子学院黄维院士团队诚招柔性可穿戴电子方向博士生（2026年9月入学）
+1/7
-
招聘农用化学产品销售一名，须具备良好的英语口语，以便拓展海外市场。
+1/7
-
电子科技大学，电子科学与工程学院，杨青慧教授，2026年博士研究生招生
+1/4
-
电子科技大学 电子科学与工程学院 杨青慧教授 2026年招博士研究生数名
+1/4
-
华南理工大学宋波教授联合唐本忠院士招聘化学和材料方向博士后（长期有效）
+1/3
-
英国兰卡斯特大学（Lancaster University）大模型、计算机视觉PhD招生
+1/3
-
苏州大学医学院纳米生物医学方向招收申请考核制博士生1名
+1/1
-
澳科大诚招2026年秋季全奖博士研究生（药剂学/生物材料方向）
+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