查询词典 verification

Verification calculation of the flow in the near sea under the programming coastal line is analyzed.

在考虑取水温度、经济性、环保性的基础上，为环境评价提供了科学依据。

After the industrial revolution, the life of human being has undergone profound changes. Such as the relationship between human being and other spices, vision concept changes, etc. are all the components of my works. Moreover, the inspiration from children's art pushes me to seek for self-contemplation and verification in the context of modern culture.

人类工业革命之后的大工业化给人类的生活带来了深刻的影响，人与其他物种之间的关系产生的变化，以及视觉观念的变化等等，也都是我画面的构成因素之一，再通过儿童画的揭示，并在当代文化情境中，寻求一种对自我的审视和省思。

These self-torture religious sect's classics verification settles the sea master worker to lead a pious life the origin to Jesus and the vegetarian diet inheritance view: Jesus inborn is a vegetarian, even, when he already was also a vegetarian in mother's belly.

这些苦修教派的经典印证了清海师父对耶稣的修行渊源及素食传承的看法：「耶稣天生茹素，甚至当他还在母亲的肚子里就已经吃素了。

Both the case and semantical verification show that all kinds of component interface and interaction can be protected by XACML testing strategies.

通过测试具体实例与验证其语义模型，该测试策略为组件接口及组件交互提供了访问安全保障。

Between syntax and semantics, which one do you think is more critical to the success of verification?

语法和语义之间，哪一个你认为是成功的关键核查？

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.

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

Forth, depending on a limited syntax language, a research on the method and process of the semi-formal specification of the top level function is developed. This top level specification paves the way for the system verification and the covert channel analysis.

第四，借助一种受限的句法语言，研究了对系统顶层功能进行半形式化规范的方法和过程，而顶层功能规范则为系统验证、隐蔽通道分析等后继工作奠定了基础。

Success is a series of development, and a result too, its value needs the verification of time.

成功是一个过程，也是一个结果，它的价值需时间的验证。

In order to further support the export of domestically made cigarettes, and meanwhile continue strengthening the administration of taxation on exported cigarettes, the State Taxation Administration has, upon deliberation, decided to increase the outer-port customs (that is, the representative office in Shanghai Waigaoqiao Port) under Shanghai Customs and Haicang Representative Office under Amoy Customs as the ports for export of duty-free cigarettes, meanwhile, for the exported cigarettes, if the customs declaration form on the exported goods supplied to Shanghai Ocean Ship Chandler Company within the plan of duty-free exported cigarettes is affixed with a seal of "being inspected by Shanghai Customs", they are permitted to be exempted from duty and be written off after verification.

为进一步支持国产卷烟出口，同时继续加强出口卷烟的税收管理，经研究，总局决定增列上海海关所属外港海关（即上海外高桥港口办事处）、厦门海关所属海沧办事处为免税卷烟出口口岸；同时准予对在免税出口卷烟计划内供应给上海远洋船舶供应公司的出口货物报关单上加盖"上海海关"验讫章的出口卷烟，予以免税核销。

BILL OF LANDING CLAUSED,ON THE FACE OF IT ,TO THE EFFECT THAT THE SHIPPING COMPANY/CARRIER/MASTER OR THEIR AGENT HAS THE OPTION TO DELIVER THE GOODS WITHOUT SURRENDER OF AN ORIGINAL BILL OF LANDING,OR WITHOUT VERIFICATION OF THE GENUINENESS OF THE BILL OF LADING OR SOLELY ON PROOF OF THE CONSIGNEE'S IDENTITY OR ANY OTHER CLAUSE OF SIMILAR EFFECT IS NOT ACCEPTABLE.

我是新手，只能照着字面翻译了下，大体意思是提单上显示如船公司/承运人/船主或其代理机构能够在没有提交提单或没有证明提单的真实性或仅证实了收货人的身份的情况下提走货物的条款或类似的条款是不被接受的。

I'm not an actor. I'm a professor of paleontology.

我不是演员，我是古生物学教授

Spider Network Web site that is a very image of the name.

网络蜘蛛即Web Spider，是一个非常形象的名字。