| 查看: 390 | 回复: 1 | |||||||||
| 本帖产生 1 个 基金HEPI ，点击这里进行查看 | |||||||||
[交流]
【摘要编号】61073013
|
|||||||||
谢谢了。 |
回复此楼» 猜你喜欢
一志愿211，化学学硕，310分，本科重点双非，求调剂
已经有15人回复
-
材料调剂
已经有12人回复
-
生物学308分求调剂（一志愿华东师大）
已经有15人回复
-
一志愿0703化学招61最终排名62化学求调剂
已经有7人回复
-
277、学硕，求调剂 数一104，
已经有10人回复
-
288环境专硕,求调材料方向
已经有37人回复
-
328求调剂
已经有12人回复
-
338求调剂
已经有6人回复
-
材料工程322
已经有13人回复
-
304求调剂（085602，过四级，一志愿985）
已经有25人回复
» 抢金币啦！回帖就可以得到:
-
长江大学化学与环境工程学院2026年硕士研究生调剂公告（理学、工学均可）
+5/790
-
天津大学智能人机交互团队招收机械非全硕士带薪培养
+1/486
-
长江大学化学与环境工程学院2026年硕士研究生调剂公告（理学、工学均可）
+1/92
-
河北大学 化学生物学调剂信息
+1/88
-
华侨大学 材料专业 接收考研调剂
+1/88
-
大连海事大学轮机工程学院尚有少量调剂名额，如有兴趣的同学可以联系。
+2/42
-
喀什大学环境生态修复功能材料与技术团队接收2026年调剂研究生
+1/36
-
齐鲁工业大学环境科学与工程学部冯庆课题组招收调剂研究生
+1/25
-
抗病毒性传染病创新药物全国重点实验室—接收化学、生物、药学、生物与医药调剂考生
+1/23
-
重庆科技大学新能源与电子信息材料团队招收化学、物理、材料类调剂生
+1/13
-
河北大学招收生物与医药专业调剂考生
+1/9
-
★上海★上海工程技术大学·环境与资源创新中心（ICER）接收化工材料环境等学科调剂生
+1/8
-
福建理工大学招收专业代码08开头学术型硕士研究生
+1/5
-
2026年西华大学材料学院-材料近净成形与表面技术研究团队-招收调剂研究生
+1/5
-
杭州师范大学-浙江省湿地智慧监测与生态修复重点实验室团队硕士调剂公告
+1/4
-
海水鱼类遗传育种课题组招收硕士调剂生
+1/4
-
生物医学工程-生物医学信号处理方向博导求推荐
+1/3
-
河北农业大学动物科技学院动物营养与饲料科学和畜牧专业课题组有名额
+1/3
-
易度MFC精准控制燃气流量，提升燃烧系统效率与稳定性
+1/3
-
南阳师范学院生命科学学院2026年硕士研究生调剂最新简明信息
+1/2
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
