查询词典 algebra of events

A vector named as relation vector to describe relations existing between intervals presented is used by Allen in his Interval algebra theory.

文中为Allen的区间代数理论中区间的关系表达提出了向量表示法，称之为关系向量。

The article based on temporal knowledge representation theory, used Allen's interval algebra method, studied temporal problem in the continual fault stage.

该文基于时态知识表示理论，通过Allen区间代数方法，研究了相继故障的时序问题。

In order to introduce the formal techniques such as stepwise refinement, automatic transformation and testing based on formal specification to the multimedia field, we first present a powerful subset of Allen's interval algebra as the temporal specification language to multimedia program.

为了在多媒体领域中应用逐步求精、程序自动生成和面向形式规范的并发系统测试等形式化技术，本文首先研究一个表达能力足够的Allen区间代数的子集合，以它作为多媒体对象时序关系的描述语言。

Malti-agent system ; interval algebra ; IA network ; temporal relation

多自主体系统；区间代数； IA网络；时序关系

The paper introduces Allen's interval algebra and the extension-the INDU network, applies the Heisenberg Uncertainty Principle to the INDU network, and deletes the fifteen basic relations of INDU where the intervals have at least one same endpoints or the same durations.

介绍了Allen的区间代数及其扩展－INDU网络，将Heisenberg不确定性原理应用于INDU网络，并将INDU的25种基本关系中两区间有端点相等或区间段相等的15种关系删除。

Process algebra, operator, fixed-point, compositional invariant property, constructive property, absolute security

进程代数，算子，不动点，复合不变性质，可构造性质，绝对安全性质

On the basis of algebra invariant theory, the expression of Helmholtz's free energy for orthotropic material considering damage effect was derived. Then, the corresponding constitutive relationship and damage evolution equations were obtained, based on irreversible thermodynamics theory.

基于代数不变量理论，推导了具各向异性损伤的正交各向异性材料的Helmholtz自由能的表达式，同时应用不可逆热力学理论，建立了其损伤本构关系及损伤演化方程。

The inverse polynomial and the invertible affine transformation exist by the finite field, linear algebra and matrix theory. The invertible affine transformation and the inversion in are easily realized by using lookup table. An algorithm can be used to get the inverse element of modulo .

本文运用有限域、线性代数和矩阵理论，论证了逆多项式和逆仿射的存在性，并且应用查表法简捷地实现了中元素的求逆和逆仿射变换；设计了一个易于在在计算机上实现的算法，来求形如的多项式模时的逆元，该多项式的系数在上。

Linear algebra of matrix inversion, the use of this algorithm can...

线性代数中的矩阵求逆的问题，使用此算法可以简化矩阵的操作。

The properties of the max-plus algebra and the partial order, including monotone, invertibility and so on, were used to develop the computing approach to the MIM problem.

利用这个极大代数系统及其偏序关系的单调性、可逆性等性质，提出了一种HTEG最小初始标志的计算方法。

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