带等词的“中介”谓词逻辑演算ME^＊的三值特征定理

通过在三值结构中引入“三值相等关系”,获得并证明了带等词的“中介”谓词逻辑演算ME~*的三值特征定理:可靠性与完全性定理。     

分布式闸门PLC控制系统的设计与研究

本文对采用可编程控制器的闸门控制系统的分布式设计进行了研究,内容包括系统的分布式设计原则,系统的组成.现地级和集中级功能设计与设备配置等.     

The Liar-paradox in a Quantum Mechanical Perspective

In this paper we concentrate on the nature of the liar paradox asa cognitive entity; a consistently testable configuration of properties. We elaborate further on a quantum mechanical model (Aerts, Broekaert and Smets, 1999) that has been proposed to analyze the dynamics involved, and we focus on the interpretation and concomitant philosophical picture. Some conclusions we draw from our model favor an effective realistic interpretation of cognitive reality.     

可编程和可记忆的炉温实时控制系统

本系统通过Z-80CPU中央微处理器及A/D、CTC等外围接口电路,利用热电偶进行温度检测,由毫伏放大环节及A/D转换器输入采样信号。微处理器将采样信号与给定温升曲线相比较,经过运算对炉温进行跟随控制,并随时显示现场炉温。 一、硬件设计 该系统灵活地利用具有定时和计数功能的CTC芯片来控制晶闸管导通角及采样周期,以直接产生晶闸管的触发脉冲信号,此外,对热电偶的微弱信号处理不是采用传统的温度变送器,而是利用精密运算放大器构成放大环节,以硬件处理方式将8位A/D转换精度     

集成电路芯片组合逻辑辨识实验系统的研制

文章围绕数字集成电路芯片组合逻辑关系判别问题,主要探究了芯片电气属性判定方法、多输入变量的逻辑简化以及芯片逻辑关系测试。在设计过程中,首先通过实验手段提出判定芯片引脚的方法,即分辨出输入引脚、输出引脚、电源和地引脚。在此基础上,利用PIC16F877A单片机和Visual Basic软件共同完成芯片逻辑关系的测试。测试出来的真值表再经由Boolean Minimizer软件进行逻辑简化,最终得到了最简的输入输出之间的逻辑关系。实验证明系统运行快捷,辨识结果可靠。     

数字逻辑电路设计与实验方法

简要介绍了数字逻辑电路设计的基本步骤和方法，目的是训练高职学生动手能力，培养提高他们的创造性思维能力，以培养出更多高素质的专业技术人才。     

新型锚杆预紧装置研究

锚杆预紧力不足是制约煤矿巷道锚杆支护效果和顶板安全的重要问题.基于滚动摩擦原理,提出了一种新的锚杆预紧装置,介绍了其结构和相应的使用方法.建立了锚杆螺母与垫板相互作用的力学模型,得到了锚杆螺母在拧紧过程中的摩擦力矩计算表达式,得到了采用"减摩器"条件下螺母与垫板之间摩擦力矩计算表达式.应用锚杆拧紧扭矩与锚杆预紧力的关系分析了该锚杆预紧装置对提高锚杆预紧力的效果.制作了锚杆预紧装置,并在锚杆实验平台上进行了预紧实验,结果表明该装置可以提高锚杆预紧力,且随着锚杆预紧扭矩的增加预紧力提升幅度相应增加.在现场进行了试用,取得了较好的应用效果.     

What conceptual spaces can do for Carnap's late inductive logic

In the last published account of his late inductive logic, the Basic System of Inductive Logic, Rudolf Carnap introduced a new element to the systems of inductive logic, namely the so-called attribute spaces. These geometrical structures model the meanings of the predicates of the object language and have a similar structure as the conceptual spaces employed by cognitive scientists like Peter Gärdenfors. I show how the development of the theory of conceptual spaces helps us to see the addition of attribute spaces as a step forward in explicating the concept of confirmation. I discuss the differences and similarities of the two theories and investigate the possibilities for developing further connections.     

构造性神经网络覆盖算法的模糊化技术及其应用

本文通过将模糊逻辑的结构性定义引入构造性神经网络模式分类系统中,给出模糊神经网络模式分类边界的直观描述方法.在系统信息不完备的情况下,可以获得更为合理的模式分类边界,并提高模式分类的精度.实验结果表明以上方法正确.     

基于PLC的船舶燃油锅炉仿真系统设计与实现

为解决航海培训中船用燃油锅炉模拟操作的问题,利用自动化领域广泛使用并得到各国船级社认可的S7-300可编程序控制器,使用STEP7 V5.3编程软件,开发了基于PLC的船舶燃油锅炉仿真系统,实现了船舶燃油锅炉各种控制功能的仿真.硬件的设计和软件的开发能有效地代替真实锅炉进行操作培训.