研究铁路系统的自动验证技术。
This paper presents automatic verification techniques for railway systems.
形式化方法中的模型检测技术是近三十年来最为成功的自动验证技术之一。
Model checking is one of the most successful automatic verification techniques in the past thirty years.
在诸多的系统分析和验证方法中，模型检测技术是近二十年来最成功的自动验证技术之一。
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.
对于垃圾邮件的过滤，有一种主动性相当强的技术，我想称之为“白名单加自动验证”方法。
A fairly aggressive technique for spam filtering is what I would call the "whitelist plus automated verification" approach.
它演示了自动化技术、TAL和自动化定理证明，从而验证了操作系统中和运行时复杂的低级代码的安全性。
Demonstration of automated techniques, TAL and automated theorem proving, to verify the safety of the complex low-level code in the operating system and run-time.
除了促进销售，计算机视觉技术同样也可以用在阻止销售方面，最近在日本，通过自动贩卖机销售香烟，如不验证购买对象是否年满20周岁，将被视为非法。
Computer vision can prevent sales, too.In Japan it recently became illegal to sell tobacco from vending machines without verifying that customers are at least 20 years old.
除了促进销售，计算机视觉技术同样也可以用在阻止销售方面，最近在日本，通过自动贩卖机销售香烟，如不验证购买对象是否年满20周岁，将被视为非法。
Computer vision can prevent sales, too. In Japan it recently became illegal to sell tobacco from vending machines without verifying that customers are at least 20 years old.
传统的验证方式有这样的问题：如果我们在业务需求和技术自动化之间转化时丢失了某些信息，那么我们就冒着引入问题的危险。
Traditional validation - we risk introducing problems if things get lost in translation between the business specification and technical automation.
因此，系统需要一种能较好解决这些问题的自动规范验证技术。
Then it is in great need of the formal technique of automatic verification to solve these problems.
模型检验是一种针对有限状态系统的形式化验证技术，以其简洁明了和自动化程度高而引人注目。
Model Checking is a formal verification technology for finite-state system, which is famous for its concise and highly automatic.
试验证明了该行走系统及皮带自动张紧装置中运用的液压自动控制技术的合理性及正确性。
Experiments have demonstrated the rationality and correctness of the hydraulic automatic control technique applied to travel system and belt automatic tensioning device.
使用JMP的验证和刻画器技术对基于同一基础模型的多元响应进行自动拟合。
Use JMP for automated fitting of multiple responses from a common base model using validation, with joint profiling.
在有关自动化的一份最新报告中，麦肯锡(McKinsey)估计，在人们从事的所有工作中，有一半可以通过已得到验证的技术被自动化。
In a new report on automation this week, McKinsey estimates that half of all the tasks people perform at work could be automated using technologies that have already been proven.
然而，现有的自动测试技术大多是针对测试执行、结果捕获与分析、结果验证和报告等方面的，针对测试用例自动生成的还很少。
The technique of automatic testing is mainly for test carrying out, result catching and analyzing, result validating and reporting, and is lack for test generation.
最后实现了自动生成字幕的唱词精确定位系统，进一步验证了本文提出技术的可行性。
At last we implement the caption location system which automatically generates the subtitles for videos.
最后实现了自动生成字幕的唱词精确定位系统，进一步验证了本文提出技术的可行性。
At last we implement the caption location system which automatically generates the subtitles for videos.
应用推荐