可证明的

Experiments using the down-scaled vehicle prove that the static direct yaw moment control significantly reduces the side slip angle at the center of the gravity Also the experiment results indirectly show that the 2 degree of freedom vehicle model is rather accurate.

仿真实验表明集成控制系统可以使汽车在各种运行情况下质心处侧偏角很小的同时，有效跟踪理想横摆角速度响应。模型小车实验也证明静态横摆力矩控制可有效减小质心处的侧偏角，并间接证明二自由度汽车模型准确性。

Then, a self-certified anonymous proxy signature scheme based on the view of self-certified public key policy and the scheme of anonymous proxy signature are proposed. The proposed scheme not only lightens the burden of verifier, but also has characteristics such as anonymousness and trackability.

然后，结合自证明公钥体制和匿名代理签名，设计出一种自证明匿名代理签名方案，此方案不仅能减轻验证者的负担，还具有匿名性和可跟踪性的特点。

A verifier can be convinced that the committed number x is neither less than the integer a nor more than the integer baiter the protocol is operated only once, and hence the exact proof that x lies in the interval is achieved.

为了去掉这种方法上的重复性，通过联合运用两承诺值相等协议及CFT证明协议提出了一个证明承诺值位于特定区间的新协议，协议运行一次便可使验证者确信承诺值x位于区间中。

It is proved that when all the ratios of the generic term of a subaddtive sequence to its ordinal number form a lower bounded sequence,the ratio sequence must have limitation .

从这一结果出发证明了，当定义在(0，+∞)上的次可加函数与其自变量之比为有界函数时，次可加函数必存在上下确界函数，并证明了其上下确界函数均为齐次线性函数。

The effective prediction space concept is established, On the base of these, this paper deduces two representations' evaluating equation, one evaluates the prediction error and the other evaluates the prediction error in limited space. First, the error transfer characteristic among subsystems at different space locations is analyzed, and the direct transfer characteristic from discrete standard measure space to the workpiece measure space under measured in measure system is proven. Second, the error reconstruction condition and method of mapping from discrete standard measurement system to continuous standard measurespace are analyzed.

分析了不同空间位置子系统间的误差传递特性，证明了在测量系统中离散标准量值空间向被测量工件量值空间的直接传递性；分析了离散标准量系统向连续量值空间映射的误差重构条件和方法；基于测量样本的有限距离的平稳性，证明了预报模型对动态测量误差的有限收敛性和预报误差的可测度性，进而证明了以离散标准量值系统对被测工件预报修正的可行性和合理性。

Our analysis framework relies on the reflected Backward Stochastic Differential equation approach.We characterize the value functions of the noncallable bonds in terms of the reflected Backward Stochastic Differential equation,Then the relationship between the value function of convertible bonds and reflected backward stochastic differential equations with single reflect is built at the same time,and provide the optimal conversion strategy for bondholders.2:We get the value of non-callable convertible bonds by numerical methods.

探讨了可转换债券的最优停时价值与带反射边界倒向随机微分方程解的关系，在市场完备，公司价值只包括股权和可转债这两种权益等各种假定下，给出不可赎回可转换债券的价值函数，证明了不可赎回可转换债券的最优停时问题的解是存在的，同时给出了其最优的转换策略。2：通过数值方法求解不可赎回可转换债券的价值。

In Section 2 of Chapter 1, we develop the SDA algorithm from a new point of view and show its quadratic convergence under assumptions which are weaker than stabilizability and detectability.

并且我们可在比可稳定化与可侦测化更弱的假设条件下，更进一步证明此一保结构算法的二次收敛性。

In chapter 4, we discuss further some properties of generalized fuzzy inte-grable functions, and prove that not only generalized fuzzy integrable functions have the weak integral absolute continuity, but also sequences of generalized fuzzy integrable functions have uniform weak and absolute continuity.

进一步讨论了广义模糊可积函数的某些性质，证明了在广义三角模S满足(S-1)的条件下，不仅广义模糊可积函数具有弱积分绝对连续性，而且广义模糊可积函数列具有一致弱绝对连续性。

The defender must be allowed to affirm the pasties on the count.

共同危险行为人如果认为自己不应承担责任，可在以下几个方面提供证据：1、指明谁是实际致害者，或者证明其不可能具有侵害原告的危险行为或状态。2、证明原告的损害完全是由其本身的责任造成的或是由共同危险行为以外的行为造成的，即由第三方行为造成的。3、证明其具有法定的免责条件(不可抗力、正当防卫、紧急避险等)。

The results show that the removal rates of COD and BOD 5 can reach 90% and over 90%. The process has the advantages of stable treatment effect, less land occupancy area, low investment and low energy consumption. It can be used to treat the wastewater with larger volume, and deep color, high organic content and even toxicity.

运行实践证明，该工艺对 COD 去除率可达90%， BOD5去除率可达90%以上，且具有处理效果稳定、占地面积小、投资少、能耗低的优点，可用于水量大、色度深、有机物含量高甚至有一定毒性的废水处理。

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％。