查询词典 algebra of events

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.

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

A research student. 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.

当我正式进入大学院，成为院生的时候，在修士学习的第一年中，我学习一些算法研究和暗号理论的课程，我将学习一些比较难的暗号算法，比如椭圆曲线暗号，我还将学习电子署名，拟似乱数，电子透かし，认证，键管理，键回复，键预托和zero知识证明等等。

Aiming at OQL, we treated type as monoid (collection monoid and primitive monoid), and used monoid comprehension as OQL's intermediate representation. Therefore we can merge the rewrite rules for a number of collection types, then employ monoid comprehension in defining algebraic operators, as cut out the limit that in relational algebra/calculus algebraic operators are only for set.

针对ODMG-2.0的对象查询语言OQL，我们把类型提高到幺群级，然后从幺群概括入手，用幺群概括作为OQL的查询中间表示，统一了多种聚集类型的重写规则，幺群概括还被我们用于定义代数操作符，这使得代数操作符突破了关系代数/演算中只针对集合的局限。

This process is actually the process of algebraic extension; also it is the basic way of algebra: organizing some objects into an operation system, and then study the relationship between elements or parts of the system.

这实际上是代数扩张的做法，也是代数的本质：将一些对象组织成一个运算体系，研究这个体系中各个个体之间以及部分与全体之间的关系。

Methods of algebraic geometry rely heavily on sheaf theory and other parts of homological algebra .

代数几何方法在很大程度上依赖束理论和其他地区的同调代数。

Computing integral closure of a finite extension is not only an important problem in commutative algebra, but also in algebraic geometry and algebraic number theory.

计算有限扩张的整闭包不但是交换代数中的一个核心问题，也很受代数几何以及代数数论发展的推动。

Algebraic K-theory is an important branch of algebra which has deep relationships with other branches of mathematics such as algebraic number theory, algebraic geometry and algebraic topology.

代数K-理论是代数学的一个重要分支，它与数学中代数数论，代数几何和代数拓扑等其它分支有深刻的联系。

Basic Mathematics has undergone an amazing evolution and born fruit on fields such as algebra, functional analysis, dynamic system, algebraic number theory and differential geometry.

基础数学的研究经过多年工作积累，在代数学、泛函分析、动力系统，代数数论，微分几何等领域在国内外有一定影响。

Listen,point and check your answers.

听，指出并且检查你的答案。

Warming needle is one of effective treatment methods for knee arthralgia aggravated by cold,and it is simple,safety,so it should be developed in clinical acupuncture and moxibustion extensively.

但以本院科针灸门诊在2005年1月—2006年6月期间共收治膝痛患者100余例，经过临床的诊断后，其中施以温针治疗的48例，疗效显著，报道如下。1临床资料本组病例48