This paper discusses the equation extention method which solves the expres - sion problems in logic program system. The equation logic is implemented efficiently by building the description of the type and improving the unification algorithm on the base of the rewriting mechanism. 讨论了在逻辑程序系统中处理表达式的等式扩展方法,描述了表达式建立类型并在重写机制的基础上改进传统的合一操作,实现了高效的等式逻辑。
One may consider this type as organized collective irrigation due to its unification management by the village committee. 由于这种集体行为统一由村民委员会管理,视其为有组织的集体灌溉行为。
The principle and method of proportion type design ( scalable design ) was introduced with emphasizing unification and change relations and its application in design. 介绍了比例式设计的原理与方法,统一与变化的关系及其在设计中的具体运用。
This new type master controller features short production cycle, long service life, high unification as well as light weight and so on. 该新型司机控制器具有生产周期短、使用寿命长、通用化程度高、重量轻等优点。
We discuss a type of topological invariants on the infinite-dimensional manifolds, that is, Cr mapping degrees on Banach manifolds with orientable Fredholm structures. Our degree theory is an intrinsical extension and unification of the usual smooth mapping degrees on the finite-dimensional manifolds. 本文讨论一种无限维流形上拓扑不变量,即具有可定向Fredholm结构的实Banach流形上Cr映射度.它是通常有限维流形上光滑映射度的一种自然推广。