查询词典 constructions

The formal description technology based on LOTOS, the formal transformation, the formal validation and implemenation are generalized. Constructions of communication service and communication protocol, transformation from service specification into protocol specification based on bisimulation equivalence are also stated in detail. Application of LOTOS specification styles and architecture concept in service and protocol design is studied as an emphasis.

归纳总结了基于LOTOS的形式化描述方法、形式化的转换、验证和实现等方法理论，以及通信服务和协议的构造方法及服务规范到协议规范的等效性转换方法，重点研究了规范风格和结构概念在服务和协议设计中的应用。

Ultra white float glass is a kind of glass with low iron content with the features of high transparency, high luminousness, excellent transmissivity, the outer appearance visional result equal to crystal glass giving the elegance sense, most used in interior and exterior decoration in luxurious constructions and showcases of high end goods.

超白浮法玻璃是低含铁量玻璃，具有高透明度、高透光率，具有极佳的透光性能，外观与透明水晶玻璃有相似的视觉效果，给人以典雅高贵的感觉，非常适合高级建筑物内外装修及制作高档贵重物品展示橱窗。

Macfarlane's version runs with lightweight polymer sleeve/plate constructions, as an alternative to conventional flexo plates.

麦克法兰的版本上运行的轻量级聚合物套/板建筑，作为传统柔印板替代。

Mannerism theory has been substituted by constructions theory, which was regarded as basic teaching theory in the traditional teaching.

以往在传统教育中被视为教育理论基础的行为主义理论已淡出历史舞台，取而代之的是建构主义理论。

These constructions have been shown to produce objects with the desired properties with probability 1 in an appropriately defined measure space.

这些建筑已显示出物体的产生所期望的性能与概率1在一个适当的定义测度空间。

And some small steel user worries about the short of rebar supply in Q3 midseason of constructions.

和一些小的钢铁用户担心短期供应钢筋在第三季度中期的建筑。

From the constructions of twisted normal bundle of minimal surface in R~n, we get a lot of examples of special Lagrangian submanifolds.

我们也通过扭曲法丛的构造得到许多特殊拉格朗日子流形的具体例子。

In addition, nowhere else in the world can you find constructions of such varied architectural styles – classicism, eclecticism and Moderne – in such close proximity.

另外，在世界上的任何其他地方，我们也不能找到和身临其境地看到如此众多的古典主义、折衷主义和现代化的建筑风格。

The appearance of citizen society infuses new power for the human economy field , drives all system constructions to tend towards democratization and monocracy and urges the people to consider and choose the government's function orientation and its action pattern in modern market economy.

市民社会的出现给人类经济领域注入了新的动力，对包括我国政府依法干预市场经济在内的法治建设具有积极的启迪功能，并进而促使人们对现代市场经济条件下政府职能定位及其行为模式作出反思和选择；而我国正在形成和发展中的新型国家与社会关系为政府有效干预提供了广阔的空间。

In multistoried or the high rise civil constructions the full-time machinery hot water circulation supply system design, whether the design parameters for the flow and the lift of circulating pump are appropriate or not, will be related to continuously, safe, stably running of the hot water supply system.

在多层或高层民用建筑全日制机械循环热水供应系统设计中，循环泵流量和扬程的设计参数的选定恰当与否将关系到热水供应系统能否连续、安全、稳定地运行。

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