查询词典 verified

There are more than 30 kinds of metallic ore , nonmetal ore resource and fuel , geothermal resources already verified in Tianjin.

矿产资源：天津市已探明的金属矿、非金属矿资源和燃料、地热资源有30多种。

The generating algorithm is derived.It is verified that the GMW PC sequences have balance,optimal auto/cross correlation functions,and very large linear spans and can be used in the CDMA spread spectrum communication and cryptography.

给出了GMW相控序列的生成算法，证明了GMW相控序列均满足平衡性，具有优良的相关特性和极大的线性复杂度，可适用于CDMA扩频通信和保密通信系统中。

In addition, the blank holding force that is required to avoid wrinkle and rupture during conical part deep drawing is researched. The necessity of reasonable blank holding force in pressing is expounded. From the view of mechanical analysis, the wrinkle critical condition of side-wall is derived for the first time by the stress state of side-wall, the main deformation region on blank. According to the critical condition of plastic instability for flange, side--wall, corner of punch on blank, The blank holding force in conical part deep drawing is divided into four different regions within its forming figure. The basic principle of reasonable blank holding force during stamping is summarized and provided. The mathematical model of reasonable blank holding force that avoids the wrinkle and rupture is established and verified by the finite element numerical simulation and the grid experiment method. The result shows that it is accurate and reliable.

此外，本文还研究了圆锥形件拉深成形过程中，随着拉深变形过程的进行，毛坯为避免产生起皱、破坏缺陷而对压边力的需求情况，阐明了圆锥形件拉深成形过程中压边力合理变化的必要性；由毛坯主要变形区悬空锥壁部分的受力变形情况，从力学分析的角度，首次推导得出了圆锥形零件悬空锥壁起皱失稳的临界条件；并根据主要变形区法兰、悬空锥壁及凸模圆角部分的塑性失稳临界条件，在其成形范围图中，将圆锥形件成形过程中的压边力划分为四个区域；总结并提出了圆锥形件成形过程中压边力合理变化的基本原则；建立了防止起皱、破坏缺陷产生的压边力合理变化的数学模式，并得到了有限元数值模拟及网格实验法的验证，证实了理论分析结果的正确性和可靠性。

The accuracy of present numerical model is verified by the simulation of a rectangular harbor with constant water depth. For Taipei Harbor calculations, three incident wave directions, namely, WNW, N and NNE, together with constant water depth of 10m are considered.

接著考虑台北港第三期配置，使用三个波波浪入射方向与代表性水深(10m)，配合港区码头位置的选定，计算入射波浪周期与波高放大因子的关系，同时由共振周期计算港域波浪场的分布情形，藉以了解台北港第三期规划案港池振荡的特性。

I have came to Abidjan and verified that the funds exist with the Financial/Lodgement Firm.

我去了阿比亚，查清那笔钱还在。

Rome, 1905, who has verified all the quotations in the work and illustrated it with scholarly annotations.

，谁也核实了所有报价的工作并举例说明它的学术说明。

Paul Dirac's theory has been experimentally verified and today a wide range of antiparticles have been detected.

保罗·迪拉克理论已经得到实验验证，而且今天大范围的反粒子已经被发现。

The experiments results verified the effectiveness of the three degrees freedom input of parallel decoupling rowing driving mechanism and the correctness of the theory analysis about water strider robot in this paper. At last, it appeared that the water stride robot in this paper has good velocity response characteristics, motion flexibility, high rowing efficiency and convenient control.

在上述理论研究基础上，研制仿水黾机器人样机，在实验室环境下对仿水黾机器人进行水面前进、转弯、负重实验，实验结果验证了本文提出的仿水黾机器人三自由度输入并联解耦划水驱动机构的有效性和本文理论分析的正确性，该机器人具有良好的速度响应特性、运动灵活性，划水效率高、控制简单方便。

As a result this method can enhance the VAV air conditioning system's dynamic performance, and its validity has been verified by the simulations.

所提出的控制方法能有效地提高了变风量空调系统的动态性能，并由仿真结果验证了其有效性。

Results The recombinant plasmid pSNAV2.0-TK was verified byPCR and restricton endonuclease. The coat protein of AAV was detectedby SDS-PAGE method, the purity of rAAV2/HSV-TK was＞98% byHPLC method and the titre of rAAV2/HSV-TK was 1×10~(12)v.g./ml byDNA dot blot hybridization.

结果：重组质粒pSNAV2.0-TK PCR扩增的片段大小和酶切鉴定所切下的片段与预计结果一致；SDS-PAGE法检测到三条特征性的AAV外壳蛋白条带，HPLC法检测rAAV2／HSV-TK的纯度＞98％；用DNA斑点杂交方法检测rAAV2／HSV-TK的滴度为1×10~(12)v.g。

A carrier gas such as nitrogen is directed through line 20 and valve 22 to connect with line 26 and mix with the gas sample.

如氮气之类的载体通过管线20和阀22引入，与管线26相通，与气体样品混合。

But for the most part, knaves and parasites had the command of his fortune

然而支配他的家产的大多是恶棍和寄生虫。