自动化理论

A minimal unsatisfiable subformula can provide a succinct explanation of infeasibility of formulae in satisfiability modulo theories, and could be used in automatic tools to rapidly locate the errors.

极小不可满足子式能够为可满足性模理论公式的不可满足的原因提供精确的解释，帮助自动化工具迅速定位错误。

This work will contribute a lot in the practice and theory of software testing.

这项探索性的工作对于软件测试方法的改进以及软件测试自动化具有一定的理论和实践意义。

By utilizing the electronic-design automatic software, such as Electronics Workbenches and PROTEL99SE, the means of the foundationally proven-analogue experiment in the teachin...

该文通过实例介绍了在教学实践中，结合理论教学的进程，利用计算机的电子设计自动化软件虚拟电子工作台(ElectronicsWorkbench ，简称EWB)、PROTEL99SE在计算机上进行基础验证模拟实验的方法。

How to launch new products in the shortest time, in the best quality, at the lowest cost become the focus of competition, along with increasingly acute market competition. Whatever fruits of science and technology were transformed into competitive commodities, design work pivotally extraordinarily. Every country in the world pays attention to design work. As a result of the development and application of control technique, computer technology, applied mathematics, design means has changed rudimentary. New theory and technology of design come forth ceaselessly.

随着市场竞争日益剧烈，如何以最短的时间、最高的质量、最低的成本将产品投放市场成了竞争的焦点，任何科技成果要转化为有竞争力的商品，设计起着极其关键的作用，世界各国都十分重视设计工作，由于控制技术，计算机技术和应用数学的发展和应用，设计手段发生了根本性变化，设计新理论、新技术不断涌现，逐步地形成和创建了一系列包括脑力劳动自动化和各种人工智能为特征的现代设计方法和技术。

Theoretically, according to Andersons model of stagewise skill acquisition, learning strategy as a complex cognitive skill usually does not come of itself but is proceduralized from declarative knowledge via three steps: cognitive stage, associative stage and autonomous stage.

首先，从认知理论来看，根据Anderson的认知技能获得模式，学习策略作为一种复杂的认知技能通常不是自然习得的，必须在教师指导下经过认知、联系、自动化三个阶段，才能由陈述性知识转化为程序性知识。

The theory, art, or technique of making a process more automatic .

使过程更加自动化的理论、工艺或技术。

The aims of this dissertation is combining new theory and method about artificial neural network into numerical computing, cell genetics and chromosome banding technology, to solve the problem which is automatic analysis and recognition of high resolution band of plant chromosome and improve its analysis speed, quality, accuracy and automation.

本文研究的目的是将神经网络的新方法、新理论与计算数学、细胞遗传学和植物染色体分带学相互结合解决植物染色体纹理的高分辨带纹的自动分析与识别问题，提高其分析速度、质量、精度以及自动化程度。

ABSTRACT The real time network state analysis of power system, which is the core and base of the high level application software in Energy Management System, is studied and the new theories and algorithms are presented in this paper.

本文分析了我国电力系统自动化研究和应用的现状，对EMS系统中网络分析高级应用软件的基础和核心部分—实时网络状态分析做了系统的研究，提出了一些新的理论和计算方法。

The paper, concerning the characteristic of engineering and geology, studied the creation of the Xiaolangdi multipurpose project safety-monitoring system. A zoned monitoring system under the control of unique baseline has been proposed. Manu possible monitoring methods, especially, the accuracy of collimation axis、 intersection、 olar coordinate, have been studied in detail to provide the theory foundation of the application of intelligent otal-station instrument automatic monitoring system on Xiaolangdi project.The application of intelligent otal-station instrument, TCA2003, and digital water level,DiNil2, on the dam safety monitoring as well as data automatic recording have been researched extensively. All this research provide the valuable experience to in-situ data collection, automatic transferring, data analysis and treatment and management.

本文结合小浪底工程特点和地质情况，研究了小浪底水利枢纽安全监控基准体系的构建，提出了统一基准控制下的分区测控系统思路；详细研究了可用于小浪底大坝外部变形监测的多种方法，重点分析了极坐标法、交会法和视准线法的精度，为智能型全站仪自动监测系统在小浪底的应用提供了理论依据；重点研究了自动全站仪TCA2003和数字水准仪DiNi12在大坝安全监测中的应用；同时研究了测量信息自动化采集处理系统，为外业监测信息的采集、自动传输和及时处理、管理创造了有利条件。

For meeting the needs of automated real-time dynamic monitoring of heavy fog events by means of a weather satellite remote-sensing technique for specialized meteorological services like military operations and highway traffic, the paper presents a systematic study of spectral characteristics of visible and infra red light, the textures and dynamic dispersals of fogs on satellite imagery in the context of theory on the transmission of atmospheric radiation, thereby revealing their abruptness, waviness and mass-like features, which, in combination with a synthetic technique for cloud/fog maps of multi-channel remote-sensing spectra are used to set up a model for automatic separation of fogs from clouds based on the integrative application of spectral features and texture structures, for which are constructed corresponding discfiminant functions and criteria, and on this basis prepared is a"system for remotely-sensing monitoring of low cloud and heavy fog"which has been used for tests, with the main conclusions shown as follows.

本文针对军事和高速公路等专业气象服务中应用气象卫星遥感技术对大雾进行自动化实时动态监测的实际需要，从大气辐射传输理论入手，系统地研究了气象卫星遥感图像上云雾的可见光和红外光谱特征、纹理结构特征和大雾的消散动态特征，揭示了雾的突发性、波动性和团状雾特性，通过研究多通道遥感光谱的云雾图像合成技术，建立了综合应用光谱特征和纹理结构特征的云雾自动分离模型，给出了相应的判别函数和判别准则，研制了&低云大雾遥感监测系统&，并进行了实际应用试验。

This one mode pays close attention to network credence foundation of the businessman very much.

这一模式非常关注商人的网络信用基础。

Cell morphology of bacterial ghost of Pasteurella multocida was observed by scanning electron microscopy and inactivation ratio was estimated by CFU analysi.

扫描电镜观察多杀性巴氏杆菌细菌幽灵和菌落形成单位评价遗传灭活率。