查询词典 generalized Boolean algebra

According to the rough structure and algebra structure, the main work is to study the application of rough set theory on algebra system-groups and rings in this thesis. So that rough algebra system is built better perfectly.

本文根据粗糙结构和代数结构，研究了粗糙集理论在代数系统——群、环上的应用，以此建立比较完善的粗糙代数系统。

In this paper,the main work is to extended the premitive model of rough sets;Accorting to the Rough structure and algebra structure,the main work is to study the application of rough set theory on algebra system-group,so that rough algebra system is better perfectly.

本文在现有的Pawlak粗糙集模型基础上，对模型进行推广；根据粗糙结构和代数结构及已有的研究成果的基础上，更进一步地研究了粗糙集理论在代数系统一群上的应用，以此建立较为完善的粗糙代数系统。

Keywords: Groebner basis; regular point; two-point algebra; radical square zero algebra; wild algebra

中文关键词： Groebner基；正则点；两点代数；根方零代数；野代数

In this paper, we discuss effect algebra and related topics. The main results are the following:1. Effect algebra is a commutative algebraic structure. To get a non-commutative algebraic structure.we introduced the concepts of left difference and right difference, and we also introduced the concept of the Bi-difference sets, the concept of pseudo-difference poset, and proved that pseudo-difference poset is equivalent to pseudo-effect algebra.

效应代数描述的是具有交换性的量子系统，我们借助于差运算的思想研究了不可交换的量子逻辑结构，建立了左差、右差、伪差偏序集、双差集等概念，证明了伪差偏序集与伪效应代数等价，并得到了双差集的幺半群表示定理。

Software Description: About Personal Algebra Tutor, Enter your problems into this algebra problem solver to view step-by-step solutions and explanationsto basic algebra through pre-calculus problems.

Personal Algebra Tutor 输入你的难题到这款代数题解答器观看分步式答案以及贯穿学习微积分前必修课程的注释说明。

In third part, I discussed R0 algebra in two different aspect:(1) Defined Boole element in R0 algebra. Gave the properties of Boole element and distributive rules of Boole element about finite R0 algebra. Study the filter and the stone filter of L are filters of M.

元的分布规律：研究了民代数M的滤子和民代数M作为有界分配格（记这个有界分配格为L（MO 的滤子之间的关系，得出结论：L的极小素滤子以及 L的 Stone滤子都是 M的滤子，但 L的滤子一般不必是M的滤子。

Adopting generalized Jordan block and algebra equivalence transform method, all of the transfer functions at different load points can be transformed to state-space description with time variable. The steady robustness of three different mode of control systems were researched by mathematic analysis. It shows that: for the high order inertia controlled object with the characteristic of nonlinear and time-variable that described by the set of transfer functions, the Luenberger function observer established according to its any algebra equivalence state-space description, if some conditions can be met, there would be a matrix of T with n′n satisfied the Sylvester matrix equation TA- FT=GC.

采用广义约当块及代数等价变换方法，可将分段的传递函数描述转换为变参数的状态空间描述，对3种典型控制系统的稳定鲁棒性所进行的理论研究表明，对同一组传递函数描述的具有非线性和时变特性的高阶惯性受控对象，依据其任一代数等价的状态空间描述所构建的Luenberger函数观测器，在满足一定的条件时，存在n′n解阵T满足Sylvester矩阵方程TA- FT=GC。

The paper addresses the existence problem of generalized inverses for elements of a Banach algebra under perturbations and derives a sufficient and necessary condition for the existence of generalized inverse.

文中讨论了Banach代数元扰动后广义逆的存在性问题。用线性算子广义逆的稳定性问题的方法，得到Banach代数元扰动后广义逆存在的充分必要条件以及稳定的一个充分条件

Based on initial condition, during certain time span, numerical analysis method of differential equation, algebra iteration and optimization method are used to solve response of generalized system and to analyze stability of generalized system.

从初始条件出发，在一定时间长度上，采用微分方程数值积分法、代数迭代和优化方法来求解系统响应，获得非线性广义系统稳定性的数值分析方法。

Rushanan(1991) generalized them to duadic abelian codes and Zhu(1996) further generalized them to duadic group algebra codes.

它是由Leon等人(1984)作为二元域上二次剩余码的推广而提出的；Rushanan(1991)把它推广到duadic阿贝尔码；朱烈(1996)进一步推广到duadic群代数码。

The witness also told the jury at the Royal Courts of Justice in London that he saw a paparazzo fighting with a member of the public who was trying to stop him taking pictures in the minutes before the emergency services arrived.

他还告诉在伦敦皇家法庭的陪审团，在急救服务到来之前，他当时看见一个狗仔队正和一群阻止他拍照的人打架。

The entire N／C program on a tape is made up of an accumulation of these successive data blocks.

纸带上的整个数控程序由这些连续数据单元连接而成。