用代数方法

They are studied for their global properties by the methods of algebra and algebraic topology and form a natural domain for the global analysis of differential equations.

它们的整体性质用代数和代数拓扑的方法进行研究，并且形成微分方程式的整体分析的一个自然的领域。

They are studied for their global properties by the methods of algebra and algebraic topology and form a natural domain for the global analysis of differ tial equations.

它们的整体性质用代数和代数拓扑的方法进行研究，并且形成微分方程式的整体分析的一个自然的领域。

Using orthogonal function expansion technique the problem can be summa-rized into the solution of infinite algebraic equation systems.

用正交函数展开的方法，将待解的边值问题归结为求解一组无穷代数方程组。

In chapter four, by the concept of negative definite of symmetry interval matrix, methods of analysis of interval matrix and the method of Lyapunov function, the robust absolute stability of Lurie control system with multiple nonlinearities was investigated, and some algebraic sufficient conditions in the form of inequalities of interval matrix were obtained.

在第四章，通过定义对称区间矩阵负定的概念，主要用区间矩阵分析技术和Lyapunov函数方法，研究了具多非线性的区间Lurie控制系统的鲁棒绝对稳定性，我们给出了此类区间Lurie系统鲁棒绝对稳定性的区间矩阵不等式形式的代数充分条件。

This inspires us to use the method of localization at infinity of space to study the relevant index problems of coarse geometry.

用这种空间局部化方法，我们构造了新的指标代数并研究了相应的指标定理。

Without using Lie derivative and Lie bracket operation of differential geometry , we only use the algebra method to give a sufficient condition of single input exact feedback linearizable bilinear systems.

摘 要 研究了单输入的双线性系统的精确线性化及其鲁棒控制器设计问题，避免了用微分几何的李导数、李括号的复杂运算，只用纯代数的方法给出了一般单输入双线性系统精确线性化的充分条件。

It shows the effectiveness and practicability of the approach to prove algebraic identies with combinatorial analysis .

说明了用组合分析方法证明代数恒等式的有效性和实用性。

Analysis for testability is widely used in DFT and test pattern generation, but most testability analysis algorithms have the shortcoming of either inaccuracy or being too complicated. A new method to calculate the signal probabilities of the nodes in IC is pre-sented in Chapter 7 of this dissertation. The signal probabilities by our method is more exact than by the previous ones. A symbol of the signal probability at the fan-out node is created and is propagated to the RFON (Reconvergent Fan-out Nodes). At the RFON, the expression containing the symbol is simplified using the rule which corresponds to the law of identity in Boolean algebra. After the expression is simplified, the symbol is substituted with its numeric value. Theoretical analysis shows that this method is concise and has a low computing complexity.

可测试性分析在可测试性设计和测试生成中都有着广泛的应用，然而大部分的可测性分析方法都存在不精确或者过于复杂的毛病，在第七章中作者提出了一种新的计算IC电路节点的信号概率值的符号算法，该算法得出的信号概率值比用以往的算法法得出的要更准确，也更简洁，针对电路中的扇出节点重汇聚现象，我们在每一个扇出节点定义了一个信号概率的符号，在以后的计算中一直使用该符号参与计算，直到该符号传播至重汇聚处，利用一定的规则把含符号的表达式化简，再将符号的真实值代入，在计算符号概率的过程中定义了一个和布尔代数中的同一律相对应的运算规则，通过该运算规则，使得信号概率的结果更加准确，符号算法具有简洁方便，计算复杂度小的特点 4。

The proof of fundamental theorem of algebra involves much algebra knowledge which is difficult to understand.

代数学基本定理的经典证明用到较多的代数知识，且难以理解，文章探讨用数学分析的方法予以证明。

Based on the Saint-venant equations describing the channel flow movement, the nonlinear algebraic equations derived by the use of Preissmann weighted implicit four-point scheme are solved with the Netwon-Raphson method. A combined Gauss main-element elimination method with compress-storage technique is proposed. The relaxation iterative method for solving branch river networks is extended, which can turn the problem of any complex river networks into the problem of a series of single rivers. The coupling of hydraulic model with water quality model is built up. The combined model was applied to a large complicated river networks with numerical hydraulic structure which influenced by strong tide, storm and heave rain. Visualization of computational results is realized by means of MapInfo, which displays the computational results in fast, convenient and accurate way.

水力模型以描述河道洪水波运动的Saint-Venant方程组为基础，用Newton-Raphson方法直接求解按Preissmann加权四点格式进行离散所得的非线性代数方程组，提出了压缩存贮形式的Gauss列主元消去法并对数值解的收敛性进行了讨论；将支流流量的松弛迭代方法从树状河系推广到了环状河网，使任意复杂河网水力计算的问题都可化为一系列的单一河道的水力计算问题；建立了水力模型与水质模型的联接，初步应用于既有洪水、暴雨、强潮等综合影响，又存在多种水工建筑物及水力调度问题的大型复杂河网中的非恒定流水力、水质计算问题；利用MapInfo对计算结果的可视化进行了研究，有利于决策者快速、方便、准确地作出决策。

However, as the name（read－only memory）implies, CD disks cannot be written onorchanged in any way.

然而，正如其名字所指出的那样，CD盘不能写，也不能用任何方式改变其内容。

Galvanizes steel pallet is mainly export which suits standard packing of European Union, the North America. galvanizes steel pallet is suitable to heavy rack. Pallet surface can design plate type, corrugated and the gap form, satisfies the different requirements.

镀锌钢托盘多用于出口，替代木托盘，免薰蒸，符合欧盟、北美各国对出口货物包装材料的法令要求；喷涂钢托盘适用于重载上货架之用，托盘表面根据需要制作成平板状、波纹状及间隔形式，满足不同的使用要求。