查询词典 formal derivative

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每一个正式场合，即使你只知道该怎么做一种类型的正式发型。

We identified a formal origin for the current shape of the existing church as having a Basilican Plan, an external form with a deep gable and internally with a central nave and aisles—a formal type that goes back two millennia as the form for both churches and barns.

我们确定了一个正式的原产地为当前形状现有教堂具有Basilican计划，外部形成了深刻的山墙和国内的中央殿和过道，一个正式的类型，可以追溯到两千年的形式为教堂和谷仓。

According to our present broadcasting situation,the thesis proposes using new technology to update and reform the present HFC. It also suggests broadcasting using self-advantage and arranging EPON in order to win the supermarket.

论文从我国广电的现状出发，结合实际，积极倡导采用新技术更新、改造我国现有的HFC网络；倡导广电现阶段利用自身优势，部署EPON网络来赢取市场。

A new general kinetic equation was derived in which the effect of the removal of condensation water was taken into account completely, and was applied to the polyesterification kinetic study of AA/HPHP and AA/NPG. It was found that the reaction order of self-catalyzed polyesterification was not constant. For these polyesterifications, the reaction order was 2.5 at a low temperature, while 3.0 at a high temperature.

考虑缩合水的排除对反应体系的影响，用体积浓度单位推导出一个新的聚酯反应总包动力学方程，并应用到AA/HPHP和AA/NPG两个聚酯化反应的动力学研究中，研究发现，自催化聚酯反应的反应级数并不是固定值，对于AA/HPHP和AA/NPG两个聚酯化反应而言，低温时反应级数为2.5，高温时反应级数为3.0。