Our work is on the basis of model-based development method, with the AADL modeling language and system-level design method, has designed automotive RTES model compatible with OSEK/ VDX, and provided a verification method for AADL-based model architecture and behavior.

Last, this paper summarized advantage and limitation of UCaS tools and give a outlook for AADL model verification tools further research and development.

论文最后总结了UCaS工具的优点及局限性，对AADL模型验证工具的后继研究和发展进行了展望。

Researched the relationship between B method and AADL, and established the mapping rules between B method and AADL. 4.

研究B方法和AADL之间的关系，建立了B方法到AADL的映射规则。

Designed and implemented the AADL model generation based on B method tool, which can automatically generate part of design model from the demand.

设计并实现了B方法的AADL模型生成工具，可以从需求自动化生成部分设计模型。

According to the specific needs of the railroad system, the modeling of each subsystem uses the reasonable AADL components.

每个子系统的建模都是根据铁路系统的具体需求，使用合理的AADL构件实现的。

The models are represented using the notations known as the UML and AADL.

这些模型利用叫作UML和AADL的符号表示法构建。

Security Analysis of Avionics Systems Based on AADL

基于AADL的航空电子系统安全性分析

Reliability Modeling for Airborne Equipment System Using AADL

基于AADL的机载设备系统可靠性建模

Code Automatic Generation and Integration Technology of AADL Model

AADL模型的代码自动生成及集成技术

Then the AAG was constructed by giving a method of judging adjacency relationship between surfaces.

给出了一个判断表面间邻接关系的算法，建立了零件的属性邻接图；

To develop contacts and coordination with other water resources organizations and with related specialty groups within the AAG.

发展与其他水资源组织或有关研究组的合作。

Firstly, the algorithm based on AAG decomposition was used to recognize stock feature.

首先使用基于属性邻接图的方法识别出凸块特征；

An AAG Based Method of Machining Feature Recognition

基于属性邻接图的制造特征识别方法

Inside, the dome opened and swiveled under the computerized direction of the scope as it lined up stars and constellations, which the six of us took turns viewing over the next hour, murmuring oohs and aahs normally associated with fireworks and giving us plenty to marvel at over dinner after the show.

望台内，当由电脑控制的方向范围对准星星和星座时，圆屋顶打开并旋转。我们六个人在接下来的一个小时里轮流观看这些星星和星座，发出平时只在看烟花汇演时才发出的

Gone were the days when Apple was able to extract legitimate "oohs and aahs" from its hand-picked audience of nerds and apple fanboys.

以前的发布会，苹果公司精心挑选的书呆子和果粉们总是会不时发出赞美或惊叹的声音，如今这样的日子已经一去不复返。

Send the crinkle and tear of wrapping paper and the oohs and aahs that punctuate each gift as it is exposed and shown around.

寄给我礼物包装纸被撕开的声音和孩子们打开礼物并四处炫耀时的啊呀声。

When the arrow drilled a hole in the center of its intended target, cheers, groans and aahs broke out.

当箭不偏不斜在靶子中央穿透一个洞时，欢呼声、叹息声和惊呼声响成一片。

Her creative idea won her a lot of ( oohs and aahs) from her co-workers.

她的创意为她赢得了同事们的一片赞叹声。

Hendrik Knoche at Denmark's Aalborg University was involved in a recent project to design a smartphone interface that could be used by farmers in India, even those with literacy problems.

来自丹麦奥尔堡大学的亨德里·克诺奇最近参加了一个项目，设计一个可以供印度农民，即使文盲也能使用的智能手机交互界面。

It will also be the year, where we host the European Womens'Handball Championship, and "Aalborg in Red" will focus on the new waterfront.

同样在明年，我们将主办欧洲女子手球冠军赛，“红色奥尔堡”活动也将聚焦在新的海岸。

Aalborg schnapps, made from corn and potatoes, is famous for its high alcoholic content.

用玉米加土豆制成的奥尔堡烈性酒以其高度的酒精含量而闻名。