验证

A widely used method for checking real-time systems is,according to the real-time property to be checked,to use a proper bi-simulation equivalence relation to convert the infinite-timed state space to a finite equivalence class space.

一个被广泛用于验证实时系统的方法是根据被验证的实时性质，使用适当的双向模拟等价关系使无限的状态空间转化为有限的状态等价类空间。

Equivalence checking is one of the methods to do verification.

等价验证是电路验证采取的主要方法之一。

Firstly, the characteristics of CAN bus are analyzed and it's reliability、expeditiousness and flexibility are tested. A communication network of substation automation system constructed on CAN bus is presented and confirmed. Secondly, the dissertation discusses the main structure of substation automation system, as well as the content and request of substation digital communication. According to this, it gives the project of constructing the substation CAN communication network and the communication protocol. And according to different requests of power system, it makes research and tests of the calculation of the communication parameters in the network. Communication manager is the key to communication network based on CAN bus.

论文首先分析了CAN总线的特性，对其可靠性、实时性、灵活性进行了实践验证，确定了用CAN总线来构建变电站综合自动化系统数据通信网络的可行性，并在对变电站综合自动化系统的结构及数据通信的内容和要求做了研究和分析的基础上提出了基于CAN总线的变电站综合自动化数据通信网络的构建方案，编制了相应的基于CAN总线的变电站综合自动化系统通信协议，同时针对电力系统的不同要求，对CAN总线通信网络中通信参数的计算进行了研究和验证。

The verification methods of reliability index under exponential distribution and maintainability index under logarithm normal distribution have been deduced.

推导出了指数分布下可靠性指标的验证方法和对数正态分布下维修性指标的验证方法。

The expression of angle error is more concise. The accumulation of calculation error is reduced. The virtual prototype technology is used to validate the degree of influence.

并利用基于ADAMS的虚拟样机技术对曲柄摇杆机构中B铰链存在的4种单因素误差产生的影响度进行了实验验证，由实验结果分析验证了理论分析的正确性。

The interior sound pressure levels and exterior sound pressure levels of the complex box structure excited by an exterior point load are measured, and a good agreement between the theoretical results and the test results shows that the theoretical method and corresponding results are correct.

通过对几种具有理论解的结构辐射声场的分析，验证了本文理论的正确性，研究表明本文方法具有很高的精度；同时对复杂箱形结构进行了实验验证，在实验室条件下测量了复杂箱形结构在外部点载荷激励下的内、外部辐射声压级，与理论预估值比较表明，二者具有良好的一致性，进一步证实本文所建立的理论预估方法是有效的。

This experiment on the fermentation of multiple water samples for coliform determination of three phases: the beginning of the fermentation test, flat panel to verify the separation and recovery fermentation, fermentation of the final restoration coliform test there exist, then in accordance with the beginning of the fermentation tube tests positive the greatest possible number of investigations the number of coliforms coliform report the number of keys.

本实验中阐述的多管发酵法对水样中大肠菌群的测定包括三个阶段：初发酵试验，平板分离和复发酵验证，经最后复发酵试验验证实有大肠菌群存在后，再根据初发酵试验的阳性管数查大肠菌群最大可能数检索表报告大肠菌群数。

At the same time,because of the proving of the model,the result indicates that the forewarning model is reasonable and practical,and such the calculation result of the model could be the direction for the practice by no means.

同时，通过对预警模型的验证，进一步验证了模型的科学性和实用性，表明本模型的结果对指导实践具有重要意义。

The multiple alignment and phylogenetic analysis demonstrated that each genewas a member of a multigene family. 3. The function of 3GT gene was confirmed by Agrobacterium-mediatedtransformation of arabidopsis thaliana. Arabidopsis thaliana was transformed by floral dip method with AgrobacteriumGV3101 carrying expression vector pG3GT. Four transformants were selected for theirgrowth ability on 1/2MS medium containing 50mg/L kanamycin.

马铃薯野生种3GT基因的功能验证为了验证马铃薯野生种3GT基因的功能，构建带CaMV 35S启动子的表达载体pG3GT，转化农杆菌GV3101，用茵液浸泡花序法对拟南芥进行遗传转化，在含50mg／LKan的1／2MS培养基上筛选，得到4个抗性幼苗，转化率为0.13％，对移栽成活的3株进行PCR检测为阳性，Southern blot分析2株表现为阳性并为单拷贝整合。

The validation and application of agriculture science and technology park planning theoryAuthor selected four cases to validate and applicate the theory, which are Peking Jinxiudadi agriculture park, Zhuhai agriculture science and technology park, Tianjin ji country fruit-vegetable park, Jiangshu Wuxi zoology farm, and separately concluded and summarized.

农业科技园区规划的理论的验证与应用选取北京锦绣大地农业园区、珠海农业科技园、天津蓟县果蔬生产基地、江苏无锡生态农庄四个案例进行理论验证与应用，分别归纳总结。

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

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

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

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