查询词典 algebra of events

Based on two algebra Riccati equation method especially the structure of the system Hamilton matrix and system observability theory, the role of invariant zeros in constructing system reduced order controllers was given. That is, by the suitable selection of free parameters of the system H(subscript ∞) controller, some points which were symmetry with the unstable invariant zeros about the imaginary axis became the stable poles of the system controller which were not observable and could be reduced from the system, thus could get further reduced order controller.

基于2代数黎卡提方程方法，特别是系统Hamilton矩阵的结构特点和系统可观测性理论，论述了不变零点在构造系统降阶控制器中所起的作用，即通过选择控制器的自由参量，使某些不稳定的不变零点关于虚轴对称的点构成系统控制器不可观的稳定极点，从而实现了控制器进一步降阶。

Linear algebra knowledge imperceptibly affects the deepening of students' professional knowledge and sustained development.

线性代数知识潜移默化地影响着学生的专业知识的深化和发展后劲。

In this paper we consider the semisimplicity of implicative BCK-alge-bras and obtain several equivalent conditions which an implicative BCK-algebra is semisimple.

本文考虑关联BCK－代数的半单性，得到这类代数为半单的若干等价条件。

System is used VB6.0, MATLAB6.5 and MATLAB and Visual Basic OLE interface methods of production, use VB Visual Interface, the real object-oriented, event-driven approach using the structure of high-level programming language, the perfect tool Integrated production and friendly interface and features of MATLAB numerical terms, such as a strong graphic image processing function for the core to achieve the limit, derivative, differential, integral and indefinite integral, vector algebra and analytic geometry of space for the function will be Two aspects of the unique advantages of combining the strong points, to shorten the development cycle and reduce programming difficulty, the current rapidly changing information age is of high practical value.

在线等汉-英翻译，网上在线翻译的别回！！！！！系统是采用VB6.0、MATLAB6.5 和MATLAB与Visual Basic接口OLE方法制作的，利用VB界面的可视化、真正面向对象、采用事件驱动方式的结构化高级程序设计语言、工具的完美集成和友好性特点制作界面和MATLAB的数值计算、图形图像等强大的处理功能为内核来实现函数极限、导数、微分、定积分和不定积分、空间解析几何和向量代数的求解功能；将两方面具有的独特优势结合起来，取长补短，以缩短开发周期，降低编程难度，这对当前日新月异的信息时代是具有很高的实用价值。

Key words: algebra; Drazin inverse; block matrices; index; rank

关键 词：代数学；Drazin逆；分块矩阵；指数；秩

Using the theories of probability, algebra, cryptography, Information theory and "Hybrid technique" and "Reduction theory" as tools, and basing on the notion of computational indistinguishability, properties and constructions of DES-model permutations are studied in this dissertation and some useful conclusions are given.

本文综合运用概率论、代数学、密码学、信息论等相关学科的知识及"混合技巧"和"归约论证"思想，以计算不可分辨性为基础，研究了DES型置换的性质和构造，得到较为实用的结果。

We introduced the topology induced by ideals of effect algebra, named ideal topology, and we show that the operations are continuous with respect to the ideal topology.

最近研究表明，这是效应代数上的一个具有良好性质的拓扑结构。

Second part is the induction of the method of number shape union usage in solving algebra problems.

第二部分为归纳数形结合在代数解题中的方法。

According to the characteristic of tight correlation between memory overrun and loop induction variable arithmetic,extended algebra for chains of recurrences is combined with detection methods based on symbolic execution,for the first time,to design defect detection guide information as to multi-loop,while locality characteristic of software updates and their impact is used.

针对内存访问越界缺陷与循环归纳变量运算紧密关联的特点，首次将递推链扩展代数与符号执行类缺陷检测方法相结合，设计了面向多重循环的缺陷检测指导信息，同时利用软件更新影响的局部性特点，实现了基于路径指导的定向检测和基于更新影响的增量检测。

In Chapter 1, assuming that the coefficient field κ is perfect and the order of the inertia group is coprime to the characteristic of κ, we prove the existence and the uniqueness of the hyperfocal subalgebra of a source algebra.

在第一章中，假设系数域是完全的；在惯性群的阶与系数域的特征互素的情况下，我们证明了源代数的超聚焦子代数的存在性与唯一性。

You can snipe the second and third union leaders from this position.

您可以鹬第二和第三工会领袖从这一立场出发。

Aiming at the currently shortage of XML streams quality detecting, this paper proposes a new forecasting method of XML streams quality by least squares support vector machines, which is used the method of XML keys' vector matrix as windows, and vector product wavelet transform to multilevel decompose and refactor the XML streams series, that can fulfill real-time checking demand of XML quality, and ensure constraint, consist- ency and integrality. For even more adapting net load, it proposes a control strategy by weight and adaptive adjustment to ensure XML streams quality.

针对当前XML数据流质量检测存在的不足，提出构建XML键的矢量矩阵作为窗口，利用矢量积小波变换多级分解与重构XML数据流，再结合最小二乘支持向量机对XML数据流质量进行预测的一种方法，满足XML数据流质量重构时实时检测的要求，保证XML数据的约束性、一致性与完整性；为了更好的适应网络负载，采取加权与自适应窗口调整等调度策略充分保证XML数据流的质量检测。