veri

Angle . Selection of Effective parts in Fructus Illicii Veri

角茴香有效部位的筛选

Growth patterns of discrete segregating ice were veri - fied by using back analysis of the controlled tests .

采用受控试验的反演分析验证了不连续分凝冰的发育模式。

The whole veri - fication process is automatic alter a verifier does simple operation on the keyboard .

并设计有自动关机，保护和报警功能。在检定人员进行简单的键盘操作后，整个检定过程实现了全自动化。

It has been veri - fied that plastic potential function is equal to yield function and flow law is the associated flow rule .

经过验证，塑性势函数等于屈服函数，流动规律为相适应的流动法则。

Objective To select the effective parts in Fructus Illcii Veri on protecting liver , releasing pain and anti-inflammation .

目的筛选角茴香发挥保肝、镇痛、抗炎作用的有效部位。

The correctness of refinement can be verified by the tool XYZ / VERI based on Hoare logic ruls and verifying methods of temporal logic .

一致性的验证可以借助于基于Hoare逻辑规则的验证工具XYZ/VERI以及XYZ/E作为时序逻辑语言所具有的对一些程序性质的证明方法。

Through the results of simulation and experimentation , validates the validity of the algorithm and the availability of the micro integrated navigation system on Outdoor Monitoring Robot is veri - fied . These work laid the foundation for Outdoor Monitoring Robot achieving autonomous navigation in unknown environment .

通过仿真实验和跑车实验，验证了本文所研究算法的有效性和所设计的室外监控机器人微小型组合导航系统的可用性，为室外监控机器人在未知环境中实现自主导航功能奠定了基础。