验证

The conclusion drawn from the contrast validates the correctness of the optimized results,and the feasibility of this algorithm to optimize the configuration parameter of the alnico.

仿真与实验对比优化前后电机的气隙磁密波形和反电势波形的结果，验证了优化结果的正确性，并验证了该多目标优化算法在磁钢结构参数优化中应用的可行性。

Aiming at the complexity of DSRC (Dedicated Short-Range Communication) protocol, the fuzziness and ambiguousness resulted from the natural language of the protocol, the protocol engineering method is adop ted to guarantee the integrality, correctness, security, portability and standardization of the protocol.

针对专用短程通信协议的复杂性以及协议本身由自然语言承载、存在模糊性和二义性的特点，采用协议工程方法来保证协议的完整性、正确性、安全性、可移植性和标准化，并采用SDL对DSRC协议进行形式化描述，在此基础上提出了DSRC协议验证的步骤和实现方法，并对所开发的协议SDL模型进行验证，结果表明了协议的逻辑正确性。

Design another set of specific primers, of which upstream and downstream primers were located in the two sides of the cleavage site respectively, to develop the one-step RT-PCR method for detecting H5 and H9 subtypes of AIV. Identify the sensitivity of the developed one-step RT-PCR method by detecting 2 AIV strains of H5 subtype and 3 AIV strains of H9 subtype, and the specificity by detecting the RNAs of NDV, IBV and IBDV as well as analogue detection using computer software.

根据H5、H9亚型HA基因序列，分别设计一套特异性引物，其上、下游引物分别位於裂解位点两侧，应用RT-PCR一步法检测AIV H5和H9亚型，并验证所建立方法的敏感性；通过检测NDV、IBV和IBDV等RNA病毒及电脑软件模拟检测，验证其特异性。

RESULTS The procedure of glucose injection used anhydrous glucose as material was found to have good stability and high quality.

为验证用无水葡萄糖生产葡萄糖注射液的工艺可行性，验证标准考察工艺。

With the combination of lighting, cooling and heating under daylighting, the study on the effect of the key characteristic parameters on total energy consumption is provided. The validation of the comparability of daylight distribution for building antetype and model is made through theoretical analysis and simulating calculation in the thesis. Due to the variable sky condition, daylighting factor is used for experimental validation instead of illuminance. The error analysis of several testing methods used in the experiment is conducted, followed by the experimental validation of the effect of WWR, sill and transmittance on daylighting factor distribution.

基于天空状态的多变性，提出用天然采光因数替代照度进行实验验证，对实验中的几种测试方法进行了误差分析，并通过实验验证了窗墙比、窗台高和透光率对天然采光因数分布的影响。4 为了更直观地分析各参数对照明节电的影响，提出了"特征点"、"特征线"和"特征距离"等概念；分析了天然采光下的照明节能状况，综合考虑照明、采暖和空调能耗，计算分析了几个主要特性参数对总能耗的影响。

Therefore, it breaks down the absolute privilege of the coordinator in the system, reducing its tension, and being able to notify the applier with the unique destination address.

验证工作是在跨地域、跨路由、多网段的吉林大学校园网络上进行的简单分布式应用实验，验证了理想状态下的代理、通信中间件以及协调者间的工作流程的合理性。在基于计算机工作的应用问题决策上，提出了一些新的想法。

The main researching includes the following:1、 In face detection, the method combining with local feature and apriority knowledge is adopted based on hypothesis-verification framework.

采用了基于局部特征和基于知识相结合的"假设—验证"人脸检测算法，前者用于生成人脸假设，后者用于人脸假设验证。

From the polarity of atomic proposition, a series of CTL formulae is derived by substituting the atomic proposition with TRUE or FALSE, before they are verified by model checking tools. If one of the CTL formulae has passed the verification, then it is concluded that the system property is a vacuity.

根据原子命题的极性，用TRUE 或FALSE替换原子命题，得到一系列的CTL公式，再对这些CTL公式用模型检验工具验证，若CTL公式中有一个通过了验证，则可得出该系统属性是一个空属性。

Furthermore, the new method can verify not only the non-repudiation of protocol in static state, but also atomicity in dynamic.

新方法不仅可以静态验证协议的不可否认性，而且可以动态验证协议的原子性。

If the authenticator can only be used once, your copy of it is no good, and you lose when you attempt to replay your ticket and authenticator.

如果验证器只能被用一次，你的拷贝就没用了，当你尝试重用票和验证器的拷贝时，你就会失败。

In the United States, chronic alcoholism and hepatitis C are the most common ones.

在美国，慢性酒精中毒，肝炎是最常见的。

If you have any questions, you can contact me anytime.

如果有任何问题，你可以随时联系我。