查询词典 Lp

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的完备性定理。

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滤波器组。

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的闭集之间的关系。

Our results confirmed an association between oral LP and gastroenteropathy, diabetes mellitus, hepatosis, lower serum progesterone and HLA antigens.

上述各项研究结果进一步表明，消化道疾病、肝脏疾病、糖尿病、性激素不足等多种系统性疾病在LP的发生、发展中起着一定的作用，而且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、给出了格蕴涵代数中弱滤子的概念，对弱滤子的性质个结构进行了研究，证明了格蕴涵代数的全体弱滤子构成一个拓扑结构，格蕴涵代数之间的蕴涵同构是相应的拓扑空间之间的拓扑映射。

In fact, the LP regulator and LP aircleaner assembly are the same as on a propane vehicle.

事实上，在低压调节器和LP aircleaner大会是一样的对丙烷的车辆。

There is provided a hard disk drive power reduction module. A data storage system for a computer including low power and high power modes, comprising low power nonvolatile memory; high power nonvolatile memory; and a drive power reduction module that communicates with said LP and HP nonvolatile memory, wherein when read data is read from said HP nonvolatile memory during said low power mode and said read data includes a sequential access data file, said drive power reduction module calculates a burst period for transfers of segments of said read data from said HP nonvolatile memory to LP nonvolatile memory.

本发明提供一种数据存储系统，其用于具有高功率和低功率模式的计算机，所述数据存储系统包括：低功率LP永久性存储器；高功率HP永久性存储器；和与所述低功率和高功率永久性存储器通信的驱动功率减少模块，其中，在所述低功率模式期间当从高功率永久性存储器读取读数据时，且所述读数据包括顺序存取数据文件，所述驱动功率减少模块计算一个突发周期，用于把所述读数据片断从所述HP永久性存储器传送到所述LP永久性存储器。

The high level of Lp is an independent risk factor for cardiocerebrovascular arteriosclerosis caused by nephritic syndrome.

肾病综合征患者体内存在着Lp等脂代谢紊乱的情况，高血浆Lp水平是肾病综合征合并心脑血管疾病的独立危险因素之一。

It implies that the susceptiblity of Lp for oxidation was lower than that of LDL,and the postulated higher atherogenic properties of Lp as compared to LDL might not be directly related to a higher sensitivity towards oxidative modifications.

在体外，Lp能经铜离子（Cu2+）介导发生氧化修饰，但与LDL相比，Lp氧化的延迟时间是LDL的1.62倍，氧化速率和氧化程度均只有LDL的63%，故Lp对氧化的敏感性和氧化程度均较LDL为低，其高度致AS作用，难以完全用较高的氧化敏感性来加以解释。

The absorption and distribution of chromium were studied in ryeusing nutrient culture technique and pot experiment.

采用不同浓度K2CrO4(0，0.4，0.8和1.2 mmol/L)的Hoagland营养液处理黑麦幼苗，测定铬在黑麦体内的亚细胞分布、铬化学形态及不同部位的积累。

By analyzing theory foundation of mathematical morphology in the digital image processing, researching morphology arithmetic of the binary Image, discussing two basic forms for the least structure element: dilation and erosion.

通过分析数学形态学在图像中的理论基础，研究二值图像的形态分析算法，探讨最小结构元素的两种基本形态：膨胀和腐蚀；分析了数学形态学复杂算法的基本原理，把数学形态学的部分并行处理理念引入到家实际应用中。