- 重点词汇
- isvt.& vi. 是(be的三单形式);
- ratn.大老鼠;似鼠动物;<非正式>鼠辈,卑鄙小人;
- AADCabbr.Advanced Avionic Digital Computer 高级航空电子数字计算机;
- thabbr. Thailand;
- more effectiveeffective(有效的)的比较级形式;
- expressionn.表达;表情;(表演时)感情;措辞;
- GCHabbr.(Knight [Dame]) Grand Cross of Hanover<英>(获)汉诺威大十字勋章(的爵士或女爵士);
- conclusionn.结论;结束;末尾;结局;签订;
- transgenen.转基因;
- gene therapyn.基因治疗;
- onprep. (覆盖、附着)在…上;由…支撑着;在(运输工具)上;在(某一天);就在…之后;关于(事或人);(身上)带着;为(某团体或组织)的一员;吃;(表示方向)在,向,对;在,接近(某地);根据;以…支付;通过;与…相比
- ofprep. 关于;属于…的;由…制成;
- 相关例句
本论文在基于模型的开发方法研究基础上,采用AADL建模语言,结合系统级设计方法,设计了兼容OSEK/VDX的车用嵌入式实时系统模型,并提出了基于AADL的模型架构验证和行为验证方法。
互联网摘选
论文最后总结了UCaS工具的优点及局限性,对AADL模型验证工具的后继研究和发展进行了展望。
互联网摘选
研究B方法和AADL之间的关系,建立了B方法到AADL的映射规则。
互联网摘选
设计并实现了B方法的AADL模型生成工具,可以从需求自动化生成部分设计模型。
互联网摘选
每个子系统的建模都是根据铁路系统的具体需求,使用合理的AADL构件实现的。
互联网摘选
The models are represented using the notations known as the UML and AADL.
这些模型利用叫作UML和AADL的符号表示法构建。
互联网摘选
Then the AAG was constructed by giving a method of judging adjacency relationship between surfaces.
给出了一个判断表面间邻接关系的算法,建立了零件的属性邻接图;
互联网摘选
Firstly, the algorithm based on AAG decomposition was used to recognize stock feature.
首先使用基于属性邻接图的方法识别出凸块特征;
互联网摘选
望台内,当由电脑控制的方向范围对准星星和星座时,圆屋顶打开并旋转。我们六个人在接下来的一个小时里轮流观看这些星星和星座,发出平时只在看烟花汇演时才发出的
互联网摘选
以前的发布会,苹果公司精心挑选的书呆子和果粉们总是会不时发出赞美或惊叹的声音,如今这样的日子已经一去不复返。
互联网摘选
寄给我礼物包装纸被撕开的声音和孩子们打开礼物并四处炫耀时的啊呀声。
互联网摘选
当箭不偏不斜在靶子中央穿透一个洞时,欢呼声、叹息声和惊呼声响成一片。
互联网摘选
来自丹麦奥尔堡大学的亨德里·克诺奇最近参加了一个项目,设计一个可以供印度农民,即使文盲也能使用的智能手机交互界面。
互联网摘选
同样在明年,我们将主办欧洲女子手球冠军赛,“红色奥尔堡”活动也将聚焦在新的海岸。
互联网摘选
