查询词典 prove

Finally the implement and consignation of running prove the feasibility of various above-mentioned theories and technical can carry out.

最终系统的实施和交付运行证实了上述各种理论与技术的可实施性。

To prove that OLS estimators are asymptotically efficient, one needs to (1) present an estimator that is consistent but its variance is larger.

为了证明OLS估计量是渐近有效的，我们需要(1)给出一致的估计量但证明它有更大的方差。

In the first charpter,response variable is generalized to q dimensions, we propose the concept of QMLE and quasi function in nonlinear models, then under mild conditions, we prove that there exists the solution_n with probability 1 for sufficiently large n, and obtain the strong consistency, some results of asymptotic normality, meanwhile consistent estimator of σ~2 for QMLE for heterosedastic nonlinear models is presented.

在第一章中，我们首先将响应变量由一维推广到了多维，得出了非线性模型的极大拟似然估计的定义和拟似然方程，然后在一定的条件下，证明了当样本量n充分大时，拟似然方程以概率1有解？？_n且收敛于参数的真值(即定理1.2)，并且给出了极大拟似然估计的渐近正态性(即定理1.3，1.4)，最后考虑了异方差非线性模型的离差参数σ~2的相合估计(即定理1.5)。

To prove the efficiency of the parallel method, it is applied to a groundwater contaminant model.

本文还将研究的成果应用于一个有解析解和现成的特征有限元解的理想地下水溶质运移模型中，取得了成功。

Among them 3 kinds of pattern are more familiar, it is mode of forum public relations, the small number of people gives out gigantic voice through occupying the platform such as forum, BBS by force, flooded popular true sound; 2 it is the network shoves a hand, prove through plan and lack but the operation with apparent directivity, the purpose; that achieves attack competitor or information to distribute searchs engine the 3rd kind namely, the search engine that holds market dominant position often screen inimical or the website that does not pay, put the content that with oneself interest positive closes in search result front row, one when intervene the practice that searchs a result made industry goes regular.

其中三种模式比较常见，一是论坛公关模式，少数人通过霸占论坛、BBS等平台发出巨大的声音，淹没了大众的真正声音；二是网络推手，通过策划以及缺乏论证但是指向性明显的操作，达到攻击竞争对手或信息散布的目的；第三种就是搜索引擎，占据市场优势的搜索引擎往往屏蔽不友善或不付钱的网站，并将与自己利益正相关的内容放在搜索结果前列，干预搜索结果的做法成为了业界的一条潜规则。

Then a new way was defined to prove that the unique set of sequences equivalent to context-free languages can be obtained by mixed self-assembly of mole-cules with 1-,2-,3- sticky ends,which is a supplement for Winfree's theory that the self-assem-bly of dendrimer nanostructures is equivalent to context-free language.

另一方面，文中定义了一种新的通过上下文无关语言通过自装配产生线性语言的方法，即证明了等价于上下文无关语言的特定序列集能通过1-，2-，3-粘头分子的混合自装配产生线性语言，同时，这是对Winfree关于树状纳米结构自装配等价于上下文无关语言理论的一个较好的补充。

This dissertation introduces the specificity and exclusiveness of human capital in Tirole's model to prove the contingence state of the control rights in venture capital excels the one-side control of the enterpriser and the venture capitalist.

根据这一原则，事前信息越重要且不对称程度越大，则人力资本间接定价中越注重甄别，相应报酬绩效敏感性越低；代理人的努力越重要且事后信息不对称程度越大，则人力资本间接定价中激励越重要，因而报酬绩效敏感性越高。

At this in, we prove theorem of the modulus of continuity of levy under the condition of weighted sum that averagesinterval segments about normal wiener process, discuss that define in chapter 2 under of the Wiener process Be adding the power line to combine under of increase quantity have much small.

在这一章中，我们证明了关于标准Wiener过程的等间距分段加权和的Lévy连续模定理，讨论了在第二章中定义下的Wiener过程在加权线性组合下的增量有多小。

Firstly, we combine the theories of monotone operator and maximal monotone operator's Yosida approaching with domain method to prove the solution's existence of single input-output equation in R n in the similar economical backgrounds in present articles and then gain the solution's continuity by exterior approaching method,at last we give the responding economical meaning about the solution's existence and continuity.

就R n空间中消耗为单调单值型的投入产出方程，在现有文献类似的经济背景之下，利用单调算子的理论以及极大单调算子的Yosida逼近结合邻域逼近法给出了投入产出方程的解的存在性的证明，然后利用外部逼近法结合方程截断技巧证明了投入产出方程的解的连续性，最后给出了相对应于存在性和连续性的经济解释。

Secondly, we combine the theories of monotone operator and maximal monotone operator's Yosida approaching with domain method to prove the solution's existence of set-valued input-output equation in R n in the similar economical backgrounds in present articles too and then gain the solution's continuity by interior approaching method,at last we give the responding economical meaning about the solution's existence and continuity.

对于R n空间中消耗为单调集值型的投入产出方程，也在现有文献类似的经济背景之下，利用单调算子的理论以及极大单调算子的Yosida逼近结合邻域逼近法给出了投入产出方程的解的存在性的证明，接着利用内部逼近法结合方程截断技巧对投入产出方程的解的连续性给予了证明，然后顺便简单的介绍了运用外部逼近法来得到方程的解的连续性的思路，最后也给出了相对应于存在性和连续性的经济意义。

But we don't care about Battlegrounds.

但我们并不在乎沙场中的显露。

Ah! don't mention it, the butcher's shop is a horror.

啊！不用提了。提到肉，真是糟透了。