Discussed OVF's role in the life cycle of the common virtual appliance.

1、

Improving on OVL assertions and CTL properties, three kinds of properties are defined and verified, and the experimental results demonstrate the scheme improves the verification efficiency and scale.

通过对OVL语言和CTL描述进行改进，针对模拟验证、CDFG图匹配、模型检测3种方法设计相应的性质，实验结果表明这种分治验证策略有助于提高系统验证的效率和规模。

互联网摘选

2、

The application of higher-order statistics to analyzing PCG signal is studied.

对高阶统计量方法应用于心音信号分析进行了研究。

互联网摘选

3、

Research on Application of Parallel PCG Algorithm in Electrical Surveying

并行PCG算法在电法勘探中的应用研究

互联网摘选

4、

Theoretical explanation for PCG method and its application in structural analysis

PCG法的理论解释及在结构分析中的应用

互联网摘选

5、

Some arrhythmia problems could be diagnosed and clinical PCG could be diagnosed whether it is normal.

可以辅助诊断部分心律失常问题，判定临床心音图是否正常。

互联网摘选

6、

The changing processes and the Lyapunov exponents is calculated by the small data set method, the result shows that the chaos exactly exist in the traffic flow of OVM.

通过分析这种车头间距变化过程的变化曲线并利用小数据量方法计算Lyapunov指数，证明了基于OVM模型产生的交通流中存在着混沌现象。

互联网摘选

7、

The traffic flow is generated by OVM using the simulation software programmed in matlab and C~ (++) language.

用Matlab结合C++语言编写OVM模型的仿真程序来产生交通流时间序列。

互联网摘选

8、

Application of OVM High Anti-corrosion and Compression Dispersive Rock-anchor Cable

OVM高防腐压力分散型锚索的工程应用

互联网摘选

9、

Reliability Analysis on OVM Anchoring System

OVM锚固体系的可靠性分析

互联网摘选

10、

The chaos in traffic flow based on the Optimal Velocity Model ( OVM) is studied.

研究基于OVM模型的交通流混沌问题。

互联网摘选

11、

Realizing Class-Based High Efficiency Simulation& Verification Environment with OVM

利用OVM实现基于Class的高效仿真验证环境

互联网摘选

12、

In order to study land use and cover change ( LUCC) and their driving forces in Qiemo Oasis in Xinjiang dry region, authors did the field investigation by using remote sensing of JERS-1 OVN data ( 1993) and LANDSAT-7 ETM+ data ( 1999).

利用1993年JERS-1OVN及1999年LANDSAT-7ETM+遥感资料，并结合实地调查，研究了新疆且末绿洲土地利用变化（LUCC）及其驱动力。

互联网摘选

13、

It was shown that many assisting-catalysts could improve the selectivity of the reaction, among which OVN was of the best, producing a product purity of> 99%, and a yield of> 95%.

结果表明，多种助催化剂均可提高催化加氢反应的选择性，其中以OVN效果最好，制得产品质量分数大于99%，收率可达95%。

互联网摘选

14、

The content of egg yolk cholesterol depends on the amount of VLDL transported into oocyte. It is hopeful to control the content of egg cholesterol by modifying OVR.

它所内吞的VLDL的数量是蛋黄胆固醇含量的决定因素，因此期望通过调控OVR来控制蛋黄胆固醇的含量。

互联网摘选

15、

To attain the most flexibility in multinational consulting, my long-term goal is to take ovr my father's business and expand it to offer more services.

为了尽可能发挥我的跨国咨询专长，我的长期目标是接管父亲的公司并扩大其业务。

互联网摘选

16、

Studies on PCR-SSCP and PCR-RF-SSCP in a Fragment of OVR Gene

鸡OVR基因片段的FCR-SSCP和PCR-RF-SSCP研究

互联网摘选

17、

All modules share the common OVR loop, which provides references for all the ICR loops.

各模块公用输出电压环，其输出作为电流环给定信号。

互联网摘选

18、

Mutant strain hens lacking functional OVR are sterile and display severe hyperlipidemia.

OVR发生突变的蛋鸡，不能繁殖，并且具有严重的高脂血症。

互联网摘选

19、

Amplification, cloning and identification of an OVR gene fragment

鸡OVR基因的一个片段PCR扩增克隆与鉴定

互联网摘选

20、

The successful amplification of this fragment provides an important basis to study further polymorphism of OVR gene.

这一结果为进一步研究OVR基因的多态性打下了基础。

互联网摘选