查询词典 verified

Theoretical deductions and simulations verified the approach to be reasonable and effective.

理论分析和仿真结果表明该方法是正确有效的。

Alkylation of C6D6 with 1-dodecene using Br-ALCl3 as a catalyst was firstly carried out. Molecular structures of products, dodecylbenzene isomers, were analyzed by GC-MS and NMR, and the deuterated atom in the dodecylbenzenes was verified to be connected with 1-carbon of the side chain.

首先进行了Br-AlCl3催化氘代苯与1-十二烯烃的反应，通过GC-MS及NMR分析产物十二烷基苯同分异构体的结构，验证了氘原子与产物侧链1-位碳相连的结论。

The finite element model included two types of main element: beam element for concrete and truss element for internal unbonded or external tendon. The end nodes of main elements were connected with internal constraints named MPC in ABAQUS. Spring elements with very large stiffness were set up at the place of the deviators of externally prestressed beams, or along the span with relatively little space of unbonded internally prestressed beams. The modified Riks method is utilized to trace the entire structural response of beams prestressed with unbonded tendon from zero to ultimate loads. The reliability of the analysis model is verified by analytical results of typical test beams in comparison with experimental ones.

该有限元模型由两类主单元组成，即混凝土梁单元和体内无粘结或体外预应力筋桁架单元；主单元的端部节点用ABAQUS的内在约束MPC连接；在体外预应力梁的转向块处，或沿体内无粘结预应力梁全跨并以比较小的间隔设置刚度足够大的弹簧单元。

The rebate application and supporting documents are verified by the directorate if the rebate is for an amount exceeding (5000) dinars.

退税申请和证明文件，核实首长如果退税对于超过3（5000）第纳尔的。8。

The equations for two-conductor coupled-line Marchand baluns are derived. The analysis and systematic design procedure for multi-conductor coupled-line Marchand baluns are also presented, and verified with a few fabricated multi-conductor coupled-line Marchand baluns. Two MMIC broadband diode frequency doublers using multi-conductor coupled-line Marchand baluns are implemented to demonstrate the design procedure of multi-conductor coupled-line Marchand baluns. The MMICs achieve miniature chip areas with broadband performances in millimeter-wave regime.

二金属耦合线马逊平衡不平衡转换器的方程式推导及多金属耦合线马逊平衡不平衡转换器的分析及系统化设计流程也在此论文中被提出，并且用许多实际制作的平衡不平衡转换器做验证，此外，两个微波单晶积体电路的宽频二极体倍频器包含多金属耦合线马逊平衡不平衡转换器也用来验证此多金属耦合线马逊平衡不平衡转换器的系统化设计流程，这两个微波单晶积体电路在毫米波的频段内都达到微小的晶片面积与宽频的响应。

It was verified that the epithermal neutron time-spectrometry logging or the epithermal neutron logging is the most effective method. The engineering parameters of the instrument were calculated.

在此基础上，再研究井壁超热中子时间谱测井仪或井壁超热中子测井仪的工程参数。

You WILL want to get your chamber level sensor verified BEFORE you epoxy the cap on.

您会想要让您的会议厅一级的传感器验证之前，你环氧树脂的上限。

Objective To construct the eucaryotic recombinant plasmid of pYES2/LactoferricinB expressing in yeast of S. cerevisiae, of which the expressed protein antibacterial activity was verified in preliminary.

目的 构建牛乳铁多肽的真核表达质粒pYES2/Lactoferricin B，实现其在酿酒酵母S.cerevisiae中的表达，并初步检测其不同变异的体外抗菌活性。

The following exciting results are revealed: 1 When considering the influence of some nonlinear elements such as hard-limit of exciters, the effects of some devices such as Power System Stabilizer and Static Var Compensator which can introduce positive damping in power system, the reasonability of system parameter values in simulation, the SNB surface and HB surface on the boundary of SSSR will turn close to each other and even coalesce together; 2 Under some conditions, coupling between slow exciters and shunt capacitors will bring negative damping in power system dynamics, which increases the possibility of oscillatory instability. So the power system with mass shunt compensators is easily subjected to the oscillatory instability. In recent years, chaotic phenomena of power system have been reported many times. Some simulation studies even found chaos existing inside the power system SSSR. In this dissertation, chaotic phenomena in power systems are thoroughly studied in order to make clear the relation of chaos and SSSR. The following results are derived: 1 Based on Li-Yorke Theorem and their definition on the chaos, the existence of chaos in power system is verified; 2 Three possible routes of causing chaos in power system are found and deeply investigated. They are route of cascading period doubling, route of directly initial energizing and route of torus bifurcation (or quasi-periodicity). The latter two routes are investigated for the first time in power system stability studies; 3 When the stability conditions of chaos are broken, it is found they can lead to voltage collapse, angle divergence, or voltage collapse with angle divergence simultaneously.

针对在电力系统小扰动稳定区域内可能存在混沌吸引域的有关报道，本文深入研究了电力系统混沌现象的出现途径和与系统失稳模式之间的关系：1利用Li-Yorke定理和Li-Yorke的混沌定义，从理论上证明了电力系统混沌现象的存在性；2发现了电力系统中导致混沌出现的三种可能途径：倍周期分岔导致混沌、初始能量直接激发混沌和经由环面分岔导致混沌，并对后两种新发现的途径进行了较为细致的研究；3发现了混沌极限环破裂导致电压崩溃、角度失稳以及电压崩溃和角度失稳同时出现的现象，其中混沌极限环破裂导致系统角度失稳和电压崩溃及角度失稳同时出现的现象均属首次报道；4证明由微分-代数方程描述的系统模型，其小扰动稳定域的边界只包含HB、SNB和SIB三种分岔界面，在SSSR的内部和边界上，均不可能存在会导致混沌的点，从而将混沌现象排除在小扰动稳定域的研究之外，简化了后者的研究工作。

We verified the purification procedure by SDS-PAGE and Western blot. Their interactions were investigated by using Far-Western blot and Pull-down assay.

通过葡萄球菌V8蛋白酶和溴化氰对P4.2蛋白的限制性酶切分析，我们选取了一系列序列重叠的P4.2片段进行克隆表达。

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

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