查询词典 proved

NET technology structure dynamic webpage in realizing in system, is it use personnel can choose to analyze the function through interface conveniently to make, the analysis result trends show with the chart; And has fully utilized treatment technology of running side by side, has considered the loss which sets up the index and resource proportionally, make systematic efficiency be optimized. Pass the imperial examinations at the provincial level several systematic example of practical application in thesis, if customer state analysis, income analysis, conversation situation analysis, is it transfer to situation analysis, rival analyze etc. to breathe out, having proved the system through the actual inspection of market analysis personnel, the analysis conclusion drawn from it is accurate, can be believed, and because of is it with chart, it makes to be very clear to analyze person, can catch the focal point easily to mix, have convincingness even more as to policy-making level of enterprises. System produce high benefit relatively already at present, can is it grasp message, consumption situation of customer in real time to realize easily through it, turn from enterprise policymaker to network analysis monthly demand of conclusion into and require that analyses rivals situation every day, draw occupation rate of market key index can know system become market important basis source of decision already, so, the realization of this project has greater actual meaning.

NET技术构建动态网页，使应用人员能方便地通过界面选择分析功能，分析结果动态以图表显示；并充分利用了并行处理技术，对建立索引与资源的损耗均衡考虑，使系统效率得以优化。3、在论文中举了几个系统实际应用的例子，如客户状态分析、收益分析、通话情况分析、呼转情况分析、竞争对手分析等，证明系统经过了市场分析人员的实际检验，从中得出的分析结论准确、可信，并由于配以图表，使分析人员一目了然，可轻易抓住重点，对企业决策层而言则更具说服力。4、系统目前已产生了较高的效益，通过它能轻易实现实时掌握客户的信息、消费情况，从企业决策者对系统分析结论的月需求变为要求每日分析竞争对手情况，得出市场占有率等关键指标可知系统已成为市场决策的重要依据来源，因此，本项目的实现具有较大的实际意义。

The new model targeted on Cathepsin K was proved to be feasible and effective in the screening for antiosteoporosis drug.

初筛以抑制木瓜蛋白酶的活性为指标，经筛选从1000株真菌中得到9株具有较强抑制效应的真菌，复筛采用对纯化的组织蛋白酶K的特异性抑制效应为指标。

He starred opposite Jennifer Grey as a young working-class dance instructor at a Catskills resort who proved to have more heart, integrity and sex appeal than many of the wealthy guests with whom he was forbidden to fraternize.

斯威兹与詹妮弗·格雷分饰男女主角，他饰演了Catskills度假胜地一个年轻的舞蹈教练，由于是工人阶级，所以不准与富人有任何深交。但他比这些富人更加真诚、魅力无边。

Cauchy convergence criteria is proved the convergence and spread the basic method and through this method also launched many simple method, thus the important position of cauchy criterion, this kind of method is obvious superiority of the characteristics of itself, through to judge whether to prove the convergence, and this will bring convenience to the standards for the following summary, and probes into some of the relationship between them.

柯西收敛准则是证明收敛与发散的基本方法，并且通过此种方法还推出了非常多简单的方法，由此可见柯西准则的重要地位，此种方法的优越性也是显而易见的，就是通过本身的特征来判断是不是收敛，这就给证明带来了方便，本文将这几种准则作了以下总结，并且探讨了它们之间的一些关系。

The asymptotic behavior of the weak solution is obtained when an enthalpy function is made in L(superscript 2 subscript +) and a differential inequality is proved after using Cauchy inequality, Poincare inequality and the definition of weak solution.

在L(上标2 下标+)空间上构造了一个熵函数，利用带ε的Cauchy不等式和poincare不等式及弱解的定义，推导出了此函数满足的一个微分方程不等式，通过求解微分方程，证明了弱解的渐近性问题。

By means of the dynamics analysis , the center of the vibrating force of the shaker is determined, which is proved exclusive.

对新研制的双激振电动机驱动平动椭圆振动筛做了理论研究，建立了自同步平动椭圆筛的力学模型；通过对该型筛的动力学分析，确定了平动椭圆筛力心，并用解析法证明了力心的唯一性。

A corresponding almost sure central limit theorem for a triangular array is proved.

同时，也得到了一个关于强混合组列的几乎处处中心极限定理。

In Part two, it is proved that, the evolution strategy of uniform distribution for continuous functions, asymptotically converges to the global optimal solutions in probability, by using central limit theorem, under suitable conditions. Then a new kind of evolution strategies is proposed.

第二部分，针对连续函数优化问题，利用中心极限定理，在较弱的条件下，首先证明了基于均匀分布的进化策略是依概率收敛的，然后给出了采用一般连续型随机变量作为变异算子的进化策略依概率收敛的证明。

By taking the energy integral as Lyapunov function,it is proved that nonlinear transverse vibrations of the beam undergoing uniform extension or retrieval are stable when there are not controlling moment in the central rigid body and driving force on the beam,according to the partial stable theorem.

利用能量积分构造Lyapunov函数，根据部分变量稳定性定理，证明了当中心刚体无控制力矩，附件驱动力为零时，梁在等速伸展或收缩时的横向非线性振动是稳定的。

By taking the energy integral as Lyapunov function, it is proved that nonlinear transverse vibrations of the beam undergoing uniform extension or retrieval are stable when there are not controlling moment in the central rigid body and driving force on the beam, according to the partial stable theorem.

利用能量积分构造Lyapunov函数，根据部分变量稳定性定理，证明等速伸展或收缩梁的横向非线性振动稳定。

I didn't watch TV last night, because it .

昨晚我没有看电视，因为电视机坏了。

Since this year, in a lot of villages of Beijing, TV of elevator liquid crystal was removed.

今年以来，在北京的很多小区里，电梯液晶电视被撤了下来。