集成触发器特性的模拟

根据教学需要,着重探讨了用计算机模拟D触发器和JK触发器逻辑功能与状态特征的程序算法,以帮助学生更好地理解其工作特性.     

利用软件控制交流电源的通断

在自动化办会等领域,有时会要求某些电器的开关要受到计算机上某程序的控制.当该程序运行时,电器打开;程序结束时,电器关闭.本文介绍一款根据以上需要设计的交流电源控制系统.     

增强并口 EPP与DSP接口的设计

提出用计算机的EPP协议与ADSP2181的IDMA口进行快速通信的设计方法.该接口的核心是可编程逻辑器件EPLD,只需要修改EPLD的逻辑就可以满足各种不同设计的要求,因此具有很强的通用性.     

一种基于MCU的图形组态设计研究

传统的图形显示界面,一般通过程序直接绘制到显示屏,逻辑组态程序与实现程序实现耦合度高,如果需要修改界面,则需通过修改大量代码来实现,这样导致程序复杂,重复性劳动多,开发周期长,不利于核电领域图形组态软件的开发;基于计算机监控系统的图形组态软件虽然可通过图形化编程方便的获取和修改显示界面,但由于计算机监控系统功耗高、体积大,在某些环境中有所限制,为了解决这些问题,将图形组态软件在计算机中设计好的图形界面编译成BIN文件,把BIN文件下装到存储器件中,并通过MCU(micro controller unit)完成图形界面需要完成的底层功能,降低模块间的耦合性,利用了计算机界面开发的优势,避免了直接使用计算机监控系统带来的功耗高体积大等问题.     

微分中值定理自动推证研究

应用积分辅助函数法给出了微分中值定理在计算机代数系统Maple下的自动推证的实现程序,特别是成功解决了Maple中符号积分缺陷问题.该程序方法简单,相应的计算机程序功能强大,操作性强.应用该程序可以成功解决一类有关问题的计算机自动推证,具有一定的推广价值.     

关于四个变量的逻辑函数(无竞争)的化简——计算机辅助设计

本文介绍利用磁盘BASIC对四个变量的逻辑函数进行化简,当存在竞争冒险时,程序将自动引入校正信号,以保证速度独立.对于四个以上的变量也可仿此编制.源程序已在BC3—80微处理机上调试通过.在此向需要该源程序的用户提供算法、框图和有关使用说明.     

基于CPLD虚拟逻辑分析仪设计

逻辑分析仪用于涉及大量信号或复杂触发器要求的数字测量,以往的独立式逻辑分析仪不仅结构复杂,而且价格昂贵。设计了一种基于CPLD的虚拟逻辑分析仪,分析了虚拟逻辑分析仪的硬件电路和软件。以CPLD为主要功能实现平台,以单片机作为与计算机和CPLD之间的通信纽带,以可视化的形式在计算机上显示采集到的数据。采用VHDL语言进行各个功能模块的编程,最后,对程序进行编译和功能仿真,给出仿真结果,验证系统设计的正确性。仿真结果证明该虚拟逻辑分析仪不仅结构简单、成本较低,而且具有通道数量多、捕获速度快、性能稳定等特点。     

一种计算机并行数据通讯的解析与监听

讨论了对Siemens R30计算机间并行数据通讯的解析与监听系统设计实现问题.通过解析并行数据通讯协议及线序和对监听系统的硬件电路设计及软件设计,实现了对SiemensR30计算机间的并行通讯监听和由基于Windows系统下的PC机向Siemens R30计算机的报文发送.系统的硬件电路由接收接口电路、光电隔离电路、CPLD控制电路和单片机控制电路四个主要部分组成;软件部分由CPLD程序、单片机程序和微机程序三个主要部分组成,微机程序采用了报文信息接口AMI(Alarm Message Interface)消息机制进行数据分发.该监听系统在某冷轧厂在线投入,运行稳定可靠,满足了研发需要.     

用电子计算机辅助简化逻辑函数

本文根据正三角形桁架图形构成原理,提出了编制用计算机辅助多变量逻辑函数简化通用程序的方法。如果根据这种方法编制一个n变量通用程序,它不仅适用于n变量各种逻辑函数,也适用于n变量以下各种逻辑函数。对于变量数超过n的各种逻辑函数,只要它们的标准项的等效十进数最大不超过(2~n-1),这个通用程序也能适用。     

