利用MAX813L防止应用程序出现死循环故障

介绍了利用CPU监控芯片MAX813L防止应用程序出现死循环的方法，使用表明该方法是可行的。     

VHDL语言在EDA开发软件MAX＋PlusII之应用

介绍了EDA开发工具软件MAX PlusII的主要功能；VHDL语言在进行硬件电路描述时所具有的多层次描述系统硬件功能的能力，以及在程序编译时易出现的问题。     

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

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

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

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

基于软件内建自测试的模板和基准程序设计

论述了软件内建自测试项目中“模板”模块的设计方法，利用硬件测试中所使用的基准电路的思想，研究并开发了一种基准程序，使用这种基准程序，可以较为方便地对所生成的测试用例进行测试，最后给出了一个基准程序实例。     

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逻辑系统同构．     

关于中心和焦点判别问题的一个计算机程序

利用maple数学软件强大的符号运算功能，给出一个maple程序，用它可解决原点是系统{dx/dt=y ^∞∑j=2 Xj(x,y), dx/dt=-x ^∞∑j=2 Xj(x,y),其中Xj(x，y)，Yj(x，y)均为x和y的j次齐次多项式的任意阶细焦点或中心判别问题。     

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

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