形式化

grounding

基础

上述工作为RGPS元模型框架的服务组合和形式化验证提出了问题描述和求解的具体方法. 该模型的验证有效地克服了需求验证过程的复杂性和手工操作,有效地降低项目需求风险. 6.4.4 服务概况(Profile)和基础(grounding)98

logistic

符号逻辑

原先作为可直观的几何学发展成纯粹的解析几何,接踵而来的纯形式的「解析学(analysis)」、「集合论(theory of manifolds)」、「符号逻辑(logistic)」都意味着「算术化(arithmetization )」所导致的普遍「形式化(formalization )」,

Mechanistic organization

机械式组织

机械式组织(Mechanistic organization)又称官僚行政组织对于机械型组织的通常描述是:高度专业化、例行性的组织任务;形式化的运营流程;泛滥于整个组织的繁文缛节、规章制度以及沟通形式;大规模的运营单元;组织任务所高度依赖的功能基础;相对中心化的组织决策;

mores

民德

...民德(mores)人們認為是珍重價值的重要規範. 例如,禁止亂倫、兒童虐待等等. 其中 最嚴格的規範就是禁忌(taboo)> 有些規範形式化為法律(laws)由政治機構制定及由國家公權力執行的規則. ...五、符號(symbols)

Turing partially computable function

图灵机部分可算函数

Turing machine formalization 图灵机形式化 | Turing partially computable function 图灵机部分可算函数 | Turing type computer 图灵式计算机

primitive

原语

自然语言处理中的"语义原语"(primitive)要解决语义的形式化、规则化的问题. 词典学中的"元语言"指用来解释辞典所收词语的释义语言. 在语言学元语言理论,特别是在词典学的释义元语言理论的指导下,安华林、苏新春二位先生对现代汉语释义用词进行了专题研究,

knowledge representation

知识表示

现代AI研究的两个相互联系的核心问题:知识表示(knowledge representation)和搜索(search). 表现力(expressiveness)和效率(efficiency)是评价只是表示语言的主要尺度. 状态空间搜索为我们提供一种形式化问题求解过程的手段,启发(heuristic)使我们可以为这个过程注入智能.

rural

乡村

任何对城市的一般性理论,都很难再对都市史之写作有所助益,静态与形式化的都市定义,已不合时宜,"城镇"(town)与"城市"(city)做为一社会范畴,它们的历史意涵已遭质疑,在经验上划分"都市"(urban)与"乡村"(rural)的空间区分,也更困难与模糊了(Fraser and Sutcliffe,

scenario

剧本

以往用自然语言来描述对系统的需求,即把预期的人与系统之间的交互编写成"剧本"( Scenario)来描述这种功能需求. 但是这样的做法没有统一的格式,缺乏描述的形式化,随意性大,常常容易产生理解上的含混和不准确性.

Tristram Shandy

項迪傳

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

tranquil flow：平静怜

train 列 | tranquil flow 平静怜 | transceiver 无线电收发机

The Marschallin's Major-Domo：瑪莎琳元帥夫人管家 男高音

A police inspector 警官 男低音 | The Marschallin's Major-Domo 瑪莎琳元帥夫人管家 男高音 | An innkeeper 客棧老闆 男高音