证明性的

Firstly, a quintic PH-spline curve is used to approximate a cubic Bézier curve within a bound. The convergence for the approximation is proved.

研究用C1连续的五次Pythagorean-Hodograph样条曲线逼近一给定的三次Bézier曲线，证明了这种逼近算法在常用误差测度下的收敛性。

We need not look for recondite geometrical illustrations to prove the inadequacy of illustration even in the case of consistent meanings.

此外，根本不需要对这些几何的例子进行特别挑选就可以证明，在一致性的含义中也存在着在直观化上的不合适性。

This article investigates the two-point boundary value problem to a coupled system of nonlinear fractional differential equations. By applying growth conditions on the nonlinear terms, we obtain an existence result of solutions. Our analysis relies on the Schauder fixed-point theorem and the reduction of the considered problem to the equivalent coupled system of integral equations.

本文讨论非线性分数阶微分方程耦合系统的两点边值问题，应用Green函数，将其转化为等价的积分方程耦合系统，并设非线性项在无穷远处有增长条件，应用Schauder不动点定理证明解而非限于正解的存在性。

We first use the method similar with that in EL.karoui[1] to get the comparison theorem of K in the case of one reflecting barrier,At last,we use the idea of penalization to prove one existence result of the solution for the multi-dimensional RBSDE where the coefficient is continuous and has the linear growth,this also help us to give the comparison theorem of K~+ and K~- in the case of two reflecting barriers.

最后，用惩罚方法证明了当多维双边界反射倒向随机微分方程的生成元满足连续和线形增长条件时解的存在性，并同时得到了双边界情形下，K~+和K~-的多维比较定理。

The algorithm is based on a reformulation of the complementarity problem as an unconstrained optimization. It is proved that the algorithm is globally convergent.

在将互补问题转化为一个无约束优化问题的基础上，给出了一种求解互补问题的混合方法，证明了该算法的全局收敛性。

Client agrees and understands that DFG reserves the right to refund/send back to the remitter any amounts received under sections A and B of this paragraph, having sufficient proof that these amounts are direct or indirect proceeds of any illegal act or omission or product of any

客户同意和理解，当有足够证据证明款项是任何非法行为或不良行为或产品的直接或间接性收益，和/或属于第三方，而客户没足够的理由解释，DFG保留权利退款/送回汇款人所收到的在A）和B）中任何款项。

Client agrees and understands that Dandy reserves the right to refund/send back to the remitter any amounts received under sections A and B of this paragraph, having sufficient proof that these amounts are direct or indirect proceeds of any illegal act or omission or product of

客户同意和理解，当有足够证据证明款项是任何非法行为或不良行为或产品的直接或间接性收益，和/或属于第三方，而客户没足够的理由解释，丹迪保留权利退款/送回汇款人所收到的在A）和B）中任何款项。

Since HR time series is unevenly sampled, to apply these traditional techniques, one need to use interpolation to resample the HR time series.

对心率时间序列的谱分析已经被证明是一种非常有效的阻塞性睡眠呼吸暂停(obstructive sleep apnea， OSA)的诊断方法。

Both 47- and 56-kDa proteins are considered as the major surface proteins of Ot, which has a potential importance in development of subunit vaccine against scrub typhus.

研究证明，这两种外膜蛋白均存在菌体表面并具有良好的免疫原性，已成为恙虫病东方体亚单位疫苗的重要候选分子。58kDa蛋白是恙虫病东方体的热休克蛋白，属于Hsp60家族。

Under the assumptiom that the price procee of risky asset is assumed to be a semimartingale under original probability measure, we prove existence and uniqueness of the locally risk-minimizing strategy.

我们在风险资产的价格过程在原概率测度下为半鞅的假设下，证明了局部风险最小对冲策略的存在性和唯一性。

According to the clear water experiment, aeration performance of the new equipment is good with high total oxygen transfer coefficient and oxygen utilization ratio.

曝气设备的动力效率在叶轮转速为120rpm～150rpm时取得最大值，此时氧利用率和充氧能力也具有较高值。

The environmental stability of that world - including its crushing pressures and icy darkness - means that some of its most famous inhabitants have survived for eons as evolutionary throwbacks, their bodies undergoing little change.

稳定的海底环境─包括能把人压扁的压力和冰冷的黑暗─意谓海底某些最知名的栖居生物已以演化返祖的样态活了万世，形体几无变化。