查询词典 LP record

Then we deeply studied the completeness of LP . Consequently, we established:(1) The completeness theorem of LP with truth-value in finite Lukasiewiczchain;(2) The completeness theorem of LP with truth-value in complete and atomic lattice implication algebras;(3) The completeness theorem of LP with truth-value in injective lattice implication algebras.

建立了：（1）基于Lukasiewicz有限链的格值命题逻辑系统LP的完备性定理；（2）基于完备的且原子的格蕴涵代数的格值命题逻辑系统LP的完备性定理；（3）基于内射的格蕴涵代数的格值命题逻辑系统LP的完备性定理。

Based on the outcome of Xu Yang and Qin Keyun about lattice implication algebra and lattice-valued prepositional logic LP with truth-value in a lattice implication algebra, the author studied the properties of lattice implication algebra and the α-automated reasoning method based on α-resolution principle of LP. The specific contents are as follows: The Study of Lattice Implication Algebra On the basis of previous results of lattice implication algebra, this part consists of the following three points: 1. Some properties of lattice implication algebra L were discussed, and some important results were given if L was a complete lattice implication algebra. 2. The properties of left idempotent elements of lattice implication algebras were discussed, and the conclusion that lattice implication algebra L was equals of the directed sum of the range and dual kernel of a left map constructed by a left idempotent element was proved. 3. The properties of the filters of lattice implication algebra were discussed, the theorem was shown that they satisfy the hypothetical syllogism and substitute theorem of the propositional logic. 4. The concept of weak niters of lattice implication algebras and their properties and structures are discussed. It is proved that all weak filters of a lattice implication algebra form a topology and the the implication isomorphism betweem two lattice implication algebras is a topological mapping between their topological spaces. The Study of α-automated reasoning method based on the lattice-valued propositional logic LP In this part, the author given an a-automated reasoning method based on the lattice-valued propositional logic LP.

本文基于徐扬和秦克云的关于格蕴涵代数和以格蕴涵代数为真值域的格值命题逻辑系统LP的研究工作，对格蕴涵代数以及格值命题逻辑系统LP中基于α-归结原理的自动推理方法进行了系统深入的研究，主要有以下两方面的研究成果：一、关于格蕴涵代数的研究 1、对格蕴涵代数的格论性质进行了研究，得到了当L为完备格蕴涵代数时，关于∨，∧，→运算的一些结果； 2、对格蕴涵代数的左幂等元进行了研究，证明了格蕴涵代数L可以分解为任何一个左幂等元所对应的左映射的像集合与其对偶核的直和； 3、对格蕴涵代数的滤子的性质进行了研究，证明了滤子的结构相似于逻辑学中的Hypothetical syllogism规则和替换定理； 4、给出了格蕴涵代数中弱滤子的概念，对弱滤子的性质个结构进行了研究，证明了格蕴涵代数的全体弱滤子构成一个拓扑结构，格蕴涵代数之间的蕴涵同构是相应的拓扑空间之间的拓扑映射。

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

In this paper,a design method of two dimensional Linear Phase Nearly Perfect Reconstruction filter banks based on a new class of cosine modulation systems is presented,which can be described as follow: firstly,the Parks-McClellan algorithm is adopted for designing the prototype filter,then by employing cosine modulation,a series of analysis and synthesis filters can be obtained,accordingly a one-dimensional LP-NPR filter banks can be constructed;Secondly,cascading two one-dimensional LP-NPR filter banks in the form of tree structure and using the unimodular transformation,a two dimensional nonseparable LP-NPR filter banks can be obtained.

提出了一种基于一类新余弦调制系统的二维线性相位-近似完全重构滤波器组的设计方法，设计过程分为两个步骤：首先采用Parks-McClellan算法来计原型滤波器，再经过余弦调制能到一系列的线性相位分析和综合滤波器，从而可以构造一维LP-NPR滤波器组；然后利用树状结构来结合两个一维LP-NPR滤波器组，并运用单位模变换，可以得到二维不可分离LP-NPR滤波器组。

