正常跟踪算法的图像代数描述是简明的，与算法是内在一致的。
The image algebra description of the normal tracking algorithm is concise and inherently correspondent with the algorithm.
回路矩阵是一个资源有向图全部资源回路的代数描述，并且它与补集及t -特征向量矩阵相互等价。
Circle matrix is the algebraic description of all the resource circles in a directed graph, and equivalence reciprocally to that one of complementary set and T-characteristic vector.
它旨在解决具有简单语法并且已描述为代数机器语言(algebraic machine language)的问题。
It was designed for solving problems with a simple syntax and has been described as an algebraic machine language.
其结果描述了这些代数内部结构的特征，同时也为从语义的角度进一步研究格值逻辑系统提供了一个新的途径。
Those results describe the characterizations of interior structures of those algebras, and also offer a new way for further researching lattice-valued logic systems from the semantics.
这种特征可以综合运用神经网络、模糊数学等现代数学方法加以满意地描述，并在此基础上成功地开发了优化配煤专家系统。
This feature can be finely described by the way of neural network and fuzzy mathematics etc. in an effort to develop the computer based expert system for coal blend successfully.
针对协议安全测试中数据流的描述问题，在构造类别代数的基础上引入变异分析，由此提出了一种协议安全测试方法。
Considering the data flow description in protocol security testing, mutation analysis is introduced based on constructed type algebra, and a new protocol security testing method is proposed.
这些系统能够用定常差分方程，有时甚至能用代数方程来描述。
They are described by ordinary difference equations, or in some cases by purely algebraic equations.
最后，用时态映射定义的元组对双时态关系进行定义，并由此给出双时态关系代数运算的形式化描述。
Finally, bitemporal relation is defined as the set of the temporal mapping tuple, and the bitemporal relational algebra operations are described formally.
描述许多轨道控制问题的方程通常构成非线性半显式的微分代数系统。
The equations which describe many trajectory control problems naturally form nonlinear semiexplicit differential algebraic systems.
提出一种李代数方法描述分子反应碰撞问题。
The dynamical Lie algebraic method for describing the reactive collisions is presented.
FSP是一类描述并发程序形式化规约的进程代数记法。
FSP is a kind of process algebra notation that can be used to describe formal specifications of concurrent programs.
该文描述了代数几何与ecc的数学基础及椭圆曲线离散对数问题困难性，讨论了ECC在电子商务中的安全应用。
This paper describes the mathematics base of algebraic geometry and ECC. It also discusses the elliptic curve discrete logarithm problem (ECDLP) and the security applications of ECC on E-commerce.
这本书提供这种数学框架的介绍和为为精确，准确的结果设计新算法描述来自计算的代数的工具。
This book offers an introduction to this mathematical framework and describes tools from computational algebra for designing new algorithms for exact, accurate results.
在通信协议的一致性测试中，可以使用构造类别代数来对协议进行形式化的描述。
The constructed type algebra specification has been used to specify communication protocols in protocol conformance testing.
利用完全笛卡尔坐标描述多刚体系统，建立多刚体系统动力学微分-代数方程。
Based on the fully Cartesian coordinates, a differential/algebraic equation system of multibod.
采用近世代数和时序逻辑的方法定义了形式化描述语言，并形式化地描述了密码协议的分层安全需求。
Using temporal logic and algebra, a formal requirement language was presented and used to describe the formal hierarchy requirements for cryptographic protocols.
为此，文中用面向对象的知识表示方法描述并建立本体，并以此为基础形成领域操作代数系统和智能体服务描述语言。
The paper describes and develops ontology by object-oriented knowledge representation, hence the representation leads to domain algebra system and agent service description language.
一些直接迭代数值方法最佳逼近中描述这一章。
Several direct iterative numerical methods for optimal approximation are described in this chapter.
许多申请被描述，包括象代数学的几何学和金融市场一样不同的领域。
Numerous applications are described, covering fields as disparate as algebraic geometry and financial markets.
本文给出了一般串并行生产线，反馈生产线的极大代数上线性状态方程所描述的数学模型。
This paper give the mathematical models of general serial-parallel production lines and feedback production lines. The mathematical models are described by linear state equations over max-algebra.
理论已经逐步形成描述在有限群，标准化的形式和顶点算符代数之间的关系。
The theory has evolved to describe the relationship between finite groups, modular forms and vertex operator algebras.
采用李群李代数符号描述了含主被动关节机器人的动力学分析和控制问题。
Lie groups and Lie algebras were used to study the dynamics and control of robot system with active and passive joints.
本文的目的在于利用抽象代数结构来描述抽象数据类型并给出它的数学含义；
The goal of this paper is to specify abstract data type and provide its mathematical meaning by using algebra structure;
构造类别代数的形式化描述方法能够将协议的数据流和控制流在统一的公理语义和操作语义前提下进行描述。
The formal methods based on Construct Category Algebra can use the same axiom semantics and operation semantics to specify the data-flow and control flow of a protocol;
构造类别代数的形式化描述方法能够将协议的数据流和控制流在统一的公理语义和操作语义前提下进行描述。
The formal methods based on Construct Category Algebra can use the same axiom semantics and operation semantics to specify the data-flow and control flow of a protocol;
应用推荐