形式化

causality

因果律

L.诺德海姆(Nordheim)为讲义的物理部分准备了材料,而关于数学形式化部分的主要工作,则是由冯.诺伊曼完成的.书中另一个主要内容,是从统计学角度阐述了量子力学中的"因果律"(causality)和"测不准原理"(indeterminacy).他的结论是,

corpora

全集

他们包括通过强制性约束的来自现有的分类学、数据库和词典引出的本体,例如术语的一致性和分等级的"适当-形式化(well-formedness)"(Guarino和Welty 2000),并且也包括从语言上的全集(corpora)引出的本体,例如象WordNet系统的基础.

economic

经济学

从感性学的角度看-我们视感性学(Aesthetics)为感性经济学,而非美学-艺术这种形式化审美,其形式的功能,与理性经济学(Economic)中股票的作用,是十分类似的.

es

专家系统

在教学实践中不断改进或优化"二字组、三字组、四字组、...多字组"(乃至"二字句、三字句、四字句、...多字句")等形式化或标准化的"汉语结构(形式)"--"动态字组"数据库与静态字组"数据仓库,不断完善"计算机辅助(CA)标注(其中:个性化的标注与教学活动息息相关)"、&quo

foreshadow foreshadow

预示不祥的东西来到 铁匠,伪造者

foresee foresee预见 | foreshadow foreshadow预示不祥的东西来到 铁匠,伪造者 | formalize formalize使形式化 format固定格式,版式

formalization

形式体系化

形式体系;形式主义 formalism | 形式体系化 formalization | 形式化算法 formalized arithmetic

formalize

正式化

所谓的"隐性知识"(Tacit Knowledge),就是指未经正式化(Formalize)的知识,包括企业、经营者或员工的经验、技术、文化、习惯等,是属于个人经验与直觉的知识,较不易以言语来沟通及表达,表现为难以形式化、无法被具体化的技能.

formalize

使正式

formalization 形式化 | formalize 使正式 | formally 正式地

formally

正式地/拘泥礼仪/形式上/拘束地

formalize /使正式/使整形/形式化/拘泥形式/ | formally /正式地/拘泥礼仪/形式上/拘束地/ | formamyl /氨基甲酰基/

formally equivalent

形式上相等

formalized meaning 形式化的意義 | formally equivalent 形式上相等 | formant amplitude 共振峰振幅

Greco-Latin square：希腊拉丁方格

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

cunningham：帆前角下拉索

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