| 查看: 405 | 回复: 1 | |||||||||
| 本帖产生 1 个 基金HEPI ，点击这里进行查看 | |||||||||
[交流]
【摘要编号】61073013
|
|||||||||
谢谢了。 |
回复此楼» 猜你喜欢
评委有多少概率知道其他专家手中有哪些人的本子？
已经有4人回复
-
E0414, 我的本子有没有希望？
已经有17人回复
-
青A35岁以下通知答辩了吗
已经有4人回复
-
小城的小雨
已经有3人回复
-
看《给阿ma的情书》有感
已经有5人回复
-
国自然申请五篇代表作大比拼，感觉这个是最重要的
已经有4人回复
-
雷雨
已经有3人回复
» 抢金币啦！回帖就可以得到:
-
代友征（上海）-江浙沪独女生，等一个年下的他
+3/453
-
⚽️赛场争冠，科研进阶 | 原位光谱，适配钙钛矿 、OPV等全流程表征
+1/83
-
温州医科大学李校堃院士团队宋林涛/黄志锋课题组诚聘博士后
+1/76
-
坐标北京，诚征男友，找到会删帖。试试运气！说不定就有了！
+1/59
-
国家青年基金祈福
+1/47
-
东南大学有机多孔功能材料团队（国家杰青团队）招收2027级推夏令营免硕士/直博生
+1/29
-
东南大学有机多孔功能材料团队（国家杰青团队） 2027级博士研究生招生
+1/28
-
西交利物浦大学招收27年1月入学奖学金博士生1名【人机协作交互与数字孪生】
+1/27
-
澳大利亚西澳大学招收交通工程/智能交通方向博士生
+1/14
-
四川大学周加境课题组招聘博士后/博士/研究助理（生物质与藻类资源利用/自组装材料）
+1/8
-
从分子模拟到科学大模型：加入深圳理工大学新一代AI4Science团队
+1/8
-
广工-董华锋教授团队招收博士生（1学博-0-1专博）
+1/8
-
厦门大学航空航天学院智能制造课题组招2026年硕士、博士生若干名
+1/8
-
墨尔本大学(26年QS19)招全奖博士/CSC博士(补齐全奖)等-材料/生物电子/器官芯片等
+1/7
-
密苏里大学生物材料合成生物学博士后招聘
+1/5
-
哈工大马樱教授招收2027级计算机类、集成电路类博士生
+1/4
-
美国普渡大学(Purdue University)生物化学系招聘博士后
+1/4
-
天津大学高分子方向博士招生
+1/3
-
蛋白质互作研究新突破：PLA 技术如何实现从可视化到精准解析的跨越
+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