1.
Temporal Logic Property Verification for SystemC Designs
基于SystemC的时态逻辑属性验证方法研究
2.
Verification Method Based on Property Checking of SystemC Design
一种基于SystemC属性检查的验证方法
3.
Simulation Study on the Dry Friction Characteristics of Metallic Materials Based on Test
金属材料干摩擦特性仿真方法与试验验证
4.
Methods for material assignment of femoral neck finite element analysis and its valid confirmation
股骨颈有限元分析的赋材料属性方法探讨及有效性验证
5.
The custom authentication method selected must be initialized by pressing Properties.
必须按“属性”来初始化所选的自定义身份验证方法。
6.
The custom authentication method selected must be initialized by pressing Properties.\0
必须按“属性”来初始化所选的自定义身份验证方法。\0
7.
Authorization rule has an unrecognized attribute
身份验证规则具有无法识别的属性
8.
Through practical usage it is proved that this method is feasible.
经过验证试验,确立了方法的可行性。
9.
Compliance test procedures for steady-state availability
GB/T15647-1995稳态可用性验证试验方法
10.
The experiment result shows the effectiveness of the proposed method.
实验结果验证了该方法的有效性。
11.
Verification and Optimization of the Analytical Method of Heavy Metal in Sewage Sludge and Fly Ash by Means of FAAS
污泥与飞灰中重金属FAAS分析方法的验证与优化
12.
Judgement on Evidence Attribute --Enlightenment on comparative law and law methodology;
证据属性之判断——比较法与法学方法论的启示
13.
Test method for modulus of elasticity of thermostat metals
GB/T5986-1986热双金属弹性模量试验方法
14.
testing method for oils of corrosiveness in a bi-metal couple
石油产品双金属管式腐蚀性试验方法
15.
Metallic materials--Determination of bending mechanical properties
GB/T14452-1993金属弯曲力学性能试验方法
16.
Property indicating which hash algorithm to use when authenticating the message.
表示验证消息时要使用的散列算法的属性。
17.
The feasib ility of this method is proved by the results of experiments.
实验结果证明了此方法的可行性。
18.
Validity of the proposed methods is verified by laboratory test.
方法的实用性已通过实验室测试证实。