而线性代数系统讨论起来就方便多了。
而这些问题用传统的二值代数系统是无法解决的。
However, these problems cannot be solved by means of the traditional binary algebraic system.
CASS1是用代数化简方法设计的计算机代数系统。
The computer algebra system CASS1 is designed by algebraic simplification method.
本文提出了微分代数系统无源的定义以及kvp特性的定义。
In this paper, Passive definition of differential algebraic systems and KVP property definition were proposed.
在缩减双四元数代数系统上定义了分数阶四元数傅立叶变换。
In this paper, we define the fractional quaternion Fourier transform based on reduced biquaternion algebra.
与大多数计算机代数系统一样，Maxima是使用Lisp语言编写的。
Like most computer algebra systems, Maxima is written in Lisp.
本文最后提出了一个适用于电流信号表示和电流运算的代数系统。
The paper concludes by presenting an algebra system which is suitable for current signal representation and operation on currents.
描述许多轨道控制问题的方程通常构成非线性半显式的微分代数系统。
The equations which describe many trajectory control problems naturally form nonlinear semiexplicit differential algebraic systems.
OpenMath(参见参考资料)是一种较老的格式，起源于计算机代数系统。
OpenMath (see Resources) is an older format with origins in computer algebra systems.
这些结果将粗糙集代数性质的研究扩展到右对合广群这个代数系统中。
Through these studies, the study of rough set's algebraic properties are spreaded to right involution groupoid.
该课程主要介绍逻辑学、集合论、代数系统以及图论的基本概念及其方法。
It mainly introduces basic concepts and basic methods in logic, set theory, algebraic system and graph theory.
该课程主要介绍逻辑学、集合论、代数系统以及图论的基本概念及其方法。
This course involves mathematic logic, theory of set, algebraic system and the theory of graph.
最后，基于数学工具———代数系统，给出了空间数据立方体严格的数学定义。
At last, based on a mathematical tool: algebraic system, this paper gives definition of spatial data cube.
用计算机代数系统自动生成机器人运动学模型，是机器人运动学建模的新课题。
It is a new task to automatically set up the kinematics mode of robots by using the system of computer algebra.
讨论了非线性微分-代数系统的并行迭代算法所涉及的理论和具体算例的实现。
This paper discusses the theoretical models and numerical experiments of parallel iteration methods for solving non-linear differential-algebraic systems.
讨论了逻辑函数在与-异或和或-符合代数系统中的RM展开式和CRM展开式。
The RM and CRM expansions in Boolean AND-XOR and OR-COINCIDENCE algebraic system are discussed.
Macaulay计算机代数系统对于多项式计算非常有用，并重点强调grobner基计算。
The Macaulay computer algebra system is useful for polynomial computations with emphasis on Grobner basis calculations.
在频域灵敏度分析中，利用计算线性代数系统的偏导数的纯代数方法是简单和有效的。
Purely algebraic methods for computing the sensitivity of linear algebraic system have been proven to be simple and effective in the frequency domain.
本文对于多值逻辑代数系统中的基本运算和实现这些基本运算的门电路，作了必要的阐述。
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.
模糊逻辑与量子逻辑以及它们相应的代数系统是目前非经典逻辑体系中非常活跃的研究分支。
Now, studies about fuzzy logic, quantum logic and the corresponding algebra systems are very active in non-classical logic.
本文探讨非线性指标- 3微分-代数系统的波形松弛算法所涉及的理论模型和具体算例的求解。
This paper discusses theoretical models and numerical experiments of waveform relaxation methods for solving nonlinear differential-algebraic systems of index-3.
计算机代数系统的处理对象虽然是符号公式，但也需要整数运算，并且需要的是无限精度整数运算。
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.
这个专有共享软件计算机代数系统是为纪念已故最著名数学家之一pierredeFermat而命名的。
This proprietary, shareware computer algebra system is named for one of the most famous mathematicians who ever lived: Pierre DE Fermat.
SAGE的独特之处在于，它能够用作其他各种计算机代数系统的集成器，从而允许用户利用不同软件包的各自强项。
SAGE is unique in that it can function as an integrator of other diverse computer algebra systems, allowing the user to leverage the individual strengths of the various packages.
实例证明，本方法可以和已有的抽象代数系统联系起来，从而为控制数据对象上的各种操作提供可靠的理论依据。
Through an example we can prove the probability of associating it with the existing algebraic system, and provide a reliable theoretical basis for controlling the various operations in data objects.
为此，文中用面向对象的知识表示方法描述并建立本体，并以此为基础形成领域操作代数系统和智能体服务描述语言。
The paper describes and develops ontology by object-oriented knowledge representation, hence the representation leads to domain algebra system and agent service description language.
将连接与阻尼分配？无源控制方法进行从常微分方程到微分代数方程的拓展，求解一类仿射非线性微分代数系统的调节问题。
The interconnection and damping assignment passivity-based control (IDA-PBC) methodology is extended to solve the regulation problem of affine nonlinear differential algebraic system.
利用类似微分几何理论的方法，通过引入微分代数系统的m导数，利用微分代数系统无源性定义以及kvp特性的等价定理。
Similar to methods of differential geometry theory, equivalent theorem between differential algebraic systems passivation and KVP property was used by introducing m derivative.
为这些任务而设计的程序领域的最常用名称是“计算机代数系统”(Computer Algebraic Systems,CAS)。
The most common designation for the field of programs designed for these tasks is computer algebraic systems (CAS).
为这些任务而设计的程序领域的最常用名称是“计算机代数系统”(Computer Algebraic Systems,CAS)。
The most common designation for the field of programs designed for these tasks is computer algebraic systems (CAS).
应用推荐