查询词典 algebra of events

Based on rotation group algebra, a set of new methods for the expression of attitude error are provided.

基于旋转群代数，提出了一套姿态误差表示的新方法。

In exterior differentiation, one studies tensors, exterior algebra, tangent bundle, tangent vector fields, one-parameter groups action on a manifold, Frobenius's theorem, tensors fields, exterior differential form, integration on manifolds, Stokes's theorem etc.

外微分部分主要涉及外代数、切丛，光滑切向量场，单参数变换群，光滑张量场，外微分形式，Frobenius定理，外微分形式的积分，Stokes定理及其应用等。

In this paper, mathematical analysis, linear algebra is more material as the foundation, on the basis of previous studies, will solve a number of the function extreme value methods, such as distribution method, elimination method, the discriminant method, mean inequality method, the geometric method, vector method and derivative method, and so to summarize, and on this basis is given for each method the corresponding examples to illustrate for readers to reference and understanding.

本文以数学分析、线性代数更教材为基础，在前人研究的基础上，将求解函数极值的若干方法，如配方法、消元法、判别式法、均值不等式法、几何法、向量法和导数法等等进行归纳总结，并在此基础上针对每一种方法给出相应的例子加以说明，以便读者参考和理解。

In this paper, the elementary concepts of complex Riesz space and complex f -algebra are introduced first.

本文首先引人了复Riesz空间和复f-代数的基本概念。

Analysis for testability is widely used in DFT and test pattern generation, but most testability analysis algorithms have the shortcoming of either inaccuracy or being too complicated. A new method to calculate the signal probabilities of the nodes in IC is pre-sented in Chapter 7 of this dissertation. The signal probabilities by our method is more exact than by the previous ones. A symbol of the signal probability at the fan-out node is created and is propagated to the RFON (Reconvergent Fan-out Nodes). At the RFON, the expression containing the symbol is simplified using the rule which corresponds to the law of identity in Boolean algebra. After the expression is simplified, the symbol is substituted with its numeric value. Theoretical analysis shows that this method is concise and has a low computing complexity.

可测试性分析在可测试性设计和测试生成中都有着广泛的应用，然而大部分的可测性分析方法都存在不精确或者过于复杂的毛病，在第七章中作者提出了一种新的计算IC电路节点的信号概率值的符号算法，该算法得出的信号概率值比用以往的算法法得出的要更准确，也更简洁，针对电路中的扇出节点重汇聚现象，我们在每一个扇出节点定义了一个信号概率的符号，在以后的计算中一直使用该符号参与计算，直到该符号传播至重汇聚处，利用一定的规则把含符号的表达式化简，再将符号的真实值代入，在计算符号概率的过程中定义了一个和布尔代数中的同一律相对应的运算规则，通过该运算规则，使得信号概率的结果更加准确，符号算法具有简洁方便，计算复杂度小的特点 4。

Huffman tree implemented using a genealogy program, you can find her son, the father node, and the family algebra, etc.

详细说明：一个用哈夫曼树实现的家谱程序，可以查找儿子，父亲节点以及这个家族的代数等。

In this paper we studied filter backprojection algorithm and algebra iteractive algorithm of industrial CT image reconstruction.

本文研究了CT成像的常用算法：滤波反投影算法和代数迭代算法。

For all finitely additive probability measures defined on theσ-algebra ?

上的所有有限可加概率测度的表示理论。

By taking the strategy of uniting geometry with algebra and using the method of minimal value, the distance problems between a line and a line in four dimensional space are investigated and the caculation formula are given.

用形数结合的观点和极小值法，研究了四维空间中两直线间的距离问题，并给出了相应的计算公式。

And algebra from Arabic. Kleenex and Frigidaire are invented words based on elements alreadyexisting in English - clean, frigid and air.

另外，Kleenex和Frigidaire（电冰箱之一种，其商标名）是由分别是由英语里clean、frigid、air三个词派生出来的。

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数据流的质量检测。