
n. 正规化(等于formalization)
But what is risk other than a formalisation of fear?
可风险不就是恐惧的一种形式化方式吗?
Often considered to be the father of modern computer science, Turing provided an influential formalisation of the concept of the algorithm and computation with the Turing machine.
通常认为他是现代计算机科学之父,图灵利用图灵机的发明提供了一套影响深远的关于算法和计算概念的规范。
n.|orthonormality/normalization;正规化(等于formalization)
Formalisation(英式拼写,美式拼写为 formalization)是一个名词,指通过制定规则或结构使某事物变得正式、规范化的过程。其含义在不同语境中略有差异:
通用定义
指将事物转化为明确、系统化的形式,通常涉及建立规则或标准。例如:将口头协议转化为书面合同的过程。
逻辑学与数学领域
强调通过公理、符号或数学模型构建严谨体系,如逻辑命题的形式化表达。
商业与管理领域
指组织流程的规范化,例如制定战略规划(strategy formalization)或制度化管理。
社会行为层面
可表示遵循礼仪或既定程序的行为,如会议流程的仪式化。
近义词:系统化(systematization)、标准化(standardization)、公理化(axiomatisation)。
反义词:非正式化(informalization)、随意化(casualization)。
注意:英式拼写为 formalisation,美式拼写为 formalization,两者含义相同。具体应用需结合上下文判断其侧重点。
单词: formalisation
正式化是将事物、程序或观念转化为形式化的表示或形式化的过程。这种转化便于人们对其进行分析、比较和验证。在计算机科学和数学中,正式化通常是指将算法、问题、证明和概念表述为形式化语言的过程。
正式化通常用于描述将非形式化或模糊的概念或程序变为形式化的过程。这种过程可以使得人们更准确地理解和分析这些概念或程序。
hang outelasticsubcontractCairnscancersconducecourtinginopportunejestfulreassemblestaxableVienneseatrocious weatherberberine hydrochlorideearthquake predictioninkjet printerspeak the truthturn palealcaldeapostlebidetCanidaecayuseduodynatrongroutnickhircusjudiciouslykleinpflasterKaramchandMoire pattern