自动的例句大全

Because the first order logic can characterize the computational semantics of a software component, it has become an important research direction in software engineering domain to use first order logic to represent a component and to use resolution based automatic theorem proving technology to retrieve it.

由于一阶逻辑能够描述软件构件的计算语义，因此用一阶逻辑表示构件及用基于归结原理的自动定理证明技术检索构件的研究在软件工程领域得到了足够的重视。

The method, which describes software specification in XYZ/ E, can assure semantic consistency between specification and software. On the other hand, the output expectation of test cases can be automatically evaluated from the specification as a Prolog program.

该方法采用XYZ/E描述，首先确保规范与被测软件的语义一致，其次，利用XYZ/E规范的逻辑程序属性，实现了对测试用例中输出期望的Prolog自动推导求值。

Automatic Test Cases Generation from Rational Rose Specification Files

从Rose的规约文件自动生成测试用例

These products provide modeling and automation capabilities that exceed those of Rational Rose.

这些产品提供了超过Rational Rose所具有的建模和自动化功能。

Theory and Algorithm of an Automated Synthesis Method of Three-Valued T-Gate Combinational Networks

三值T门组合网络一种自动综合方法的理论和算法

Design and Implementation of Automatic Testing Game Controller Chip

一种自动测试游戏机手柄芯片的设计与实现

Mechanism Study on Self-heal of Concrete Cracks

混凝土裂缝自动愈合机理研究

How can any company with tens of millions of vending machines scattered all around the world know at any point what is selling, what is not selling, how much of an item is left, or when to send a rood driver to empty the coin box.

一家拥有遍布全世界上千万自动售货机的公司如何能够知道各个售货机中什么卖掉了，什么没卖掉，还剩多少，或者什么时候该派人去把售货机里的钱取出来。

With the user being limited by role and right, flow of manual work was entirety simulated by computer. Application server accept the document disposal request sent by client-side, automatically accomplish the management of deedbox, including deedbox application.

本文通过不同的角色和权限限制用户，完全用计算机模拟手工流程，应用服务器接受客户端发送文档处理请求，自动完成文件箱管理。

The Analysis of Automeasurement and Selecting Technology for Axlebox Parts

轴套类零件自动检测和分选技术分析

The Development of An Automatic Rainfall Runoff Water Sampler

降雨径流水样自动采样器的研制

It was suggested that in design standard the even suction device should be considered as an attachment of oil tank and integrated with the automatic crude sampler.

建议在设计标准中把均匀抽出器作为油罐的一个配件与原油自动采样器有机地结合起来；

Development of multi-function automatic sampler for cigarette smog

JY－1型卷烟烟雾多功能自动采样器的研制

Application of the On-line Automatic Sampler in the Commercial Oil Transaction Measurement

商品油交接计量中原油管线在线自动取样器的应用

According to the requirements of GC sampling accuracy and efficiency, automatic sampler has been deeply studied.

根据气相色谱仪进样精度及效率的要求，对气相色谱仪自动进样系统进行了方案设计。

Type BPTV New Explosion Proof Automatic Sampler

BPTV型新型防爆自动取样器

HRTEM/ EDS and ESEM/ EDS were used to test the particles in TSP collected by automatic sampler.

用带能谱的高分辨率透射电镜（HETEM/EDS）和ESEM/EDS来检测TSP中的颗粒物，其中TSP是由自动采样器来采集的。

The operational principle of an automatic sampler for hydride in situ concentration graphite fumace and the design of its controller and sampling mechanism are described.

叙述了氢化物原位富集石墨炉自动进样器的工作原理，控制器与进样机构设计，以及主要技术指标。

CY-D Sampler Automatic Control A new type of coal core sampler

CY-D型耿样机的自动化控制新型钻孔煤心采取器

Development and Application of Three-dimensional Autosampler with the Function Module

一种新型带通用模块三维自动进样器的研制与应用