可证明的

In our thesis, contents are organized as following In Chapter 1 we present our topic's internal and overseas research situations, theoretical and practical significance, and introduce the research object and contents, and the main contributions of this dissertation. Chapter 2 reviews the development of the stability results for nonlinear systems and some relevant recent results, which include Lyapunov and LaSalle-Yoshizawa theorems for nonlinear systems, and stochastic edition for stochastic nonlinear systems. Sontag's formula for systems affine in control is presented in the frame of CLF. The concepts of disturbance attenuation and the inverse optimality are also explained in this Chapter. In chapter 3 we present the solvable theorem of inverse optimal gain assignment problem, design the inverse optimal controller and the inverse optimal tracking controller for strict-feedback nonlinear continuous systems with unknown time-varing bounded disturbances and constant unknown parameters using an adaptive backstepping algorithm, which are nonlinear, continuous and are easier to realize. These designs are fully systematic and the algorithm can be directly coded in symbolic software. The results of simulation show the effectiveness of the control algorithms.

论文的结构如下：在第1章中，给出了本文研究课题的研究现状、理论意义和实际应用，并介绍了本文的研究对象、研究内容以及主要贡献；在第2章中，针对确定性非线性系统和随机非线性系统，分别介绍了Lyapunov定理、LaSalle-Yoshizawa定理及其随机版本；对仿射系统，在控制Lyapunov函数框架下，给出了Sontag公式；同时给出了非线性系统扰动抑制和逆最优控制问题的基本概念；在第3章中，针对具有未知时变有界扰动和未知定常参数的一类不确定非线性系统，给出并证明了逆最优增益配置可解定理，使用自适应Backstepping算法和均值定理，系统地设计了自适应逆最优控制器和逆最优跟踪器，这种设计方法可同时获得逆最优控制策略和自适应律，简单明了，仿真结果表明该控制算法的有效性，并给出了性能估计。

At the beginning of this paper, we briefly introduced the fundamental knowledge of the Newton iterative methods , and the local convergence theorem which extended the classical Newton method, because of the local convergence, the theorem had its certain restrict. Large-scale convergence theorem was proved under the condition that matrix M is irreducible diagonally dominant by Newton's method with line search.At the last part of this paper, we present the method for solving linear complementarity problems arising from journal bearings.

本文首先介绍了Newton型迭代法的基础知识，然后着重介绍了B-可微方程的Newton法，给出B-可微法的局部收敛结论，推广了古典的Newton法，但由于收敛的局部性，该算法仍有一定的不足之处；文章在证明大范围收敛定理时，假设M是不可约对角优势矩阵，采用一维Newton寻查的方法，保证算法的收敛性。

From the starting value selection method in the Fuzzy ISODATA algorithm, used the method of maximal matrix element to ascertain the number of classification, the theoretical analysis of repeated test, and finally, the improved fuzzy ISODATA algorithm is obtained. The algorithm reduced sensitivity to the starting value. The algorithm can highly effective clustering analyze and obtains a stable result, so it presents an efficient way of improving the contribution value of custom service.

研究中先对模糊ISODATA聚类演算法中，初始划分矩阵和分类数的确定，并使用最大矩阵元素法，求得最佳化演算法中其他参数值，最后在CRM系统实际验证和分析中，采用本研究改良之模糊ISODATA聚类演算法，对汽车销售公司实施客户模组分类，经实验证明所得到的聚类结果，可有效解决一般聚类方法受限於参数设定敏感度的困扰，并使聚类精确度提高，有效排除杂讯敏感的影响，使聚类效果大幅提升，可帮助行销人员做出预测，制订出针对客户差异化的行销策略，提高客户服务的贡献价值。

The results showed that the purified serum can recognize MUC1 protein ..proliferation assays of T-cells from spleen of Balb/C inoculated with the positive phages showed that T-cells were markely proliferated in absence of adjuvant during immunization , which demenstrated that phage might be a proper vector for the immunization.

为证实模拟抗原的免疫原性，进一步用展示MUC1抗原模拟表位的噬菌体阳性克隆免疫小鼠，3次免疫小鼠后，血清(1：1000)中能检测到较强的MUC1抗体阳性；以最大OD450值之纯化血清做为一抗行蛋白印迹分析，结果显示：纯化血清可识别MUC1蛋白；小鼠脾脏淋巴细胞增殖率检测结果表明：噬菌体展示肽表位可在无佐剂存在情况下，大大促进小鼠的脾淋巴细胞的增殖，证明噬菌体是一较好的生物载体。

We first characterize the groups in which all m∈cdq〓 contain at most 4 prime divisors; and then show the following: if any m∈cdq〓 is nth-power-free then the derived length of solvable group G is bounded by a function f depended only on n; also if cdq〓 has k different p-parts then the p-length of solvable group G is bounded by a function g depended only on k.

首先研究了非线性不可约特征标对应的特征标次数的商至多含有4个素因子的有限群结构。其次，我们证明：若每m∈cdq〓是n次方自由的，则有限可解群G的的导长及p-长都被仅依赖于n的函数所界定；若cdq〓中共有k个两两不同的p-部分，则有限可解群G的p-长能被仅依赖于k的函数所界定。

