查询词典 logical element

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、对经典逻辑中基于归结原理的自动推理方法进行了研究，给出了用符号矩阵表示子句集合的一种方法，把不同的归结过程转换成矩阵的列变换。

Layout segmentationand block recognition is combined in this algorithm which improves the processingefficiency.4 determination of logical order in layout based on directed graph.Space structure directed graph is set up from analysis the space structure of layoutobjects. This transfers the determination of logical order of layout objects into traversingsearch in directed graphs, from which the logical order of layout object is determined.

可以看出，该算法将版面分割与区域识别相结合，提高了算法的效率。4、基于有向图的版面对象顺序确定该算法利用版面对象的空间结构建立空间结构有向图，将版面对象之间的顺序确定，转换为在有向图空间进行遍历搜索的过程，通过图的遍历生成遍历树来确定版面对象顺序。

Logical paradox is divided into special logical paradox and general logical paradox.

逻辑悖论有狭义和广义之分。

Because the paradox of logical omniscience shows that the epistemic world is different from the logical possible world, the URN model is therefore needed for us to describe the logical characteristics of the epistemic world.

但是逻辑全能悖论说明认知世界不同于逻辑可能世界，为描述其逻辑特征我们需要"瓮"模型。

In this algorithm, the solving space of logical variables is reduced by logical constraints, and the computational complexity is not raised exponentially when the logical variable number is raised. The scale of the NLP sub-problems is also reduced. The global optimal solution will be obtained, and the local optimal problem of nonlinear system is avoided.

算法的特点为：利用逻辑变量的物理意义来缩小求解空间，避免了计算量随逻辑变量数目呈指数型上升的问题；NLP子问题的规模大大缩小，加快了求解速度；可以得到严格的全局最优解，避免了非线性模型可能带来的局部极值问题。

The method includes, performing logical configuration for the non-volatile mass storage device, wherein file data is allocated addresses in a virtual logical address space; and data identified by virtual logical addresses is read by a host system.

所述方法包括：执行用于所述非易失性大容量存储装置的逻辑配置，其中向文件数据分配虚拟逻辑地址空间中的地址；以及由主机系统读取通过虚拟逻辑地址识别的数据。

Philosophy can advance unceasingly logical meticulosity. The reason comes from the interaction of laws of the subjective and objective world. Philosophy can use the way of logical reflect and state the objective world rule. The reason lies in the logical principle of the thought as the spirit intermediary links up the thought rule and the objective world rule.

哲学之所以能不断地推进逻辑的缜密性，原因来自主客观世界规律的相互作用，哲学能用逻辑的方式反映和陈述客观世界的规律，在于思维的逻辑法则是贯通思维规律和客观世界规律的精神中介。

Then the traits of FPGA is analyse in details .both the logical architecture and the special traits are introduced .mainly logical element is designed to looking-table .

其次，详细分析了FPGA芯片的特点，主要从其逻辑结构和特有的芯片特点两个方面展开讨论，从其逻辑结构可以用来直接设计成传统的查找表来进行详细分析。

In the second chapter, elementary theories and ideas of one step forming inverse approach were described and warped modification method, implemented by Cook, was introduced into one step forming simulation and based on idea of surface spreading; new quadrilateral element modification arithmetic was put forward. By spreading warped quadrilateral onto plane in local coordinate system, a plane quadrilateral element whose shape and area were equal to original warped quadrilateral element was gotten and internal force vectors of four nodes and stiffness matrix of elements were improved to increase precision of simulations on this plane element.

第二章从一步成形逆有限元法的基本理论和思想出发，将Cook基于弹性理论的四边形单元的翘曲修正算法引入基于塑性的一步成形，并且基于曲面展开的思想，本文提出一种新的四节点单元翘曲修正方案，通过把翘曲的单元展开的方法在局部参考系中得到一个与实际翘曲单元的形状与面积非常接近的平面单元，在该平面单元中进行单元刚度及内力向量的计算，进一步改善模拟结果的精度。

Firstly it describes the development ,basic principle and application and propagation characteristic of mobile channel , then investigates the system structure of DAB transmitter and receiver separately and the key technology of realization of the digital audio broadcast system.And then discusses the system component of FFT －the demodulation module of OFDM .The 409- points FFT module employs a radix-4 decimation-in-frequency algorithm, includes arithmetic element , read and write address element ,twiddle factor element and control element , is realized by FPGA. In the end , the result is verified in the matlab .

首先概述了OFDM的发展、基本原理和应用以及移动信道的传播特性，接着分别研究了数字音频广播接收机和发射机的系统结构，以及数字音频广播系统实现的关键技术，然后详细论述了OFDM解调模块FFT的系统结构，主要研究了4096点FFT采用基－4按频率抽取实现的算法，整个FFT模块包括了运算单元、读写地址单元、旋转因子单元以及控制单元，并且在FPGA中进行了硬件实现，并在matlab环境下对结果进行了验证。

There are different types of personal loans available.

有许多不同类型的个人贷款优惠。

The above mentioned teaching model of spiral rising can be used to avoid rigidness in teaching.

上述螺旋式上升的教学模式，可以避免教学形成模式後的僵化现象。