自动测试

In order to introduce the formal techniques such as stepwise refinement, automatic transformation and testing based on formal specification to the multimedia field, we first present a powerful subset of Allen's interval algebra as the temporal specification language to multimedia program.

为了在多媒体领域中应用逐步求精、程序自动生成和面向形式规范的并发系统测试等形式化技术，本文首先研究一个表达能力足够的Allen区间代数的子集合，以它作为多媒体对象时序关系的描述语言。

Using computer to measure keyboard entry speed essence automatically prevents the personal interference of the judge. This objective index provides new theory fundamentals and measurement software for the judgment of the Chinese-Character keyboard entry.

对速度素质的计算机自动测定摆脱了由操作员作竞赛性测定人为素质的干扰，为汉字键盘输入评测提出新的理论依据和提供了测试软件。

An economic and efficient test method for vehicle anti lock brake system is developed using real time simulation system.

为了给汽车自动防抱死系统的研究提供一种在实验室环境下经济高效的测试手段，介绍了一种自行开发的汽车 ABS液压混合仿真试验台。

The application on 6 large enterprises indicates that TVM system is an instrument with advanced technology,reasonable design,convenient operation,perfect function and high accuracy.The measure errors of the instantaneous rotation speed,which is measured by non-contact and magnetoelectricity sensor,have been completely investigated in this paper also.

通过本文的研究，丰富并发展了内燃机故障诊断技术，为内燃机各缸工作均匀性诊断、故障缸诊断、逐缸供油量调整和内燃机自动控制等提供了有效的诊断方法一凸j法和 TVRS法、以及相应的诊断测试设备一TVM系统。

Experiments show that the DU-pair can be comfirmed exactly, the feasibility and mensurability of DU-pair are determined easily, and the path selection is feasible and effective.

4提出了一个基于控制流和数据流的测试数据自动生成的框架。

Your NITON XLt analyzer will auto-swich from one filter to another when the testing time for that filter is greater than or equal to the time you have chosen,and the identified alloy is flagged as needing the switch in the NITON Alloy Library.

您的NITON XLt分析仪意志自动swich从一过滤器到另一个，当测试的时期为那过滤器是大于或等于您选择了的时间时和辨认的合金被下垂作为需要开关在NITON合金图书馆。

In a word, it's significant to investigate the automatic test generation of non-numeric data.

因此，探讨如何实现非数值型软件测试数据的自动生成，有着很现实的意义。

Based on laser interferometer theory,Multi-wave interferometer by phase-shift ing method is applied on high-reflective coated optical flatness measurement.

本文以光干涉原理为基础，分析多光束干涉原理特点及其在平面形貌测量中应用可能，提出应用移相方法对被测镀高反膜表面进行调制，得到一系列被调制的干涉图样，经计算机对干涉图样进行自动采集和图像解包裹，获得被测表面的三维形貌数据，并通过实际测试验证了该方法的可行性和科学性。

Design of Phase-shift Power Amplifier for Control of Active Magnetic Bearing;2. A digital control of phase-shift circuit;3. Based on laser interferometer theory,Multi-wave interferometer by phase-shift ing method is applied on high-reflective coated optical flatness measurement.

本文以光干涉原理为基础，分析多光束干涉原理特点及其在平面形貌测量中应用可能，提出应用移相方法对被测镀高反膜表面进行调制，得到一系列被调制的干涉图样，经计算机对干涉图样进行自动采集和图像解包裹，获得被测表面的三维形貌数据，并通过实际测试验证了该方法的可行性和科学性。

Methods Twelve femoral specimens from fresh adult cadavers were collected. The transverse femoral fracture models were created in the specimens by Panjabi method and randomized into 3 groups which were fixated with SCALN. ALN (auto-compression locking nail) and GK (Gross-Kempf). After fixation, tests of biological mechanics, stress-shielding analysis and measurement of stresses were performed systemically. Results were compared among the 3 groups.

采集12具成人新鲜尸体股骨标本，模拟Panjabi方法制作股骨中段横断骨折模型，将标本分为三组（每组3个标本），分别采用SCALN、第一代自动加压带锁髓内钉和普通带锁髓内钉固定，均进行系统生物力学性能测试、应力遮挡分析和应力水平测量，井进行比较。

The split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应，而且减少跟风的可能性。