区间代数

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系统鲁棒绝对稳定性的区间矩阵不等式形式的代数充分条件。

The parametric speed of the curve is firstly approximated by the Bernstein polynomial, which takes the lengths of control point vectors of the direction curve of normal as Bézier coordinates.

其次 ，基于参数速度的 L egendre多项式逼近和插值区间端点的 Jacobi多项式逼近，导出了保持法矢平移方向的两种代数方式的等距有理逼近算法。

In chapter five, by the methods of analysis of interval matrix and Lyapunov functional, the absolute stability and robust absolute stability for several types of delay Lurie control systems with multiple nonlinearities was investigated, and some algebraic criteria were obtained.

在第五章，用Lyapunov泛函和区间矩阵分析方法，讨论了几类时滞多非线性Lurie系统的绝对稳定性及鲁棒绝对稳定性，并得出了一些代数准则。

A definition of "Kernel" is given first. Algorithm axioms, algorithm rules of interval grey numbers and new algebraic systems are built based on the "Kernel" and the degree of greyness of grey numbers. And the properties of the algorithm are studied.

首先给出了灰数"核"的定义，基于"核"和灰数灰度建立了区间灰数运算公理、运算法则和新的灰代数系统，并研究了运算性质。

But , when we changeour trainofthought , we can find that sometimes using mathematical Analysis is a better solution to the linear algebraic problems.In thispaper, use the propertyofcontinuous function andimproper integralof infinite interval and to solve some matrix and quadratic form problems.Algebraic ideas andmethodstosolvemathematical analysisproblems are indicated by several specific examples. Close contactof differentmathematical analysis fields is shown.

该文探讨运用数学分析的有关知识（如：函数连续性、无穷区间的广义积分）和方法解决高等代数中的某些复杂、繁琐的问题；通过具体的实例，阐述高等代数的思想和方法在解决数学分析问题中的作用，揭示不同的数学领域之间的密切联系，例如：二次型与正交变换是代数学的基本内容，其用途十分广泛，而重积分的计算往往存在技术性的困难，若利用"二次型"与"正交变换"的有关理论去解决某些重积分的计算问题是颇有功效的。

In order to introduce the formal techniques such as stepwise refinement, automatic transformation and testing based on formal specification to the multimedia field, we first present a powerful subset of Allen's interval algebra as the temporal specification language to multimedia program.

为了在多媒体领域中应用逐步求精、程序自动生成和面向形式规范的并发系统测试等形式化技术，本文首先研究一个表达能力足够的Allen区间代数的子集合，以它作为多媒体对象时序关系的描述语言。

Malti-agent system ; interval algebra ; IA network ; temporal relation

多自主体系统；区间代数； IA网络；时序关系

We study the properties of $BR_0$-algebra and the total complication triple I method on complete $BR_0$-algebra, and we apply the results to $R_0$-Unite interval $\overline{W}$. Not only we have simplified the proof of the results of $R_0$-type triple I method on $R_0$-Unite interval $\overline{W}$, but also we make the proof to combine with the formal deductive system for fuzzy propositional calculus. This work also explains that the $R_0$-type triple I method is a matching fuzzy inference with $B{\cal L}^*$ system.

研究了基础$BR_0$-代数的性质和基于完备基础$BR_0$-代数的全蕴涵三I算法，对一般蕴涵算子给出了三I算法解存在的一个充分条件，并将结果应用于$R_0$-单位区间$\overline{W}$，不但极大的简化了$R_0$-单位区间$\overline{W}$的$R_0$-型$\alpha$-三I算法结果的证明，而且使其证明过程与相应的模糊命题演算系统结合起来，说明了$R_0$-型三I算法是与$B{\cal L}^*$系统相匹配的模糊推理方法。

We study the properties of BR0-algebra and the total complication triple I method on complete BR0-algebra, and we apply the results to R0-Unite interval W. Not only we have simplified the proof of the results of R0-type triple I method on R0-Unite interval W, but also we make the proof to combine with the formal deductive system for fuzzy propositional calculus. This work also explains that the R0-type triple I method is a matching fuzzy inference with B?

研究了基础BR0-代数的性质和基于完备基础BR0-代数的全蕴涵三I算法，对—般蕴涵算子给出了三I算法解存在的—个充分条件，并将结果应用于R0-单位区间W，不但极大的简化了R0-单位区间W的R0-型α-三I算法结果的证明，而且使其证明过程与相应的模糊命题演算系统结合起来，说明了R0-型三I算法是与B？

An advanced combined turbulent lubrication model is proposed: low turbulence Reynolds number k-e model is used to describe the flow in the near-wall regions, and algebraic Reynolds stress model is used to describe the flow in the turbulence kernel, with flow continuity kept between the two models and transition criterion set to fit Leutheusser's measurements.

提出了先进的复合型紊流润滑理论：以低紊流雷诺数k-e模式描述近壁区内的流场，而以代数雷诺应力模式描述紊流核心区内的流场，二区间流场连续过渡，并依据Leutheusser实验结果设定过渡准则。

As she looked at Warrington's manly face, and dark, melancholy eyes, she had settled in her mind that he must have been the victim of an unhappy attachment.

每逢看到沃林顿那刚毅的脸，那乌黑、忧郁的眼睛，她便会相信，他一定作过不幸的爱情的受害者。

Maybe they'll disappear into a pothole.

也许他们将在壶穴里消失