英汉例句

• it mainly introduces basic concepts and basic methods in logic, set theory, algebraic system and graph theory.

  该课程主要介绍逻辑学、集合论、代数系统以及图论的基本概念及其方法。

• the rm and crm expansions in boolean and-xor and or-coincidence algebraic system are discussed.

  讨论了逻辑函数在与-异或和或-符合代数系统中的rm展开式和crm展开式。

• purely algebraic methods for computing the sensitivity of linear algebraic system have been proven to be simple and effective in the frequency domain.

  在频域灵敏度分析中，利用计算线性代数系统的偏导数的纯代数方法是简单和有效的。

• this course involves mathematic logic, theory of set, algebraic system and the theory of graph.

  该课程主要介绍逻辑学、集合论、代数系统以及图论的基本概念及其方法。

• the algebraic system defined on the points of an elliptic curve can be used to construct various cryptographic schemes.

  由椭圆曲线上的点构成的代数系统可以为密码学提供多种应用方案。

• the notion of pointer mapping algebraic system is proposed. on the basis of this, it analyzes how to construct pointer mapping sets and describes the detailed testing steps.

  给出了指针映射代数系统的概念，在此基础上分析了如何构造指针映射集，并详细叙述了测试步骤；

• this paper is investigated a preconditioned conjugate gradient method in solving a linear algebraic system of large sparse symmetric and positive equations.

  本文研究了解决大型稀疏对称正定线性方程组的一类预条件共轭梯度法。

• in this paper, the definition of the fuzzy ideal of algebraic systems and the sufficient and essential condition that a fuzzy algebraic system is fuzzy ideal are given.

  作者曾给出了模糊代数系的统一定义和一个代数系上的模糊子集是模糊子代数的充要条件。

• in this paper, we prove that a boolean algebra is equivalent to an algebraic system with a single binary partial operation.

  证明了布尔代数等价于一个只有二元部分运算的代数系统。

• a unifying method for constructing the solutions to the yang-baxter equation by using the computer algebraic system mathematica is presented.

  给出用计算机代数系统mathematica建立yang-baxter方程解的统一方法，此方法可用于具有动力r-矩阵的约束系统。

• it is the purpose of this paper to investigate the torsion theory for this algebraic system of much more extensive and to give it some characterizations makeing use of the method of lattice theory.

  本文的目的是在这种最具广泛性的代数系统中讨论挠理论，用格论方法给出它的一些特征刻划。

• the scheme resulting from this method is linear in the sense that it requires only to solve a single linear algebraic system at each time step.

  该方法导出的格式是线性的，即在每个时间步长上只需解一个线性代数方程组。

• this unconstrained optimization problem may be transformed into nonlinear algebraic system of equations.

  通过变换可将该无约束优化问题转化为求解非线性代数方程组的问题。