查询词典 interval algebra

As an important algebraic tool, DG algebra turns out to be very important.

作为一个重要的代数工具，日益显示出其重要价值。

They are studied for their global properties by the methods of algebra and algebraic topology and form a natural domain for the global analysis of differential equations.

它们的整体性质用代数和代数拓扑的方法进行研究，并且形成微分方程式的整体分析的一个自然的领域。

They are studied for their global properties by the methods of algebra and algebraic topology and form a natural domain for the global analysis of differ tial equations.

它们的整体性质用代数和代数拓扑的方法进行研究，并且形成微分方程式的整体分析的一个自然的领域。

Since there are special courses devoted to commutative algebra and algebraic geometry, these parts are not included in the present course.

因此选择的内容应有普适性、示范性、基础性、重要性和可教性。过于专门化的理论或细节不是这门课的任务。

We also get a representation theorem for Bi-difference sets.2. Ideal and filter are two important concepts in quantum logic. From the order structure and algebraic structures of effect algebra, there are many definitions of ideals and filters.

理想和滤子是量子逻辑中的两个重要概念，由于量子逻辑有自身的代数结构和序结构，因此有多种意义下的理想和滤子概念。

In the recent years, due to there being intrinsic relationships between tilting theory and quantum group, Lie algebra and other algebraic branch, tilting theory has been one of the international hot topics.

现在，由于倾斜理论与量子群，李代数等其它代数学科的本质联系，倾斜理论成为国际研究热点之一。1998年，I。

The algebraic laws of InforSIB event algebra and its context consumption policy are discussed. Context consumption policy is very suitable for real-time monitoring applications and has good algebraic laws to ensure that the time and space complexity is bounded for composite event detection.

讨论了InforSIB事件代数的代数性质，提出的上下文策略非常适合用于实时监控等领域，且具有良好的代数性质，保证了复合事件检测的时间和空间复杂度是有界的。

I want to learn some complexity theory,mathematics theory such as Computational number theory,Algorithmic Algebra,Algebraic function fields over finite fields and the group thoery.

在这半年里，我将系统地加深学习一些必要的数学知识，比如计算复杂性理论，计算性数论算法，群论，算法的代数学等等。

The methods to depict elements of OUMM by LSL are studied, together with the methods to check the consistence between object type definition and instances, attribute definition and states by using the consistence of algebraic specification and algebra.

本文提出了用LSL描述OUMM的各种建模元素到的方法，和通过代数规约与代数的一致性来检验OUMM中对象类型定义和对象实例、属性与状态定义的一致性的方法。

In addition, access control policies of aggregated resources can be formulated as expressions of the algebra. Several algebraic properties of policy expressions are discussed. It shows that the algebraic properties of policy expressions can be used to verify whether policy composition results meet the protection needs of each party.

用代数表达式形式化地描述聚合资源的访问控制策略，讨论了策略表达式的若干代数性质，说明可借助策略表达式的代数性质去验证策略合成结果是否符合各方对聚合资源的保护性需求。

Anna: No, I've got a hangover.

不是，我昨晚宿醉了。

We head into the mountains in Su's new Land Cruiser, stop for lunch at a scenic restaurant and then hang around drinking beer and eating fruit as two of his employees attempt to lure the birds with a tape recording of the fowl's mating call.

我们坐上苏的巡逻车向山顶出发，在一家风景优美的餐馆吃了中饭。然后我们喝着啤酒吃着水果四处逛。