形式化

formal depict

形式化描述

正规教育:formal education | 形式化描述:formal depict | 形式对等:formal equivalence

formal language

形式化语言

正式制度:formal institutions | 形式化语言:formal language | 形式化分析:formal analysis

formal model

形式化模型

正式制度:Formal institution | 形式化模型:Formal model | 形式化方法:formal method

Formal Security Policy Model

形式化安全策略模型

社会养老保险筹资模式:funds-raise model of endowment security | 形式化安全策略模型:Formal Security Policy Model | 安全体系结构模型:Security Architecture model

formalization

形式化

"尽管新增长理论崛起的原因之一是历史关怀,但是,当它沉浸在理论想象中的时候,形式化(formalization)的努力就逐步将现实的复杂性与历史关怀抽象成诸如内生技术进步等几个简单的变量了.

formalized arithmetic

形式化算法

formalize 形式化 | formalized arithmetic 形式化算法 | formalized computer 形式化计算机

formalized computer

形式化计算机

formalized arithmetic 形式化算法 | formalized computer 形式化计算机 | formalized computer program 形式化计算机程序

formalized computer

形式化计算器

形式化 formalize | 形式化计算器 formalized computer | 形式化计算器程序 formalized computer program

Rigorously formal

(严格形式化)

Semi-formal (半形式化) | Rigorously formal (严格形式化) | According to description (根据描述对象)

semi-formal

(半形式化)

Structured informal (结构非形式化) | Semi-formal (半形式化) | Rigorously formal (严格形式化)

Greco-Latin square：希腊拉丁方格

Granduation of curve 曲线递合 | Greco-Latin square 希腊拉丁方格 | Grand lot 大批

cunningham：帆前角下拉索

斜拉器:kicking strap | 帆前角下拉索:cunningham | 调整索:outhaul