| 查看: 334 | 回复: 1 | |||||||||
| 本帖产生 1 个 基金HEPI ，点击这里进行查看 | |||||||||
[交流]
【摘要编号】60673118
|
|||||||||
谢谢了。 |
回复此楼» 猜你喜欢
面上可以超过30页吧？
已经有9人回复
-
体制内长辈说体制内绝大部分一辈子在底层，如同你们一样大部分普通教师忙且收入低
已经有18人回复
-
网上报道青年教师午睡中猝死、熬夜猝死的越来越多，主要哪些原因引起的？
已经有5人回复
-
版面费该交吗
已经有13人回复
-
为什么中国大学工科教授们水了那么多所谓的顶会顶刊，但还是做不出宇树机器人？
已经有10人回复
-
什么是人一生最重要的？
已经有4人回复
» 抢金币啦！回帖就可以得到:
-
长春工业大学课题组招收硕士调剂生（化工、化学、材料、环境、制药、生物等方向）
+1/586
-
单曲循环久了很多都会变
+1/405
-
【最后机会】深圳大学2026级土木工程博士急招
+5/220
-
侯旭课题组(化学、化工、环境、能源相关方向)欢迎你的加入
+1/199
-
江西景德镇某大学接受调剂：环境科学与工程专业
+1/187
-
【全奖博士招生】美国科罗拉多大学科罗拉多斯普林斯分校----固体与结构力学
+1/99
-
太原科技大学材料科学与工程学院招收金属材料类博士一名
+1/89
-
南通大学生物医药方向国家级人才团队招聘教师
+3/83
-
广工-董华锋教授团队招收博士生（1学博-0-1专博）
+1/76
-
博洛尼亚大学能源材料课题组2个博后位置招聘（PNRR & MSCA）
+1/69
-
招聘启事（酶工程与发酵工程方向）
+2/44
-
澳门理工大学人工智能智慧康养方向26 年9月入学博士招生有奖学金
+1/35
-
南通大学生物医药方向国家级人才团队招收“申请-考核”制博士研究生20260222
+2/34
-
同济大学 环境科学与工程学院 国家级青年人才团队 诚聘脱产博士后
+1/30
-
211大学【2026学博】补招
+1/28
-
【全奖博士招生】美国科罗拉多大学科罗拉多斯普林斯分校----固体与结构力学
+1/10
-
香港城市大学招聘博士后 (有机合成/催化/流动化学)
+1/5
-
青岛科技大学 高分子学院 导师招生
+1/4
-
新加坡南洋理工大学- 光电/ 智能传感/ 脑机接口方向 博士后
+1/3
-
南昌大学资源与环境学院刘进教授团队招收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