Estimation of least upper bound of IC power dissipation Calculating IC power dissipation is a basis for low power design. IC电源消耗的估计本文提出并实现了一种计算IC电源消耗最小上界(LUB)的方法。
By strict mathematical verification, this new information flow model satisfies the character of finite lattice and least upper bound operator in reference [ 3 ], and it is reasonable and safe. 经严格的数学证明,新的信息流模型满足文献[3]的有限格和最小上界(LUB)运算符性质,是合理的、安全的。
The main difficulties in the discussion are finding the least degree in the vanishing theorem, determining the least upper bound in the Clifford theorems, the condition of the existence theorem and the criterion of classifying the indecomposable special rank two vector bundles generated by their sections. 消没定理中最低次数的寻找、Clifford定理中最小上界(LUB)的确定、存在定理的条件、由截面生成的不可分解特殊二维向量丛分类的依据,这些是问题的主要难点。
Topological semilattices are partially ordered topological spaces X in which each pair of elements x, x ' X has a least upper bound x x ' and the function (. x, x ' ) - x V x ' is continuous. 拓扑半格是偏序拓扑空间,其中每对元素x,x'∈X至少有一个上界工x∨x'且函数(x,x')→x∨x'是连续的。
Model structure determination based on the least noise upper bound 基于最小噪声上界确定模型的结构