查询词典 automated

This paper also discussed general method analyzing closed loops in complex linkages, as well as algorithm for automated modeling and kinematic analysis.

讨论了复杂平面机构封闭环的通用分析方法和利用构件元自动建模与运动分析的步骤。

Jiaxing Yongda Plastic Products Co., Ltd. have the disposable clothes hanger automatic molding machine, using fully automated production lines, bringing together colleagues in the most advanced production technology, sets the world in one high-quality materials, is a company specializing in producing all kinds of file racks Senior manufacturers.

嘉兴市永达塑料制品有限公司拥有一次性衣架自动成型机，采用全自动生产线，汇集同行中最先进的生产技术，集世界优质材料于一体，是一家专业生产各种高中档衣架的厂家。

In this paper an automated cell nucleus segmentation method is proposed based on a novel fuzzy growing snake model for color cell images from esophageal smears.

针对细胞核之间经常出现重叠聚堆的现象，提出了一种新的基于模糊膨胀模型的细胞核轮廓提取方法。

The automated system also measures the temperature and color of freshly produced milk.

自动化系统同时也检测温度和牛奶产品的新鲜程度的颜色。

For the purpose of automated modeling, the dynamics problems are solved by means of an iteration compensative method.

用专家经验对搜索得到适应度较高的构形进行修正，得到满足工作要求的机器人构形。

This should be preferably manned by a person, not automated, so the complainant knows that you are taking them seriously.

这应该是最好的一个人接听，而不是自动化，所以采取申诉人知道你是认真对待。

The soundness and completeness theorem of this method were proved at last. 5. The a-automated reasoning method based on the a-resolution principle of LP was discussed, the author given a method to describe the set of simple generalized clauses (veriables and non-subregular 1 - IBSFs are only contained) by using a matrix, and translated the a-resolution of two clauses to column operations of this matrix.

最后，证明了该方法的可靠性和完备性； 5、对格值命题逻辑系统LP中基于α-归结原理的α-自动推理方法进行了研究，给出了用符号矩阵表示一类简单的广义子句集合(只含命题变元和非正则1-IESF广义文字)的方法，把α-归结原理转换成矩阵的列变换。

The soundness and completeness theorem of this method were proved at last. This part consists of the following points: 1. The properties of the indecomposable extremely simple form of LP were discussed, the theorem shown that every logical formula of LP was equals of a generalized conjunction normal form. 2. The method for judging a logical formula is a indecomposable extremely simple form or not was discussed, the necessary and sufficient conditions of a logical formula with not more than three implicative connective being a indecomposable extremely simple form was given. 3. The α-resolution fields of the indecomposable extremely simple form of LP were discussed, some elementary results were obtained. 4. The automated reasoning method based on the resolution principle of classical logic was discussed, the author given a method to describe the set of clauses by using a matrix, and translated the resolution of two clauses to column operations of this matrix.

二、关于格值命题逻辑系统LP中α-自动推理方法的研究 1、对LP中不可分极简式的性质进行了研究，证明了LP中任何一个格值逻辑公式等值于一个广义合取范式； 2、对LP中不可分极简式的判定方法进行了研究，讨论了含有不超过3个蕴涵运算的格值逻辑式为不可分极简式的充分必要条件； 3、对LP中不可分极简式的α-归结域进行了研究，得到了一些基本结果； 4、对经典逻辑中基于归结原理的自动推理方法进行了研究，给出了用符号矩阵表示子句集合的一种方法，把不同的归结过程转换成矩阵的列变换。

The automated library system is one of the largest computerised library systems in the world with Chinese and English capabilities.

现时的图书馆自动化系统，是世界上最大型的双语兼容图书馆自动化系统之一。

It's a set of automated rules that control network congestion.

这是一组控制网络拥挤程度的自动规则。

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.

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