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.

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

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

Research on Application of Parallel PCG Algorithm in Electrical Surveying

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

Theoretical explanation for PCG method and its application in structural analysis

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

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

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

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模型产生的交通流中存在着混沌现象。

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

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

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

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

Reliability Analysis on OVM Anchoring System

OVM锚固体系的可靠性分析

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

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

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

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

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）及其驱动力。

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%。

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来控制蛋黄胆固醇的含量。

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.

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

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

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

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

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

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

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

Amplification, cloning and identification of an OVR gene fragment

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

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

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

Analysis of PCN Calculation Method for Composite Runway Pavement of Airport

机场复合道面PCN计算方法分析