验证理论

One reason is that the model is an algebra method and it is based on the theory of minimal element. It can give more credible proof. Another reason is that the model tries to prove security of protocols, rather than check them. Thirdly, the model is simple and easy to use, and proof can be finished by manual. Moreover, graphic description makes its proof more comprehensible. Fourthly, there is much research work related to the model, which gives me a good springboard.

首先，该模型是一种代数方法，以极小元等理论为基础，可以给出可信度较高的证明；其次，该模型不是验证协议，而是试图证明协议的安全性；第三，该模型简单、易用，可以手工的方式完成证明，而且图形表示使其证明更加直观；第四，关于该模型有许多相关的研究工作，这为进一步工作打下了良好的基础。

The uncertainty of travel time of road network is depicted by means of scenario union firstly,then a path finding modal applied minimax theorem is constructed for obtaining most reliable path of all scenarios.

该方法通过场景集描述网络旅行时间的不确定性，应用Minimax理论构建求解所有场景下可靠路径的数学模型，并设计了问题求解算法，分析了算法的时间复杂性，最后通过典型算例对算法进行了验证。

In this paper, we describe the history of Mizar system and the method to use theMizar system. Then we give the definition of quaternion numbers, module, algebrastructre etc, and then we prove its properties.

本文首先介绍了Miza(来源：ABC论文61网www.abclunwen.com)r系统的计算机操作原理和使用方法，给出了在Mizar语言系统下四元数、四元数的运算、共轭、内积、模等代数结构理论的证明，所做结论都通过了Mizar系统的验证，发表在波兰的《Formalized Mathematics》杂志上，并被收录到MML数据库中。

To validate the proposed method, numerical simulation and a vibration mode test of a cantilever beam are completed, where the mass varies continuously with time.

为验证方法的有效性，进行了数字仿真和附加质量随时间连续变化的悬臂梁的模态分析试验，试验结果和理论结果比较，表明了提出的线性时变系统的模态参数识别方法有效、可行。

In order to study the performance of MPT more experiments must be taken, and an instant, exact and convenient system of measuring and controlling is very important in all of these experiments.

本论文研究的主要目的，是采用最新的虚拟仪器技术，组建MPT实验测控系统，提高系统测控的准确度和可信度，并结合理论分析和实验验证，得出各测试环节及系统总体的不确定度。

Based on analysis of the fundamental principle of multifunctional control pump.

通过大量的理论分析和试验研究验证了文中所提出的各种调节和控制方案的可行性和有效性。

The sampling of complicated materials were investigated. The relationship between the composite sampling variance and the number of increments was studied. The quantitative equation for estimating the composite sampling errors directly from the physical and chemical parameters of the population with multinomial distribution theory was presented. Monte Carlo simulation technique was employed to verify the above theories.

对于复杂物质的取样，研究了分层性物质的组合取样误差与份样数目之间的关系；采用多项分布理论，提出了组合取样误差公式，建立了组合取样误差与被研究总体的理化参数(如组分含量、质量分数等)之间的定量关系，通过Monte Carlo模拟技术对此进行了验证。

Especially, we verify that copula method can obtain more practical VaR value than traditional model of multivariate normal distribution.

尤其是验证了借助连接函数理论，能够取得比传统的多元联合正态分布模型更符合实际的VaR数据。

Results confirmed that electricity factor has important significance in the development of myocardium.

课题结果验证了电学因素在心肌发育过程中具有重要意义的理论假设。

Accordingly, we propose a method of single shear deformation at the region of nappe structure with the mature theory of pull-apart structure region, and furthermore, the process is simulated by computer. So that we can offer an initial geometric model of faults, and take an auxiliary function on the reasonable seismic section interpretation.

鉴于此，利用较成熟的拉张构造区域的理论方法，自行提出了单剪变形的挤压构造反演方法来完善，并通过计算机模拟来实现，以此为正演平衡剖面计算，提供一个初始的断层几何模型，并为验证地震剖面解释的合理性提供辅助作用。

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

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

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

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