TU:类型统一
“类型统一”(Type Unification)常缩写为TU,以方便日常书写与沟通。该术语多见于机构文件和军事领域,用于指代系统或标准中实现类型一致性的过程,有助于提升组织管理的规范性与执行效率。
Type Unification的英文发音
例句
- 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映射度.它是通常有限维流形上光滑映射度的一种自然推广。
本站英语缩略词为个人收集整理,可供非商业用途的复制、使用及分享,但严禁任何形式的采集或批量盗用
若TU词条信息存在错误、不当之处或涉及侵权,请及时联系我们处理:675289112@qq.com。