In this paper, finite representation module in ring of formal triangle matrix is studied.
本文对形式三角矩阵环上的有限表示模进行了一些探讨。
Therefore the result of a floating-point calculation must often be rounded in order to fit back into its finite representation.
因此浮点计算的结果必须经常圆为了适应回其有限表示。
Thus we are able to have a finite representation of round number, and then make (fully) automatic verification of these algorithms possible.
这样就可以把算法的状态空间表示为有限的，从而使这类算法的自动化验证成为可能。
Introduces the notion of Finite Precision Timed Automata (FPTA) and focuses on the representation of clocks in a state.
简要介绍了有限精度时间自动机(FPTA)的基本概念，重点讨论FPTA状态中时钟的表示。
Skeleton is a representation of an object which has been shown to useful in interrogation, animation, finite element mesh generation, path planning, and feature recognition.
骨架是物体的一种描述方式，它广泛应用于道路探询、动画、有限元网格生成、路径规划和特征识别等领域。
These results reveal that KLM valuation structure provides a sufficient and canonical approach to establish representation theorems for any injective inference relations in finite framework.
这些结果说明，KLM赋值结构为证明有限语言下单可表示类后承的表示定理提供了一种充分的通用性方法。
Because the software of ANSYS has the characteristics such as model building simply, fast and conveniently, it becomes the representation of large universal finite element procedure.
ANSYS软件具有建模简单、快速、方便的特点，因而成为大型通用有限元程序的代表。
The trace representation and the period of any linear recurring sequence over a finite field are obtained.
导出有限域上任意线性递归序列的迹表示和周期。
Squeezing infinitely many real Numbers into a finite number of bits requires an approximate representation.
挤压无限多的实数到有限数量的部分需要一个近似表示。
The finite element representation of triangular prism and the treatment of boundary conditions ave described.
文中叙述了三棱柱体的单元表达式和边界条件的处理：手法。
In chapter 2, we get some conclusions for the completion of the almost complete exceptional sequence of representation-finite type algebra and finite dimensional algebra using perpendicular category.
第二章借助垂直范畴得到了关于有限表示型遗传代数，任意有限维遗传代数上几乎完备例外序列补的一些结论。
The representation theorem stating that every relational system of stacks is isomorphic to a system of finite sequences of elements is proved.
这一公理说明每个栈的关系与有限元素序列系统是同构的。关键词栈；算法?。
The representation theorem stating that every relational system of stacks is isomorphic to a system of finite sequences of elements is proved.
这一公理说明每个栈的关系与有限元素序列系统是同构的。关键词栈；算法?。
应用推荐