The computer algebra system CASS1 is designed by algebraic simplification method.
CASS1是用代数化简方法设计的计算机代数系统。
The Macaulay computer algebra system is useful for polynomial computations with emphasis on Grobner basis calculations.
Macaulay计算机代数系统对于多项式计算非常有用，并重点强调grobner基计算。
The paper concludes by presenting an algebra system which is suitable for current signal representation and operation on currents.
本文最后提出了一个适用于电流信号表示和电流运算的代数系统。
This proprietary, shareware computer algebra system is named for one of the most famous mathematicians who ever lived: Pierre DE Fermat.
这个专有共享软件计算机代数系统是为纪念已故最著名数学家之一pierredeFermat而命名的。
Computations in Commutative algebra (CoCoA) is another free computer algebra system for working with very large integers, rational Numbers, and polynomials.
Computationsin CommutativeAlgebra (CoCoA)是另一个免费计算机代数系统，用于处理超大型整数、有理数和多项式。
The original version (a computer algebra system) was called DOE Macsyma and led the way for later development of more commonly known applications such as Mathematica.
最初的版本(一个计算机代数系统)名为DOE Macsyma，它开辟了后来开发的更知名的应用程序(例如Mathematica)的道路。
Based on the fault information matrix obtained from the bipartite graph model and the Boolean algebra system, a MINLP model orienting sensors optimization is proposed.
依据传感器选择优化的特点，引入无限布尔代数理论，基于此，提出一个传感器优化问题的MINLP模型。
This paper gives a necessary introduction to the base operation of the multi-valued logic algebra system and fundamental gate circuit for realizing these base operation.
本文对于多值逻辑代数系统中的基本运算和实现这些基本运算的门电路，作了必要的阐述。
Although the objects processed by a computer algebra system are usually symbolic formulae, it is necessary for the system to operate with integers and even with infinite integers.
计算机代数系统的处理对象虽然是符号公式，但也需要整数运算，并且需要的是无限精度整数运算。
The paper describes and develops ontology by object-oriented knowledge representation, hence the representation leads to domain algebra system and agent service description language.
为此，文中用面向对象的知识表示方法描述并建立本体，并以此为基础形成领域操作代数系统和智能体服务描述语言。
, this is my plan, the fundamental problem of linear algebra, which is to solve a system of linear equations.
，这是我的计划：线代的基本问题是用来解线性方程组（systemof linear equations）。
But as an analogy, when people were trying to understand the Solar System with algebra and geometry, they could only describe the planets' orbits.
但是打个比方，当人们试图利用代数和几何来理解太阳系的时候，他们只能够说明这些行星的轨道。
It has also been shown that the algebraic dynamics might be generalized from the linear dynamic system with a semi-simple Lie algebra to that with a general Lie algebra.
结果表明代数动力学方法对于具有非半单李代数结构的线性动力系统仍然适用。
Polynomial modulo reduction algorithms are one of the fundamental issues of computer algebra, and widely used in coding algorithms and cryptographic system design.
多项式模归约算法是计算机代数中的基本问题之一，在编码算法和密码体制设计中有着广泛应用。
It has numerous applications in numerical algebra, cybernetics theory, electrical system theory, mathematics of economics, statistics and so on.
它在数值代数、控制论、电力系统理论、经济数学、统计学等众多领域中有着广泛应用。
The paper researches the theories and methods of model-decomposing for complex system based on sign-reducing function of computer algebra.
研究了利用计算机代数符号推演功能对复杂系统数学模型进行分解的有关理论和方法。
It is a new task to automatically set up the kinematics mode of robots by using the system of computer algebra.
用计算机代数系统自动生成机器人运动学模型，是机器人运动学建模的新课题。
Solving the algebra equation with real-coefficients of nth degree is of great importance for analysis and synthesis of a control system.
求解高次实系数代数方程的根，对于控制系统的分析和综合设计有着重要意义。
We study the minimal realization of a low dimension SISO linear system in the Max - algebra.
研究了极大代数上线性系统的单输入单输出的最小实现问题。
Moreover, a fuzzy inference mechanism was developed to form the core of fuzzy expert system frame, which could be realized through linear fuzzy matrix algebra.
此外，还开发了用以形成模糊专家系统框架核心的推理机制，并通过线性模糊矩阵代数运算予以实现。
Using the knowledge of linearity algebra, the dynamic mathematical model for metro traction power system is founded as per the actual requirement of engineering.
利用线性代数等知识，根据实际工程需要，建立了地铁牵引供电系统的动态数学模型。
This paper explores the row-column monotonicity of matrix in the light of maximal algebra and presents the row-column monotonicity of multi-exits serial production line system matrix with buffer.
研究了极大代数意义下矩阵的行列单调性质，给出了带缓冲器的多出口串行生产线系统矩阵的行列单调性。
By deeply studying modeling approach to an application of DSS model Algebra, this paper introduces how to efficiently organize a DSS model system by DSS model Algebra operations.
对DSS模型代数在实际系统中的建模方法进行研究，并结合一个实际应用系统介绍DSS模型代数的应用。
For developing concurrent distributed system, process algebra based model checking is widely considered as a feasible and important approach to reducing errors and increasing system reliability.
在分布式并发系统构造过程中，基于进程代数的并发系统模型检测是一种行之有效的减少设计错误、提高系统可靠性的重要途径。
The eight-vecter algebra is found in the paper, as a kind of square matrix algebra and as more complete operation system containing the complex number vecter algebra and quaternion numbers.
本文建立了八元向量代数，它既是一种方阵代数，又作为一个更加完备的运算系统而包含了复数、矢量和四元数。
This paper USES multinomial algebra theory to design the smallest finite time servo system. It can completely follow in the wake of command.
因此以一种新的方法，即利用多项式代数理论设计出能完全跟踪目标值的有限签定时间伺服系统。
Secondly, formal modeling method of system survivability based on performance evaluation process algebra is studied.
其次，研究基于性能评估进程代数的系统生存性形式化建模方法。
Vector has its operational method and system unique to number, and it is closely connected with algebra, geometry and so on.
有自己独特的运算结构和系统，并且与三角函数、平面几何、空间几何、代数等都有密切联系。
Vector has its operational method and system unique to number, and it is closely connected with algebra, geometry and so on.
有自己独特的运算结构和系统，并且与三角函数、平面几何、空间几何、代数等都有密切联系。
应用推荐