可证明的

In this paper,the B-spline curve is supposed as boundary curves,when they are in two paralled plane and two arbitrary plane,the condition about the control vertex of characteristic polygon when the ruled surface is developable are gained,solved the designing problem of degree and degree B-spline curve .Throughing (2,3) degree and (2,2) degree B-spline ,we haveproved the validity and utility of this method.

本文用两条B样条曲线作边界曲线，当它们位于两平行平面上和两任意平面上时，研究得到了由它们形成的直纹面为可展面时它们的特征多边形顶点满足的条件，解决了(n，n+1)次和次可展B样条曲面的设计问题，然后以(2，3)次和(2，2)次B样条曲面为构造实例，证明了该算法的正确性和实用性。

Is discovered. Thus, the greyness is manipulative, which is subject to the language users communicative purposes. In fact, appropriate use of grey information is of great significance in language communication.

实践证明，合理利用灰色信息在交际中有着积极的作用；它可使欲传达的信息表达更准确，也可增加话语的灵活度，同时达到交际的经济简约。

And if H is an infinite dimensional Hilbert space, it is an inner derivation; Finally we get the same results when the nest is non-trivial.

首先证明了作用在Hilbert空间上的B上的r-Jordan可导映射是一个可加导子，并且当Hilbert空间是无限维时，它是一个内导子；最后在N≠{{0}，H}的情况下得到了相同的结论。

Chapter 5 deals with the solvable theorem of adaptive inverse optimal control problems for a class of stochastic nonlinear systems driven by Wiener noises of unknown covariance. The systems are depicted by It〓 stochastic differential equations. By using an adaptive backstepping algorithm and stochastic control Lyapunov functions, the designing procedure of control laws of global asymptotic stability in probability and adaptive inverse optimal stabilization in probability are presented systematically. Adaptive control laws and parameter update laws can be obtained at the same time by this design scheme.

在第5章中，针对具有方差不确定Wiener噪声扰动和未知定常参数的随机非线性系统（假设方差的F—范数是一个常数或一个缓慢变化的量，对其进行在线辨识），给出并证明了自适应逆最优控制问题可解定理，基于随机Lyapunov定理和It〓微分规则，采用自适应Backstepping设计方法，系统地设计了全局依概率渐近稳定和自适应逆最优控制策略，这种设计方法可同时获得控制策略和自适应律，计算机数值仿真结果表明该控制算法是有效性的。

In Chapter 4 we discuss the solvable theorem of adaptive inverse optimal control problems, and proceed with controller designs of global asymptotic stability in probability, adaptive inverse optimal stabilization in probability and output-feedback adaptive inverse optimal stabilization in probability for strict-feedback stochastic nonlinear continuous systems with additive standard Wiener noises and constant unknown parameters using It〓's differentiation rule and an adaptive backstepping algorithm. Control laws and adaptive laws can be obtained at one time by this design scheme. Many simulations have been performed to validate the properties of the proposed adaptive control scheme.

在第4章中，针对具有标准Wiener噪声扰动和未知定常参数的不确定随机非线性系统，提出并证明了自适应逆最优控制问题可解定理，构造了适当形式的四次型随机控制Lvapunov函数，基于It〓微分规则和自适应Backstepping算法，系统地设计了全局依概率渐近稳定控制器、自适应逆最优控制器、输出反馈逆最优控制器以及在设计中如何处理二阶Hessian矩阵函数的方法，这种方法可同时获得控制律和自适应律，通过实例仿真，表明该控制算法是有效性的。

Skepticism on the justiciability of economic and social rights has long been prevailing in the human rights area.

对经济和社会权利具有可诉性的怀疑论在人权领域内曾经长期占据主导地位，但学术界从理论上已经为证明经济和社会权利具有可诉性做出了许多努力，而南非宪法法院对格鲁特布姆案的判决则第一次在实践上对这个问题做出了正面解答：它确认经济和社会权利的主体具有"合理的政策请求权"，并且确立了对经济和社会权利进行司法审查的"合理性原则"。

Which introduces kids and their extension to the primary form of the Riemann integral forms can store and then to be accumulated under the Lebesgue integral form and find the links between these three forms of proof and provement.

其中主要介绍不等式的初等形式及其推广到Riemann可积下的积分形式，然后到Lebesgue可积下的积分形式，并寻找这三种形式之间的联系和证明

So the knowledge in global knowledge base and local knowledge base can be updated efficiently.

该算法的特点是可同时挖掘出全局频繁项集和局部频繁项集，从而可更新网络主管理者的全局知识库和网络分管理者的局部知识库，并通过数值试验证明了算法的有效性。

Observable transformation between different formal description models. Using the ETS-based testing theory, formal transformation methods from LOTOS and Estelle to ETS are proposed respectively.

不同形式描述模型之间的可观察等价性转换根据基于扩展标号变迁系统的协议一致性测试理论，分别提出了LOTOS和Estelle到ETS的形式转换方法，证明了它们的可观察等价性，并举例说明。

The high inoculum levels increased the bacterial growth and shorten the time for antifungal substance production. The powder of rice, soybean cake, yeast, and wheat bran, CaCO3 and KH2PO4 were better nutrients for the bacteria growth and antifungal substance production. There were two stages during the fermentation process at 30℃. The growth of bacteria increased at the first 24 h and the pH of broth rose, but no antifungal activity was observed until 41 h later and reached to the highest level at 114 h.

基本营养物质的初步筛选试验证明：大米粉、豆饼粉、麦麸、酵母粉和CaCO3及KH2PO4是发酵培养基中最佳的营养物质，可满足抗菌物质产生对碳、氮和矿物质的营养需求。B-903的发酵过程可分为两个阶段：在30℃下，24小时内，细菌数量达最大值，pH值由低向高变化，但此阶段检测不出抗菌物质的活性；第二阶段，培养41小时后，抗菌物质活性开始显露，至112小时后达最大值，pH值也逐渐由高变低。

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