When EGTA (Ca〓 chelator), Verapmil and LaCl〓(Ca〓 channel blockers) were used to treat tomato fruit at green mature and strawberry fruit at white stage with ethylene, they could reverse ethylene-induced increase in ethylene production in tomato and strawberry, PG activity, lycopene content, soluble protein content in cell wall in tomato and degradation in soluble protein in strawberry, which indicated blocking Ca〓 channel in plasma membrane or chelating Ca〓 can decrease intracellular Ca〓, further inhibite ethylene-induced maturation, ripening and senescence of fruit.

用质膜钙通道阻断剂异博定、钙通道Ca〓竞争性抑制剂以及Ca〓专一性螯合剂与乙烯一起处理绿熟期番茄果实和乳白期草莓果实，均可抑制乙烯诱导番茄和草莓的乙烯生成、番茄PG活性的提高、番茄红素含量的增加和细胞壁可溶性蛋白含量的增加以及草莓可溶性蛋白的分解，表明阻断质膜Ca〓通道或螯合胞外Ca〓以减少胞内Ca〓能抑制乙烯对果实的催熟作用，间接证明乙烯对果实成熟衰老的诱导与胞外Ca〓内流引起的胞质Ca〓浓度的增加密切相关，表明乙烯信号转导可能与钙信使有关，调节胞质Ca〓浓度可调节乙烯对果实的催熟作用。

Based on the decomposition theorem for vector space with module structure and rational canonical form of matrix, a kind of new block diagonal controllably canonical forms are inferred when the time invariant linear multivariable system is completely controllable, which the system matrix is similar to a block diagonal and has an analogy with its rational canonical form. Compare with current controllability canonical forms, this kind is easier to analyse the system constructional characteristic. The process of proof gives an effective solution method.

基于向量空间的模结构分解和矩阵的有理标准形给出了定常多输入线性系统一类新的块对角可控规范型，其中的系统矩阵相似与一个块对角矩阵，该块对角矩阵类似于矩阵的有理标准形，与现在有的可控规范型比较，更容易反映系统的结构特征，证明步骤给出了求解方法。

Bone marrow-derived mesenchymal stem cells are capable of chondrogenesis, making them a possible source of cells for injectable cartilage tissue engineering. There exist different ideas on the ability of mesenchymal stem cells's chondrogenesis in monolayer culture. Because of this, the effect of adult rabbit's bone marrow-derived mesenchymal stem cells chondrogenesis in monolayer culture was studied. The mesenchymal stem cells was isolated from adult rabbit's bone marrow and monolayer cultured. TGF-β1, Vit-C and Dexamethasone were used. Immunohistochemistry analyses and histological staining of H-E, Methylaniline blue and Alcian blue were performed to identify the expression of collagen type Ⅱ and cartilage associated matrix. The results showed that the induced cells expressed and produced collagen type Ⅱ and cartilage associated matrix. This suggests that the differentiation of adult rabbit's marrow-derived mesenchymal stem cells into chondrocyte in monolayer culture is feasible and may be induced by TGF-β1, Vit-C and Dexamethasone.

骨髓基质干细胞的软骨分化潜能使其可能成为可注射组织工程化软骨研究的种子细胞，为探讨体外培养的骨髓基质干细胞在平面诱导条件下软骨分化的可行性，我们进行下列实验：获取并体外平面培养成体兔骨髓基质干细胞，应用TGF-β〓、Vit-C和地塞米松对其软骨分化诱导，诱导后的骨髓基质干细胞行细胞爬片组织学和Ⅱ型胶原免疫组化，结果证实，诱导后骨髓基质干细胞可分泌Ⅱ型胶原，组织学染色可见类似于软骨细胞，由此证明体外培养的骨髓基质干细胞在平面诱导条件下可以软骨分化，其软骨诱导因子为TGF-β〓、Vit-C和地塞米松。

This chapter proposes three conceptions, i.e., Kernelled quasidiferential, star-kernel and star-diferential, and establishes their operational properties. A sufficient theorem and a sufficent and necessity theorem for a quasi-kernel being a kernelled quasidiferential are proven. Both the existence of star-kernel for a quasidiferentiable function and the existence of star-differential for a direnction-ally diferentiable function are established.

在这一章里，首先给出核拟微分，星核与星微分的定义及其它们的运算性质；然后证明了拟核微分的一个充分条件定理及一个充要条件定理；最后讨(来源：A27BC论文网www.abclunwen.com)论拟可微函数星核的存在性及方向可微函数星微分的存在性以及Penot-微分与上下导数之间的关系。

This paper describes application situation of rotary coder on bucket stack-reclaimer, the practice shows the application of high speed counter function of programmable controller together with application of rotary coder can effectively realize rotary angle measurement and rotary protection function to equipment, which is capable of realizing the purpose of accurate positioning, easy adjustment, safety and reliability.

介绍了旋转编码器在斗轮堆取料机的应用情况，实践证明，利用可编程序控制器的高速计数器功能配合旋转编码器的使用，可有效地实现对回转角度的测量和对设备的回转保护功能，能够达到定位准确、调整方便、安全可靠的目的。

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