查询词典 algebraic adjunction

Lattice implication algebra is an algebraic system combinating lattice with implication algebra.

格蕴涵代数是徐扬教授为研究格值逻辑把格与蕴涵代数相结合提出的一个代数系统。

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中对象类型定义和对象实例、属性与状态定义的一致性的方法。

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知识证明等等。

Subjects were discussed and dispensed with through algebraic means, but calculus was not used.

主题进行了讨论，并免除通过代数方法，但不是用来演算。

This article listed the main clue of the development of mathematics in the sixteenth and seventeenth century. Based on that, we analyzed the algebraic basis of calculus. The basis had an algorithmic character which could use program to calculate.

本文在列出十六、十七世纪代数学发展主线的基础上，分析了微积分产生的代数学基础，这个基础本身带有强烈的程序化的算法特征。

And planar algebraic curve is an important research object and tool.

而代数曲线又是非常重要的研究对象和王具。

An algebraic B-spline curve fitting algorithm based on the signed distance field is proposed in this paper.

提出了一种以代数B-样条曲线为表达形式、基于有向距离场的隐式曲线重建方法。

Elliptic Curve Cryptosystem is a kind of public-key cryptosystem based on algebraic curve.

椭圆曲线密码体制是一种基于代数曲线的公钥密码体制。

Regularity is an important algebraic property of parametric curve and surface, which depends on the parameterization of parametric curve and surface.

正则性是参数曲线曲面的重要代数性质，是由参数曲线曲面的参数化决定的。

The algorithm of segment rational quadratic B-spline interpolation to algebraic curve is discussed in details.

重点讨论了代数曲线参数化的分段有理二次B样条插值算法。

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.

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