| 查看: 340 | 回复: 1 | |||||||||
| 本帖产生 1 个 基金HEPI ，点击这里进行查看 | |||||||||
[交流]
【摘要编号】60673118
|
|||||||||
谢谢了。 |
回复此楼» 猜你喜欢
材料工程085601，270求调剂
已经有24人回复
-
085404 293求调剂
已经有3人回复
-
调剂
已经有21人回复
-
复试调剂，一志愿郑州大学材料与化工289分
已经有15人回复
-
08工科求调剂290分
已经有12人回复
-
286求调剂
已经有16人回复
-
材料类284调剂
已经有24人回复
-
考研调剂-材料类-284
已经有14人回复
-
327求调剂
已经有11人回复
-
一志愿985初试354分生物调剂
已经有3人回复
» 抢金币啦！回帖就可以得到:
-
2026年“海洋生物”硕士研究生调剂需求信息—— 河北科技师范学院，海洋科学研究中心
+1/190
-
江西理工大学碳纳米材料与柔性能源器件团队招收2026年新能源方向调剂生
+1/88
-
太原科技大学硕士
+1/88
-
邀您投稿 Polymers 特刊-高分子材料加工主题
+1/87
-
大湾区大学李红庚与中国科学技术大学王柳教授联合招收博士后
+1/87
-
西安石油大学新能源学院接收材料类、能源动力类、机械类、计算机类等专业专硕调剂生！
+1/86
-
徐州医科大学 生物医学工程 学硕/专硕 接受-生物、医学、材料、化学相关专业-调剂申请
+2/48
-
汕头大研究生调剂招生
+1/31
-
【轻松准入】【生物医药】2026青岛大学招博士生
+1/18
-
北京理工大学（珠海）招收2026级考核制博士
+1/15
-
教育部长江学者和创新团队发展计划”入选团队招收 材料与化工硕士研究生（工科）
+1/9
-
Postdoc position in continuum mechanics of brain tissue at KTH in Stockholm
+1/9
-
杭州师范大学-浙江省湿地智慧监测与生态修复重点实验室团队硕士调剂公告
+1/5
-
济南大学2026年硕士研究生招生预调剂公告
+1/4
-
河南理工大学化学化工学院招收材料、化工类专业调剂研究生
+1/4
-
海南医科大学智能医学课题组招收生物信息学方向专业硕士研究生！
+1/3
-
哈尔滨医科大学李老师课题组招收生物信息学方向博士、硕士研究生
+1/2
-
丽水学院材能学院-先进能源存储与器件课题组-26届研究生招生-（新能源电池方向）
+1/2
-
差旅首选:第一次出差珠海开住宿餐饮发票实体店电子专用,保姆级教程请收好
+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
