查询词典 formal

Specialist Custom Tailors from Thailand, deal mainly in men's formal and semi-formal wears.

专家定制缝纫来自泰国，交易主要集中在男性的正式和半正式穿着。

Aiming at activity diagram semi-formal speciality,the activity diagram formal specification and the definition of test coverage rules were given.

针对活动图半形式化特性，给出了活动图的形式化描述及测试覆盖准则的定义。

After introducing the AOP, there are components, system connectors, aspect connectors and constraints in architecture. The UML and ADL description of each model are given, and achieves the transform from semi-formal to formal model, and the model's refinement and verification, which provides a good foundation for the development of tools.

引入方面的软件体系结构是由构件、系统连接件、方面连接件以及约束构成的配置格局，不仅给出了体系结构中各元素的统一建模语言和体系结构描述语言的描述，实现体系结构模型从半形式化到形式化的转化，而且实现了模型的求精和验证，为各种工具的开发提供了一个良好的基础。

Perhaps the compromise should be some "formal" review mixed with less formal sing-song and role play?

也许这个折衷应该有些"正式"审查混合不那么正式的歌唱和角色扮演吗？

The formal condemnation of Socinianism appeared first in the Constitution of Paul IV,"Cum quorundam:, 1555 (Denz., 993); this was confirmed in 1603 by Clement VIII, or "Dominici gregis", but it is to be noted that both of these condemnations appeared before the publication of the "Catechism of Racow in 1605, hence they do not adequately reflect the formal doctrines of Socinianism.

；确认这是在1603年的克莱门特八，或" Dominici gregis "，但必须指出的是，这两个这些谴责出庭出版"的Racow问答"在1605年，因此他们没有充分反映的正式理论Socinianism 。

A formal truth is a true proposition to determine whether the formal proposition is of universal effectiveness or relation of satisfaction.

形式真理是断定形式命题具有普遍有效性或者满足关系的真实命题。

Therefore, a formal truth is a true proposition to determine whether the formal proposition is of universal effectiveness or relation of satisfaction.

不仅如此，形式真理也是哲学真理论的研究对象，自然也就成为马克思主义真理观不能回避的研究领域。

The full name is the formal name, which is used in documents and formal situations. The short name is the one most often used, and which does not imply any particular emotions. Other subjected-evaluated forms like the diminutive and unceremonious are formed by suffixes. They are used independently or used with the short form interchangeably.

全称是正式的名字，主要用在文件中或正式场合；简称是最常用的形式，不具情感成分；其他带主观评价的形式，则是藉由构词后缀形成，常见的有指小表爱称和不拘泥称，它们除了单独使用外，常和简称交替使用。

That is to say, we would have nothing more meaningful than an uninterpreted formal language, formal rules of inference, and a subset of the set of well-formed formulas as axioms.

也就是说，我们持有的有意义语言甚至超不过一个尚未解释的形式语言、形式推理规则和作为公理的合式公式子集。

You can create a different and exciting new updo for each and every formal occasion even if you only know how to do one type of formal hairstyle.

您可以创建一个不同的和令人兴奋的新updo每一个正式场合，即使你只知道该怎么做一种类型的正式发型。

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万英镑骗了个精光。