查询词典 algebraic algebra

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

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

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.

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

This method is developed based on Algebra of Systems, an algebraic system modeling language.

并对系统代数提出"Merge"算子，使其更适合建立较复杂系统的仿真模型。

The algebraic system uses the method of algebra to study the properties and characteristics of various things in the world.

代数结构主要从系统宏观的代数方法去研究客观事物的各种性质与特征。

A new algebraic system X is constructed by using the known loop algebra 1 and difference operators.

首先利用环代数1和微分算子构建一种新的代数系统X。

Early in the 1950s, in algebraic topology, the concept of graded Hopf algebras was derived from an axiomatization of the works of H. Hopf relating to topological properties of Lie groups. Hence the name,'Hopf algebra'.

50年代初，H.Hopf在研究李群的拓扑性质这一代数拓扑领域的理论工作中引入了分次Hopf代数的概念，"Hopf代数"由此而得名。

Using the theories of probability, algebra and spectral theory comprehensively, we investigate some related characteristics of logic functions in cryptography: Firstly, we introduce m order generalized s - correlation immunity of Boolean vector functions and prove that the higher order generalized ε- correlation immunity can guarantee the lower order generalized ε- correlation immunity. Then by applying decomposition formula of joint distribution of Boolean random vectors, we give a spectrum criterion of m order generalized e - correlation immunity of Boolean vector functions. Furthermore, we show that the algebraic degree of m order generalized e - correlation immune Boolean vector functions is not restricted by the correlation immune orders.

本文主要运用概率论的思想和方法，并结合代数学和频谱理论的相关知识，对密码学中逻辑函数的有关性质进行了研究，主要包括以下三个方面的内容：首先，对布尔向量函数的相关免疫性进行了拓展，给出了k维布尔向量函数m阶广义ε-相关免疫的概念，证明了布尔向量函数的高阶广义ε-相关免疫性蕴含低阶广义ε-相关免疫性，并根据布尔随机向量联合分布分解式得到了布尔向量函数m阶广义ε-相关免疫的一个谱判别条件，还说明了m阶广义ε-相关免疫布尔向量函数的代数次数不受相关免疫阶数的制约。

The algebraic and coalgebraic methods in computer science is investigated in general, including its basic ideas, the categorical properties of algebras and coalgebras, initial algebra and final coalgebra, bisimulation and behavior equivalence, coalgebraic specifications, and coalgebraic logics.

对代数方法与共代数方法的基本概念、代数与共代数范畴的性质、初始代数与终结共代数、双模拟与行为等价、共代数规范以及共代数逻辑进行了比较全面和深入的研究。

To regulate policy composition and guarantee its correctness, an algebraic model called APoCA (attribute-based access control policy composition algebra) is proposed for composing access control policy. In APoCA, an authorization relation between entities is described at the attribute level. APoCA fertilizes the existing formal frameworks by taking into account the computation of attribute values.

为了规范策略合成和保障策略合成正确性，基于属性刻画了实体间的授权关系，通过属性值的计算结构扩展了现有的策略合成形式化框架，建立了新的基于属性的策略合成代数模型APoCA(attribute-base access control policy composition algebra)。

Furthermore, we define a convolution multiplication between characteristic functions of constructible subsets by using push-forward functor from the category of algebraic varieties over C to the category of spaces of constructible functions. We construct geometric model for "intrinsic symmetry" of the octahedral axiom in a triangulated category. Using it, we deduce the multiplication satisfies the Jacobi identity of Lie algebra and then realize infinite dimensional Lie algebras.

进一步，我们使用复代数簇范畴到可构函数空间范畴的pushforward函子，给出了可构集上特征函数的卷积乘法，并构造了三角范畴八面体公理的内蕴对称性的几何模型，最终证明了对于不可分解支撑有界可构集的特征函数，乘法满足李代数定义的Jacobi恒等式，从而给出了无限维李代数的实现。

The shaping method of noncircular part and the tool holder's radial motion characters in noncircular turning process are discussed in detail in the thesis.

论文详细研究了非圆零件的成型方法和加工过程中刀架的径向运动规律。

I have not really liked him,I do not like his this kind of disposition.

我没有真的喜欢他，我不喜欢他的这种性格。