1) Unification Algorithm
合一算法
2) the most general unifier algorithm
最一般合一算法
1.
The predicative logic is introduced into the fault analysis system,in which,the facts and rules are formatted with "and-or" forms,the clause set is unified by the most general unifier algorithm,and the steam turbine faults are analyzed by the inductive reasoning.
将谓词逻辑引入汽轮机故障分析系统中,首先将事实和规则化为与或形,接着采用最一般合一算法对子句集替换合一,最后采用归结原理对汽轮机的故障进行分析。
3) uniform synthesized method MWI
统一的合成算法
4) Tree unification
树的合一算法
5) once dempster joint algorithm
一次 Dempster 联合算法
6) attribute grammar and combinational arithmetic
属性文法和合一运算
补充资料：“萨莫斯”弹炮合一近程防御武器系统
国别：法国
类型：
编号:
武器名称：“萨莫斯”弹炮合一近程防御武器
法“萨莫斯”弹炮合一近程防御武器系统。该系统由7管30毫米炮和4枚“西北风”舰空导弹组成不同层次拦截火力，对6000-5000米飞机采用舰空导弹拦截，对5000-500米内俯冲导弹用导弹加火炮拦截，对1200-200米掠海导弹用火炮拦截。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条