逻辑化

aerosol

浮质

至于凯德与史文斯马克的宇宙气候学理论虽然逻辑正确并有实验左证,但宇宙射线强度网页快照在近一个世纪并没有明显增加或减少,其它更直接影响云量的重要因素,如浮质(aerosol)等,也没有在理论中被讨论,所以将全球暖化完全归因于宇宙射线变化,

assembly

装配件

在.NET框架平台中,装配件(Assembly)是一个崭新的概念. 它是.NET框架应用程序的基础生成区块. 它是一个功能的集合,可以被当作一个独立的实现单元被生成、版本化和发布. 从本质上讲,装配件是一个逻辑上的动态链接库.

atomism

原子主义

在逻辑上,个体本位主义持"化约主义"(reductionism)或"原子主义"(atomism)的立场,因此在它的视野中,社会是个体的集合、相加,整体可以还原为个体. 因此,在个人与社会关系问题上,个体本位主义否认外部社会力量向个体内部心理结构的渗透以及对个人的决定性.

karnaugh map

卡诺图

由于这种方格图是由一位名叫卡诺(Karnaugh)的美国人发明的,因此人们通常将其称为卡诺图(Karnaugh Map). 卡诺图不仅可以用来描述逻辑函数,而且更重要的是他还可以用来化简逻辑函数. 一个函数可以用表达式表示,也可以用真值表来描述,

propositional calculus

命题演算

关系演算基于数理逻辑的一个分支命题演算(propositional calculus),更精确地说是一阶谓词演算(first-order predicate calculus). 关系演算在逻辑表达式中使用AND和OR这样的运算符来进行关系运算. SEQUEL(结构化英语查询语言)是SQL的前身,由IBM开发,

Ramet alloy

碳化钽硬质合金

Rambler Typhoon Shelter 蓝巴勒避风塘 | Ramet alloy 碳化钽硬质合金 | Ramey circuit 拉米逻辑电路

terbia

[化]氧化铽

regionalization map 区划地图 | terbia [化]氧化铽 | internal logic variable 固有逻辑变量

Inferences

推理

非理性能够通过非逻辑化 (logically-derived)的形式得到体现全主观的),在理解过程得到再现的"推理"(inferences)中,没有任何纯法则和形式,以及研究方法 (methods)中存在的一些较抽象的关系 (far-再次出现于另外一个相似的事件(case)中.

glycosyl synthesis

糖苷化

全合成:total synthesis | 糖苷化:glycosyl synthesis | 逻辑综合:Synthesis

predefined

事先定义

所有这三者间都有一个共同的结构特徵,即:逻辑层与光罩层均已事先定义(predefined),根据不同的逻辑功能需要,把层级(layers)间给金属化(metallization),或藉由设定或相互连接的方式,来连接不同的层级.

functional catches：活动把手生耳

回零针 fly-back hand | 混合表 combo watch | 活动把手生耳 functional catches

parametric linear programming：参数线性规划

参数模型|parameter model | 参数线性规划|parametric linear programming | 参数最优化|parameter optimization