| 查看: 389 | 回复: 1 | |||||||||
| 本帖产生 1 个 基金HEPI ，点击这里进行查看 | |||||||||
[交流]
【摘要编号】61073013
|
|||||||||
谢谢了。 |
回复此楼» 猜你喜欢
301求调剂
已经有18人回复
-
化工学硕 285求调剂
已经有19人回复
-
328求调剂
已经有8人回复
-
求调剂
已经有28人回复
-
304求调剂（085602，过四级，一志愿985）
已经有21人回复
-
288环境专硕,求调材料方向
已经有33人回复
-
285求调剂
已经有16人回复
-
273求调剂
已经有41人回复
-
331求调剂
已经有4人回复
-
298求调剂
已经有4人回复
» 抢金币啦！回帖就可以得到:
-
苏州科技大学化生学院蒋老师课题组招收研究生
+1/488
-
四川轻化工大学物理与电子工程学院 2026年硕士研究生调剂公告
+2/114
-
江西科技师范大学物理化学课题组招生，07,08都可，还有名额
+1/91
-
西安石油大学新能源学院接收材料类、能源动力类、机械类、计算机类等专业专硕调剂生！
+1/89
-
杭州师范大学张龙课题组招诚聘有机合成，光电催化，理论计算与人工智能化学方向博士后
+1/89
-
大连大学-六盘水师范学院联合培养研究生接收调剂
+2/46
-
上海应用技术大学招收化学、物理、材料类调剂生
+1/40
-
河南工业大学化学化工学院 2026 年硕士调剂正在进行！
+1/35
-
南京地区，有要戴森洗地机吗？仅限自取
+1/35
-
大连大学 化学专业 招收26年硕士研究生调剂
+1/11
-
教育部长江学者和创新团队发展计划”入选团队招收 材料与化工硕士研究生（工科）
+1/11
-
[杭州电子科技大学]材料学院电池课题组-2026年硕士研究生调剂信息
+1/8
-
22408 360 本科六篇论文 计算机/AI交叉 数模带队两省一 AI竞赛国一
+1/8
-
烟台大学精准材料高等研究院26年材料方向研究生招生
+1/6
-
现代材料与先进制造团队研究生招收公告
+1/5
-
河北大学招收调剂生
+1/5
-
长江师范学院化学化工学院化学工程方向接收大量调剂考生
+1/4
-
齐鲁工业大学 全国重点实验室-浙江大学衢州研究院联培-锂离子电池、材料化学方向5名
+1/4
-
哈尔滨工程大学动力学院赵建辉团队招收2026博士研究生
+1/2
-
北京高校副校长团队招收机械类，环境类学硕和专硕
+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
