查询词典 verification

The appropriate use of RP additive models in conjunction with injection mold toolmaking has a positive impact on communication and verification, styling and ergonomics, and fit and functional issues.

添加剂成功的促进了注射模的设计和制造作者：RICK TWEDDELL 摘要：正确使用添加剂模型与注模工具制造有着正面的冲击，通讯和核查，造型和人体工程，装配和功能问题。

Additive Fabrication Facilitates Successful Injection Mold Design and Build,By Rick Tweddell,Abstract:The appropriate use of RP additive models in conjunction with injection mold toolmaking has a positive impact on communication and verification, styling and ergonomics, and fit and functional issues.

添加剂成功的促进了注射模的设计和制造作者：RICK TWEDDELL 摘要：正确使用添加剂模型与注模工具制造有着正面的冲击，通讯和核查，造型和人体工程，装配和功能问题。

The verification of the evaluation model shows that the model has a high accuracy, with a total error of only 0.037. S0 it can be applied in the safety evaluation in coal mines.

通过对模型的验证分析，表明该模型具有较高的精度，总误差仅为0.037，可以将其应用到现场安全评价中。

The trade creditors cycle method is a means of identifying creditors for verification.

交易信贷周期方法是一个认定及验证信贷的方法。

In order to improve the crashworthiness of tramcar and LRV, the crashworthy structure of car-body is developed, and the verification by test is made.

为提高有轨电车和轻轨车辆的防碰撞性，研制了防碰撞的车体结构，并进行了试验验证。

Also, the wide current range allows verification of high current transconductance amplifiers.

此外，全电流范围允许核查高电流跨导放大器。

By experimental verification,it is feasible and fairly efficient to generate model transformation rules automatically based on this algorithm.

经过实验验证，基于该算法的模型转换规则自动生成方法是行之有效的。

Based on this,temporal logic formula is used to express the properties that the data flow must satisfy,before the verification,an algorithm transforming the UML Statecharts model into reachable state transition graph is given,finally the correctness of the data flow is verified by model checking technique.

在此基础上，使用时序逻辑公式表示数据流所需满足的性质，在验证数据流的正确性之前，给出了将它的UML Statechart图模型转化为可达状态迁移图的算法，最后通过模型检测算法验证数据流的正确性。

Then, temporal logic formula is used to express the property requirements the data flow must meet before the verification, an algorithm transforming the UML Statecharts model into reachable state transition graph is presented.

然后，采用时序逻辑公式表示数据流所需满足的性质，同时给出了将UML Statechart图模型转化为可达状态迁移图的算法，最后通过模型检测算法验证数据流的正确性。

Price : Mode of payment : irrevocable pay ordervia SWIFT or by irrevocable conditional money transfer MT 103 SWIFT, within five bank working days after reception of signed contract and receipt of the per advice payment to be released into applicant's account within five working days banking day after receipt, verification and authentication of the contracted delivery of each and every trenched SBLC.

价格：付款方式：不可撤销支付令通过SWIFT或不可改变有条件汇钱MT103系统迅速，在五个银行工作日内接收签订的合同和收据的，每发放意见被释放到申请人的户口在五个工作日内银行当日收到后，核查和认证的合同规定的交付每个槽式储能产生高射频峰值。这么多字'''汗

I'm not an actor. I'm a professor of paleontology.

我不是演员，我是古生物学教授

Spider Network Web site that is a very image of the name.

网络蜘蛛即Web Spider，是一个非常形象的名字。