代数符号

词组短语

algebraic sign

与代数符号相关的网络例句 [注：此内容来源于网络，仅供参考]

Software Description: XICalc is an integer calculator program with the following features: multiple precision integers with millions of digits; uses Hartley Transform to speed-up long multiplies; separate input and outputnotation, base 2 to base 36; greatest common divisor function; Modulo arithmetic options; Bernoullinumbers, Euler Numbers; Boolean functions; random number generator; prime factor algorithm using theElliptic Curve Method; number theoretic functions phi, sigma and tau; prime testing and searching using the Adleman function; algebraic notation; if-then-else statement; go-to statement; can run XICalc code from files; hot help from F1 key; and it抯 written in Microsoft Visual C#.

XICalc 是一款带有如下功能的综合性计算器软件：带有百万数位的多精度整数；使用 Hartley Transform 加速长整型多样化计算；以2到36为基数分隔输入和输出符号；最大公约数函数；模数算法选项；Bernoulli 数字；Euler 数字；布尔函数；随机数字生成器；使用圆周曲线算法的主要因素运算法则；π，τ，Σ的数字理论函数；使用 Adleman 函数的最初测试和搜索功能；代数符号；if-then-else 语法结构声明；go-to 语法结构声明；来自于文件的XICalc 代码；F1键的热点帮助；并且该软件是采用适用于 Windows 操作系统的微软 Visual C#。

This paper gives the study of polynomial symbolic algebraic theory in formal verification method.

本文研究基于多项式符号代数理论的形式化验证方法。

A functional unit whose output analog variable is equal in magnitude to its input analog variable but is of opposite algebraic sign.

一种功能部件，其输出模拟变量和输入模拟变量的数值相等，但代数符号相反。

Analysis for testability is widely used in DFT and test pattern generation, but most testability analysis algorithms have the shortcoming of either inaccuracy or being too complicated. A new method to calculate the signal probabilities of the nodes in IC is pre-sented in Chapter 7 of this dissertation. The signal probabilities by our method is more exact than by the previous ones. A symbol of the signal probability at the fan-out node is created and is propagated to the RFON (Reconvergent Fan-out Nodes). At the RFON, the expression containing the symbol is simplified using the rule which corresponds to the law of identity in Boolean algebra. After the expression is simplified, the symbol is substituted with its numeric value. Theoretical analysis shows that this method is concise and has a low computing complexity.

可测试性分析在可测试性设计和测试生成中都有着广泛的应用，然而大部分的可测性分析方法都存在不精确或者过于复杂的毛病，在第七章中作者提出了一种新的计算IC电路节点的信号概率值的符号算法，该算法得出的信号概率值比用以往的算法法得出的要更准确，也更简洁，针对电路中的扇出节点重汇聚现象，我们在每一个扇出节点定义了一个信号概率的符号，在以后的计算中一直使用该符号参与计算，直到该符号传播至重汇聚处，利用一定的规则把含符号的表达式化简，再将符号的真实值代入，在计算符号概率的过程中定义了一个和布尔代数中的同一律相对应的运算规则，通过该运算规则，使得信号概率的结果更加准确，符号算法具有简洁方便，计算复杂度小的特点 4。

They are :(1) The generalization of mathematical methods;(2) The mathematical method of formulization;(3) The proof of construction;(4) The introduction of algebraic symbols.

在宋元数学中，出现一些新的思想、方法和理论，主要有：(1)数学方法的一般化；(2)程序化的数学方法；(3)构造性的证明；(4)代数符号的引入。

Lastly,Using the extension theory of〓-algebras founded and developed by Brown-Douglas-Fillmore in 70s,inparticular,using the homotopy invariance of the extensions and the indexformule of Toeplitz operator matrices,the paper characterized the automorphismgroup of the continuous function symbol Toeplitz 〓-algebra in terms of thetopological degrees of the continuous mappings on the n-dimensional sphere.

最后，本文利用Brown-Douglas-Fillmore在七十年代建立并发展起来的C*-代数扩张理论，尤其是扩张的同伦不变性，以及Toeplitz算子矩阵的指标公式，通过球面上连续映射的拓扑度，刻划了高维球面Hardy空间上连续符号Toeplitz 〓代数的自同构群。

D Whyte is the first attempt to create a general symbol algebra mathematician, he created the algebraic symbols, by Descartes improved as a modern form.

韦达是第一个试图创立一般符号代数的的数学家，他开创的符号代数，经笛卡尔改进后成为现代的形式。

Established the qualitative algebra space: proposed the symbol algebra and interval algebra space and applied them to the qualitative reasoning; proposed qualitative logic algebra and applied it to the multi-logic problems.

建立了定性代数空间，提出了符号代数和区间代数空间并分析了在定性推理中的应用；提出了定性逻辑代数空间，并应用于物理量之间的多值逻辑问题。

D Whyte, in his "analysis Easy"(analyticem is Inartem agoge,1591) works, the first systematic use of symbols of unknown value calculation, Operators made with a number of symbols of the difference between the provisions of the algebra and arithmetic boundaries.

韦达在他的《分析方法入门》（Inartem analyticem isagoge，1591）著作中，首次系统地使用了符号表示未知量的值进行运算，提出符号运算与数的区别，规定了代数与算术的分界。

When talking of worlds, both real and modeled, God is an almost algebraically precise notation standing for whatever "X" operating outside a world that has created that world.

每当讨论天球世界（译注8），包括现实和计算机模型中的，上帝俨然便是某个精确的代数符号，这个无处不在的X运行于某个世界之外从而创造了那个世界。

与代数符号相关的网络解释 [注：此内容来源于网络，仅供参考]

algebraic sign：代数符号

algebraic language 代数语言 | algebraic sign 代数符号 | algebraic specification 代数规格说明

Algebraic Sign Conventions：代数符号规则

algebraic manipulation 代数操作 | Algebraic Sign Conventions 代数符号规则 | ALGOL ALGOL程序语言

algebraic sign convention：代数符号约定

algebraic sign 代数符号 | algebraic sign convention 代数符号约定 | algebraic simplification 代数简化

algebraic sign control circuit：代数符号控制电路

algebraic sheaf | 代数层 | algebraic sign control circuit | 代数符号控制电路 | algebraic sign | 代数符号

algebraic surface：代数曲面

代数和 algebraic sum | 代数曲面 algebraic surface | 代数符号 algebraic symbol

algebraic system：代数系

代数符号 algebraic symbol | 代数系 algebraic system | 代数曲线系 algebraic system of curves

algebraic system：代数系统

algebraic symbol 代数符号 | algebraic system 代数系统 | algebraic value 代数值

algebraic system of curves：代数曲线系

代数符号 algebraic symbol | 代数系 algebraic system | 代数曲线系 algebraic system of curves

algebraically independent elements：代数无关元(素)

algebraically dependent set | 代数相关集 | algebraically independent elements | 代数无关元(素) | algebraically oriented language | 代数排列符号语言

AMBIT ProgrammingLanguageforAlgebraicSymbolicManipulation：用于代数符号操作的编程语言

AMB AutoManualBridge 自动手动桥接器 | AMBIT ProgrammingLanguageforAlgebraicSymbolicManipulation 用于代数符号操作的编程语言 | AMBL AccessMethodBlockList 存取方法控制块列表