逻辑化

The method includes a "Theorem of General Expansion" for a complicated network and a "Theorem of Minimizing Expansion" for a logical expression.

本文提出了复杂网络的"大展开定理"和逻辑表式的"最小化展开定理"，并简要地叙述了本文作者已发表在"继电器"杂志(1978年1、2期)上的"逻辑——概率变换"和"单幂变换"等法则。

By this, I hope I shall be able to provide a more wezhaustive understanging of explanation, and, to construce the concept of explantion not as a logical one by distinguishing explanation from logical inference;(2) not as a psychological one by separating explanation from individual's psychological orientation;(3) not as an Ontic one by emphasizing the relevance of the questioner's and explainer's knowledge-states to explanation;(4) not as a relative one by holding that it is possible to get a non-pragamatic standard to differentiate batter explanations from worse ones.

通过对最新近的实用说明论的得失的详细分析，来探讨有关说明和说明论的一些基本问题，力求在这些探讨的基础上得到对说明的更全面的理解，使得说明概念（1）不是一个逻辑概念，避免将说明与逻辑推导相等同；（2）不是一个心理学概念，将说明与提问者和回答者的心理倾向相分离；（3）不是一个实体概念，强调说明与人们知识状态的密切关系以及（4）不是一个完全相对化了的概念，坚持可以在好的说明和差的说明之间找到某种标准。

Karnaugh map plays an important role in the simplification of logic function and the design of logic circuit.

卡诺图在逻辑函数的化简和逻辑电路的设计中，有着重要作用。

In this paper the Karnaugh map for simplifying logic functions is used in computing canonical covers based on the equivalence between the theory of functional dependencies and logic algebra.

本文依据函数依赖理论与逻辑代数对应部分的等价性，引入化简逻辑函数的卡诺图法求函数依赖集的规范覆盖。

Besides, this paper puts forward three concrete methods for simplifying high variable logical function using graphic method.

提出并证明了一个定理，该定理揭示了将高变量逻辑函数转化为低变量逻辑函数并用小卡诺图来化简的一般意义和实用意义。

The paper is concerned with the ambiguity of the formalization of reasoning and the origin of the paradox of material implication.

所谓逻辑的形式化就是对概念、命题、推理给以数学化，它是构建现代逻辑系统普遍采用的方法。

Having combination of the theory of truth degree in metrology of logic with the theory of ∑-α-tautologies in fuzzy logic, which have been introduced by professor G.J.Wang, the theory of ∑Γ-truth degree was introduced, and its properties which induce a pseudometric on F were investigated. The results gained have complemented and enhanced the original theory, and the work delivers a new frame for fuzzy reasoning.

将模糊命题逻辑中的∑-α-重言式理论与计量逻辑学中的真度理论相结合，在经典二值命题演算系统L中引入了公式相对于有限理论的∑Γ-真度理论，较为详细地讨论了它们的性质，并利用∑Γ-真度的性质在公式集F上引入了ρΓ-伪距离，对原有的理论进行了加强和补充，为在模糊命题逻辑系统的有限理论中讨论结论的程度化问题奠定了基础。

On basis of recursion theory of deep optimization traversal, stimulated the logical graph of water project by visual programming technology, and applied it to the west water source project of Weihe valley.

运用图论中节点连接表法描述各水源之间的逻辑联系关系，探索了分析流域拓扑结构的基本思想；以深度优先遍历的递归理论为基础，采用可视化编程技术，用计算机模拟了与研究对象有水力联系的水源工程逻辑结构图，并以渭河流域西部水源工程为研究对象进行了实现。

The invention provides a dual redundant CAN bus controller, which is arranged on a crewel CAN bus, characterized in that: two CAN bus transceiving modules, two initializing modules are respectively corresponding to the CAN bus controller module A and CAN bus controller module B; the two CAN bus controller modules are respectively connected to the two CAN bus via a driver shifting control unit; the initializing module is connected to the bus control initializing register for initializing the e CAN bus controller modules; a protocol processing module is connected to the FIFO buffer; the FIFO buffer is connected to the node processor via the logical interface; a intermitting process unit sends the corresponding intermitting control signal to the CAN bus transceiving modules according to the CAN bus controller modules; one path of the CAN bus controller module is directly connected to the protocol processing module; another path is connected to the protocol processing module via the bus receiving buffer.

本发明提供了一种双冗余CAN总线控制器，设置于双线CAN总线上，其特征在于：两个CAN总线收发模块、两个初始化模块分别与CAN总线控制器模块A和CAN总线控制器模块B相对应；两个CAN总线控制器模块通过驱动器切换控制单元分别与两条CAN总线相连；初始化模块与总线控制器初始化寄存器相连，对所对应的CAN总线控制器模块进行初始化；协议处理模块与FIFO缓存器相连；FIFO缓存器通过逻辑接口与节点处理器连接；中断处理单元根据CAN总线控制器模块的控制命令对CAN总线收发模块发出相应的中断控制信号；CAN总线收发模块一路与协议处理模块直接相连，另一路通过总线接收缓存器与协议处理模块相连。

And a retiming scheme based on the above method is also presented to optimize the timing behavior of sequential circuits. Also from waveform polynomials of sequential circuits, a precise clocking method based on multiple-period sensitization is presented.

为了适应超深亚微米电路测试的要求，本文建立了一种新的基于布尔过程论的逻辑级噪声预测模型，用波形多项式描述的同时发生的跳变数来预测噪声大小，并生成能产生最大跳变数目的输入波形；然后同基于波形敏化的长敏化通路选择法相结合，形成一种能产生最大噪声效应的敏化测试波形生成新方法。

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.

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