查询词典 automated

This paper first introduces the theory and method of vehicle automated driving based on magnetic markers,analyzes the results of vehicle automated driving based on the apery control and points out the shortcoming of it.

介绍了基于磁道钉导航的车辆自动驾驶的原理和实现方法，分析用此方法建立仿人控制模型来实际控制车辆自动驾驶的结果，指出仿人控制模型的不足之处。

Standard will also show the SPF/FC-200A fully automated bookletmaker with Horizon tower collator set to feed sheets to the bookletmaker, which has a fully automated interface.

标准也将显示SPF/FC-200A完全自动化与豪华bookletmaker塔整理设置为饲料的床单bookletmaker ，其中有一个完全自动化的接口。

For example, at least 15 Chinese companies now produce an automated three-part differential hematology analyzer; the same number is probably making automated chemistry instruments that are doing fewer than 400 tests per hour. A lot of these companies are also working on five-part differential devices and higher-throughput chemistry analyzers.

举个例子，至少有15家中国公司生产全自动三分群血细胞分析仪，这其中一些公司同时在开发五分群设备和高通量化学分析仪。

Automated geometric theorem proving, as a byproduct of the completion of geometric theorems, is further developed into automated quantitative description of geometric relations. The recovery of the geometric meaning of this quantitative description leads to a natural extension of the geometric theorem.

几何定理的机器证明作为几何定理完全化的副产品，被发展成几何定理的关系定量化，这种量化的几何还原就是几何定理的自然推广。

If the non-automated co-loading NVOCC does not want to give its bill of lading information to the master NVOCC, but comes to the vessel carrier to file its cargo declaration information via AMS, do the regulations permit this or is the AMS filing only to be done by the automated NVOCC ?

如果参加拼装的这家非自动申报 NVOCC 不想让一起拼装的主装 NVOCC知道提单信息，直接找到了船舶承运人通过他的 AMS 系统进行报备，规定是否可以允许这样做？还是 AMS 报备必须要通过具有自动申报的 NVOCC 来做？答：请参看上述问题 B的回答。

Based on the outcome of Xu Yang and Qin Keyun about lattice implication algebra and lattice-valued prepositional logic LP with truth-value in a lattice implication algebra, the author studied the properties of lattice implication algebra and the α-automated reasoning method based on α-resolution principle of LP. The specific contents are as follows: The Study of Lattice Implication Algebra On the basis of previous results of lattice implication algebra, this part consists of the following three points: 1. Some properties of lattice implication algebra L were discussed, and some important results were given if L was a complete lattice implication algebra. 2. The properties of left idempotent elements of lattice implication algebras were discussed, and the conclusion that lattice implication algebra L was equals of the directed sum of the range and dual kernel of a left map constructed by a left idempotent element was proved. 3. The properties of the filters of lattice implication algebra were discussed, the theorem was shown that they satisfy the hypothetical syllogism and substitute theorem of the propositional logic. 4. The concept of weak niters of lattice implication algebras and their properties and structures are discussed. It is proved that all weak filters of a lattice implication algebra form a topology and the the implication isomorphism betweem two lattice implication algebras is a topological mapping between their topological spaces. The Study of α-automated reasoning method based on the lattice-valued propositional logic LP In this part, the author given an a-automated reasoning method based on the lattice-valued propositional logic LP.

本文基于徐扬和秦克云的关于格蕴涵代数和以格蕴涵代数为真值域的格值命题逻辑系统LP的研究工作，对格蕴涵代数以及格值命题逻辑系统LP中基于α-归结原理的自动推理方法进行了系统深入的研究，主要有以下两方面的研究成果：一、关于格蕴涵代数的研究 1、对格蕴涵代数的格论性质进行了研究，得到了当L为完备格蕴涵代数时，关于∨，∧，→运算的一些结果； 2、对格蕴涵代数的左幂等元进行了研究，证明了格蕴涵代数L可以分解为任何一个左幂等元所对应的左映射的像集合与其对偶核的直和； 3、对格蕴涵代数的滤子的性质进行了研究，证明了滤子的结构相似于逻辑学中的Hypothetical syllogism规则和替换定理； 4、给出了格蕴涵代数中弱滤子的概念，对弱滤子的性质个结构进行了研究，证明了格蕴涵代数的全体弱滤子构成一个拓扑结构，格蕴涵代数之间的蕴涵同构是相应的拓扑空间之间的拓扑映射。

