查询词典 prove

Finally, We prove that every generalized a associative BCI algebra determine a commutative pomonoid .

最后我们证明了每个广义a－结合BCI－代数可确定一个交换偏序幺半群。

On the basis of the theory of option pricing,We study the connection between America call option and European call option;Under the assumption condition of Black-Scholes formula ,use the theory of martingales and stopping time,get the conclusion that: the price of America call option equals the price of European call option; Discuss some numeric computing methods of the put America option pricing, with the invarional inequaility for optimal stopping, prove the boundary property of America put option price ...

基于期权定价的基本理论，研究美式看涨期权与欧式看涨期权之间的关系；在Black-Sc holes公式假设条件下，利用鞅和停时理论，得美式看涨期权的价格与欧式看涨期权的价格相等；探讨美式看跌期权价格的数字化计算，在相关假设条件下，利用基于最优化时的变分不等式证明了美式看跌期权价格的有界性，并介绍了几种美式看跌期权价格的数字化计算方法。

The experimental results prove that the model is efficient in network traffic prediction with good astringency and stability.

实验结果表明，该模型对网络流量的短期预测是有效可行的，并具有良好的收敛性和稳定性。

We also expect you to prove that you can produce good astrometry of known objects before you begin to discover new objects.

我们也非常期望你在开始进行发现前多进行常规的观测来积累经验。

Hence we first propose a globally optimized random search algorithm and prove its asymptotic global convergence; then to improve its convergence velocity and reduce implementation complexity, we propose a practical sub-optimal random search algorithm and analyze its implementation complexity.

为此本文首先给出了一种用于OFDM符号估计的全局最优随机搜索方法，并证明了其渐进全局收敛特性；同时为了改进全局最优的随机搜索算法的收敛速度和实现复杂度，提出了一种可实现的次优的随机搜索算法，并结合实现分析了所提的次优随机算法的计算复杂度。

By using the limit theory,we discuss and prove the asymptotic properties of mean point in integral mean value formula for a complex function.

利用极限理论，给出了复函数积分中值公式的"中值点"的渐近性的简洁证明。

The authors intend to discuss and prove the asymptotic properties of mean point in integral mean value formula for a copmplex function.

给出了复函数积分中值公式的"中值点"的渐近性，相信在复函数中有着很重要的作

The authors intend to discuss and prove the asymptotic properties of the intermediate point in integral mean value formula for a copmplex function,and meanwhile to improve and popularize the previous conclusions.

给出了复函数积分中值公式"中值点"的渐近性质，改进和推广了已有的结论。

The authors intend to discuss and prove the asymptotic properties of the intermediate point in integral mean value formula for a copmplex function, and meanwhile to improve and popularize the previous conclusions.

摘要给出了复函数积分中值公式"中值点"的渐近性质，改进和推广了已有的结论。

It is proved that, when the value of critical threshold less than 1, the disease free equilibrium point is globally asymptotically stable. Further more, Bursaphelenchtis Xylophilus is used to construct the Lyapunov function, and the stability theory of Lyapunov function is used to prove that the equilibrium point is Global asymptotic stable. It explains that the Bursaphelenchus Xylophilus wiil eventually disappear.

证明了当临界阈值小于1时，无病平衡点是局部渐近稳定的，进一步利用巴尔巴欣公式构造Lyapunov函数，运用Lyapunov稳定性理论证明了该平衡点的全局渐近稳定性，说明松材线虫病会最终消失；当临界阈值大于1时，病虫害平衡点是局部渐近稳定的。

But we don't care about Battlegrounds.

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

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

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