| 查看: 385 | 回复: 1 | |||||||||
| 本帖产生 1 个 基金HEPI ，点击这里进行查看 | |||||||||
[交流]
【摘要编号】61073013
|
|||||||||
谢谢了。 |
回复此楼» 猜你喜欢
281求调剂（0805）
已经有8人回复
-
环境领域全国重点实验室招收博士1-2名
已经有3人回复
-
材料专硕306英一数二
已经有10人回复
-
301求调剂
已经有6人回复
-
一志愿天津大学化学工艺专业（081702）315分求调剂
已经有7人回复
-
302求调剂
已经有6人回复
-
26博士申请
已经有3人回复
-
268求调剂
已经有3人回复
-
311求调剂
已经有10人回复
-
被我言中：新模板不强调格式了，假专家开始管格式了
已经有4人回复
» 抢金币啦！回帖就可以得到:
-
绍兴大学博士教师招聘1位（化学化工相关）
+5/385
-
天津理工大学国家杰青王铁课题组招收2026年博士研究生
+1/89
-
重庆医科大学神经科学中心/病生与生理系诚邀海内外优秀博士加盟博士后队伍（长期）
+1/81
-
上海交大化院功能大分子团队招2026年硕士、联培、博士后
+1/38
-
南京理工大学优青团队招聘副教授、博士后、博士、硕士生（化学、催化方向）
+1/37
-
湘潭大学“过程强化与绿色化工”创新团队补招2026年秋入学博士生
+1/35
-
纺织科学与工程、材料化工方向招收研究生
+1/28
-
【武汉高校】【新能源材料与器件课题组】 招收优秀硕士调剂生！！！
+5/20
-
医学327分专硕调剂
+1/16
-
【预硕】【预博】青岛大学生物医药创新转化
+1/16
-
山东省植物基蛋白技术创新中心课题组联合培养硕士研究生招募启事
+1/12
-
2026年西南科技大学功能涂层课题组简介
+1/12
-
【博士招生】武汉科技大学招收材料、化工、环境、冶金类2026年“申请-考核”制博士生
+1/8
-
中国民航飞行学院先进连接团队招收航空宇航、航空机械专业硕士研究生（学硕专硕均可）
+1/7
-
211/双一流石河子大学化学化工学院--电催化，CO2转化
+1/7
-
国家杰青低维材料与器件力学团队2026年招收博士研究生
+1/6
-
发paper
+1/5
-
南方科技大学生命科学学院基础免疫与微生物学系招收博士后
+1/4
-
课题组招收环境及相关专业调剂硕士研究生（欢迎优秀学生加入）
+1/2
-
Top-88悉尼科技大学数据科学/AI 招收2027年入学 校奖 博士生1到2名(国际和本地学生）
+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