“函数+逻辑”程序设计编译-解释系统

本文在“函数+逻辑”程序设计语言LISP-ELP的基础上,介绍了作者设计并实现的一个“函数+逻辑”编译-解释系统.文中阐述了该系统的设计原则、内部结构、实现技术和结果分析.     

扩展Tempura语言统一模型检测算法

针对扩展区间时序逻辑目前没有可用的统一模型检测算法的问题,找到了该逻辑可执行子集即扩展Tempura语言的可判定子集——首先限定该逻辑一阶部分的常量与变量均为有穷可枚举类型,然后加上该逻辑的命题部分.在此基础上,提出了扩展区间时序逻辑统一模型检测算法,以判定由上述定义的语言子集所书写的规范程序是否满足命题版扩展区间时序...     

LISP-ELP语言的实现技术

LISP-ELP语言是作者设计的一种支持专家系统程序设计的函数/逻辑型程序设计语言,本文介绍LISP-ELP语言的特点及其解释系统的实现技术.该解释系统用C语言编写,并在IBM-PC机上实现.     

时序逻辑网络计算机辅助分析的一种方法

本文给出时序逻辑网络分析的一个计算机算法,利用该算法所编程序占用内存少,操作速度快,适用于多变量网络的逻辑分折.     

计算机绘制液压系统图

本文介绍了计算机绘制液压系统的程序,本程序是在AVTOCAD软件支持下,以GB786—76液压气动图形为基础,并根据工厂的需要增添一些图形符号构成第二次开发软件,主要用于液压和气动系统原理图计算机辅助绘图.该软件功能齐全,使用方便,便于修改、存贮和复制.有明显的经济效益.     

SZ712手套横机群控系统

本文较全面地阐述了能控制60台手套横机织造生产的SZ712型计算机群控系统,分析了该系统组成及其工作原理、各部分硬件控制逻辑和程序设计方法,并评述了采用本系统后带来的技术和经济效果。     

Java Applet与单片机串口通讯的实现

Java Applet程序可方便通过浏览器下载并在客户机上运行,控制工程中经常通过串口实现计算机与单片机通讯.实现Java Applet与单片机串口的通讯,需要解决两个问题:Java本身不提供对串口操作的类,Java Applet不能够直接访问客户机的串口.使用第三方comm.jar串口包和数字签名技术解决了该问题,并给出Java Applet访问串口的详细程序和JBuilder 2005中实现数字签名的过程.     

计算机辅助气动系统逻辑设计的研究

对计算机辅助气动系统逻辑设计进行了深入研究，选择逻辑综合的方法作为计算机辅助气动系统逻辑设计的基础理论基本方法，采用立方符号表述逻辑函数，把逻辑运算表示为立方的相交、相容及锐积运算，提出用判断最小项来完成对给定程序的判和校正，进而实现了计算机辅助逻辑综合，得到了的逻辑设计结果。     

计算机辅助气动系统逻辑设计的研究

本文对计算机辅助气动系统逻辑设计进行了深入研究，选择了逻辑综合的方法作为计算机辅助气动系统逻辑设计基本方法，采用立方符号表述逻辑函数，把逻辑运算表示为立方的相交、相容及锐积运算，提出用判断最小项来完成对给定程序的判断和校正，进而实现了计算机的辅助逻辑综合，得到了最优的逻辑设计结果，并将此应用于计算机辅助气动系统设计中取得了良好的效果。     

基于多维体理论的生命线网络可靠性的不交和算法

根据生命线网络系统的图论模型,应用计算机辅助逻辑综合技术对网络可靠性的精确算法进行了探讨.采用多维体列阵表示网络可靠性的逻辑函数,应用锐积和二进制布尔运算实现网络的路经不交和算法和计算机编程.最后,通过算例验证了该算法的有效性.     

矿用提升机主轴装置的CAD研究

本文采用现代设计方法完成了缠绕式提升机主轴装置的计算机辅助设计系统 ,该软件包属于专用自动型CAD系统 ,用户根据需要从提升机系统中选出某一型号的提升机 ,依照计算机既定程序 ,自动完成计算机分析工作 ,并在绘图仪上输出主轴装置的装配图。