查询词典 formal

The fundamental basis of our observation is that: the formal methods designed for optimizing compilers assume that the compiler and the programmer are allies.

我们观察问题的基本角度是：为最优化编译器设计的形式方法它假定编译器和程序设计者是盟友。

Theorem3 G is a formal set p~n q of p -order subgroup of solvable simple group meeting, P is Sylowp -subgroup of G .

定理3设G是有正规p -子群的p~n q阶可解次单群， P是G的Sylowp -子群。

For a formal winter wedding in church, or at home, the bride wears a full-length bridal gown in a variety of possible materials-satin (6), velvet (7), taffeta (8), organdie (9), chiffon, tulle, or lace.

冬季在教堂或家里举行正式的婚礼，新娘一般穿婚礼长裙，料子可以各种各样：绸缎、天鹅绒、塔夫绸、透明硬纱、雪纺绸、绡网或透明织品。

However, always make sure that, for formal status of an organic product.

然而，同时还需要为有机产品验明正身。

In more formal organisations, especially accounting practices, the organisation chart defines the way that communication and work flows through the organisation.

在更加正式的组织，特别是认为实践，组织系统图定义通信和工作流经组织的方法。

More formal than country, traditional style gets its look from fine woods and often ornately detailed cabinets.

传统型的厨房比乡村风格显得更加正式一些，以上等木材为原料，经常配以装饰华丽、构造复杂的橱柜。

In writing, words must have formal representation, called orthography .

以书面形式，必须有正式的话代表性，所谓正字法。

The adviser of Microsoft and Yahoo undertook osculatory last week, but at present two companies had not developed formal dialogue.

微软和雅虎的顾问上周进行了接触，但现在两公司还没有展开正式对话。

IT者网站提供英文翻译,未经授权请勿转载】 On March 24 message," osmund play 7 dragon record " salvo of Jin Ge crisscross, war drum, the formal in April open light that will ripple in passion advocate the city attacks city system.

3月24日消息，《薇拉七龙纪》金戈交错、战鼓齐鸣，将在激情荡漾的4月正式开放光明主城攻城系统。

According to Siemens Traffic Controls' Export Sales Manager, Ray Wood, over 100 ST800 controllers, outstation monitoring units, and associated communications technology will be supplied to establish the system for the city of Baku which currently has no formal traffic management infrastructure in place.

据西门子交通控制与外销经理 Ray Wood 介绍，超过100个 ST800控制器，外场监测单元，以及相关的通讯技术将用来建立巴库市的这个系统，巴库市到近来还没有正式的合适的交通管理基础建设。

With Death guitarist Schuldiner adopting vocal duties, the band made a major impact on the scene.

随着死亡的吉他手Schuldiner接受主唱的职务，乐队在现实中树立了重要的影响。

But he could still end up breakfasting on Swiss-government issue muesli because all six are accused of nicking around 45 million pounds they should have paid to FIFA.

不过他最后仍有可能沦为瑞士政府&议事餐桌&上的一道早餐，因为这所有六个人都被指控把本应支付给国际足联的大约4500万英镑骗了个精光。