逻辑学语境下的科学实用主义

作为实用主义的鼻祖,皮尔士首先和主要是一位逻辑学家.他的实用主义从根本上讲是一种逻辑学说,要求从逻辑学理论上对其进行解读.审视科学实用主义同逻辑学的内在的、历史的联系及其形而上的蕴含,可以更清晰地认识实用主义理论的本真意义.     

思维逻辑转换与翻译

翻译和思维逻辑有极其紧密的联系。逻辑活动贯穿于翻译过程的始终。在翻译过程中,译者需要在原语和译 语间进行思维逻辑的转换。从三个层面上阐述了逻辑转换在翻译中的作用:逻辑对确定词义的作用、逻辑对确定译语 句子表达的作用和逻辑对从篇章结构角度检验译文的正误的作用。     

WindoWs操作系统主引导扇区程序剖析

通过对操作系统启动过程的深入研究，在WINDOWS98 DOS状态下，对当前大容量硬盘主引导扇区的引导过程进行了全面的剖析，导出扩展INT 13H读取大容量硬盘逻辑扇区的方法，这将对大容量硬盘的管理与维护十分有利。     

带有约束的缺省逻辑

提出了一种改进缺省逻辑的方法，讨论了这种缺省理论的性质，证明了每个缺省理论都有扩充，具有半单调性和累积性，并讨论了处理多扩充问题的一种方法．     

采用在系统可编程逻辑器件实现HDB3编解码

在系统可编程技术是通信专用集成电路设计的一种最新设计方法,它使得数字电路设计、生产良生革命性的变化。     

遗传算法对模糊控制的优化及其应用

为了使模糊控制器具有自学习能力,本文将遗传算法与模糊控制相结合,提出了使用遗传算法对模糊子集进行划分的优化方法,并根据模糊控制的特点,给出了改进的编码方法和交叉算子,加快了算法的收敛速度．应用该方法对锅炉过热汽温进行了仿真研究,结果表明本文提出的基于遗传算法的模糊控制优化方法是很有效的．     

一种适合于网络专家系统的通用理论(英文)

描述运用于工业自动化的一种自适应自学习方法。基于此方法,Ａｐｔｒｏｎｉｘ公司开发出一套通用软件工具－ＳＴＩＭＴＭ,并应用于不同工业领域。ＳＴＩＭ可用于构造各类专家系统。基于因素空间理论,ＳＴＩＭ具有一系列独特之处,比如自动化、自学习,以及自翻译。如果与因特网,嵌入式控制器以及可编程逻辑控制器等结合使用,ＳＴＩＭ则成为一个十分有效的工具,可应用于远程连通与控制、模式识别、机器故障诊断,以及自动化加工过程中的传感器数据融合     

社会正义构造论

从有利于人们在实践中追求和实现社会正义的目的出发．可以将社会正义的构造理解为过程构造与逻辑构造的统一。这样分析有助于人们在实现社会正义的实践中有针对性地去解决遇到的各种问题．促进人们重视实现社会正义的各个环节。     

一种适用于并行文件系统的高可用机制

针对并行文件系统文件数据分布存储的特性所带来的系统可靠性和可用性降低的问题,提出了一种提高并行文件系统可靠性与可用性的机制.该机制采用数据镜像技术,应用逻辑镜像环来指定存储节点间的镜像关系,使得一个存储节点既存储自身的数据,也作为其他节点的数据备份节点.该机制还可以通过调整镜像深度,以满足用户对文件系统不同级别的可靠性和可用性要求.同时,建立了马尔可夫链模型,以评估所提机制的可靠性和可用性.数学求解表明,在镜像深度为2时,应用该机制的并行文件系统发生数据丢失的平均时间大大提高,约为原系统的32倍.     

论奎因对模态逻辑的批判

模态逻辑一经产生，就遭到奎因的质疑。奎因认为，模态概念无论在逻辑上还是在哲学上其正确性都值得怀疑。他甚至认为模态逻辑是多余的，应予以抛弃。通过对奎因批判模态逻辑的背景和理论进行分析，章认为奎因对模态逻辑的批评在观念上和论证上都存在缺陷，因此奎因的批判是不能成立的。