查询词典 teds

The appliance of polynomial symbolic algebraic in formal verification ,people have given two polynamial denotative module WGLs and TEDs,and gives the corresponding equivalence checking algorithms .

关于多项式符号代数理论在形式化验证方面的研究，人们给出了WGLs和TEDs两个多项式表示模型，并给出了相应的等价性验证算法。

Formal Verification; Polynomial Symbolic Algebraic; WGLs; TEDs

形式化验证；多项式符号代数； WGLs； TEDs

Its software includes data acquisition program, TEDS program, signal conditioning grogram, TII interface program, wireless transmission program and receiving terminal grogram.

其软件包括数据采集程序、TEDS程序、信号调理程序、TII接口程序、无线传输程序、接收终端程序。

Basedon the studies on the curing kinetics of TEDS/ DDM system as well as model rcasnon of TEDS/di - n- butylamine, the first order kinetic was proposed for TEDS.

对其与二正丁胺的模型反应、与DDM（4，4'－二氨基二苯基甲烷）的固化反应劝力学研究表明，反应对TEDS为一级反应。

A Virtual TEDS is also implemented. Finally, some experiments are made to verify the functions of the STIM and VNCAP.

提出了基于IEEE 1451标准的虚拟TEDS概念和对其进行了实现。

And highlights the implementation of key technologies, such as TEDS and correction engine are provided.

并着重阐述了TEDS、数据校正技术等关键技术的实现机制。

Practice shows that the node can realize the acquisition and wireless transmission of sensor data, and the definition and application of TEDS data.

实践证明，该节点实现传感器数据的采集与无线传输，以及TEDS数据的定义与应用。

In fact, if all countries would work together to implement the same environmental standards, we would not have the problem created by the U.S. requirement for the use of TEDs.

事实上，如果所有的国家能共同贯彻执行同样的环境标准，我们就不会碰上那个因美国要求使用 TEDS 而产生的麻烦了。

Besides, the dynamic mechanical behavior, impact strength and the morphology ofDGEBA/DDM system modified with TEDS were studied.

TEDS改性环氧E—51体系的动态力学性能、冲击性能和形态结构的研究表明，随改性体系中TEDS含量的增加，体系的玻璃化温度是线性下降、冲击强度增大、冲击试样的断裂面渐渐显现出韧性断裂的特征。

Both TEDS 2003 and 2004P were composed of panel samples and independent samples. Panel samples are those respondents who were interviewed in TEDS 2001 and independent samples are those respondents who were never interviewed before.

TEDS 2003与2004P调查的成功样本分为固定样本与独立样本两类，其中固定样本是再次访问TEDS 2001的成功样本，而独立样本则是该次访问另行独立抽出的受访者。

We have no common name for a mime of Sophron or Xenarchus and a Socratic Conversation; and we should still be without one even if the imitation in the two instances were in trimeters or elegiacs or some other kind of verse--though it is the way with people to tack on 'poet' to the name of a metre, and talk of elegiac-poets and epic-poets, thinking that they call them poets not by reason of the imitative nature of their work, but indiscriminately by reason of the metre they write in.

索夫农 、森那库斯和苏格拉底式的对话采用的模仿没有一个公共的名称；三音步诗、挽歌体或其他类型的诗的模仿也没有——人们把&诗人&这一名词和格律名称结合到一起，称之为挽歌体诗人或者史诗诗人，他们被称为诗人，似乎只是因为遵守格律写作，而非他们作品的模仿本质。

The relationship between communicative competence and grammar teaching should be that of the ends and the means.

交际能力和语法的关系应该是目标与途径的关系。