- 双语例句 更多例句
1、
The models are represented using the notations known as the UML and AADL.
这些模型利用叫作UML和AADL的符号表示法构建。
互联网摘选
2、
3、
设计并实现了B方法的AADL模型生成工具，可以从需求自动化生成部分设计模型。
互联网摘选
4、
5、
每个子系统的建模都是根据铁路系统的具体需求，使用合理的AADL构件实现的。
互联网摘选
6、
研究B方法和AADL之间的关系，建立了B方法到AADL的映射规则。
互联网摘选
7、
8、
论文最后总结了UCaS工具的优点及局限性，对AADL模型验证工具的后继研究和发展进行了展望。
互联网摘选
9、
本论文在基于模型的开发方法研究基础上，采用AADL建模语言，结合系统级设计方法，设计了兼容OSEK/VDX的车用嵌入式实时系统模型，并提出了基于AADL的模型架构验证和行为验证方法。
互联网摘选
- 今日热词
- 热门搜索
- stop vi. 停止;中断;逗留;（使）停止工作;vt. 塞住;堵塞;阻挠;止付;
- growth n.发展，增加;成长;新生发的植株;肿瘤，赘生物;产物;
- wild adj.野生的;荒凉的;缺乏管教的;盲目的;高兴的;感情炽烈的;狂热的;愤怒的;双目圆睁的;未经思索的;暴风雨的;n.自然环境;野生状态;偏远地区;
- these adj. 这些的;pron. 这些;他们(用以说明或询问身份)
- her pron.(she的宾格)她;(she的所有格)她的;她，指某个国家，（一艘）船;
- final adj.最后的;末了的;不可更改的;n.决赛;大学毕业考试;期终考试;
- balance n.均衡，平衡（能力）;天平;余额;v.比较，权衡;保持平衡;结算;抵消;
- best wishes to you 向你致以美好的祝愿;
- Spanish adj.西班牙的;西班牙人的;西班牙语的;西班牙式的;n.西班牙语;西班牙人;〈美〉新墨西哥州的别名;[地名] [加拿大] 西班牙村;
- pace n.速度;节奏;步速;步幅;迅速出现;v.踱步;确定速度;调整节奏;步测;放稳步调;
- vote n.（选）票;投票（总数），表决，选举;投票/选举权;v.投票，表决，选举;公认;提议;
- LGBT abbr.女同性恋者，男同性恋者，双性恋者，跨性别者（Lesbian Gay Bisexual Transgender）;
