查询词典 select verification

The studies made know that Gynogenesis was a effective method to promote gene purification. microsatellite marker technique is an effective method of gynogenesis verification and genetic analysis.

研究表明雌核发育是促进基因纯合的一个有效途径，微卫星标记技术是是鱼类雌核发育鉴定和遗传分析的有效方法。

In particular, are using bamboo fiber plus full use of clean potable water production process Spunlace cloth, through the professional inspection agency verification, a very good natural anti-bacterial effects, powerful, and strong resistance to abrasion, oil can not afford to hair, the ball has very good moisture permeability, wear cool and comfortable, bright luster and dyeability, and new products listed on the popular back-up.

尤其是用竹纤维加全程采用可饮用纯净水工艺生产的水刺布，通过专业检验机构验证，具有非常好的天然抗菌效果、强力好、耐磨性强、布面不起毛、球，具有非常好的吸湿透气性，穿着凉爽舒适，光泽亮丽且染色性好，新产品上市后备受欢迎。

Stormer, and the experimental verification of the fractional quantum Hall effect are reviewed.

Stormer发现分数量子霍尔效应和分数量子霍尔效应的实验验证等过程。

The research of hardware description language and related system verification technique is an important field of electronic design automation presently.

硬件描述语言及相关的系统验证等技术的研究是当今电子设计自动化的领域的一个重要课题。

Chinese medicine theories emphasize allelopathy, Western theoretical emphasis on Chemistry and Health Physics domain, both the theory and the verification process is totally different; Chinese medicine doctors to do the world line must meet the same phenomenon in the same conditions, different conditions are different phenomena; but the actual clinical course of Chinese medicine, there are differences Tongzhi disease varies with disease governance success stories to attract attention to Western theory.

中医理论强调相生相克，西医理论偏重化学与生物理域，两者理论与验证过程完全不同；中医要作到医行天下必须达到同样条件同样现象，不同条件不同现象；但中医实际临床过程常出现异病同治与同病异治的成功案例，吸引西医理论的重视。

The tolerance of dynamic preloaded drag torque is an important parameter in the quality verification of helicoid.

动态预紧转矩是检验丝杠螺旋面质量的重要参数，为了满足ISO3408-3：1992和GB/T17587。

Theoretical verification of generating method for grinding of gear involute helicoid;2. This paper proposes a new machining method of dram gear generating method in numerical control chine,which is simple and convenient and can pledge accurate engage gears.

针对鼓形齿常用切削方法中存在的不足，提出了一种在数控机床上用展成法加工鼓形齿的新方法，并对加工过程进行了啮合分析，得出结论：用数控机床只要改变程序便可加工任意齿数的齿轮，并可达到预期精度。

The main objective of this project is to research and develop a novel and high efficient video codec framework based on wavelet techniques, especially to address the heterogeneousness of video networks, the fluctuation of transmission bandwidth and the diversity of video-stream receivers. The system will have some basic characteristics of the next video coding standard, such as high compression efficiency, high scalability and high error resiliency. This project will provide a software prototype of wavelet video codec with full scalability, construct a verification platform for wavelet video on demand service, and furthermore, design some VLSI IP cores of the key module in the codec system

本项目研究的主要目的就是着眼于下一代视频编解码标准的基本特征（高效压缩，高可伸缩，高容错），以小波技术为核心构建新型高效的视频编解码系统；特别针对当前视频传输网络的异构性，网络带宽的波动性以及用户视频接收终端的多样性，实现一个码流高度可伸缩同时兼顾压缩效率的小波视频编解码软件原型，并且构建基于异构IP网络的小波视频服务的技术验证平台；进一步还将基于VLSI技术，对小波视频编解码系统的关键模块进行IP核设计

In this paper, a certified dynamic storage management library is built using Hoare-logic style reasoning at the assembly level with the assistance of a theorem formalization and proof tool called Coq, since Hoare logic is more expressive. This work is a significant application of program verification technique.

由于Hoare逻辑更好的表达能力，采用Hoare逻辑风格的推理，在汇编语言级别，使用Coq形式化与定理证明工具可以实现一个经过安全验证的动态存储管理函数库，这是程序验证技术一次有意义的实践。

After verifying the homogeneity of variances between the groups (verification of the variation coefficients), means were compared through an analysis of variance.

验证完组间变异的同质性后，均值通过方差分析进行比较。

The second is to cut a mere 100 calories from your diet , which is the equivalent of a tablespoon of butter.

第二个就是从你的饮食中减少一百卡路里，只是相当于一大汤匙的黄油。

This is where the Rorschach test comes in.

现在，罗氏测试就出现了。