相关推论与强相关逻辑

 推论的能力,尤其是抽象推论的能力,无疑是人类智能最本质的特征之一,因而应该是任何以实现人工人类智能为目标的计算智能系统都应该提供的必不可少的功能。本文简要介绍相关推论和相关逻辑。分析表明,为相关推论提供逻辑有效性保证的强相关逻辑,对于以发现或预测为最基本功能的各种计算智能系统来说,具有无可替代的关键作用。     

基于FPGA的Prewitt边缘检测算子的实现

主要探讨基于FPGA的prewitt边缘检测的实现,分析prewitt边缘检测算法处理图像的效果.据FPGA的并行流水线性以及FPGA处理简单方便,结合Prewitt边缘检测算法的基本原理,利用FPGA对其进行了设计、实现,通过quartus II软件进行编程,利用modelsim、matlab软件进行仿真和数据获取,最后利用以上获取的数据通过matlab进行图像处理.     

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

使用可编程逻辑控制器(简称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定义的模糊粗糙集以及模糊粗糙集运算的基础上,给出了新的模糊粗糙集∪、∩运算及偏序关系,并讨论了它们的性质,定义了模糊粗糙逻辑补、与、或算子,同时给出了这些算子的构造方法。