查询词典 generalized Boolean algebra

It is proved that a semiring is complemented if and only if it is a direct product of some Boolean algebra and Boolean ring by studying the relations of congruences on the complemented semiring, so the complemented semiring is the commutative semiring.

s-内射模。通过研究可补半环S的性质及S上的同余关系，证明出可补半环与布尔环和布尔代数的直积是等价的，因而可补半环是交换半环。

Actually function-tree is an application of Boolean theory. Function-tree can be optimized by using absorptive law and idempotent law in Boolean algebra to remove redundant information.

功能树本质上可视为是布尔代数理论的一种应用，从而利用布尔代数的吸收律、幂等律来消除功能树中的冗余信息，对功能树进行优化处理。

Finally,a simplified case of BOFL,i.e.Boolean Operator Propositional Logicestablished on a Boolean algebra,is further discussed.A complete algorithmfor finding the true level and false level of a formula in BOPL,which subsumes the re-lated work by Wang H.in the propositional logic,is also provided.

对布尔算子模糊逻辑的简化情形一布尔算子命题逻辑作了进一步讨论，放宽了对真值域的要求，将布尔算子命题逻辑建立在布尔代数上，并推广了命题逻辑中的王浩算法，给出了一个完备的求给定公式恒真水平和恒假水平的机械推导算法。

Finally, in the third section, by constructing some functional which similar to the conservation law of evolution equation and the technical estimates, we prove that in the inviscid limit the solution of generalized derivative Ginzburg—Landau equation converges to the solution of derivative nonlinear Schrodinger equation correspondently in one-dimension; The existence of global smooth solution for a class of generalized derivative Ginzburg—Landau equation are proved in two-dimension, in some special case, we prove that the solution of GGL equation converges to the weak solution of derivative nonlinear Schr〓dinger equation; In general case, by using some integral identities of solution for generalized Ginzburg—Landau equations with inhomogeneous boundary condition and the estimates for the L〓 norm on boundary of normal derivative and H〓 norm of solution, we prove the existence of global weak solution of the inhomogeneous boundary value problem for generalized Ginzburg—Landau equations.

第三部分：在一维情形，我们考虑了一类带导数项的Ginzburg—Landau方程，通过构造一些类似于发展方程守恒律的泛函及巧妙的积分估计，证明了当粘性系数趋于零时，Ginzburg—Landau方程的解逼近相应的带导数项的Schr〓dinger方程的解，并给出了最优收敛速度估计；在二维情形，我们证明了一类带导数项的广义Ginzburg—Landau方程整体光滑解的存在性，以及在某种特殊情形下，GL方程的解趋近于相应的带导数项的Schr〓dinger方程的弱解；在一般情形下，我们讨论了一类Ginzburg—Landau方程的非齐次边值问题，通过几个积分恒等式，同时估计解的H〓模及法向导数在边界上的模，证明了整体弱解的存在性。

By means of traditional criterions of generalized integral's convergence and divergence, this paper, from the analysis of integrated function's nature, discovers a series of new criterions, which are briefer and more suitable: on the aspect of generalized integral for functions of a single variable, through the investigation of integrated function, together with the inner relationship between positive series and generalized integral in infinite interval under the condition of positive function, it gives several criterions of generalized integral's convergence and divergence, which are similar to positive series' criterions of convergence and divergence.

本文从分析被积函数本身所具的性质出发，借助传统的广义积分敛散性判别方法，发现1系列更简捷适用的新判别方法：单变量函数广义积分方面，通过考察被积函数，结合正项级数与正函数情形下无穷区间上广义积分的内在联系，给出了几个与正项级数敛散性判别法相类似的广义积分敛散性判别方法；多变量函数广义积分方面，着重讨论了广义2重积分和广义3重积分，结合被积函数的特点，运用比较判别法和柯西判别法，本文给出了判别广义2重积分收敛的1种新方法。

In the mean time we also give out a reduction way for nonlinear generalized system F =0 by use of the special projection mappings Q . Based on these we prove that the qualitative structure near the isolated equilibrium point of regular nonlinear generalized system is qualitatively equivalent with the structure near the equilibriun point of the linearization system of nonlinear generalized system, so we give out a way for qualitative analysis near equilibrium point of nonlinear generalized system.

