查询词典 verify

When you are installing software on your system, verify that it hasn't been tampered with.

当您安装在您的系统软件和验证，它没有被篡改。

On one side, he inherits the tradition of pragmatism, on the other side , he emphasizes the effect to philosophy from logic and mathematics. His emphasis on mathematical logic, meaning theory and experience verify theory, which makes up pragmatic insufficience.

在刘易斯那里，他一方面继承实用主义的传统，另一方面又强调逻辑和数学对哲学的影响，重视对数理逻辑的研究，重视对意义理论、经验证实理论等等的探讨，弥补了实用主义在这方面的不足。

Numerical experiments on two typical interconnect structures verify the efficiency of this method.

最后通过2个典型互连结构的数值实验验证了该算法的有效性。

Already used means of intermittent air feed at pneumatic nozzle to divide way of miscellaneous more successive air feed by experimental test and verify more energy-saving, and the frequency of intermittent air current is mixed occupy sky comparing to affect energy-saving result, existence is mixed to frequency occupy sky comparing to make energy-saving effect best.

已由实验验证将间歇供气方式应用于气动喷嘴除杂较连续供气方式更节能，并且间歇气流的频率和占空比影响节能效果，存在一对频率和占空比使节能效果最优。

Methods: through researching the property of the traditional formula on Newton interpolation remainder, to verify the conclusion by program written with VB.

通过研究传统Newton插值余项公式的性质，利用VB编写程序检验结论。

At last some examples of curve's interpolation are given to verify the effectiveness of the method.

最后给出了曲线插值的一些实例以检验方法的有效性。

For one thing, more research is in order to verify the intriguing existing data.

首先，更多的研究是为了验证现有的数据。

The example and the case verify that the method of numerical inverse isoparametric mapping has high precision, and can be used in geotechnical engineering.

计算算例及工程实例均表明等参逆变换法用于水布垭地下厂房原始地应力场计算中，具有较高的精度，可以满足工程要求。

Presents the design of longitudinal control for ASTOVL lift-fan aircraft, a multi-variable, strong-coupling, complicated nonlinear system to make the system nonlinear offset and decouple, and the method used for linear system in designing the system to gain expectant flying qualities and the combination of aerodynamic control surfaces with thrust vectors to delay the control surfaces getting into saturation, and the minimum N-norm generalized inverse theorem of weighted generalized inverse adopted to apportion the moments commands, which make the control surfaces gain appropriate deflection and the simulation results to verify the dynamic inverse control laws designed really make the system nonlinear offset and decouple; when one command is given, only this output will response, and others do not response; when all commands are given together, the responses will be just the linear superpose of the response of each command, therefore the operation of the pilot will be simplified greatly.

摘 要： ASTOVL升力风扇飞机是多变量、强耦合、复杂的非线性系统，采用非线性动态逆理论设计控制律以实现系统的非线性对消及解耦，然后，采用线性系统的设计方法对系统进行设计，以使系统获得期望的飞行品质。同时，考虑到ASTOVL升力风扇飞机是由气动舵面和推力矢量融合作用的，为了延缓各舵面进入饱和的时间，采用加权广义逆中的极小N-范数广义逆定理分配力矩指令，从而使各舵面达到适当的偏转角。并将所设计的控制律进行了仿真，结果验证了所设计的动态逆控制律使系统实现了非线性对消和解耦，单个指令作用时，只有该项响应，其余不受影响；所有指令作用时，其结果就等于单个指令作用时的线性叠加，这样使驾驶员的操纵大大简化而易于控制，从而大大降低了飞行事故率。

Finally, by inversion results and model trial, we verify the feasibility and stability of this method.

最后通过反演结果和模型试算验证了该方法的可行性和稳定性。

The split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应，而且减少跟风的可能性。