| 查看: 367 | 回复: 1 | |||||||||
| 本帖产生 1 个 基金HEPI ，点击这里进行查看 | |||||||||
[交流]
【摘要编号】61073013
|
|||||||||
谢谢了。 |
回复此楼» 猜你喜欢
遇见不省心的家人很难过
已经有16人回复
-
退学或坚持读
已经有25人回复
-
博士延得我，科研能力直往上蹿
已经有4人回复
-
免疫学博士有名额，速联系
已经有14人回复
-
面上基金申报没有其他的参与者成吗
已经有4人回复
-
多组分精馏求助
已经有6人回复
» 抢金币啦！回帖就可以得到:
-
香港岭南大学郭瑛课题组博士招生 (2026年秋季入学）
+1/185
-
南方科技大学周友运课题组诚聘博士后、科研助理
+1/172
-
诚招化工、有机、高分子等领域博士后及科研助理
+2/138
-
丙烯液相
+1/76
-
诚聘 有机光电材料计算方向 博士后、科研助理、访问学生
+1/75
-
中国海洋大学与中国水产科学研究院 联合培养 专硕 食品加工与安全
+1/75
-
香港科技大学计算物理及流体力学课题组招收全奖博士后及博士生（2026年9月入学）
+1/44
-
香港科技大学计算物理及流体力学课题组招收全奖博士后及博士生（2026年9月入学）
+1/41
-
科罗拉多大学 Congjun Yu 课题组招聘
+1/29
-
武汉工程大学绿碳技术与智能材料课题组诚招2026年博士研究生
+2/22
-
中科院深圳先进院-免疫治疗方向-招收1名博士生(26年9月入学)
+1/14
-
中科院深圳先进院-免疫治疗方向-招收1名博士生(26年9月入学)
+1/13
-
青岛大学招收少数民族【少干计划】生物与医药博士研究生
+1/9
-
太原理工大学集成电路学院院长团队招收2026年博士研究生
+1/7
-
上海理工大学顾敏院士、张轶楠教授团队 招聘 2026级 光学工程 博士生
+1/7
-
中山大学柔性电子学院黄维院士团队诚招博士后(柔性可穿戴电子或相关方向)
+1/4
-
华南理工大学宋波教授联合唐本忠院士招聘化学和材料方向博士后（长期有效）
+1/3
-
华南理工大学宋波教授招聘材料和化学方向博士后（长期有效）
+1/2
-
澳科大诚招2026年秋季全奖博士研究生（药剂学/生物材料方向）
+1/1
-
上海交大材料学院招26年秋“申请-考核制”生物材料方向普博生1名 (截至4月10日)
+1/1
stonnie(金币+4, 基金HEPI+1): 谢谢 2011-01-20 13:38:56
|
项目编号 61073013 项目名称 面向航空关键系统的AADL转换语义及其特性保持证明研究 项目类型 面上项目 申报学科1 实时与嵌入式软件(F020207) 申报学科2 实时与嵌入式软件(F020208) 研究性质 应用基础研究 资助金额 30.00万元 开始日期 2011年1月1日 完成日期 2013年12月31日 项目摘要 航空航天等领域的嵌入式实时系统日趋复杂，由于分式结构以及模式变换、分区等机制的引入，给系统性质验证和分析带来了新的挑战。AADL是近年提出来的一种嵌入式实时系统体系结构分析与设计语言国际标准。当前，AADL模型验证、分析以及自动代码生成，主要是采用模型转换方式，而精确的转换语义及其特性保持是模型转换的基础。课题提出了一种基于时间抽象状态机(TASM)的AADL转换语义方法，形式化刻画AADL和时间抽象状态机的抽象语法、类型系统及操作语义，使转换语义更加精确、抽象；提出了一种基于定理证明器Coq的AADL特性保持证明方法，采用Coq对AADL转换语义进行重写，提供通用的AADL语义基础，并给出特性保持的证明；研究该转换语义模型的可调度、资源优化等关键性质验证和分析方法；最后，基于模型转换语言ATL实现AADL模型到TASM模型的自动转换，构建一体化的验证与分析框架。 获资助单位 北京航空航天大学(项目负责人) |
2楼2011-01-19 01:24:49