| 查看: 395 | 回复: 1 | |||||||||
| 本帖产生 1 个 基金HEPI ，点击这里进行查看 | |||||||||
| 当前只显示满足指定条件的回帖，点击这里查看本话题的所有回帖 | |||||||||
[交流]
【摘要编号】61073013
|
|||||||||
谢谢了。 |
回复此楼» 猜你喜欢
307中医考研调剂
已经有9人回复
-
327求调剂
已经有30人回复
-
294求调剂
已经有15人回复
-
求调剂
已经有4人回复
-
0854求调剂
已经有27人回复
-
材料相关专业344求调剂双非工科学校或课题组
已经有27人回复
-
300求调剂
已经有12人回复
-
291求调剂
已经有10人回复
-
一志愿沪9，326求生物学调剂
已经有12人回复
-
生物学调剂
已经有10人回复
» 抢金币啦！回帖就可以得到:
-
散金祈福
+1/473
-
坐标山东，诚征女友
+1/347
-
【坐标大连】92年本科男生，寻觅姻缘女生
+5/336
-
郑州大学物理学院倪佩楠教授课题组诚邀博士后、青年教师及副教授加盟
+1/33
-
北京航空航天大学-仿生界面材料科学全国重点实验室 康建新 教授招收博士一名
+2/30
-
中科院2区Top期刊IJBM（IF=8.5）征稿-截止到4月底
+2/24
-
粤港澳大湾区量子中心与南方科技大学联合招收2026级博士生（材料、凝聚态物理方向）
+1/16
-
上海交通大学材料成形（塑性加工）常年招聘硕士研究生、博士研究生和博士后
+1/10
-
河南省医学科学院王宁利院士/苗彦彦研究员科研团队、伏羲慧眼云平台团队2026年博士、�
+1/9
-
省重点实验室招收07专业调剂生，海洋生物专业名额充足
+1/7
-
赵松方教授联合山大于伟泳杰青、延世大Jong-Hyun Ahn院士招博士后 、博士研究生
+1/7
-
南京林业大学-国家级青年人才团队 诚聘青年教授、博士后等青年才俊
+1/7
-
广东石油化工学院刘诗咏教授团队化学化工、材料科学等方向尚有调剂名额
+1/7
-
省重点实验室招收调剂生，海洋生物专业，名额充足，可快速安排复试并出结果
+1/7
-
香港科技大学用于先进LCD器件的偏振发射钙钛矿纳米棒增强薄膜
+2/6
-
广东省环境科学研究院招聘【新污染物】研究方向【博士】一名
+1/5
-
中国科学院青海盐湖研究所（界面物理化学、流体力学方向 )科研岗招聘
+1/5
-
抗病毒性传染病创新药物全国重点实验室—生物与医药还有3个指标，可跨专业调剂
+1/3
-
文献求助
+1/3
-
中科院地理所招收地理学土地资源学 客座生
+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
