方法研究

In chapter 4,by using the Liapunov method and the generalized Liapunov method ,we study the asymptotic behavior for matrix functional differential equations .The conditions for the solution of the system X.

在第四章中，我们用Liapunov方法和推广了的Liapunov方法研究了矩阵泛函微分方程的渐近行为，给出了系统X。

Hamilton modeling and generating function method for relative motion were introduced. Approximation of Hamilton function for relative motion of satellite formation and its impact on modeling accuracy were interviewed.

采用分析力学方法研究DSS卫星间的相对运动，讨论了DSS相对运动的Hamilton力学建模与生成函数近似求解方法，分析了相对运动的Hamilton函数近似阶数对求解精度的影响。

Optimal control of DSS formation adjusting based on Hamilton Mechanics and generating function method was investigated. An iterative way of solving the two-point boundary value problem induced by optimal control by relative motion generating function approximation was proposed.

基于考虑J_2项的DSS相对运动Hamilton力学模型和生成函数方法研究了DSS构形调整的最优控制问题，提出了求解最优控制两点边值问题的相对运动生成函数近似迭代方法。

Thus we can specify and verify this kind of system with Hoare logic, which can also work as the basis for the further introduction to time characteristic. Design of ND-COOSL.

3混成系统的形式化方法研究为了提高规约语言的表达能力，提出了一种基于状态空间，逐步精化的混成系统分析和设计方法，并提出了一种扩展的Hoare逻辑作为其理论基础。

In this paper,expansion of steel slag and its hydration products in different hydrothermal conditions are studied.

利用XRD，DTG等分析方法研究了不同类型钢渣在各种水热条件下的水化产物及其膨胀性，并探讨了抑制钢渣膨胀的方法。

Mathematic proof of the hypertonicity for this model is given using two different cases. Furthermore, the Riemann invariants for the multi-class traffic flow LWR model are studied by using characteristic line method, and the physical interpret of the Riemann invariants are also pointed out. The information in transfer is obtained, that is, the total density and the relative density hold the same.

用两种方法给出了该模型在不同情形下双曲性的数学证明，运用特征线方法研究并计算了任意等级MCLWR交通流模型的Riemann不变量，得到了其传递的交通信息，给出了Riemann不变量物理意义的解释，即总密度保持不变和相对密度保持不变，最后又从形式上指出了在多等级车流并行时，MCLWR与LWR两种交通流模型实际上是等价的。

A kind of one parameter planar singular perturbation equation is studied by the qualitative theory of ordinary differential equations, asymptotic analysis methods, implicit function theorem and fixed point methods.

本文应用微分方程定性理论、渐进分析方法、隐函数定理以及不动点理论的方法研究一类单参数二维奇异摄动系统。

This paper has conducted research on the feature and functional principle of pyrotechnically actuated separation devices with the theory of interior ballistics and reliability, and achieved the following results:(1) Analyzing the working process of pyrotechnically actuated separation devices from the aspect of energy transferring,and illustrating pyrotechnics system composing with the approach of system theory.

本文采用火药内弹道理论、可靠性理论等方法研究了火工分离装置的特点和作用机理，取得的主要成果如下：(1)从能量转换的角度分析了火工分离装置的工作过程，并用系统论的方法阐述了火工系统的组成。

In this paper, we discussed some problems of three special risk models with interest by recursive method and Martingale method.

本文主要运用递推方法以及鞅方法研究了三种特殊的带利率风险模型的若干问题。

Methods: Mesityl oxide in the air was sampled by active carbon tube and desorbed by the solvent of carbon disulfide which included 1% methanol, then separated by FFAP capillary column, and finally detected by hydrogen flame detector. The experimental study was conducted according to the requirements of Regulation of studies on the determination of toxicants in the air of workplace.

工作场所空气用活性炭管采集，经1%甲醇的二硫化碳溶液解吸，FFAP毛细色谱柱分离，氢火焰离子化检测器检测，按照《工作场所空气中有毒物质检测方法研制规范》的要求进行方法研究。

The basic concept of FOP can be summarized as to further optimize effective prescription according to the standard of curative effects and with the aid of modern science and technology and theories of traditional Chinese medicine.

其基本内涵可概括为：以确有疗效的中药复方为研究对象，以现代科学技术和传统中医药理论为技术支持，以该复方所治病证的药效响应为评价标准，以优化重组疗效更优的新复方为研究目的。

Ever since our world has been a world, native forests have been indiscriminately exploited by man.

自从我们的世界一直是世界原生森林被任意剥削人。