通用: be in common use; be current ...代数: K理论 algebraic K-theory模型: model; pattern系统: system代数模型: algebraic model通用代数翻译程序: gat generalized algebraic translator模型系统: model system通用类型系统: common type system (cts); cts (common type system)参考模型系统: model reference system地图模型系统: mamodel system联结模型系统: link modelling system寻优模型系统: coms = compliance optimization modeling system通用代数翻译程序，广义代数翻译程序: gat generalized algebraic translator表面工程模型系统: modelling of surfaces system; modellingofsurfacessystemmoss非地震模型系统: non-seismic modeling system试验性模型系统: pilot model system; pilotmodelsystem预测排放模型系统: pems = predictive emissions modeling system用代数方法: algebraically用代数解答: algebraize作用代数: action algebra代数模拟: algebraic simulation通用代码: versatility code寻优模型系统的缩写: coms compliance optimization modeling system型系统: bc最通用代替符: mgu; most general unifier
