查询词典 specification statement

Dynamic contact resistance of slip-ring is a key technical specification under dynamic working conditions.

中文摘要导电环的动态接触电阻是反映其在动态工作状况下的关键技术指标。

Objective: To work out preparation technology and quality specification of Fuyanxiao Effervescent Suppositories,and to observe its clinical curative effect.

目的：制定妇炎消泡腾栓的制备工艺及质量标准，并观察其临床疗效。

It is important to keep the specification team and the coding team physically and electronically isolated.

最重要的是将规格队和编码队身体和电子隔离。

Note TR is recommended for emboss taping and reel specification.

注 TR 是推荐的压纹带卷包装规格。

Allegedly search engine also has a specification, because friendship link embroil arrives,can stand.

据说搜索引擎也有说明的，会因为友情链接牵连到站。

Ultra-thin cutting emery wheel , GC , WA series particular kind abrasive disc , various the specification angle abrasive disc , cutting movie , wool wheel etc.

本公司生产的超薄切割砂轮、GC 、WA 系列特种磨片、各种规格的角磨片、切割片、羊毛轮等，一直深受广大国内外客商的青睐。

Established in 1980, the Factory has developed from a small collective enterprise which mainly manufactured electric wire, broadcasting lines at the very beginning to a new modern enterprise engaging in specialized production of enamelled round copper wire. We mainly manufacture enameled wire with different specification (0.080mm-2.500mm) of Series QZ, QZG, QZY and QA.

企业创立于1980年，由最初生产电线﹑广播线﹑铁扎线为主的集体小企业，现发展成为专业生产漆包铜圆线的现代化新型企业，其产品主要为QZ、QZG、QZY、QA等系列各种规格（0.080mm-2.500mm）的漆包线。

Topics covered include: programming and computability theory based on a term-rewriting,"substitution" model of computation by Scheme programs with side-effects; computation as algebraic manipulation: Scheme evaluation as algebraic manipulation and term rewriting theory; paradoxes from self-application and introduction to formal programming semantics; undecidability of the Halting Problem for Scheme; properties of recursively enumerable sets, leading to Incompleteness Theorems for Scheme equivalences; logic for program specification and verification; and Hilbert's Tenth Problem.

其所包含的主题：程序和运算理论是基于根据算数和具有一些副作用的计划纲要的条款重写和"代入"模式之上的、关于代数学计算的算数：关于代数学计算和术语重写理论的评价方案作计划、应用程序自己和说明的自相矛盾到形式上的程序语义、关于计划Halting 问题的不可判定性、可递归可列举集合的属性、导致对于等同计划的不完整规则、对于逻辑和证明程序的规范和Hilbert的第十问题。

ManTa - ManTa is an equational specification language and tools to support it: theorem prover, code generators, frontends.

ManTa是一个方程式说明语言和工具，支持它需要：理论证明，代码生成，前端。

There are also difficulties with the specification of equilibrium in the controlled market.

也有与平衡的规格的困难在受控市场上。

I want to be a big fish in a small pond.

我要做一条在小池塘里的大鱼。

While the software functioned well, we did not feel the same about their customer support!

虽然该软件运行良好，我们没有同样的感觉他们的客户支持！