1) symbolic calculations
符号推导
1.
The modified normal form approach presented by ZHANG Wei_yi, K Huseyin and CHEN Yu_shu is further extended and a different procedure is introduced which lends itself readily to symbolic calculations, like MAPLE.
Huseyin等人提出的改进的范式方法作了进一步发展 ,引进了不同的分析过程 ,使其更适合于符号推导语言 (如MAPLE)的应用· 与过去的方法相比 ,在实际计算范式时 ,文中介绍的分析过程更简便、实用 ,具有更多的优越性· 文中 3个范例说明了此结论
2) chains of semantic probabilistic inference
符号概率推导链
1.
This paper imports the concept of"regularity set-chains of semantic probabilistic inference"into IF-THEN regularity,and proves the constructive theorem of node-regularity growing and shrinking.
该文对IF-THEN正则规则(regularity)引入了“正则规则集———符号概率推导链”的概念,证明了环正则规则长入与后缩的构造性定理,给出了环正则规则生枝、剪芽、长入与后缩的操作规则,完成了纵向环正则规则长入与后缩的MMDR(aMachineMethodforDiscoveringRegularities)算法。
3) symbolic inference
符号推理
1.
A new system of integration of neural networks and symbolic inference (INNSI) is put forward.
提出一种神经网络与符号推理集成系统ＩＮＮＳＩ（ＩｎｔｅｇｒａｔｉｏｎｏｆＮｅｕｒａｌＮｅｔ－ｗｏｒｋｓａｎｄＳｙｍｂｏｌｉｃＩｎｆｅｒｅｎｃｅ）。
4) sign-reducing
符号推演
1.
The paper researches the theories and methods of model-decomposing for complex system based on sign-reducing function of computer algebra.
研究了利用计算机代数符号推演功能对复杂系统数学模型进行分解的有关理论和方法。
5) symbol reasoning
符号推理
1.
In the study of mechanical fault diagnosis, the research of diagnostic system basedon neural netwiorks and the research of diagnostic system based on symbol reasoning wereconducted separately on the whole.
在机械设备故障诊断的研究中，神经网络诊断系统和符号推理诊断系统基本上是分开研究的。
6) push-down symbol
下推符号
补充资料：可推导性
可推导性
derivabffity
可推导性吵幼拍目勺;一ua叭。Moe:‘] 见逻辑推导(山石份tion，lo乡司);演算(以Ic司us).
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条