形式化

Town

城镇

对城市的一般性理论,都很难再对都市史之写作有所助益,静态与形式化的都市定义,已不合时宜,"城镇"(town)与"城市"(city)做为一社会范畴,它们可以很确定地说,已经不需要什么大尺度且清晰的诠释架构来支配都市史这个学术领域了传统常规式建筑史将发现,

forky

分叉的/分歧的

forklift /铲车/ | forky /分叉的/分歧的/ | formalization /形式化/仪礼化/

liveness

活性

在计算机系统,特别是分布式系统的各类问题中,活性(Liveness)与安全性(Safety)往往是评价某种解决方案的关键因素,这类似于数值计算问题中的正确性,通常是不能含糊的,有必要做形式化证明.

Shareable

可共享

再次,与其他形式化的言语方式相比,表演形式具有更强的可循环( circularable) 和可共享( shareable) 的特性. 再有,表演形式更倾向于是一种有意识的传统化(consciously traditionalized) ,就是人们会意识到表演是"重复以往已经存在过的东西".

Linguistic Dimensions of Crisis Talk: Formalizing Structures in a Controlled Language

語言維度危機談話: 形式化結構在一種控制語言

56 Lexicalization an... | 57 Linguistic Dime... | 58 Linguistics at Work...

father complex

恋父情结

认为法律是确定的、静止的,判决完全可以预测,这种看法只能是一个"基本的法律神话"(basic legal myth)和儿童"恋父情结"(father complex)的残余. 法律的实施并非一种精确的形式化的科学流程,而必须以一种"似乎很精确的方式"来处理一些"实际上无法精确处理的问题".

Description Logics

描述逻辑

描述逻辑(Description Logics)就是一种建立在一阶谓词逻辑之上的用于描述本体数学性质的形式化工具 . 从表面上看来,描述逻辑并不是一阶谓词逻辑的子语言,也就是说它们采用的是不同的语言结构,但实际上描述逻辑从语义上对应着一阶谓词逻辑的一个部分(fragment),

Tristram Shandy

項迪傳

<<项迪传>>(Tristram Shandy)执意要事无巨细地再现世界,他认为这样才算是忠实于读者,结果,他对世界的详尽而痛苦地再现却瓦解了他的叙述. 事实上,小说要同时受制于再现和形式化的设计,而在我们目前的社会中,这两个目的是不可调和的,因此,

early-stage description

早期描述

智能表述:Intelligence Description | 早期描述:early-stage description | 形式化描述:formal description

Unstructured

非结构化

结构化(structured)问题,是指能够通过形式化(或称公式化)方法描述和求解的一类问题;非结构化(unstructured)问题则难以用确定的形式来描述,主要根据经验来求解;介于上述两者之间的是半结构化(semi-structured)问题.

Greco-Latin square：希腊拉丁方格

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

cunningham：帆前角下拉索

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