Uses the automated control not only on the galvanization production line to be possible to raise the product manufacturing efficiency and to reduce worker's labor intensity, and has the very good economic efficiency and the social efficiency, galvanizes on the production line to be possible to realize the automated control using PLC, PLC has the reliability to be high, the compatibility is broad, has the correspondence function, the structure modulation characteristic, therefore how to use good PLC to become the galvanization production line automation control key, auxiliary to galvanized the automatic production line driving with PLC by the frequency changer to carry on the automatic control, had the structure to be simple, the programming was convenient, the operation was flexible, the use safe, worked stable, the perform reliably and the antijamming ability strong characteristic, was one kind of very effective automatic controlThe way, is galvanizes the production to realize, the low cost, the high grade automated production development direction highly effective.

在电镀生产线上采用自动化控制不但可以提高产品生产效率和减轻工人的劳动强度，而且有着非常好的经济效益和社会效益，电镀生产线上运用PLC则可以实现自动化控制，PLC具有可靠性高，适应性广，具有通信功能，结构模块化的特点，因此如何使用好PLC成了电镀生产线自动化控制的关键，用PLC辅以变频器对电镀自动生产线行车进行自动控制，具有结构简单、编程方便、操作灵活、使用安全、工作稳定、性能可靠和抗干扰能力强的特点，是一种很有效的自动控制方式，是电镀生产实现高效、低成本、高质量自动化生产的发展方向。

Our company is a professional packaging of semiconductor optoelectronic components manufacturing company with more than one automated production equipment including automated solid-grain machines, automatic wire bonders and automated spectrophotometry machine.

我公司是一家半导体光电元器件专业封装制造公司，拥有多台自动化生产设备包括自动固晶机、自动焊线机和自动分光机。

OBJECTIVE To evaluate the expression of epidermal growth factor receptor as a molecular target for oropharyngeal squamous cell carcinomas measured by automated quantitative analysis and its significance of EGFR expression, especially nuclear EGER expression in the prognosis of cancer.

目的 评价自动定量分析法(automated quantitative analysis， AQUA)测定表皮生长因子受体(epidermal growth factor receptor EGFR)在口咽部鳞状细胞癌组织中的表达水平，了解其在判定预后中的价值。

Electronic telephone pad is the "front-end" for your core database (every time a person calls, your core database is updated); Electronically track the in/out status of your staff and create automated integrated "find-me" exceptions; Business teams can deposit automated messages to potential callers to coordinate activities; Track your library books, files, documents and clients/customers/students/patients; Computer-generated automated e-mail notices for to-do items, which can be sent over the Internet to clients/customers/students/patients; Send automated integrated mass electronic mailings with a touch of a button.

电子电话垫是&前端&为您的核心数据库（每一次一个人的来电，您的核心数据库进行更新）；电子跟踪输入/输出的地位，您的工作人员和创建自动化集成&找到我&的例外情况；业务团队，可存款的自动邮件潜在的来电，以协调活动；追踪您的图书馆的图书，档案，文件和客户端/客户/学生/病人；计算机生成的自动电子邮件通知到办项目，可以通过互联网发送到用户端/客户/学生/病人；寄出自动的大规模综合电子邮购与用户只需轻触一个按钮。

Neither the killing of Mr Zarqawi nor any breakthrough on the political front will stop the insurgency and the fratricidal murders in their tracks.

在对危险的南部地区访问时，他斥责什叶派民兵领导人对中央集权的挑衅行为。

In fact,I've got him on the satellite mobile right now.

实际上 我们已接通卫星可视电话了