| 查看: 339 | 回复: 1 | |||||||||
| 本帖产生 1 个 基金HEPI ，点击这里进行查看 | |||||||||
[交流]
【摘要编号】60673118
|
|||||||||
谢谢了。 |
回复此楼» 猜你喜欢
081700，311，求调剂
已经有18人回复
-
081700学硕，323分，一志愿中国海洋大学求调剂学校
已经有17人回复
-
085600材料与化工301分求调剂院校
已经有21人回复
-
化工学硕 285求调剂
已经有5人回复
-
0703调剂
已经有18人回复
-
0702物理学学硕299求调剂
已经有3人回复
-
304求调剂（085602，过四级，一志愿985）
已经有19人回复
-
085600材料与化工专硕329 求调剂
已经有17人回复
-
求调剂
已经有10人回复
-
生物与医药273求调剂
已经有10人回复
» 抢金币啦！回帖就可以得到:
-
钠离子电池交流贴
+1/93
-
上海交通大学化学化工学院膜分离-纳流控课题组诚聘博士后2-3名
+1/90
-
安徽宿州学院085600材料与化工(专业学位)2026年研究生招生调剂信息
+1/88
-
济南大学前沿交叉科学研究院新能源材料与传感器件团队 2026研究生调剂招生
+1/87
-
欢迎调剂北京石油化工学院聚合物功能材料组
+1/83
-
坐标北京，诚征女友
+1/80
-
邵阳学院食品与化学工程学院 生物与医药专业接受调剂生
+2/46
-
西安工程大学材料学院杨杰课题组招收考研调剂生
+1/37
-
## 【广西科技大学】【极端工况装备安全与结构优化团队】接收调剂研究生通知
+2/16
-
香港科技大学 机器人/生物医学
+1/9
-
华北理工大学矿业工程-矿物加工工程方向接收调剂研究生
+1/9
-
一志愿前4位代码0703均可报名-河北大学分析化学专业招收调剂考生
+2/8
-
渤海大学储能材料课题组招收调剂研究生
+1/7
-
浙江衢州，化材调剂信息（欢迎0854电气、0855机械、0856及各位符合的同学咨询哦）
+1/7
-
河南理工大学化学化工学院招收材料、化工类专业调剂研究生
+1/6
-
水产方向招收调剂，090800和095134的可以看过来。
+1/6
-
杭州师范大学-浙江省湿地智慧监测与生态修复重点实验室团队硕士调剂公告
+1/5
-
英国拉夫堡大学博士招生 电池方向
+1/4
-
河北大学招收等离子体物理调剂生
+1/2
-
武汉纺织大学全国重点实验室吕永钢教授课题组招收材料、化学、生物相关专业硕士研究生
+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
