逻辑化

The basic theory of the algorithm for test pattern generation using satisfiability is explored, including represent method of SAT-ATPG, search algorithm and analyses of achievement techniques. We describe how to represent circuits and fault detection problem as Conjunctive Normal Form . We improve an effient search algorithm suited to ATPG based on basic satisfiability algorithm.

本文研究了组合逻辑电路测试向量自动生成的可满足性方法，主要进行了可满足性的测试生成原理、实现算法、性能提高和测试向量的最大压缩等方面的研究，改进了一种有效的测试生成搜索算法SAT-ATPG，提出了隐含多路敏化的故障效应单路定向传播方法SOPCA、控制输入跟踪算法CIT和测试衍生算法TD，取得了较显著的效果。

First preliminary set within the edge of the iris, using the value of the image morphology, the largest connected domain and logical operators, such as processing algorithms.

首先初步定出虹膜的内边缘，利用二值化、图像形态学、最大连通域和逻辑运算等算法处理。

At first, we develop Context-Free Language XMLization system. We use Context-Free Language to describe idea and logic of human, and try to transform it into XML automatically.

首先，我们开发出一个上下文无关语言的XML化系统，利用上下文无关语言来表达人的想法与逻辑，然后透过自动化的转换流程，将上下文无关语言转换成XML。

Recently, Environmental protection and saving the energy topic is paid attention to by the international community, the focal point of this research is in the load end of the air conditioner system, such as PAH and AHU and FCU install server, controller, monitor, and various types of reaction equipment, such as one degree of devices, humidity device, carbon dioxide, motion detecter device ,etc., will respond the return value to the air conditioner knowledge management system through the borderless internet immediately, air conditioner knowledge management system in accordance with judge, flexible to change the air conditioner with logic through computerization to make sure air conditioner dynamic energy conservation and goal that environment optimized; The administrative staff of air conditioner was less likely to care about this a part in the past, the tactics adopted are usually to leave users to establish the control panel of air conditioner, because the user is generally more insufficient to the characteristic and knowledge of the air conditioner, cause the waste of the electricity .

中文摘要近来环境保护及节省能源议题受到国际社会的重视，本研究的重点是於空调系统之负载端，也就是预冷空调箱、空调箱及送风机安装伺服器、控制器、监测控制副机及温度器、湿度器、二氧化碳、移动感测器等各式感应设备，将感应设备所取得的资料即时透过无远弗届的网际网路传回空调知识管理系统，空调知识管理系统透过电脑化依不同逻辑判断，机动调整空调温度开关门槛值及排程，做到空调动态能源管理及环境优化的目标；过去空调管理人员较少关心此一部份，采取的策略通常是任由使用者设定空调控制面板，由於使用者一般对空调的特性及知识比较不足，造成电力的浪费。

Fully depending on the math, modern mainstream economists have a suit of unitive linguistic system and the common discourse foundation. And based on such an artificial linguistic system, economic discursion and analysis show more logically precious and accurate advantages than natural language.

充分依赖于数学这样一种符号化的诉求，现代主流经济学家不仅拥有了一套统一的语言体系及共同的话语基础，而且借助于这样一种人工语言系统，又使得经济学的推理与分析过程呈现了比自然语言更具逻辑严谨性和精确性的优势。

The Coq functions implementing the compiler are first-class citizens of Coq's logic and can be reasoned on directly by induction, simplifications, and equational reasoning.

实现编译器的Coq函数是Coq逻辑的"头等公民"，可以直接采用归纳、化简和等式推导等方法证明。

The discussion of genealogy is mainly concerned with the question of how to transcend the comparative logic of so called own and foreign culture and the ethnocentric tendency connected with it.

而有关系谱学方面的讨论所着重的问题则在于，跨文化研究如何摆脱己文化与异文化的比较逻辑，以及相关的文化本质主义倾向。

It will explicate basic principles of research designs in quantitative methods.

本单元首先讲授概念化、操作化和教育现象的测量之基本逻辑

The proposed 2DSABS features can (1) avoid the bias problems of transforming the information into linear combinations of bands as does the traditional principal components analysis;(2) select each band by a simple logical operation, called CE feature scale uniformity transformation, to include different classes into the most common feature clustered subset of bands;(3) provide a fast procedure to simultaneously select the most significant features, and therefore dramatically improve the eigen-decomposition computational complexity.

本论文所提出的二维模拟退火波段选取特色有(1)避免转换资讯成波段的线性组合的偏差值问题，这是采用传统的主成份分析方式常见的问题；(2)利用一个简单的逻辑运算，称为「CE特徵维度齐一化转换」，将不同种类的资讯混合，形成具有共通特徵波段的群集子集合；(3)提供一个快速的程序，使能同时地选取最有意义的特徵，并显著地改善特徵分解计算的复杂性。

It includes the definition of two basic operations, logical functions expansion and matrix formulation in OR-Coincidence algebra system, and the introduction of map expression--dj map, the complete research of the relations among CRM expansion^ maxteim expansion and RM expansion, iiamely tie relations among dj map, K-map and bj map, also includes the minimization of CRM expansion in fixed and mixed polarities-Meanwhile this dissertation points out the form and properties of basic symmetric function, simple symmetric function and basic CRM symmetric function in OR-Coincidence algebra system, discusses the relations and transform methods among the coefficients of the three kinds of symmetric functions.

包括连和与加合两种基本运算的定义，逻辑函数在或、符合代数系统里的展开式及矩阵表示式，展开式图形表示--d_i图的引入，对CRM展开式和最大项展开式、RM展开式，d_i图和K图、b_i图之间的关系及转换方法进行了较为全面的研究，以及CRM展开式在固定极性和混合极性下的最小化问题。

I didn't watch TV last night, because it .

昨晚我没有看电视，因为电视机坏了。

Since this year, in a lot of villages of Beijing, TV of elevator liquid crystal was removed.

今年以来，在北京的很多小区里，电梯液晶电视被撤了下来。