To improve the economy, larger bypass ratio has been adopted in the turbofan engine design, leading to a larger fan high, larger speed gap between HP and LP turbines, the meridian geometry of the engine will be excurvature at a high degree, which brings problem for the design of LP turbines, transition section between HP and LP turbines.

在现代高性能的航空涡扇发动机设计中，为了提高经济性，采用较大涵道比，导致风扇高度增加较大，高低压涡轮转速差距较大，高低压过渡段采用大子午扩张型线结构，给低压涡轮及过渡段气动设计带来较大的困难。

Dai Zhikang: The community that we run on our fictitious lead plane puts on record for you, putting on record is meddlesome, let you become truly the status is legal, normally, we think to have a lot of, there is a few to be closed suddenly for example before having a few center, or consciousness is insufficient, you go putting on record, either be in all the time all the time check, should be about to have at the beginning put on record, tell head of a station, should put on record to do this thing again really first, perhaps do this thing at the same time while put on record at the same time.

戴志康：我们在自己的虚拟主机上跑的社区都代为备案，备案是好事，让你真正的变得身份合法了，通常而言，我们认为有很多，有一些站长之前有一些比如说突然就被关了，还是意识不够，你去备案，不是每时每刻一直在查，应该一开始就要有备案，告诉站长，真的应该先去备案再去做这个事儿，或者一边做这个事儿的同时一边备案。

It is reported, be signed jointly with 3 large association now and publish the record company of outgiving to include, company of company of company of round-the-world music publication company, round-the-world record company, copyright of China accept music, Wanner record company, Fu Mao record, Fu Mao copyright, join cornfield, 100 generation too company of musical copyright company, Sony BMG record.

据悉，今日与三大协会联名签署并发表公开声明的唱片公司包括，环球音乐出版公司、环球唱片公司、华纳音乐版权公司、华纳唱片公司、福茂唱片公司、福茂版权公司、太合麦田、百代音乐版权公司、Sony BMG唱片公司、种子音乐、源泉公司、竹书房和乐林文化等。

Article 16Where a medical accident dispute arises, the death case discussion record, the difficult and complicated case discussion record, the superior doctor's rounds-making record, the group consultation record, and the illness history record shall be sealed and unsealed in the presence of both the medical institution side and the patient.

第十六条发生医疗事故争议时，死亡病例讨论记录、疑难病例讨论记录、上级医师查房记录、会诊意见、病程记录应当在医患双方在场的情况下封存和启封。

The study of lattice-valued propositional logic system based on lattice implication algebra.On the bases of previous study, by using the concepts and methods of T algebras we established the lattice-valued propositional logic system LP , whose truth values domain is a lattice implication algebra, and discussed systematically the semantical and syntactical properties of LP , proved the soundness theorem 、consistency theorem、deduction theorem and the decidability of validity of the system when the truth values lattice is finite. We also discussed the relationship between the α-theorem of some premise, say A, and the closed sets that contain A.

本文在前人研究工作的基础上，利用T代数的概念与方法，建立了真值取于格蕴涵代数的格值命题逻辑系统LP，对它的语义及语法性质进行了较系统的研究，得到了它的可靠性定理、协调性定理及演绎定理等，证明了值格有限时系统"有效性"的可判定性并讨论了某一前提A下的α定理与包含A的闭集之间的关系。

Human respect is one of the two distinguishing features of LP, and is the most elementary method to support the operation of LP.

尊重人是精益生产的两大特色之一，是支撑精益生产运作的基本手段。

In contrast to the ubiquitous rising-sun-with-rays military flag of the Japanese, Chinese banners and ensigns feature a range of designs.

与遍地都是的太阳军旗不同，中国人的旗帜和徽章设计得各式各样。

From their small corner of Feng's Guangzhou headquarters -- a jumble of pink leashes, squeezable rubber steaks, and plastic doggy Santas for Fido's stocking -- Soleil's designers come up with at least five new products a month.

从Feng 设在广州总部的产品展示柜台上可以看到，Soleil的设计师每月至少设计出5件新产品。