查询词典 positive definite form

This article suggests to learn from successful experience of foreign countries. Definite the theory and realistic basis and unify understandings of legislation. Meanwhile, we should definite prosecutable standard and the method of court examination, thus proposed bringing it into the administrative litigation scope.

本文建议我国内部行政行为纳入行政诉讼受案范围应该首先借鉴外国成功经验，明确理论及现实依据，统一立法认识，然后确定内部行政行为可诉性标准，并确定法院审查的方法，由此提出了将其纳入行政诉讼受案范围的构想。

There are in English two articles:the definite article and the in-definite article.

英语中有两个冠词：定冠词和不定冠词。

This paper is devoted to solving linear saddle point problems, Specifically, We consider nonsymmetric systems, written as usual in block form, where the upper left block is an invertible linear operator with positive definite symmetric part. Such saddle point problems arise, for example, in certain finite element and finite difference discretizations of NavierStokes equations, Oseen equations, and mixed finite element discretization of second order convection-diffusion problems.

中文题名求解鞍点问题的迭代方法副题名外文题名论文作者冯丽红导师曹志浩教授学科专业计算数学研究领域\研究方向学位级别博士学位授予单位复旦大学学位授予日期2002 论文页码总数87页关键词鞍点问题迭代方法网格离散线性方程组馆藏号BSLW /2003 /O241 /15 论文针对鞍点问题的求解分析了一些典型的快速算法。

The physical meaning of the dynamical equilibrium relationships, velocity space-time distribution and energy propagation involved in the energy matrices can be described by the positive definite quadratic form of the energy matrices.

能量矩阵蕴含的动态力的平衡关系、速度的时间_空间分布和能量的传播及变化的物理意义，能够从能量矩阵的正定二次型特性表述出来。

The relation between the output phase differences and the losses of 2×2 and 3×3 optical fiber couplers with rotatory symmetry is deduced in this study, which is based on the characteristics of scattering matrix and Hermite positive definite quadratic form of the couplers.

前 言光纤耦合器用于诸如光纤干涉系统、光纤环、波分复用器件和光纤通信中的分集接收等场合时，除了要求适当的输出功率比以外，尚需考虑输出端光场间的相位关系［1～3］。

optical fiber coupler, scattering matrix ; output phase difference; Hermite quadratic form ; positive definite matrix

利用其散射矩阵为酉矩阵的么正性不难证明，2×2耦合器输出相位差恒为90°，与输出功率比无关，而耦合区具有旋转对称结构的3×3耦合器的输出相位差完全取决于输出功率比，特殊地，当等分功率输出时，输出

If A is a symmetric positive definite matrix, then the quadratic form x~ TAx can be written as a sum of squares. Equivalently, A is a sum of rank one matrices VV~T.

若A是对称正定矩阵，则二次型x~ TAx 能写成平方项的和，即A是秩为1的矩阵VV~T的和。

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

This papers explore the correlation between the thickness of blade、cuticula、epidermis cells、fence form、sponge form,the ratio of the fence form and sponge form,the layer of the fence form,the length of cell and the yield,suitable system,resistance of the blade anatomical structure by paraffin section method and observing in optical microscope using tea varieties in Guangxi,such as the No.1 of Guilv, and provide a scientific basis for tea scientific research and production.

本文主要对近年来广西选育成的桂绿1号等新品种品系通过石蜡切片法，并采用光学显微镜观察叶片解剖结构特征，探索叶片解剖结构中的叶片、角质层、表皮细胞、栅栏组织、海绵组织等厚度及栅栏组织与海绵组织厚度的比值、栅栏组织层数、细胞长度等与产量、适制性、抗逆性之间的相关性，为茶叶科研、生产利用提供科学依据。

Results All of 4 form including vacuolar form, granular form, ameba form and cyst form were found in each culture medium, separately, and main reproductive mode is binary fission, a few of gemmation was exist.

结果在两种培养基中均可见到人芽囊原虫的四种主要形态：空泡型、颗粒型、阿米巴型和包囊型，其繁殖方式以二分裂为主，可见少量出芽生殖。

Objective:To explore the feasibility of laparoscopy in diagnosing and treating of abdominal diseases.

目的：探讨腹腔镜用以诊断腹部外科疾病及选择治疗方案的可行性。

The lifetime of nylon 1010 and nylon 1010/POSS composites decreased with increasing temperature.

热重-红外联用分析表明尼龙1010在氮气气氛下的降解产物主要为小分子的低聚物，POSS并不改变尼龙1010降解产物的组成。