验证理论

For example, using the raised consine roll off function as the system pulse response, the feasiblity and effectiveness on the interpolation formula has been certified by theoretical and numerical analysis. The computer simulation result on 16-QAM signal is given.

以系统脉冲响应为升余弦滚降函数为例，利用理论分析和数值分析的方法验证了插值公式的可行性和有效性，并给出了16-QAM信号的计算机仿真结果。

The results of simulation avoid distortion and intertwist in the conventional gri d arithmetic and consistent with the theory analysis, which validate the rationality of the simulated model and arithmet ic using the SPH method in the explosion field.

仿真结果有效避免了传统网格算法具有的扭曲和缠绕，并且与理论计算非常吻合，验证了该算法在爆轰领域应用的正确性和可行性。

Examining the mass of the photon is a very important way to test "invariance of the velocity of light".

检验光子的静质量对验证"光速不变原理"这一狭义相对论的理论基础有着重要的意义。

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-范数广义逆定理分配力矩指令，从而使各舵面达到适当的偏转角。并将所设计的控制律进行了仿真，结果验证了所设计的动态逆控制律使系统实现了非线性对消和解耦，单个指令作用时，只有该项响应，其余不受影响；所有指令作用时，其结果就等于单个指令作用时的线性叠加，这样使驾驶员的操纵大大简化而易于控制，从而大大降低了飞行事故率。

A multi-level hierarchical image representation that preserves topological relation equivalency and a set of well-complete functional architecture that efficiently reflects this representation are presented, and the digital Jordan curve theorem is validated.

基于复形理论定义了数字图像空间的拓扑元素及其性质，在此基础上提出一套完备的保持拓扑等价性的层次表达数字图像的数学模型体系框架，并验证了层次表达结构中的Jordan曲线定理。

To make up the limitation that the length of secret can not be too long and prevent the action of cheating, using the theory of Jordan matrix,and combining with the formulary of Lagrange,the authors put forward an algorithm of threshold secret sharing with short share.

为弥补传统秘密共享方案秘密长度不能太长的缺点，同时又能防止参与者作弊，利用Jordan矩阵理论，结合拉格朗日插值公式，提出了一种可验证的短份额门限秘密共享算法。

According to the theories of dynamics of explosive and rock fracture mechanics, initiation mechanism of kerf, and initiation of crack in its tip and its expansion of orientation fracture blasing with slit-charge in rock were studied, then the blasting, parameters were designed and tested by model test in laboratory.

以爆炸力学、岩石断裂力学理论为原理，对切缝药包在岩石定向断裂爆破中的切缝产生及裂纹起裂和扩展进行了一定的研究，同时对该法的爆破参数进行了设计，并在实验室进行模型试验验证其正确性。

After a theory has is found in the kinetic molecular theory, in which supported.

如果观察证实了科学家的预言，这个理论则得到了验证。

Analyses characteristics of the household horizontal heating system in residential buildings. Proposes a hydraulic calculation method applying Kirchhoff law, which is superior to traditional methods in theory and practice.

分析了分户水平式供暖系统的特点，提出了在室内供暖系统中运用基尔霍夫定律的新的水力计算方法，从理论上对所提出的方法和传统方法进行了比较，并通过实例验证其优越性。

The 3D model of the new stirring kneader shafts is built and its intensity is analyzed and compared by using the finite element method.

通过CAD软件三维绘图功能建立搅拌捏合机搅拌轴实体模型，采用有限元法对搅拌捏合机搅拌轴强度进行了分析比较，为搅拌轴的设计和生产提供了理论依据，证明了用有限元法验证搅拌捏合机的强度分析是可行的。

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

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

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

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