普特南对逻辑实证主义的批判

意义概念和合理性概念是逻辑实证主义学派的核心概念。逻辑实证主义者提出了意义的证实理论,并且试图将这样的理论运用于心灵哲学之中,他们还试图将合理性概念做理论化的处理。普特南指出逻辑实证主义者误用了意义的概念,没有认真地考察、研究语义学,忽略了意义概念的日常习惯用法。普特南认为逻辑实证主义重新解释科学的倾向恰恰是逻辑实证主义运动出现失误的根源。他们对于合理性概念的处理也陷入了形而上学的泥沼之中,是一种自相反驳的方法。这样的分析是一种深刻的洞见。     

逻辑模拟的算法实现

介绍一种在工业控制设备中实现逻辑模拟的算法。该算法充分考虑电路中各元件不同的延迟时间，因而能真实地反映被模拟电路的实际工作状态     

认知逻辑中逻辑全知问题及其解决方法

分析认知逻辑中的逻辑全知问题及其解决方法， 提出一种可以避免逻辑全知的认知逻辑 Ｅ Ｌ， 并给出其语义和公理系统     

力学科学的逻辑状况(英文)

在阐明力学科学及其特性的基础上提出了力学科学的逻辑状况问题,特别讨论了当前的一些热门话题、以及力学原理所表现的逻辑模式与传统力学特性分析方法的一致性.     

高师《高等数学》课程教学改革探析

阐明在大学生中开设高等数学教育的重要性,并提出关于《高等数学》课程改革的几点意见     

试论我国律师职业秘密规则的完善

维护国家法律正确实施是律师全部活动的最终目的,具有根本性、终极性.在律师保守职业秘密的职责问题上,我国的现行规定明显欠缺和不完善,应进一步完善律师对委托人承担保守职业秘密的义务的规则,同时赋予律师保守职业秘密的特权,以维护委托人的合法权益.     

A fuzzy rule based genetic algorithm and its application in FMS

Most of the FMS (flexible manufacturing systems) problems belong to NP-hard (non-polynomial hard) problems. The facility layout problem and job-shop schedule problem are such examples. GA (genetic algorithm) is applied to get an optimal solution. However, traditional GAs are usually of low efficiency because of their early convergence. In order to overcome the shortcoming of the GA a fuzzy rule based GA is proposed, in which a fuzzy logical controller is introduced to adjust the value of crossover probability, mutation probability and crossover length. The HGA (hybrid genetic algorithm), which is integrated with a fuzzy logic controller, can avoid premature convergence, and improve the efficiency greatly. Finally, simulation results of the facility layout problem and job-shop schedule problem are given. The results show that the new genetic algorithm integrated with fuzzy logic controller is excellent in searching efficiency.     

基于移动Agent技术的逻辑虚拟主动网

为满足用户对网络实施主动性并能依据人的逻辑思维或任务间的逻辑关系进行通信,提出了逻辑虚拟主动网LVANet(Logical Virtual Active Network).LVANet是以移动Agent技术为基础,建立在现存的网络结构之上的用于反映任务间逻辑关系的一种网络.描述了LVANet的结构、特点及功能.采用移动Agent技术构建了LVANet的框架,给出了安全的主动包传送方案及安全访问控制方案.与传统虚拟主动网相比,LVANet灵活性强,消耗低,网络带宽可以节省3.8%,工作效率提高18%.     

粮食长期存储自动控制系统的研究

通过对粮食加工处理及长期存储工艺过程的研究、设计,开发了粮食除湿杀菌杀虫处理及长期储存自动控制及监控系统,该系统应用可以提高粮库粮食仓储的成品率和保鲜度,减少陈化粮对人民身体的危害,同时提高粮库仓储的自动化水平。     

逻辑Petri网变迁使能的判定方法

逻辑Petri网(LPNs)能够描述和分析实时协同工作系统中批处理功能和传值不确定性。为了直接分析LPNs的性质,针对LPNs变迁的不确定性,定义了逻辑变迁向量集和变迁使能向量集,给出了一种向量匹配方法判断使能变迁。为应用LPNs建模分析实际问题奠定了理论基础。最后,通过一个例子,验证了论文分析方法的可行性。