| 查看: 394 | 回复: 1 | |||||||||
| 本帖产生 1 个 基金HEPI ，点击这里进行查看 | |||||||||
| 当前只显示满足指定条件的回帖，点击这里查看本话题的所有回帖 | |||||||||
[交流]
【摘要编号】61073013
|
|||||||||
谢谢了。 |
回复此楼» 猜你喜欢
生物学调剂
已经有10人回复
-
求调剂
已经有3人回复
-
320求调剂
已经有5人回复
-
接受任何调剂
已经有7人回复
-
化学070300 求调剂
已经有29人回复
-
297，工科调剂?
已经有5人回复
-
22408 312求调剂
已经有26人回复
-
收到复试调剂但是去不了
已经有8人回复
-
260求调剂
已经有5人回复
-
急需调剂
已经有10人回复
» 抢金币啦！回帖就可以得到:
-
河南师范大学水产学院接收调剂
+1/979
-
坐标杭州，诚征女友
+1/249
-
凝胶成像，WB化学发光成像系统专业制造商-上海新叶分析仪器
+1/87
-
🌈东莞理工-张盼老师课题组 ——2026年硕士研究生招募公告
+1/84
-
新加坡国立大学化学系刘小钢教授课题组招收博士生3-4名
+1/77
-
工学门类（前两位代码08）满足国家考研A区工科门类分数线要求的同学看过来
+1/49
-
江西科技师范大学086生物与医药
+1/40
-
上海交通大学-化学化工学院 博士后招聘
+1/37
-
香港科技大学用于先进LCD器件的偏振发射钙钛矿纳米棒增强薄膜
+1/36
-
江西科技师范大学086生物与医药
+1/35
-
汕头大学理学院生物与医药专硕调剂信息
+1/35
-
爱情短剧
+1/24
-
招材料相关专业调剂生
+1/10
-
佛山大学动物科技学院2026年硕士研究生招生调剂公告（第三批）
+1/8
-
西安工业大学材料与化工专业先进电子材料与器件课题组专业博士招生
+1/8
-
省重点实验室招收调剂生，海洋生物专业，名额充足，可快速安排复试并出结果
+1/7
-
武汉纺织大学材料学院接受调剂（还有部分士兵计划名额）
+1/6
-
山东大学集成电路学院招博士了
+1/5
-
材料与化工专业还有大量指标，欢迎大家调剂，调剂系统已经开放
+1/4
-
山东科技大学×中国地质调查局成都地质调查中心招收2026级硕士联培生
+1/4
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
