1) vector computation system
向量运算系统
1.
This paper gives the algorithm of generating computation graph of Petri net, and proves the equivalence between Petri net and computation graph strictly by the basic theory of vector computation system, and brings some preliminary conclusions, such as deleting operation without changing the properties of Petri net.
本文给出了Petri网的计算图的生成算法,并以向量运算系统的基础理论为依据,对Petri网与Petri网计算图的模拟能力的完全等价性进行了严格的证明,同时得出了Petri网的保性删除等初步的结论,也为进一步的研究Petri网的活性和可达性问题提供了一种新的形式和契机。
2) Vector operation
向量运算
1.
From projective geometry aspect,this paper applies the vector operation characteristics of homogeneous coordinate to the intersection simulation.
从射影几何的角度,提出了一种灭点计算方法,即将齐次坐标的向量运算特性应用到交点拟合中,利用最小二乘法整体平差,较精确地提取空间平行线在平面透视图中的交点。
4) computational system
运算系统
5) vector quantities operation
向量化运算
6) nonvector mathematic operation
非向量算术运算
补充资料：不定积分的运算法则
又称为“不定积分的性质”，包含如下两个性质：
（1）设函数f(x)的原函数存在，k是常数，k≠0，则
∫kf(x)dx=k∫f(x)dx
（2）设f(x),g(x)是两个可积分的函数，则
∫[f(x)+g(x)]dx=∫f(x)dx+∫g(x)dx
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条