formalisation

Formalisation of the social context is the social structure .

社会环境的形式化表达就是社会结构。

But in describing the Turing machines ten years before , he had also justified his formalisation of the idea of ' mechanical ' with a complementary argument , that of the ' instruction note ' .

说起十年前的图灵机，那时他还用指令便条的例子，来解释他对机械过程的形式化。

Formalisation of career development and enhancement of training needs ;

正式制定职业发展计划和加强培训；

The formalisation and reasoning of models is then applied to model consistency checking .

我们成功地将此方法和工具应用于模型的一致性检查。

But what is risk other than a formalisation of fear ?

但是什么是风险绝不是害怕？

Both interpretation and argumentation contribute to the formalisation of the knowledge of law with the character of practical reason .

二者均致力于型构具有实践理性品格的法学知识。

The definition , composition , and the formalisation expression of process are depicted , the process characteristics of networked manufacturing system is studied , and a basic process hierarchical structure , which is considered to be important to show the structure of networked manufacturing system , is given .

给出了过程的定义、组成及形式化描述，对网络化制造系统的过程特性进行了分析，进而建立了网络化制造系统的基本过程层次结构。

The Turing theory of statistics , with its formalisation of ' likeliness ' and ' weight of evidence ' , and with its ' sequential analysis ' idea , were also playing a general part in the Fish work , in which it found greater application than in the Enigma methods .

图灵的统计理论，包括概率、证据权重以及序列分析，在鱼机研究中起着全局性的、比在谜机研究中更深远的作用。