科恩否定原理的局限及其尝试性修正

科恩的否定原理是他的归纳概率逻辑体系区别于数学概率逻辑体系的重要标志.它的实质是,如果假说H基于证据E得到了大于零级的支持,那么基于同样的证据就不能对它进行否定,同时基于同样证据的其他假说相对于H不具有竞争地位.但它在理论内部和应用上都存在一定的局限,其根源在于科恩采取了过强的否定策略,弱化这种强否定可在一定程度上修正否定原理的局限.     

法律推理研究的新维度——法律推理研究之语用转向探析

在哲学的语用学转向和非形式逻辑对话与论辩理论等理论的影响下,法律推理研究历经了一个由语形和语义研究到语用研究的转向。在具有强烈对话或论辩色彩的法律实践特别是司法实践中,法律推理研究的这种语用转向,为司法实践中之法律推理提供了新的分析评价视角,也为理性司法提供了更为恰当的逻辑理性根基。     

自主移动机器人局部优化导航算法研究

自主移动机器人在未知环境下需要依靠自身装配的传感器不间断地获得周围环境信息,辨别出障碍物的位置,进行计算和自主决策.现有导航算法在面临U型等复杂环境时容易在僵死路径上产生反复,导致导航不能继续.文中提出了一种基于模糊逻辑的局部优化导航算法,采用"辨识-记忆"策略来处理传感器信息.在路径规划中保留最近走过路径的位置和角度特征等相关资源,形成"记忆".当前规划路径形成死区并反复运行时,会形成"辨识"并重新规划路径和导航决策以避免障碍物碰撞.在Webots Pro和Matlab下设计仿真实验,结果表明移动机器人在模糊规则指导下能有效避障和避免死区现象,实现较好的自主导航.     

自动线计算机图形监控系统的研究

介绍一种通过与PLC进行实时通讯，将自动线各部分工作状态动态地显示在计算机窗口界面上的图形化监控系统。该系统的运用，使整个加工过程的监控更为有效、直观。     

基于PLC的缸体加工机床控制系统

对可编程控制器（PLC）应用于某设备缸体加工专用机床控制系统的设计思路作了介绍，对系统的硬件组成和软件设计作了较为详细的阐述，通过上位监控计算机可对生产现场的设备状态实施监控和对现场参数进行调整。     

MATLAB在汽车半主动悬架仿真中的应用

介绍了利用MATLAB软件建立汽车的二自由度数学模型。并建立了基于参考模型的模糊及PID控制器，通过应用SIMULINK对比仿真，得出了模糊控制器对于汽车半主动悬架的控制效果要优于PID控制器。     

基于PLC的剪板机控制系统设计

在分析剪板机结构、原理的基础上，设计了控制系统的硬件电路和软件程序。通过引入计算机作上位机，对生产现场的设备状态实施监控和对现场参数进行调整，使设备处于最佳工作状态。     

Beyond multi-adjoint logic programming

In ‘multi-adjoint logic programming’, MALP in brief, each fuzzy logic program is associated with its own ‘multi-adjoint lattice’ for modelling truth degrees beyond the simpler case of true and false, where a large set of fuzzy connectives can be defined. On this wide repertoire, it is crucial to connect each implication symbol with a proper conjunction thus conforming constructs of the form (←_i, &_i) called ‘adjoint pairs’, whose use directly affects both declarative and operational semantics of the MALP framework. In this work, we firstly show how the strong dependence of adjoint pairs can be largely weakened for an interesting ‘sub-class’ of MALP programs. Then, we reason in a similar way till conceiving a ‘super-class’ of fuzzy logic programs beyond MALP, which definitively drops out the need for using adjoint pairs, since the new semantics behaviour relies on much more relaxed lattices than multi-adjoint ones.     

基于Mamdani型模糊推理的加权质心定位算法

为了提高加权质心定位算法在室内环境中的定位精度,提出使用实际环境中的RSS数据通过蝙蝠算法拟合输入隶属度函数,通过Mamdani型模糊推理获得节点间精确的权值,以提高加权质心定位算法的定位精度。在Zigbee平台上实现了该算法,通过实验比较3种不同的质心定位算法,结果表明:Mamdani型模糊推理因采用经过蝙蝠算法优化的隶属度函数而具有更小的平均定位误差。     

基于同步数的轻量级高效RFID身份认证协议

RFID技术广泛应用的同时,其安全问题面临着严峻的考验。在确保安全性能的前提下,节省系统成本、提高效率成为未来研究重点。在分析各种协议缺陷之后,借鉴滚动码技术的同步数原理,提出了一种基于同步数的轻量级高效RFID身份认证协议。协议运用同步数以及双向认证机制保障系统安全性。对各种威胁进行分析,确保了协议的安全性。通过比较其他协议的效率与成本,可以看出该协议具有轻量级与高效性。最后运用BAN逻辑对协议进行了形式化分析,从理论上证明了本协议的可行性。