验证

In the design process, verification was applied in every stage. This method can heavily increase the reliability of the design.Keywords: XOR gate; all digital phase-locked loop; Verilog HDL.

在设计过程中采用了边设计边验证的设计与验证相结合的设计流程，大大提高了设计的可靠性。

The number of differentially expressed genes was 71 at 24h, and 62 at 72h. The metabolisic gene class was the majority among all the differentially expressed genes, and the next was transportational、differentiation and adhesional gene class by turns.1.2. RT-PCR verification of the known HIF-1 targeted genes and proliferation related genesIn the 131 differentially expressed genes, we found 7 known HIF-1 targed genes (ldha、aldoa、eno1、gapdh、tpi1、pgk1、bnip3) and 5 genes (dnaja2、ccnb1、tgfβ2、ccng1、rgs7) which were related to proliferation and cell cycle.

对差异表达的基因进行基因功能分类发现：代谢类基因最多，其次是运输类基因、细胞分化及黏附类基因。1.2 RT-PCR验证HIF-1靶基因和增殖相关的基因由于我们的前期实验证明了低氧促NSC增殖是有HIF-1参与的，我们对131个差异表达基因中，7个已知的HIF-1靶基因(ldha、aldoa、eno1、gapdh、tpi1、pgk1、bnip3)和5个与细胞周期和增殖相关的基因(dnaja2、ccnb1、tgfβ2、ccng1、rgs7)做RT-PCR验证。

And we got the combined standard uncertainty and expand uncertainty by synthesis. It is verified that the system has achieved its expectant goal by adopting antitheses to test the static measurement and dynamic measurement of the system.

并采用比较法对静态测量和动态测量进行了实验验证，验证结果表明，动态接触电阻测量系统的指标达到了预期研究目标，能满足使用要求。

Finally, two components mixture of caprylic acid and lauryl alcohol was used to attestate the validity of the process model. The model was also used in the simulation of the paroxetine free base and PB, compared with experimental outcome, analyzed the relatively error between experiments and simulations to further check the rationality of the model, which is beneficial to establish a more perfect model in the future.

应用正辛酸-十二烷醇对模型进行验证，并应用此模型模拟计算了帕罗西汀碱和胡椒基丁醚的分离过程，进一步验证了此模型的合理性，分析了产生实验值与模拟值相对误差的原因，为进一步完善刮膜式分子蒸馏过程模型奠定了基础。

Because the data categoricalness rules of architecture products are embodied in theCADM described by IDEF1X, the data categoricalness rules are directly established according to the relationship, which is described by the IDEF1X, among the data entity of CADM described by the IDEF1X. Then every item of data which is in the form of CADM criterion and stored in the database is checked according to the categoricalness rules, so that the data categoricalness of C~4ISR system architecture is executed.3. The verification methods of system accessibility based on CADM are studied.

2研究了基于CADM的数据完备性验证方法由于体系结构产品中数据元素的完备性规则已经完全表现在用IDEF1X描述的CADM模型中，所以论文根据IDEF1X对CADM数据实体之间关系的描述，直接建立了数据元素的完备性规则，然后根据完备性规则对以CADM规范存放在数据库中的每条数据进行检查，以此对C~4ISR系统体系结构数据进行完备性验证。

After giving out more than 600 questionnaires, we got a four-factor structure of psychological ownership toward organization by exploratory factor analysis and we tested the structure by confirmative factor analysis.

发放正式问卷共600多份，运用探索性因素分析得到我国企业员工组织心理所有权四维结构模型；运用验证性因素分析对模型进行验证。

Objective To evaluate the protective effect of the classic antioxydant VitC on crystallin in vitro and to establish a set of criterion used in design, test and screen of anticataractous drugs.

目的通过抗氧化离体实验，用经典的抗氧化剂维生素C，验证抗氧化剂对晶状体蛋白的抗氧化保护作用，并建立体外设计、验证和筛选药物对晶状体抗氧化保护作用的评定指标。

The cylindricity error separation and reconstruction method proposed in this paper was systematically verified.

利用自律验证法对本文提出的圆柱度误差分离及重构方法系统地进行了实验验证。

And the frontal technique is adapted to solve the FE equations. The techniques are studied to deal with the large slip frictional contactproblems between a deflectable body with large deformation and a rigid bodywith flat or curved surface. A new algorithm is presented to resolve such contactproblems, including incremental displacement constraints and force constraints,and the modules are programmed. The performances of tire under static load invertical loading state and camber state are analyzed by this method. And theexperiments were carried out at the same condition as used in analysis process.

研究了大变形柔性体与具有平面及曲面外形刚性体之间的大滑动摩擦接触问题，提出了求解这类接触问题的位移增量约束和主动力增量约束处理方法；编制了大变形柔性体与具有平面及曲面外形刚性体之间的大滑动摩擦接触问题求解模块；利用本文提出的大滑移接触问题处理方法，分析了轮胎在径向静载和静态外倾加载条件下受力和变形，并对部分分析结果进行了试验验证，验证结果表明，本文提出的位移增量约束和主动力增量约束处理接触问题的方法是正确可靠的，而且具有精度高、收敛性好、收敛速度快的优点。

ABSTRACT with Huangdi's Internal Classic and a great deal of clinic verification,indorctrinate for foundation,combine the nerve,the meridian electromagnetism field and the quantum physics to the new detection that realizes a function of thought outside body, argument The main mechanism of the method of reinforcing-reduucing in Huangdi's Internal is to promoting-reduucing Qi with doctor's thought,the very few entwist and turn;Discover new the method of reinforcing-reduucing mechanism, to many repaired basic standpoints of the reinforcing-reduucing to all do all new hermeneutic combine in the clinic and can verify, and unify to named after"acupuncture of promoting Qi with thought ".

以《内经》及大量的临床验证为基础，结合神经、经络电磁场及量子物理学对意识在体外作用的新发现，论证了《内经》针刺补泻的主要动力是医者的以意行气，极少捻转；对许多补泻基本观点做了全新的解释并在临床中得以验证，发现了新的针刺机理，并统一命名为&意气针灸疗法&。

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

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

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

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