验证理论

This paper,descripes a solar energy col lector two-phase flow model which was developed using the equilibrium homogenou s theory.

利用平衡均相理论建立了太阳能集热器两相流模型，用四阶Runge-Kutta方法对其求解，实验验证了其可靠性。

The probability limit theorem is used to design a kind of Monte Carlo method of dual integral.

利用概率极限定理思想，设计二重积分的蒙特卡罗算法，通过方差分析，选择适当的随机数，得到了理论意义下的方差最小算法，用实际算例验证了该方法的优良性。

Based on the iteration theories of linear equations, the convergence property of CA-CMAC in incremental learning was analyzed.

然后提出了信任度矩阵和信任度关联矩阵的概念，并根据线性方程组迭代理论，证明了改进算法在增量学习时的收敛性，给出了收敛条件并进行了验证。

Credit matrix and credit correlation matrix were presented. Based on the iteration theories of linear equations, the convergence property of CA-CMAC in incremental learning was analyzed.

然后提出了信任度矩阵和信任度关联矩阵的概念，并根据线性方程组迭代理论，证明了改进算法在增量学习时的收敛性，给出了收敛条件并进行了验证。

By using the linear fraction transformation method, the compared measurements are made, which verify the validity of the theoretical results.

文中应用分式线性变换检测法进行了对比测试，验证了理论分析结果的正确性。

Based on analysis and certification of a large number of measured data of different channels and different discharges, it is shown that weather theoretical form or measureds results of lateral velocity distribution are consistent with the laws of logarithmic distribution.

大量不同梯拱形渠道、不同流量的流速实测数据分析和验证表明，理论与实测流速横向分布都符合对数分布规律，利用多变量回归分析，确定了流速横向分布系数a、b值。

Meanwhile,by means of rate equations of the SOA,the logic AND gate was simulated and analyzed.

以半导体光放大器速率方程为基础，对设计方案进行了理论分析和仿真验证，取得了不同重复周期、不同脉冲宽度的光脉冲序列经过全光逻辑与门操作后的输出数据。

The formal description technology based on LOTOS, the formal transformation, the formal validation and implemenation are generalized. Constructions of communication service and communication protocol, transformation from service specification into protocol specification based on bisimulation equivalence are also stated in detail. Application of LOTOS specification styles and architecture concept in service and protocol design is studied as an emphasis.

归纳总结了基于LOTOS的形式化描述方法、形式化的转换、验证和实现等方法理论，以及通信服务和协议的构造方法及服务规范到协议规范的等效性转换方法，重点研究了规范风格和结构概念在服务和协议设计中的应用。

Secondly, the quality loss model of the quality control, quality problem tracing back and the quality improvement is constructed, which minimizes the quality loss in quality control system. The quality loss model combined with Duncan model and Taguchi quality loss model is studied, the control parameters such as the upper control limit and the lower control limit are computed for the quality control in manufacturing. The Taguchi quality loss model is improved with the fuzzy theory, and the validity of the quality loss model is validated by the instance of the principal axis quality control.

2构建了产品质量控制、质量问题追踪和质量改进的质量损失模型，使质量控制系统运行过程中质量损失最小；研究了由Duncan模型和田口质量损失模型相结合的质量损失分析模型，为过程质量控制提供了上下控制限等参数，利用模糊理论对田口质量损失模型进行了改进，并通过主轴质量控制实例验证了质量控制损失模型的有效性。

According to the measurement, verify the theoretical property of each station, Mach number and turbine engine efficiency.

在引擎量测方面，根据分析计算的站位结果比照实体站位所量测的数据，验证引擎理论分析架构及各站位估计的组件工作效率。

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

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

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

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