查询词典 proposes

The thesis first presents the definition and deciding theorem of different match types and derivability, then proposes corresponding deciding algorithms and query processing algorithms for different network links taking their features and optimization goals into account. Using these algorithms, associative access can be supported by the client cache more efficiently. In order to study the performance of our work, we have conducted a series of simulation experiments.

本文给出相应的模拟模型系统以及工作负载的描述，把基于本文提出的强、弱连接下查询处理、替换和一致性维护策略的缓存的数据库系统与标准客户—服务器数据库系统、基于传统缓存的数据库系统进行比较，试验测试了在不同网络连接，不同工作负载，不同缓存大小下各个系统的性能。

To explain the derivational process of the two constructions, this thesis weaves the event structure theory into the theory of Minimalist Program and proposes the biprojection hypothesis.

为解释这两种结构的派生过程，本文将事体结构理论和最简方案理论结合起来，提出了双重投射假设。

The design methods of space structure were creatively used for designing our under water structures. The dissertation proposes a kind of designable conceive for diving instrument which is different from others.

本文将空间结构的设计方法创造性地运用于水下结构的设计，提出一种与一般的潜水器设计不同的设计构想。

This paper proposes a determinable admission control mechanism based on a VBR data model,which is compared with CBR data model.

文章实现了基于VBR数据模型的一种确定的允许控制策略，并与基于CBR数据模型的允许控制策略作了对比。

Chapter two proposes the unified form of Hojman"s conservation law and Lutzky"s conservation law. Firstly, the author introduces the general Lie group of transformations that the variations of both the time and the generalized coordinates are considered, derives the determining equation of Lie symmetry for the system, presents a new conservation law, which contains the Hojman"s and the Lutzky"s conservation law as two special cases, and obtains a condition to exclude trivial Hojmans conserved quantities.

第二章，Hojman定理和Lutzky定理的统一形式：首先，引入一般意义下的Lie变换群(即位型变量q_s和时间变量t同时变换)，给出系统的Lie对称性确定方程，提出一个新的守恒律，Hojman定理与Lutzky定理则分别是这个新守恒律在两个特殊情况下的推论，导出一个可排除平凡Hojman守恒量的定理，并分别讨论了Birkhoff系统和非完整系统的Lie对称性和Hojman守恒量，最后，讨论了Hamilton系统的梅对称性与Lie对称性的关系，给出了由梅对称性求Hojman守恒量的方法。

Article, Dr. LeCun proposes a second order technique that he calls the "stochastic diagonal Levenberg-Marquardt method".

文章提出了一个博士LeCun二阶技术，他所谓的"随机对角线的Levenberg - Marquardt方法"。

The first proposes that any differentiable function defined on an interval has a mean value, at which a tangent line is parallel to the line connecting the endpoints of the function's graph on that interval.

第一个定理指出，定义在一个区间上的任何可微分的函数都有一个平均值，在该点的切线与该区间上函数曲线两端的联机平行。

This paper proposes a new differential equation for production declining rate ,which has different form from differential equation of J.

研究提出了一种新的产量递减率微分方程，这个方程与J J阿尔普斯的递减率微分方程在形式上是不同的，并由此推导出了一种油气藏可采储量预测方法。

This paper proposes a two-player, finite-horizon differential game model to analyzejoint implementation in environmental projects, one of the flexible mechanisms considered in the Kyoto Protocol.

提出了一个两人有限微分对策模型用以分析在环境工程项目中的联合行动，其灵活机制之一已在京都议定书中得到了考虑。

Further more, this dissertation studies pricing strategy of firms that compete to each other in monopolist competitive or oligopoly competitive market, builds up a differential game model, and proposes Nash-equilibrium steady solution.

本文还在已有的消费者对品牌价值判断模型的基础上，提出了不完全竞争市场条件下，竞争企业之间的定价优化微分对策模型，并给出了Nash-均衡稳态解。

She gently rebuff ed him, but agreed that they could be friends

她婉言拒绝了，但同意作为朋友相处。

If in the penal farm, you were sure to be criticized.

要是在劳改农场，你等着挨绳子吧！