浅谈数字逻辑实验教学改革

结合实验教学实际 ,对传统数字逻辑实验教学体系进行了改革 ,提出了在新形势下确立数字逻辑实验教学目标、内容、组织形式、手段和评价的措施 .     

晶闸管大功率供电系统中的欠支路保护

本文在论述晶闸管大功率供电系统中欠支路运行产生原因的基础上,引出了欠支路保护的重要性;针对当前欠支路保护存在的问题,提出采用交流电流互感器检测欠支路信号这一简单可靠而又准确的方法,分析该检测方法的基本原理,并设计了完整的欠支路保护电路。通过在株州冶炼厂一年来的运行试用,证明了该电路具有调整方便,检测准确,保护可靠等特点。     

Application of the Constrained Predicated Nets and Interval Logic to Production Systems

1 .INTRODUCTIONDuetotheireconomicsignificanceandclosenesstopersons,productionsystemsmustbemodeledbeforetheirimplementationanduse,thus,amethodwhichspecifies ,analyzesandsynthesizestheproductionsys tems—discreteeventsystems (DES)hasbeenestab lishedanddevelopedstepbystepinrecentyears.DESmethodspecifiestheplantbasedonitsdiscretecharacters,however,intherealworld ,therearefewplantsthatcanbemodeledbypurelydiscretemathe maticalmodelbecausetherearealwayssomecontinu ousparametersforstudyinnearlya…     

非形式逻辑视野下的论证评价理论

论证可分为形式论证(人工语言论证)与非形式论证(自然语言论证)。前者是形式逻辑的研究对象,后者是非形式逻辑的研究对象。我们从几个代表性逻辑学定义出发,分析了非形式逻辑产生的背景,讨论了形式逻辑与非形式逻辑的区别,并从非形式逻辑角度探讨了自然语言论证评价的标准。     

格蕴涵代数与Lukasiewicz逻辑系统

讨论格蕴涵代数与Lukasiewicz逻辑系统的关系，证明了：若(L(n),≤)是一个n元链,θ，I分别为最小、最大元，则以≤为导出关系的格蕴涵代数(L(n），∨，∧，→，′，θ，I)恰有一个，并且与n值Lukasiewicz逻辑系统同构．     

提高PLC教学效果之方法的探求

《可编程控制器》作为一门课程正逐渐被各大学所采纳,本文结合作者多年的教学经验总结了几种常用的教学方法,并加以分析比较。     

儒家"诚信"特色及其现代转化

儒家"诚信"作为具有中国特色的古典伦理形态,与现代"信用"有许多本质差异。要实现其现代转化,必须达到:由适用于"熟人"社会的特定伦理,转变为适用于"陌生人"社会的普遍伦理;由一般人伦伦理,引入经济伦理;由主观"自诚"模式,转变为契约"合意"模式;由从属于封建礼教的次要道德义务,转变为从属于"社会公正"的道德义务,并进而提升为反映现代人本质的基本道德义务。为达此转化,需要创设诸如完善市场机制、推行宪政民主、培养契约文明观念等社会文化条件。这将是一个艰难漫长的自然历史进程。     

层析成像的模糊-神经网络重建方法

考虑投影数据不足时，射线层析成像的离散重建算法难以取得较好效果的情况，利用模糊理论建立了表示物体衰减系数的连续函数，用神经网络学习算法确定该连续函数中的待定参数．提出了一种适于投影数据或投影方向不够时的CT图像重建算法．计算机仿真结果显示了该方法在投影数据严重缺少时的良好效果。     

一类四阶线性双曲型方程的边值

考虑了一类四阶线性双曲型方程以特征线为数据支柱的边值问题，在支柱上给出了函数值或导数值，用迭代法讨论了问题的正规解或古典解。     

基于OBDD时序电路设计的验证

依据有序二叉判定图（OBDD）和计算树逻辑（或称分支时态逻辑）CTL（Computational Tree Logic)的基本原理，分析了基于OBDD和CTL的验证数据电路设计的基本原理，并在此基础上，给出了时序电路等价验证的方法。