验证

The results of experiments verify that the software can be used to optimize the design of permanent magnetism actuator.

实验验证表明此仿真软件的计算结果是可靠的，可以用于永磁机构的优化设计。

The direction of the relationships of the current variables is determined by a statistical method and lead to directed acyclic graph.

用统计分析的方法确定当前变量之间联系的方向，建立了有向非循环图，最后以模拟序列为例，验证了所提出的方法是可行且有效的。

The analysis of the experimental data and simulation results prove the feasibility of the mechanical system simulation with ADAMS.

通过对实验数据和仿真结果的分析，验证了用ADAMS进行机械系统的仿真的可行性。

In addition, a DSP-based CMF system is designed and developed.

计算机仿真结果验证了本文中提出的算法的可行性。

If you use LIPOVOX HARDCORE DETOX and somehow fail to get your money's worth, you can return your one empty bottle (we want you to use all of our fine product) and your additional bottles in resalable condition, for a prompt and courteous refund.

如果您使用Apidexin不知何故无法得到你花钱的价值，您可以返回您一个空瓶子（我们希望您能使用我们的临床验证的产品）和您的其他没开封的产品，您将迅速得到您的退款。

The simulation using MCGA to denfend the attack of address resolution shows that MCGA method is fully effective.

对邻居发现协议的地址解析功能进行了模拟攻击，并利用所提出的MCGA地址验证进行了防御实验，结果表明，MCGA方法是十分有效的。

ABSTRACT: Objective To screen candidate genes related to cancerometastasis and adenoid cystic carcinoma.

目的 筛选与涎腺腺样囊性癌转移相关的候选基因，并对其进行初步验证。

In this master thesis, we mainly discuss the adjacent vertex- distinguishing total chromatic numbers of some special graphs and prove that Zhang"s conjecture holds for these graphs. Then we get the adjacent vertex-distinguishing total chromatic numbers of the Halin Graphs. Moreover, we investigate the Generalized Petersen Graphs, prove that some classes of positive integers can"t structure the Generalized Petersen Graphs and get the result that the adjacent vertex-distinguishing total chromatic number is 5. Finally, based on the number and the parity of circles contained by the graph, we get the adjacent vertex-distinguishing total chromatic number of two classes of graphs.

本学位论文首先主要针对几个特殊图类讨论其邻点可区别全色数，验证了其满足图的邻点可区别全色数的猜想；再证明了非轮的Halin图的邻点可区别全色数；接着研究的是广义Petersen图，讨论了不能构成广义Petersen图的几类正整数，并证明了该图的邻点可区别全色数等于5；最后，根据图所含圈的个数及其奇偶性得到了两类图的邻点可区别全色数。

In this paper,a systematic direct perturbation method of dark solitons is found.Having analyzed the mistakes in earlier works on perturbation method for dark solitonsand essence of the direct perturbation method for bright solitons,we notice that to in-troduce the adjoint solutions of the squared Jost solutions and to prove the completenessare crucial to the problem.Giving up the unnecessary scheme of introducing the adjointoperator in the bright soliton case,we directly find the adjoint solutions by meetingthe demand for the orthogonality that inner product of the squared Jost solutions andits adjoint should be proportional to a δ function in the case of continuous spectra.The corresponding adjoint operator is thus found.Taking into account the reductiontransformation,we find a correct description for the completeness of the squared Jostsolutions and directly verify its validity with explicit expressions of the squared Jostsolutions.

本论文建立了系统的暗孤子直接微扰方法，在对前人关于暗孤子微扰方法的错误以及亮孤子直接微扰方法的本质作了充分的分析后，认识到引入平方Jost解的伴随解和证明完备性是问题的关键，撇开过去亮孤子情况首先引入伴随算子的非必要作法，直接从平方Jost解与其伴随解的内积在连续谱时正比于δ函数这一正交性要求出发，找出了伴随解，同时得出了应有的伴随算子，在考虑到约化变换性后，得到了暗孤子情况的平方Jost解的完备性的正确表述，并在单个暗孤子的情况利用平方Jost解的显式直接验证了它的正确性。

The trajectories of adjoint system from these minimum points generally converge to equilibrium points.

在IEEE-10机39节点系统和IEEE-17机162节点系统上仿真，验证了该方法的有效性。

She gently rebuff ed him, but agreed that they could be friends

她婉言拒绝了，但同意作为朋友相处。

If in the penal farm, you were sure to be criticized.

要是在劳改农场，你等着挨绳子吧！