逻辑的

Philanthropy

博爱

表面上坚信的社会主义道路在匈牙利政治的教育部长的职位上走得自信,关于黑格尔的本体与审美的逻辑分析得如此透彻,博爱(philanthropy)的精神贯穿在炯炯有神的字里行间,与日复一日的反对商品化与物化的生活实践中,

polarity

极性

最近开始读巴姆的有机哲学论,纠缠于他的"极性"(polarity)理论中. Bahm试图以思辨的方法精确地剖析一切思维中的对立问题,核心是辩证法逻辑与有机论视角. 把我们日常所理解的对立问题,区分为对立、互补和张力,每一范畴下又建立了更细的子范畴,

predicate symbol

谓词符号

PI证明是谓词逻辑归结证明的一种重要类型,其中P指关于谓词符号(predicate symbol)的一种顺序,I是指某一个特定的解释. 但是在目前所见的许多文献中对PI推理的定义还有一些不妥之处,没有确保其中的每一步归结都是PI归结. 本文给出了一种新的PI推理的定义,

presupposition

预设

"预设"(presupposition)确实是个极为重要、但是国内1.般学术界、尤其哲学界迄今罕有研究的课题...即便是在国外\较多的研究也都是在逻辑学、语义学和语用学领域进行的\而且即使在语言学界\它也越来越少有受到特别关注了\"在更晚近的态度中\人们已更少地表现出关于对这些现象的逻辑分析的技术性讨论类型的兴趣

programmable controller

可编程序控制器

可编程序控制器(Programmable Controller)简称PC,是美国在60年代末首先研制成功的.其研制的目的是用来取代继电器,执行逻辑、定时、计数等顺序功能,建立柔性的程控系统.本文主要介绍将传统的继电-接触器控制系统直接改造成PC控制的方法及继电接触控制与PC的配合使用.

punch line

妙语

另外,戴教授还强调了应该关注的如下素质,这些素质说明考生有成为职业译员的潜力:迅速理解所听段落中妙语(punch line)的能力;迅速把握主次信息以及理清信息间逻辑关系的能力;快速组织信息的能力;清晰表达的能力以及较强的短时记忆力.

Racecourse

跑道

"英语"课程"一词(curriculum)来源于拉丁语,原是"跑道"(racecourse)的意思. 现代教育中的课程是以分科设置为主的,而且"跑道"越来越多. 这适应了社会分工的需要,有利于各科知识的系统学习,强化了学科内部的逻辑组织,

racing

賽跑

GSLB控制器必须了解节点能够承载的最大容量以及当前的负载,将下一个请求发送到有更多可用资源的节点上. 目前,测量用户与节点的'逻辑距离'有两种方式,一种是用设备进行探测(Probing)的方式;另一种就是所谓的'赛跑'(Racing)方式.

referential integrity

参照完整性

复杂的子句可以分解成两个或更多个相互独立的简单子句,而将每个简单子句的查询结果分别保存在不同的 DataTable 对象中;以后只要分析这些内存数据之间的约束和逻辑关系,就能重建原先表之间必要的"参照完整性"(referential integrity).

database schema

数据库模式

- 可发布的可执行系统是一个供内部或外部用户使用的相对完整和一致的软件制成品(artifact)的集合- 数据库模式(database schema)定义了数据库的逻辑结构,相当于是一类常驻信息的应用程序接口(API)- 数据库模式(database schema)是概念空间的事物在部件图上,

Fix, Unfix,Group,Ungroup：(固定, 不固定,成组, 不成组)

Align Components(元件对准) 79 | Fix, Unfix,Group,Ungroup(固定, 不固定,成组, 不成组) 80 | Select Net(选择线网) 80

glycol monoacetate：乙二醇一乙酸酯

glycol lubricant 乙二醇润滑剂 | glycol monoacetate 乙二醇一乙酸酯 | glycol monobenzyl ether 乙二醇一苄醚