Several works suggest proving termination by using triggering and activation graphs at compile-time, and computing an irreducible rule set is the key technique.
主动数据库中规则集的可终止性判定是一个重要问题,已经成为一个研究热点·有些研究工作提出了在编译阶段运用触发图和活化图的方法解决这个问题,其中的一个关键技术就是计算主动规则集的不可归约规则集·现有的计算方法由于具有一定保守性,使得计算出的不可归约规则集仍可进一步地归约,这无疑将影响到规则集的可终止性判定的准确性和运行阶段规则分析的效率·经过深入分析活化规则可无限执行的特点,提出了活化路径等概念·基于这些概念,提出了一个计算主动规则集的不可归约规则集的有效算法,使现有方法求得的不可归约规则集得到进一步的归约
This paper presents a resentch of the irreducible module of Lie algebra by studying minimal left ideal of reducible envelop algebra.
通过研究李代数的既约包络代数的极小左理想来研究李代数的不可约模,对于htχ<1,确定了特征p=2上的Witt代数W(2,1)的χ-既约包络代数的所有极小左理想。
The weight set of an irreducible module for the algebraic group G of type A over an algebraically closed field of characteristic p>0 is described in the present note by constructing a nonzero vector with weight μ.
通过详细构造权为μ的非零向量,决定了特征p>0的代数闭域上A型代数群G的不可约模的权集。
If t∈G,o(t)=2 and V/Cv(t)=2,then V=V1V0,V0=Cv(G);If V/CV(G) is G natural module ,then V=V0,( is G irreducible module,/C(G) is G natural module,and |C(G)|≤2,V0≤CV(G).
考察了L(3,2)的GF(2)模可分解成不可约模的直和,若V为G的非凡模且t∈G,o(t)=2能使V/Cv(t)=2,则V=V1 V0,其中V1为G自然模,V0=CV(G);若V/CV(G)为G自然模,则V= A V0,其中 A为G不可约模, V/C V(G)为G自然模,且|C V(G)|≤2,V0≤CV(G)。
Irreducible Modules of Modular Liesuper Algebra W(1, 1, 1);
模李超代数W（1，1，1）的不可约模
The Derivations of the Finite Dimensional Irreducible Modules over the Loop Algebras
Loop代数的有限维不可约模的导子
Irreducible Modules of Generalized Witt Algebra W(2,1) over a Field of Characterize 2;
特征为2的广义Witt代数W（2，1）的不可约模
VOA Associated to Affine Lie Algebra (?)_2 and Its Irreducible Modules
与李代数（？）_2相关的顶点算子代数N（k，0）及其不可约模
Irreducibility of Generalized Baby Verma Module for sl(4,k)
sl(4,k)的广义baby Verma模的不可约性
Admissibility of Linear Estimators in Linear Models with Respect to Inequality Constraints;
不等式约束下线性模型中线性估计的可容许性
This method can also handle blocks with related position constraint but not connected.
此方法还可以解决不连续但是有相对位置约束的模块布局问题。
How the state will resolve the ambiguities is uncertain. In the opinion of some experts, however, it is already too late to turn back the clock.
国家怎样节约这种模棱两可还不确定。然而，一些专家认为，为时已晚。
Heather: I have no contracts with anyone yet but I want to keep on modeling.
我现在还没有任可合约不过我还想继续当模特儿。
All Admissible Linear Estimators of Regression Coefficient in a Linear Model with Respect to an Inequality Constraint
不等式约束下线性模型中回归系数的所有可容许估计
Admissibility of Linear Estimator in Linear Models with Respect to A Incomplete Ellipsoidal Restrictions
带有不完全椭球约束的线性模型中线性估计的可容许性
Admissibility of Linear Estimators in Stochastic Effective Linear Models with Respect to Inequality Constraints;
随机效应线性模型在不等式约束下的可容许估计
ADMISSBILITY OF LINEAR PREDICTION IN LINEAR MODEL WITH INEQUALITY CONSTRAINT UNDER MATRIX LOSS FUNCTION;
带不等式约束的线性模型中非齐次线性预测的可容许性
Admissibility of Linear Predictor in Growth Curve Model with Respect to Inequality Restriction
不等式约束增长曲线模型中线性预测的可容许性
Admissibility of Linear Estimators in Multivariate Linear Models with Respect to an Incomplete Ellipsoidal Restriction
不完全椭球约束下多元线性模型线性估计的可容许性(英文)
Admissibility of Linear Predictor in the Multivariate Linear Models with Respect to Inequality Constraints
不等式约束多元线性模型中线性预测的可容许性
nonsingular irreducible projective varieties
非奇异不可约射影簇
With Joseph the joiner I cannot agree,
跟木匠约瑟，我可合不来，