其次，对一般形式的非线性广义系统F=0，利用特殊选择的投影函数Q，给出了一种归约方法，在此基础上，并证明了正则非线性广义系统问题的孤立平衡点的小邻域的定性结构等价于其线性化后的线性广义系统平衡点的定性结构，从而为非线性广义系统的平衡点的定性分析提供了一条途径。

Moreover, we get the sufficient and necessary condition of in Orlicz spaces.Chapter 3 Extreme points and strongly extreme points in Orlicz spaces equipped with the generalized Orlicz norm: In this paper, the conceptions of the generalized Orlicz norm and the generalized Luxemburg norm are introduced, and the criteria of extreme points and strongly extreme points of Orlicz function spaces equipped with the generalized Orlicz norm are obtained. Moreover, criteria of space strictly convex and mid-point locally uniform convex are given.

第三章 赋广义Orlicz范数的Orlicz函数空间的端点和强端点：本章在Orlicz空间推广了Orlicz范数和Luxemburg范数，引入了广义Orlicz范数和广义Luxemburg范数的定义，并给出了赋广义Orlicz范数的Orlicz函数空间的端点和强端点的判据，进而得到了赋广义Orlicz范数的Orlicz函数空间严格凸和中点局部一致凸的充要条件。

This paper studies the invariant, which is the linear preserving problem based on generalized inverse of matrices. The generalized inverse of matrices and the research status of preserving problems of generalized inverse are outlined. In the basis of deeply understanding the basic knowledge of linear maps, the definition, characteristics of generalized inverse and decomposition of matrix, the author analyzes the decomposition form of preserving idempotence and preserving tripotence in the PID, then studies on the linear maps form of preserving group inverses of symmetric matrices.

本文研究的不变量是矩阵广义逆线性算子的保持问题，概述了广义逆矩阵，广义逆保持问题的研究现状，在对线性映射的基础知识，广义逆矩阵的定义、性质和矩阵的分解深入理解的基础上，深入分析了保幂等、保立方幂等矩阵在主理想整环上的分解形式，继而研究了保对称矩阵群逆的线性算子形式。

This paper generalizes the conclusion of Perfect nonlinear S-boxes by Nyberg(1991), and introduces the conception of inverse regular generalized vector Bent function. It shows that for inverse regular generalized vector Bent function f with even variables, m is no more than half of?. It also shows that when the input dimension n is odd, the regular generalized vector Bent function and the inverse regular generalized vector Bent function do not exist. This may prevent the cryptology designer from seeking the inexistent function.

摘要该文完善并拓展了Nyberg(1991)的关于广义向量Bent函数性质的结论，相应于Nyberg给出的正则广义向量Bent函数，提出了&负则的广义向量Bent函数&的概念：得到有偶数个输入的负则的广义向量Bent函数输出维数也不大于输入维数的一半；证明了奇数个输入的正则和负则的广义向量Bent函数都不存在，这些结果的给出，可使密码设计者避免一味去寻找某类不存在的函数。

The purpose of this paper is to extract the coupling matrix of generalized chebyshev filter, model the four-port rectangular junctions, multiple-stepped rectangular waveguide bend and T-septum rectangular waveguide junction by full-wave methods and design generalized chebyshev filters and diplexers. The main works are as follows: 1. Systematically research on the theory of generalized chebyshev filters The generalized chebyshev filters are based on the all-coupled model.

本文主要目的是研究广义切比雪夫滤波器拓扑结构、物理结构上可实现的耦合矩阵提取及其特性分析和基于模式匹配法全波建模四口矩形结、多阶梯矩形波导弯头、T—scptum矩形波导接头，最后，设计了一系列高性能的滤波器和双工器。

Don't listen to their haver, nothing of that sort.

别听他们胡说八道，根本就没那回事。

But bank's shares trade below their book value, suggesting that investors are skeptical.

但是，银行股票以低于账面价值的价格交易，这一点反应了投资者的怀疑。