自动化理论

Explaining the causes of infeasibility of Boolean formula e has theoretical importance and practical applications in various fields,such as formal verification and electronic design automation.

解释布尔公式不可满足的原因在诸如形式化验证与电子设计自动化等众多领域中都具有非常重要的理论与应用价值。

Because of the new characteristics such as modularity, integrability, customization, convertibility and diagnosability, the development of the suited key enabling technologies is considered as one of focuses in the field.

建模、调度和控制作为支撑制造系统提高管理水平、优化水平以及自动化水平的关键理论与方法，其研究和应用的成果已经成为制造系统总体应用水平的一个重要标志。

Looked from the main center energy theory that, to is suitable the number and the inverse number practice number of times and the level of expertise difference, changed the partition of energy plan, causes us to be suitable ripe time need less energies, the processing process even more automation.

从中枢能量理论来看，对顺数和逆数的练习次数和熟练程度的不同，改变了能量分配方案，导致我们在顺熟的时候需要更少的能量，加工过程更加的自动化。

Literariness is termed in contrast to automatized habit, experience and unconsciousness; it is created by distortion and twist of language and is a reflection of distinction and uniqueness.

陌生化的理论焦点是文学的文学性问题，是相对于自动化的习惯、经验和无意识而言的，它产生于变形和扭曲，差异和独特。

This paper disertation explores on modeling and automatic recognition of NP in Russian sentences in light of Natural Language Processing, including linguistic foundation in the course of modeling, modeling of NP, multilevel description of models, modeling of AP with patulous components and automatic recognition of NP. In the process of recognition attention is paid to theoretic precondition of automatic recognition of NP, combinational rules of models, boundary mensuration of NP, automatic recognition of NP with postpositive attributes.

本文从自然语言处理的角度研究俄语中NP构句块的模式化和自动识别问题，内容涉及NP构句块模式化的语言学基础、NP构句块的模式化及模式的多层级、多平面形式化描写(包括带有扩展模式形容词的模式化)、NP构句块自动化处理，包括NP构句块处理的理论前提、模式组配规则、NP构句块的边界测定、带后置定语的NP构句块识别等。

The idea and method of this system has academic and practicality value to the other automation system.

系统的构建思想和方法对于其它自动化系统也有一定的理论和实际意义。

The study continued previous studies of image segmentation. It brought many kinds of interpretative knowledge of different land-use type and image processing tools together and found out why image segmentation can not be fully automated. During the process of study, repeated provability and enhancement of the original theoretic framework were also be done well.

本研究延续以往对区格化研究的成果，搜集各种不同地物类型的判释知识及与区格化相关之影像处理工具，以系统实作的方式，深入了解区格化未能达到完全自动化的瓶颈所在，并於实作过程中反覆对前人所提之理论架构进行验证及补强。

The propositional satisfiability problem, which decides whether a given propositional formula is satisfiable, is of central importance in various areas of computer science, including theoretical computer science, algorithmics, artificial intelligence, hardware design, electronic design automation, and verification.

该命题可满足性问题，决定是否给定的命题公式是满足，是至关重要的各个领域的计算机科学，计算机科学等理论， Algorithmics公司，人工智能，硬件设计，电子设计自动化，以及核查。

As a compatible version of the application of PROFIBUS in factory, including the basic principle, components and configuration of the system, way of working, data transmission, fuction of DP and status mechanism of slave station.

PROFIBUS-DP作为PROFIBUS在工厂自动化中应用的一个兼容版本，论文对其进行了较深刻的理论分析和研究，包括基本概念、系统组成和配置、工作方式及数据传递、DP的功能和从站状态机制等。

This control method has many disadvantages. With the development of computer technology and digital image processing, it is possible to apply digital image processing to the control of Smoulder Furnace.

随着计算机技术的发展，数字图像处理技术理论的不断完善，寻求将数字图像处理的方法应用到烟化炉的终点判断上，实现烟化炉终点控制的自动化，对冶金行业来说是一个新的控制方法。

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.

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