This paper presents automatic verification techniques for railway systems.
研究铁路系统的自动验证技术。
Thus, the automatic verification has become a pressing demand of enterprises.
自动化的温度检定方式已成为工业生产企业的迫切需求。
Automatic verification of hyponymy relations is a basic problem in knowledge acquisition from text.
上下位关系的自动验证是知识获取中的一个关键问题。
Then it is in great need of the formal technique of automatic verification to solve these problems.
因此，系统需要一种能较好解决这些问题的自动规范验证技术。
Model checking is one of the most successful automatic verification techniques in the past thirty years.
形式化方法中的模型检测技术是近三十年来最为成功的自动验证技术之一。
And introduces a new solution which using component to establish digital oscilloscope automatic verification system.
并介绍了采用构件技术建立数字示波器自动检定系统的全新解决方案。
This paper presents an automatic verification method for possible software defects based on finite backtracking symbolic execution.
本文提出一种基于有限回溯符号执行的软件疑似缺陷自动验证方法。
The working principle and operating method of a newly developed automatic verification tester for SF6 density relay was introduced.
介绍了最新研制的一种SF6密度继电器自动校验仪的工作原理及使用方法。
The paper presents a modular design based on object-oriented technology for extensible digital oscilloscope automatic verification system.
本文讨论应用面向对象技术实现可扩展数字示波器自动检定系统的模块化设计。
Thus we are able to have a finite representation of round number, and then make (fully) automatic verification of these algorithms possible.
这样就可以把算法的状态空间表示为有限的，从而使这类算法的自动化验证成为可能。
This enables viewing, editing, debugging and automatic verification of messages sent to the server and the AMF response returning from the server.
这使用户可以查看、编辑、调试和自动检验发到服务器的消息以及从服务器返回的AMF响应。
To combine the verification with system design, a prototype of automatic verification tool for UML sequence diagrams has been designed and developed.
我们将验证工作与系统设计结合起来，设计和开发了针对UML顺序图的自动验证工具原型。
Design of automatic verification apparatus of dial gauges and the reading method of the pointer indicating values in the verification process is introduced.
介绍了一种基于计算机图像识别技术实现的指示表全自动检定仪的设计方法，着重介绍了检定过程中的指针示值自动判读方法。
On the ground of deduction, the paper chose a more serials of public key authentication protocols to use the tool SPV for automatic verification, and got expected results.
在进行公理推导的基础上，本文还利用工具SPV对更多的公钥认证协议进行了自动化验证，与协议推导取得了一致的验证结果。
Among the solutions to the analysis and verification of such systems, model checking is one of the most successful automatic verification techniques in the past two decades.
在诸多的系统分析和验证方法中，模型检测技术是近二十年来最成功的自动验证技术之一。
In particular, the specification of the semantics (or meaning) of the UML modeling concepts remained inadequate for such MDD-oriented activities as automatic code generation or formal verification.
特别是，UML建模概念的语义(或含义)的规范，对这些作为自动代码生成或正式确认的基于MDD的活动仍旧是不适当的。
The differences between automatic signature verification and manual one are feature selecting and the way of judging.
在特征的选择上，人工笔迹鉴定注重局部特征，而自动签名验证多用全局特征。
Model Checking is a formal verification technology for finite-state system, which is famous for its concise and highly automatic.
模型检验是一种针对有限状态系统的形式化验证技术，以其简洁明了和自动化程度高而引人注目。
The application of 5E-MAC type automatic analyzer in analyzing ash and volatile compound of cleaned coal, the verification for its reproducibility and accuracy were introduced.
介绍了5E-MAC全自动分析仪在焦化厂分析洗精煤灰分、挥发分上的应用，以及其重现性、准确度验证。
Finally USES FPGA platform for BIST functions and timing verification, and through design compiler, static timing analysis, automatic placing and routing to achieve a BIST system layout.
最后利用FPGA平台实现了BIST的功能和时序验证，并通过综合、静态时序分析、自动布局布线实现了BIST系统的版图设计。
Weighing instrument verification usually adopts direct plus weight method, it needs certain unconventional methods in the dynamic verification of some automatic weighing instrument.
衡器检定通常是采用直接加砝码法，但一些自动衡器的动态检定中需要采取某些非常规的方法。
Automatic signature verification about Chinese character is to draw a conclusion if this Chinese character is written by a person specially.
汉字签名鉴别是通过对手写人的笔迹进行分析从而得出签名是否由某特定人书写的结论。
This thesis is mainly about the study and design of the Automatic fingerprint verification system applying for one to one match, including the key algorithm.
论文主要对应用于“一对一匹配”的指纹认证系统的设计及其关键算法的实现进行了研究。
An accurate automatic personal verification is critical in a wide range of application domains such as national ID card, electronic commerce, and automated banking.
高可靠性的个人身份验证系统在身份证管理、电子商务、自动银行等众多领域有着广阔的应用前景。
Detection of the products exceeded the scope of traditional verification, automatic detection devices become the mainstream of detection products.
该类产品的检测突破了传统的计量检定范围，自动检测装置成为检测产品的主流。
In order to improve reading method and upgrade intelligence, a design! of automatic reading system for verification of liquid-in-glass is introduced in this paper.
为改进原检定过程的人工读数方法和提升智能化程度，介绍了玻璃液体温度计自动读数系统的研制方法，讨论了计算机图像处理技术的应用、检定结果的计算。
The method of write-off after verification after a resident individual has come back into the territory to re-purchase foreign exchanges shall be automatic write-off.
居民个人返回境内后补购外汇的核销方式为系统自动核销。
Through the verification of experiment, the tire bubble automatic detection algorithm is effective, it can find the location and size of tire bubbles, and it has accurate judgement.
经实验证明，本文提出的轮胎气泡的自动检测算法是有效的，它可以寻找出气泡的位置及大小，给出较为准确的判断。
Through the verification of experiment, the tire bubble automatic detection algorithm is effective, it can find the location and size of tire bubbles, and it has accurate judgement.
经实验证明，本文提出的轮胎气泡的自动检测算法是有效的，它可以寻找出气泡的位置及大小，给出较为准确的判断。
应用推荐