交替性可以代替关联性的定理是正确的。
The theorem that alternativity can replace associativity is true.
本文探讨用向量运算代替串行FORTRAN的DO循环的基本条件,提出了向量化判别定理以及实现向量化的算法。
Conditions for vectorization of FORTRAN DO-loops are discussed in this paper. Based on these conditions, the decision theorems and the algorithm for vectorization are given.
因此,给出了十进制数与混合进制数之间的相互转化定理及其严密的理论证明,旨在应用定理中简单的公式来代替以往复杂的转化算法。
Theorem about reciprocal transformation be-tween decimal numerals and mixed scale numerals is discussed in detail and the rigorous proof about this th…
应用推荐