信念逻辑二题

本文讨论了模态词“相信”的逻辑涵义与信念逻辑系统的建构这两个关于信念逻辑的重要问题。作者认为,从逻辑的观点出发,可以简单地将“x 相信 p”解释为“x认为p是真的”,与之相对应,信念逻辑系统可以在经典命题逻辑的基础上加入模态词“应该”而得以建立。     

逻辑系统(-W),W,Wn中的广义矛盾式

研究了多值逻辑系统中的广义矛盾式,并对这些多值逻辑系统中的广义矛盾式进行了分划,强调了这种分划的不重不漏.     

NSL协议逻辑化分析

逻辑化方法是当前分析密码协议安全性的重要方法．本文通过运用一种新的认证逻辑系统，给出NSL认证协议的形式化分析证明，并提出协议改进方案．     

走出“纯理性”误区 数学不排斥“悟性”

数学以其严谨、缜密著称．爱因斯坦说：数学的严谨，“连上帝都相信”．一位哲学教授也曾说过：“只有数学才称得上是真正的科学，其他学科的结论都是由实验、猜想、估计得到的，只有数学靠的是天衣无缝的推理、论证．”事实上整个数学“大厦”，除了少量的公理外，其余都建筑在一个无懈可击的逻辑系统中．正因为如此，中学数学教学的一个非常重要的目的就是“培养学生的逻辑思维能力”．     

落后神学的弃女 自然科学的宠儿——试析形式归纳逻辑体系的建立

归纳逻辑是研究人们的认识如何从具体、个别性的前提上升到一般概括性的结论。它的前提的真实性只为结论的真实性提供了部分支持,它是一种或然性,不确定性的推理。自然科学的不断发展构成了归纳逻辑产生和发展的重要原因;同时,归纳逻辑在科学创新中也具有重要作用和意义。因此,形式的归纳逻辑系统具有建立的可能性和必要性。     

关于电子学逻辑思维能力培养的分析

《电子线路》向学生呈现自然界发展的基本规律。教材所表现的是经过逻辑加工的电学形式,呈现为自然规律——概念——定理——公式——例题(习题)组成的纯逻辑系统。教材这种认识手段,一方面在忽视事物的感性认识过程中建立严密论证逻辑系统,使学生主体感性认识游离在抽象理论中;另一方面把那些需要观察的自然界对象从它的整体中游离出来,以整体的失真换来局部的真实,对电子学中基本概念和思想方法的产生形成、发展直至完善所证明思路的猜测和证明方法逻辑推理淡化了,便拉开了学习主体与原始客体的距离,这种形式在一定程度上剥离了发现的过程、掩盖了真实应用的逻辑思维活动。     

基于FPGA的先进逻辑系统在核电仪控系统中的应用

FPGA在逻辑控制产品中应用广泛,它们满足严格的质保流程,拥有较长的产品生命周期。介绍一种用于核电仪控系统的基于FPGA的先进逻辑系统,描述该系统的架构、卡件、内部通信和系统模式,并介绍美国核管会(NRC)对其应用于核电仪控系统中的评审。     

自适应控制方法研究与发展

本文详细概括与分析了自适应控制理论的研究与进展,对模糊自适应控制和神经网络自适应控制领域内存在的主要问题进行了分析,并对可能的研究方向进行了展望.     

基于S-function的模糊逻辑系统控制器Simulink仿真

提出将模糊逻辑系统表达式与模糊控制规则表相结合，并用S-function将其形成模块，再用Simulink对所设计的模糊控制系统仿真，编程快捷、调试方便。     

A psychophysical-based fuzzy image interpolation algorithm

To produce a smoother and more natural interpolated image, and to preserve and enhance original image details, we defined three perception-based local statistic parameters, namely contrast, noise visibility, and edge strength based on three psychophysical principles, including Weber＇s Law, Fechner＇s Law, and Stevens＇ Power Law, and integrated these parameters into a fuzzy logic system to set up an advanced image interpolation algorithm. Application of this algorithm to detect edge behaviors and local statistical information of images demonstrated better noise removal ability and obtained sharper edges than traditional image interpolation algorithems such as nearest neighbor, bilinear and bicubic interpolation methods.