symbolic operation

An operation that follows the rules of symbolic logic. Loosely, a mathematical or logic operator.

依据数理逻辑法则进行的操作或运算。不严格地说，一种数学或逻辑运算符。

The semantic operation of the statement of complex structure, string and array variable is mapped to the operation of abstract memory on symbolic execution of the path, and the constraint of the path is recorded exactly in the abstract memory.

利用此抽象内存模型辅助符号执行被测路径，把路径执行过程中复杂结构体、字符串和数组变量的语义操作映射到对抽象内存的操作，通过抽象内存来精准的记录路径的约束条件。

MatLab has a strong symbolic operation function.

MatLab具有强大的符号运算功能。

Results indicate that the symbolic operation wais a helpful efficiency-amplifier for satellite gravity research that was characterized by a complicated formula system.

实验结果表明，计算机符号运算对于公式体系繁杂的卫星重力学理论研究来说具有极大的增效作用。