1) symbolic computation
符号演算
1.
Research on Modeling and Symbolic Computation of Dynamics of Flexible Multibody Systems;
多柔体系统动力学建模及符号演算的研究
2.
Exact solitary wave solutions of a generalized KdV equation are obtained by using Wu s mechanization mathematics method in symbolic computatio
利用吴文俊机械化数学方法通过符号演算获得了广义ＫｄＶ方程的精确孤立波
2) symbolic operation system
符号演算系统
3) sign-reducing
符号推演
1.
The paper researches the theories and methods of model-decomposing for complex system based on sign-reducing function of computer algebra.
研究了利用计算机代数符号推演功能对复杂系统数学模型进行分解的有关理论和方法。
4) evolution operator
演化算符
1.
The time evolution operator of the quantum state is obtained.
利用量子不变量理论,讨论了交流电流源作用下介观LC电路系统动力学的演化,得到描述系统量子态随时间的演化算符。
2.
By means of an average method between two coherents, the evolution operator of a squeezed Hamiltonian system has been given.
采用相干态平均方法求出压缩哈密顿系统的演化算符，并用正规乘积内的积分方法计算它的Ｆｅｙｎｍａｎ转移矩阵阵元。
3.
Based on the generalized linear quantum transformation theory,we present a new method to solve the time-dependent quantum oscillator,and give the formulae to exactly determine the evolution operator,evolution matrix element and wave function.
在广义线性量子变换理论基础上 ,提出了一种求解含时量子振子的新方法 ,给出了严格确定演化算符、演化矩阵元和波函数的公
5) operator-symbol
运算符符号
6) symbolic computation
符号计算
1.
The application of Mathcad symbolic computation in structural chemistry;
Mathcad的符号计算在结构化学中的应用
2.
Using symbolic computation to obtain exact solitary wave solutions of nonlinear wave equations;
用符号计算求解非线性波动方程的精确孤波解
3.
Exact Solution for a Nonlinear Dispersive Dissipative System Using Symbolic Computation;
一个非线性耗散色散系统精确解的符号计算
补充资料：Ski组合子演算
ski 组合子演算是一个计算系统，它是对无类型版本的 lambda 演算的简约。这个系统声称在 lambda 演算中所有运算都可以用三个组合子s、k和i来表达。
在这个系统中的所有函数可以只使用s、k、i的字母表和圆括号(分组符号)来表达。通常假定组合子是左结合的，从而在不影响执行次序的情况下精简表达式中的圆括号。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条