逻辑的

logical empiricism

逻辑经验主义

伊斯兰教义中万能真主的概念和大乘佛教中超验的佛与菩萨的等级的概念就不一致,这两种教义和众多的非洲及其他部落的泛灵论(THE ANIMISTIC BELIEFS)亦无法调和;而从现代西方哲学逻辑经验主义(LOGICAL EMPIRICISM)的角度来看,上述所有信仰又

formal language

形式语言

所以这已经超出了"形式语言"(formal language)和"自然语言"(natural language)的问题. 更精微的问题应当是:添加多少逻辑的粘合剂才能解释自然语言是如何起作用的. 这似乎也是逻辑与语言学之间结合的关键. 问:这样看来,

Fuzzy Logic Toolbox

模糊逻辑工具箱

但同时基于查询表的常规模糊控制策略仍存在的系统上升特性不理想、超调大、调节时间长、稳态误差较大等方面的不足,为此人们进行了多方面的研究[1]. 本文在simulink环境下利用模糊逻辑工具箱(Fuzzy Logic Toolbox)对参数自调整的模糊控制策略进行了深入的探讨和分析.

Hoare logic

霍尔逻辑

在过去40年中,他发明的快速排序算法被广泛应用,称为最有效率的算法; 而他提出的霍尔逻辑(Hoare Logic)则用严密的数学做保证,推理验证程序的正确性. 由于对算法和编程语言的巨大贡献,Tony Hoare成为1980年图灵奖的获得者. 因此,

Clear interface

重新启动接口上的件逻辑

Clear counters 清除接口计数器 | Clear interface 重新启动接口上的件逻辑 | Isdntch-type 规定了在ISDN接口上的中央办公区的交换机的类型

Clear interface

重新启动接口上的硬件逻辑

Clear counters 清除接口计数器 | Clear interface 重新启动接口上的硬件逻辑 | Isdn switch-type 规定了在ISDN接口上的中央办公区的交换机的类型

logical positivism

逻辑实证主义

(只需要想一下逻辑实证主义(Logical Positivism)就行了. )无神论可以满足于伦理学,(就像萨特偶尔非常巧妙的做的那样)但是说到形而上学/玄学,无神论就陷入封闭的牢房. 毕竟,让哲学家不接受某种先验力量的概念来探索人类是怎么来到世间简直就是不可能的.

logical

逻辑

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

logistic

符号逻辑

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

pipelining

流水线

数据同样不能被打入触发器. 我们可以将较大的组合逻辑分解为较小的几块,中间插入触发器,这样可以提高电路的工作频率. 这也是所谓"流水线"(pipelining)技术的基本原理. 可见,两个触发器之间组合逻辑的最大延时是速度瓶颈.

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

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

glycol monoacetate：乙二醇一乙酸酯

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