逻辑上的

assert

宣称

说一个人秉持某一个见解与立场,只表示这个人宣称(assert)某个命题. 逻辑上对於有效论证(valid argument)的定义是:一个论证是有效论证,若且唯若在逻辑上当这个论证的前提皆为真,这个论证的结论不会为假. 所以,

combinational logic

组合逻辑

两者除了闸数的差异,在结构上也有差异:CPLD采连续式布线结构,较适合用来实现各种运算和组合逻辑(combinational logic),也就是触发器(flip-flop)有限而乘积项(product term)较多的结构;FPGA采用分段式布线结构,适用於实现循序逻辑(sequential logic),

conditioner

调节器

逻辑上分为分类器(classifier)与调节器(conditioner)两个模块. 如图3所示:(2)调节器在逻辑上又分为计量器(meter)、标记器(marker)、整形器(shaper)和丢包器(dropper). 调节器的实现技术比较成熟,只要用令牌桶(token bucket)、漏斗桶(leaky bucket)等算法适当组合即可.

economy

节省

是现代所有科学的基本原则(也是人类历史上大部分时期的原则,能用一公斤泥土做成的罐子,且能保持功用,用两公斤就是浪费,没有效率嘛.至于里面逻辑,你去问古代人吧.节省恐怕就是逻辑.)所有的简化都出自节省(ECONOMY)这一个道理.你从福建到北京,

inconsequential: a. 1

微不足道的 2.不合逻辑的 3.离题的

chart: v.1.绘制...海图 2.在图上标注,表示,说明 | inconsequential: a.1.微不足道的 2.不合逻辑的 3.离题的 | veritable: a.名符其实的,十足的,真实的,确实的

logical

逻辑

在语言中还有"逻辑"(logical)功能,即以表现为并列关系和从属关系的线性的循环结构的形式出现. 由于两者都是建立于说话人对外部世界和内心世界的经验上,与其他功能相比较是中性的,因而可统称为"概念"元功能. (2)语言是社会人的有意义的活动,

number system

数系

代数方面强调数系(number system)概念,用较严密的逻辑方法以证明数学上的定理. 前人依赖欧几里德几何来训练逻辑思维,在新数学课程里,主要是削减欧氏几何的非基本命题或非基本而繁复的命题而致力于更有趣的项目. 课程中加入集合论的概念逻辑,

predicate logic

谓词逻辑

理论上,如果完全使用形式语言(formal language)和谓词逻辑(predicate logic)构造一种语言是可以做到完全无歧义的. 但这样绝对精确的语言是不适合人类这种不精确的生物的. 我们需要谐音来开玩笑,需要双关的语义来写诗歌,需要用模棱两可的语言来敷衍不...

thin

瘦的

开发人员可以将企业应用的商业逻辑放在中间层服务器上,而不是客户端,从而将应用的业务逻辑与用户界面隔离开,在保证客户端功能的前提下,为用户提供一个瘦的(thin)界面.

critical philosophy

批判哲学

他们认为,"批判哲学"(Critical Philosophy)和"场所哲学(Topical Philosophy)在方法上的对立,就表现在对语言和直觉的不同态度上. 以笛卡为代表的批判哲学强调语言、逻辑对于认识真理的优先性,而以维柯(Giambattista Vico)为代表的场所哲学则强调直觉胜于逻辑,

Greco-Latin square：希腊拉丁方格

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

cunningham：帆前角下拉索

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