| 查看: 388 | 回复: 1 | |||||||||
| 本帖产生 1 个 基金HEPI ，点击这里进行查看 | |||||||||
[交流]
【摘要编号】61073013
|
|||||||||
谢谢了。 |
回复此楼» 猜你喜欢
电子信息270求调剂
已经有3人回复
-
071000生物学，一志愿深圳大学296分，求调剂
已经有11人回复
-
328求调剂
已经有6人回复
-
一志愿西电085401求调剂
已经有3人回复
-
284求调剂
已经有12人回复
-
材料与化工专硕306分找合适调剂
已经有14人回复
-
0854电子信息319求调剂（接受跨专业调剂）
已经有4人回复
-
283分求调剂
已经有12人回复
-
307分材料专业求调剂
已经有8人回复
-
生物工程求调剂
已经有11人回复
» 抢金币啦！回帖就可以得到:
-
哈尔滨工程大学（青岛）动力工程及工程热物理专业招聘博士1名
+1/486
-
长江大学化工学院2026年硕士研究生调剂公告（理、工均收）
+1/91
-
青岛农业大学海洋学院招调剂硕士研究生
+1/51
-
需要调剂化学专业的看过来
+1/40
-
江苏大学能源化工方向招收硕士
+1/17
-
招生物学0710方向硕士调剂
+2/14
-
350求调剂
+1/13
-
长江师范学院化学化工学院化学工程方向接收大量调剂考生
+1/11
-
橡胶草种子求助
+1/10
-
中科院东莞材料所二维材料与智能器件方向招聘
+1/8
-
河南理工大学硕士调剂
+1/7
-
吉林工程技术师范学院 交叉学科研究院（08/07） 招收调剂
+1/7
-
齐齐哈尔大学李莉课题组诚招2026级考研调剂生（学硕和专硕）
+1/6
-
哈尔滨医科大学李老师课题组招收生物信息学方向博士、硕士研究生
+1/6
-
辽宁地区高校招生
+1/5
-
【#上海调剂急录#】能接受985联合培养的速来！带你发一区文章！
+1/5
-
招收材料 化工 环境 物理调剂
+1/4
-
武汉纺织大学全国重点实验室吕永钢教授课题组招收材料、化学、生物相关专业硕士研究生
+1/4
-
齐齐哈尔大学李莉课题组诚招2026级考研调剂生（学硕和专硕）
+1/3
-
韩国汉阳大学首尔校区ADIP实验室诚招博士后
+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
