查询词典 given to

In the given algorithm, a matrix is first transformed into its Hessenberg form by using row- and column-transformation and the characteristic polynomial can be then determined by means of the formulas and a recursive algorithm given in this paper.

例如，在确定系统矩阵的规范形，在用代数方法判别系统的稳定性，在控制器和观测器的设计等时，就通常需要计算矩阵的特征多项式。

Given name or Christian name is a name that is given to a person.

名或教名是给一个人取的名字。

In our model the probability density function of the jump size p is general. A closed series formula of the price is given by introducing some kind of Green function and the optimal exercise boundary of the perpetual put option is given by the smooth junction condition.

文章强调跳量的概率密度函数p是一般形式的，通过偏微分方程方法引入格林函数，给出永久美式看跌期权的价格，并通过自由边界条件给出最佳实施边界的显式表达式。

Educationl idealization is such a fact that the educationl ideal devised by minority according to their will is absolutized and generalized,meawhile a perfect "modality of relation" living in imaginary world is given,and consequently,the educated are coercionary displaced from their original position and put in the given "modality of relation".

教育理想化是一个将根据少数人的意志设计的教育理想绝对化和普遍化、并据此在现实生活之外给定一个完美的人格模式或笔者所称的"关系形式"、然后强制性地将受教育者位移到这个模式中去的思想和行为过程。

We should live and work like this to spend our whole life:to make the seed given to us can come into flower in next generation;to make the flowers given to us can have friut in next generation,and that's the meaning of progress what we talk about.

我们一生应该这样地生活和劳动，使给予我们的种子能在下一代开花，使给予我们的花朵能在下一代结果，这就是我们所说的进步的意义。

Assurance is also given to those who receive the sacrament that the body of the Lord was given and his blood shed, not only for men in general, but particularly for every faithful communicant, to whom it is food and drink unto eternal life.

保证，也给那些接受圣餐该机构的主给予和他的鲜血，而不是只限於男性，一般，但特别为每一个忠实communicant ，向谁提出，它是食品和饮料祂永恒的生命。

At the end of this thesis , a group of data which measured by this instrument are given, and after the analysis a way of compensation temperature error by software is given.

最后给出了在实验室条件下测得的数据结果，并进行了误差分析，根据分析结果对温度的算法补偿作了初步探讨。

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

For a given compound rule, if the upper bounds of both confidence and support minus their corresponding lower bounds are less than a given constant, the measurements of the rule are definite; if the the lower bounds of both confidence and support are greater than their corresponding thresholds, the existence of the rule is certain.

对于一个复合型分类关联规则，如果规则的支持度和置信度的下界都分别超过支持度阈值和置信度阈值，则称该规则的存在性是确定的；如果规则的支持度和置信度各自的上界与下界之差小于一个给定的常量，则认为规则的度量参数是确定的。

Under these assumptions, for any given selling price the paper develops the criterion for the optimal solution to the replenishment schedule, and proves that the optimal replenishment policy not only exists but is also unique. It shows that the total profit per unit time is a concave function of price when the replenishment schedule is given.

在这些假设下，证明了对任意给定的价格，最优订货周期长度和该订货周期内最优存货时间的长度不但存在而且惟一，又证明了在给定订货周期条件下平均利润函数是关于价格的严格凹函数，求出了物品的最优销售价格。

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降解产物的组成。