从逻辑角度解构“独语句”的魅力

独语句 ,是只用一个词 (或短语 )就独立成句的特殊句式。它那明快、利索、干脆、果断的特殊魅力来源于其逻辑结构。本文从逻辑学及语用学的角度剖析了独语句 ,首次揭示了独语句特殊结构及语用效果的逻辑奥秘 。

论一分为三的认识新视野

一分为三是辩证法规律的一种形象表述,这种表达方式是现时代的辩证法的本体论和方法论发展的结果,三分所要体现的是规律的动态展现过程,事物的整体动态的发展观,是对事物的孤立的、静止的、片面的观点的克服。一分为三体现着人与自然,人与社会,人与自身心理等的和谐,人类社会的发展所走向的是一种共存,文明的发展是一种共存;对于规律的认识是一个不断接近的过程,而对于事理的分析是要回到事理本身的,一分为三的规律普遍地体现在它的现象的逻辑、理性的逻辑和实践的逻辑之中。

可扩展量子比较器的设计

提出了一种新型量子比较器的设计方法,利用这一理论说明了一位量子比较器和可扩展量子比较器工作原理,并设计出了相应的量子比较器的逻辑电路图。最后通过一个n+1位的量子比较器,给出可扩展量子比较器的逻辑电路图和工作过程。

新型CMOS大数逻辑门电路的设计

一步大数逻辑可译码(One-Step Majority Logic Decodable,OS-MLD)可用来促进存储器恢复单粒子翻转引起的软错误.其中,大数逻辑门(Majority Logic Gate,MLG)在译码电路中起着非常重要的作用,然而目前已提出的MLG电路需要极大的硬件开销.针对这一问题,本文提出一种新型MLG电路,该电路由PMOS管构成的上拉网络、NMOS管构成的下拉网络以及一个反相器构成.利用Cadence软件进行仿真验证可知,该电路不仅能够实现正常的大数逻辑功能,在功耗、延时、面积等性能指标方面也均优于现有的电路结构.同时,将所设计的MLG应用到OS-MLD中,结果表明,所提出的MLG对于该编码应用是有效的.

基于三变量函数的计算机辅助逻辑综合

本文讨论了逻辑函数的分类,在查表综合的基础上,用计算机辅助来实现三变量函数的基于一位全加器、通用逻辑门、通用阈值逻辑门的逻辑综合。

股份合作制的企业组织结构化问题

企业组织结构化理论关注的核心是 ,如何在企业组织的元要素之间分配权力与利益 ,才能使企业具备决策、协调和激励功能 ,形成有效的内部治理结构 ,保证企业的运行效率 ,实现生存和发展的目标。多年的探讨中出现了同意综合逻辑的倾向 ,而股份合作制似乎被看作就是一种综合逻辑的企业组织形态。笔者则认为 ,股份合作制的企业形式是改革实践中的勇敢尝试 ,是企业组织结构化的有益探索 ,但其内在诸多矛盾使其未能完成资本逻辑与劳动逻辑的有效综合 ,未能实现企业组织的结构化。

“明示”与“默示”——康德与早期维特根斯坦的不同“划界”

康德的《纯粹理性批判》和维特根斯坦的《逻辑哲学论》均以划界为首要任务。康德的划界是明示的、外在的,而维特根斯坦的划界是默示的、内在的。这种差异根源于二者不同的逻辑方法。康德的先验逻辑既关涉形式,又关涉内容,所以在界限之外也有所说;而维特根斯坦的数理逻辑只关涉形式,所以惟有沉默。

基于一步延迟航迹起始算法研究

针对基于逻辑的航迹起始算法可能产生分裂虚假航迹的情况,深入研究了基于一步延迟的航迹起始算法。在应用修正逻辑法起始航迹后,利用相邻2个采样周期量测信息的累积新息,剔除虚假分裂航迹。仿真结果表明:该算法在正确航迹起始概率上和基于修正逻辑的方法相当,但虚假航迹起始概率远低于后者。