查询词典 verification

Furthermore, we solve the user equilibrium problem by gradient projection method to obtain some additional path-based information. Since true OD trip demands are unknown, we conduct OD demand estimation and OD demand covering rate verification by the least square estimator.

在求解使用者均衡之交通量指派问题上，透过梯度投影法(Gradient projection， GP)求解，并获得以路径为基础的相关资讯；在流量倒推旅次起迄量的课题上，由於真实OD量未知，故使用基本的最小平方估计量，进行旅次起迄需求涵盖量的推估与检验。

After the NDL verification of the two key problems in Payment process of SET,this paper gives the Prolog program process of them.

在对SET付费业务流程中的两个关键性问题用NDL逻辑进行验证后，给出了它们的Prolog程序流程。

Finally, this article presents the experimental results of signature verification based on EC, and analyzes these results, points out the proper value of various parameters in program. At the end of this paper, we calculate the FAR and FRR of this scheme.

文章的最后给出了基于演化计算的签名验证方案的实验结果，并且对实验结果进行了分析，给出了方案中各个参数的恰当的取值，并计算出了该方案的误纳率和误拒率。

PM records provide the informaiton about provenience, context, custody history, technical environment, render approach, rights of digital object, helping content verification, and surport the information be needed in preservation strategy execution process.

一保存性诠释资料可提供数位物件之来源资讯、脉络资讯、管理资讯、技术环境资讯、解译资讯、权利资讯、协助内容验证及保存策略执行过程中所需的资讯。

The paper declaration form for import goods is submitted in quintuplicate, consisting of a page for customs operation, a page for the customs to keep, a page for the enterprise to keep, a page for customs verification and writing off, and a page certification respectively.

进口货物纸质报关单一式五联：海关作业联、海关留存联、企业留存联、海关核销联、证明联。出口货物纸质报关单一式六联：海关作业联、海关留存联、企业留存联、海关核销联、证明联、证明联。

The paper declaration form for import goods is submitted in quintuplicate, consisting of a page for customs operation, a page for the customs to keep, a page for the enterprise to keep, a page for customs verification and writing-off, and a page certification respectively.

进口货物纸质报关单一式五联：海关作业联、海关留存联、企业留存联、海关核销联、证明联。

In 2001, the central government replaced the quota system on IPO by the verification and approval system.

在2001年，中央政府以审批和许可制度替换了首次公开招股的定额制度。

To address this feasibility problem, the nonvolatile memory was used as the main memory and part of the RAM as the cache, and a modified verification algorithm with cache policy was proposed. The analysis proved that this algorithm features strong transportability and feasibility.

采用非易失性存储器作为主存， RAM中的一部分空间作为缓存器，并且给出一种相应的Cache调度策略算法，尝试实现一种在卡上的Java卡的字节码校验算法，并且证明了该算法具有较好的可移植性和实现性。

Randal Bryant, CMU professor, for his seminal technological breakthroughs in the area of formal verification.

卡耐基梅隆教授，由于他在形式验证方面的奠基性贡献。

Verification methods evaluated the PCA over the full range of production variation and operating conditions?

针对生产的全程变异范围及操作状况﹐对永久矫正措施进行确认

In the chapter 2, the theoretic knowledge about the photosensitive resin and the grinding tools was firstly introduced.

第二章阐述了光固化树脂结合剂磨具的相关理论研究。

Do not use the program's indenting or margin-setting features; these will be added during typesetting.

不要使用缩排，页面边缘设置之类的选项，偶看不大懂。