基于可编程逻辑控制器的液压系统控制

使用可编程逻辑控制器(简称PLC)对液压系统的液压缸进行控制,代替传统的继电器控制器,通过可编程逻辑控制器的输入和输出接口,与液压系统中液压缸的模拟量和开关量建立关联,就可以完成液压缸的顺序动作,实现智能化控制,从而达到操作简单方便、控制精确度高、可靠度高、安全性好的目的,在很大程度上降低了液压系统的故障率,而且极大地提高了工作效率和智能化程度,具有很高的使用价值。     

线性时序逻辑基于DTMC的计量化方法

考虑随机Kripke模型离散时间马尔可夫链DTMC,并利用DTMC建立线性时序逻辑LTL中公式的满足度理论。首先在DTMC的全体无穷路径之集上引入某种适当的概率测度,考虑任一DTMC D中满足某个LTL公式φ的无穷初始路径占总路径的比例,以此为基础定义D关于公式φ的满足度概念;讨论满足度的若干性质,并指出这一概念体现了DTMC满足某个LTL公式的程度,故可将其作为模型检测理论中“D满足φ”这一概念的计量化推广;引入LTL公式之间的相似度,并诱导全体LTL公式之集上的伪度量,从而构建LTL逻辑度量空间。     

剖析三种非经典逻辑的思想来源与特征

论述了概率逻辑,模糊逻辑和不确定逻辑的思想来源;揭示了它们的思想本质特性;比较分析了它们的长处和不足.     

逻辑能力与数理科学创新小议

 我国历届国家领导人都高度重视科技创新,但“我们天天大呼创新和创造,却不问创新和创造从何而来”。每当谈起创新,人们往往只提起专注、投入等品质因素,很少谈到具体的创新方法。笔者在本文中讨论数理科学创新中逻辑方法的作用,以期抛砖引玉。     

基于AODV协议的动态路由管理算法

提出了一个基于AODV协议的动态路由管理算法,通过算法动态地配置路由协议参数,适应网络环境的变化,提高路由协议性能.算法利用模糊逻辑对移动自组网(MANET)网络环境进行分类,根据不同类型的MANET网络环境选择不同的AODV路由参数来改善路由性能.将这种算法应用到AODV路由协议中,通过NS2网络仿真器对标准AODV算法和基于AODV的动态路由管理算法进行了仿真比较.仿真结果表明,基于AODV的动态路由管理算法显著改善了协议路由性能.这证明在优化MANET路由性能研究领域中应用模糊逻辑的可行性.     

试论互逆主义数学哲学与东方精确科学

经验科学、数学、逻辑分别是初抽象、再抽象、全抽象科学,数学定理与逻辑定理之间具有相似性是有原因的,互逆主义具有整体论、非公理化、实用化的性质,是东方精确科学的代表之一,而东方精确科学可优于西方逻辑和数学.     

互逆主义逻辑中的逻辑命题

互逆主义逻辑对命题进行了严格分类,认为命题可分成不同级别、不同阶次.同时互逆主义逻辑的多层逻辑思想揭示了各类命题之间的内在关系,最高层即二层逻辑主要用于处理最高级别的逻辑命题,这是经典逻辑所不具备的功能.互逆主义逻辑还提供多种方法帮助证明命题的真伪,周氏图就是其中经常使用的方法之一.     

模糊粗糙集与模糊粗糙逻辑算子

在S．Nanda和S．Majumdar定义的模糊粗糙集以及模糊粗糙集运算的基础上,给出了新的模糊粗糙集∪、∩运算及偏序关系,并讨论了它们的性质,定义了模糊粗糙逻辑补、与、或算子,同时给出了这些算子的构造方法。     

数学选择题的编拟

选择题已是各级各类学校考试——尤其是标准化考试中所广泛采用的题型,并且因为它具备题型小、容量大,有利于培养学生迅捷解题能力和便于阅卷等优点而受青睐。然而因选择题只表现解题结果,无法显示分析问题与解决问题的思维过程,所以若编拟不当,其副作用也是不可低估的,特别是那些通过多种思路都能获得正确答案的选择题,其所具有的“欺骗性”和“危害性”更应引起我们的重视。本文试从选择题的逻辑结构入手,探讨与“四选一”选择题的有关问题。     

基于自适应学习速率法的补偿模糊神经网络

为克服常规网络收敛速度慢、无法结合专家知识等缺点,引入补偿模糊神经元,结合模糊系统强大的知识表达能力和神经网络优秀的自学习能力,并利用自适应学习速率法动态地改变学习率.提出了一种新型的基于自适应学习速率法的补偿模糊神经网络,并将其应用到实际例子中.结果证明,它不仅能在线适当调整参数,还能动态地优化相应的模糊推理,加快训练速度.