可证明的

The strategy is proved to be adoptable and efficient to ensure the safety and efficiency of the negotiation.

经证明，该策略是可采纳且高效的，能保障协商的安全性和提高协商的效率。

Some α-acting elements and trans-action factors which regulate GA-induced genes at the transcription level were cloned. They played an important role in the GA response event of the cereal aleurone cells.

已克隆出一些可在转录水平上调节以诱导基因的顺反子，并证明它们在禾谷类糊粉细胞中的GA响应事件中起至关重要的作用。

In this paper, multivariate Lagrange interpolation problems are systemically discussed,and through amending Cramer Strange Proposition and proving interpolation theory, the geometry construction of the properly posed sets of nodes along the plane algebraic curve is studied, at the same time, a number of practical constructing methods are given.

本文系统阐述了多元Lagrange插值问题，通过修正Cramer奇论并用插值法加以证明，进一步对沿平面代数曲线插值唯一可解点组的几何结构进行深入的研究，同时得到了一些实用性较强的构造方法。

It was proved that the proposed control scheme guarantees that all the variables in the closed-loop system are bounded and the mean-square tracking error can be made arbitrarily small by choosing some design parameters appropriately.

理论证明，所提方法保证闭环系统的所有信号一致有界，且通过选择适当的设计参数，可使跟踪误差任意的小。

Firstly, we prove the existence and uniqueness of the adapted solution of multi-dimensional backward stochastic differential equations driven by Brownian motion and Lévy process by using predictable representation theorem and the fixed point theorem about contract mapping, and also prove the comparison theory.

第一部分运用可料表示定理和压缩映射原理证明由布朗运动和Lévy过程共同驱动的多维倒向随机微分方程适应解的存在唯一性及其相应的比较定理。

Just as λ-calcu-lus allows you to construct and reason about every possible computable function, there were high hopes that π-calculus would play similar role for concurrency.

本文提出了一个方法，据此可以把自然数和函数描述为进程，从而证明了π演算有足够的能力描述所有的可计算函数，同时还说明了与λ演算相比，π演算有着更高的计算效率。

In this paper,with the aid of the w~*- sequential compactness of bounded closed balls in the conjugate space of a separable space,we proved that the convex hull of a finite union of bounded closed balls in l~∞ is closed.

借助可分空间的共轭空间中有界闭球的弱星序列紧性，证明在无穷维数列空间l∞中有限个闭球之并的凸包仍为闭集

It is finally shown by two examples that the method presented is this paper can reduce the conservativeness of the results, which indicates the validity of the proposed method.

通过两个示例说明文中所提出的方法可减少结果的保守性，证明文中鲁棒控制方法的有效性。

Experimenting with different approaches can serve as a rich cross-fertilization for the future (as evidenced by your interesting question).

实验方法不同可作为一个丰富的跨）施肥对未来（有趣的是证明了你的问题。

Suitable quantities of tryptophane, arginine, cystine, glycine and serine were used to supplement the medium.

实验结果证明，用玉米胶蛋白作培养基，以测定食物中赖氨酸的含量时，可获得较稳定的结果和满意的收回率。

Breath, muscle contraction of the buttocks; arch body, as far as possible to hold his head, right leg straight towards the ceiling (peg-leg knee in order to avoid muscle tension).

呼气，收缩臀部肌肉；拱起身体，尽量抬起头来，右腿伸直朝向天花板（膝微屈，以避免肌肉紧张）。

The cost of moving grain food products was unchanged from May, but year over year are up 8%.

粮食产品的运输费用与5月份相比没有变化，但却比去年同期高8％。