多值逻辑中的命题相关性与逻辑运算研究

命题的属性包括结构属性和值属性.命题的结构决定了命题之间的关系,决定了命题之间的逻辑运算.命题的真值只是一个由命题的结构决定的值属性,并不能代表整个命题.逻辑运算是命题的运算,不是真值的运算.多值逻辑中,命题逻辑运算结果由命题的关系决定,真值相同的不同命题,逻辑运算结果的真值不一定相同,逻辑运算不是处处同态于某一个或某一簇真值函数(算子),有时复合命题的真值不能被它的成分命题的真值完全确定,所以多值逻辑的联结词并不总能定义成真值函数(算子)的形式.多值逻辑的命题公式不能再看作真值函数,命题公式是关于命题的函数.     

基于3种训练神经网络方法解决异或问题的研究

分别运用误差反向传播(error back propagation)算法、扩展卡尔曼滤波(extended kalman filter)和数值积分卡尔曼滤波(cubature kalman filter)算法对多层神经网络模型进行逐次状态估计,并将其用于解决异或的分类问题。从仿真实验结果来看,利用BP,EKF和CKF算法训练的神经网络的输出信号的均方误差曲线的收敛速度依次加快,这使得神经网络的实际输出值越来越逼近其期望输出值,同时针对异或问题3种算法都得到了良好的分类结果.     

Lukasiewica蕴涵

蕴涵是各种逻辑系统中一种最基本和常用的逻辑运算，它有古典，Ｇｏｄｅｌ，Ｌｕｋａｓｉｅｗｉｃａ等蕴涵之别。本文引入最后一种，即Ｌｕｋａｓｉｅｗｉｃａ蕴涵的概念，并研究了它的一些基本性质和应用。     

混合级联 H 桥逆变器的改进型调制策略

针对混合级联 H 桥逆变器,在采用混合载波层叠调制策略时,虽可以解决电流倒灌的问题且逆变器输出电 压的波形质量良好,但逆变器的低压单元会出现功率不均问题,提出了一种改进型混合调制策略;以混合级联九电 平逆变器为例,策略的高压单元采用调制波为正弦波的阶梯波调制;将两个低压单元的调制波分别进行调整再对 其进行脉宽调制(PWM),通过 PWM 调制可以得到两个低压单元各自开关元件的脉冲信号,利用该脉冲信号的对 称性对其进行逻辑运算,重新分配低压单元脉冲信号;首先进行仿真分析,对两种调制策略在同一条件下搭建仿真 模型并运行可得出相应的结果,接着进一步对改进型混合调制策略进行实验验证;通过仿真分析和实验验证可以 证明改进型混合调制策略在保留混合载波层叠调制策略优势的基础上,可减少载波,简化了调制过程,使输出电压 达到倍频效果,还可以在 1 / 2 个调制波周期内解决低压单元功率不均问题。     

卡诺图的一图多用

本文从不同角度分析阐述了卡诺图在《数字逻辑》中的各种应用     

FranklinC51语言编译错误分析及解决方法

针对ＦｒａｎｋｌｉｎＣ５１语言编程中容易出现的几种错误，用三个实例分析指出了Ｃ５１产生错误的原因，并给出具体的解决办法。     

用光折变晶体桥式互泵浦相位共轭实现光逻辑运算

报道一种利用光折变晶体桥式互尕浦相位共轭实现与、或、非、或非等光逻辑运算的方法。该方法的逻辑门输出信号具有相当大的信噪比（逻辑1／0）,这些逻辑运算可以组合起来构建更复杂的逻辑系统。     

CASIO fx-4850p计算器在公路施工中的应用

最新推出的卡西欧fx-4850p计算器具有强大的程序编制功能,在程序区域中最多可储存28500个字节的数据,同时具有逻辑运算、条件转移、无条件转移等等多种程序命令。本文作者根据卡西欧fx-4850p计算器说明书,结合自身的工作实践,逐步摸索并编制了一套公路施工坐标计算程序。经过多次运算、实践、修正,在以后的工程施     

C语言平台下动画技术实现方法浅析

在利用C语言进行软件开发、游戏设计以及各种系统应用程序研制中,都要应用动画技术。动画具有突出强化事物特征、实现真实模拟、进行图形转换等多种功能,使所开发的软件科学合理、生动形象,更能满足客户需求。本文主要介绍C语言中较为常用的动画技术,并简要分析了各种方法的实现。     

逻辑代数与图论中的运算符号“”

“■”运算在逻辑代数和图论中定义形式不同，运算性质却类似，原因是对于“■”，逻辑函数集合与某个图的集合同构．