查询词典 given

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.

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

Properties of efficient portfolios and the efficient frontier to the model are systematically analyzed. Our main results concerning the properties are: every efficient portfolio can be solved by minimizing portfolio risk under a given level of portfolio return or by maximizing portfolio return under a given level of portfolio risk; on the efficient frontier, the risk is a convex and strictly increasing function of the return and the return is a concave and strictly increasing function of the risk; the utility function on the efficient frontier can be expressed as a quasi-concave function of the risk or the return if the investor's utility function is quasi-concave.

从理论上系统地对该模型下的有效投资组合和有效前沿的性质进行了分析，结果表明：每一个有效投资组合可通过在给定期望收益水平的条件下最小化投资组合风险来获得，或者在给定风险水平的条件下最大化期望投资组合收益来获得；在有效前沿上，风险是收益的严格单调递增凸函数，收益是风险的严格单调递增凹函数；当投资者的效用函数是拟凹函数时，则有效前沿上的效用可表达成风险或收益的拟凹函数。

The optimization methods of database SQL query were studied and some available query optimization Methods were given out as follows: The incompatible data type should avoid to be used; More redundancy search parameters should be given as join condition in join query; In some condition, the number of note hitted to target was estimated by optimizing implement using the average density; Some other maths operating symbol should avoid to be used as condition parameters in WHERE clause; Some operating symbol and its sentence should avoid to be used also; When the cluster function was used,the WHERE clause should be paied attention to more,and so on.

作者单位：（重庆工学院商贸信息学院，重庆 400050）摘要：数据库SQL查询语句的优化，须注意：避免使用不兼容数据类型；连接查询中应多给连接条件提供一些冗余的搜索参数；某种条件下优化器只能使用其平均密度以估计命中的记录数；避免对WHERE子句中条件参数使用其它数学操作符；避免使用某些操作符及相应语句；聚簇函数的使用应注意WHERE子句。

Lugalbanda was a god and shepherd king of Uruk where he was worshipped for over a thousand years.

Lugalbanda 是神和被崇拜了一千年多 Uruk古埃及喜克索王朝国王。

I am coming just now,' and went on perfuming himself with Hunut, then he came and sat.

我来只是现在，'歼灭战perfuming自己与胡努特，那麼，他来到和SAT 。