查询词典 formal

Shipments with weight over 50 kg will be treated as high value, and will need a formal bill of entry

重量超过50公斤的货物将视为高值品，需要正式的报关单。

Concept lattice, induced from a binary relation between objects and features, is a very useful formal tool and has been used in many fields.

而由二元关系导出的概念格则是一种非常有用的形式化工具，它体现了概念内涵和外延的统一，反映了对象和特征间的联系以及概念间的泛化与例化关系，因此非常适于发现数据中潜在的概念。

Concept lattice, induced from a binary relation between objects and features , is a very useful formal tool and is fit for discovering the potential concept below the data.

Wille等根据二元关系提出的一种概念层次结构l卜5，，它本质上描述了对象和属性之间的联系，表明了概念间的泛化与例化关系，同时体现了概念内涵和外延的统一。

This thesis is about the establishment of semantic Web based on the binary relation ,advances the formal definition of the semanteme in the semantic Web,based on it,advances the way semanteme is described and derived and discusses the semantic completeness.

基于二元关系讨论了语义Web的建立过程，具体给出语义Web中相关语义的形式化定义，并基于此给出了语义描述和挖掘方法，进行了集合相关语义的完备性的证明。

In the law, a binary system of our company model of governance was formal established....

本文回顾了这一制度在国外的产生和发展历程，就我国上市公司的独立董事制度进行了深入的探讨，对存在的问题进行了分析，并结合我国现实情况就这一制度如何进一步完善提出了建议。

Based on the comparison of current fault propagation models, bipartite graph model is adopted as fault propagation model, of which the formal definition is given.

对现有的网络故障传播模型进行比较分析，采用二分图作为故障定位的故障传播模型，提出了二分图故障传播模型的形式化定义。

She had written each entry in small letters, so that her day could fit on one page of her birder's book of hours. She supplemented entries with formal lists of bird sightings.

为了要保持一天一页的观鸟记录，她用小小的字体写下她的观察，并且每一次看到鸟的时间都正式列表而让她的观鸟记录更为完整。

The author points out: if lots of the conflicts of philosophical foundation the 20th century's quantum mechanics faced with, well-known to everybody, should be logically attributed to the confusions of the some fundamental concepts in the classical electromagnetic field theory, the series of logic inconsistencies implied in the classical electromagnetic theory and the forms of difficulties the modern computational electromagnetism encounters while solving time-varying electromagnetic field should be also logically attributed to an anomalous fact that series of fundamental mathematical propositions relating with bispinor differential operator, which naturally appears in the formal expression about dynamic electromagnetic field, have not be solved really while the related complete mathematic physical models or well posed boundary value problems have not been built.

著者指出：如果说20世纪的量子力学之所以面对哲学基础众所周知的矛盾，在逻辑上最终不能不归咎于经典电磁场理论体系的一些基本概念并没有真正得到澄清的话，那么，经典电磁场理论体系隐含的众多逻辑不自洽问题与目前计算动态电磁场所面对的困境，则必须逻辑地归咎于与双旋度微分算子相关的一系列基本数学命题并没有解决，而相关的恰当数学物理模型至今没有真正建立起来的缘故。

Black tie is a dress code for formal evening events, and is worn to many types of social functions.

男士：如果在接到的请柬上在着装提示"Black Tie"--不是指必须佩戴黑色领带，而是要穿着男士晚礼服。

Nancy:When an event is black tie,it means it's very,very formal.

Victor：通常要求打黑色领结的活动，一定是非常非常正式的活动。

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