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

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

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

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

基于时间Petri网的密码协议分析

形式化分析方法由于其精炼、简洁和无二义性逐步成为分析密码协议的一条可靠和准确的途径,但是密码协议的形式化分析研究目前还不够深入.在文中首先对四类常见的密码协议形式化分析方法作了一些比较,阐述了各自的特点,然后用时间Petri网来表示和分析密码协议.该方法不但能够反映协议的静态和动态的特性,而且能够对密码协议进行时间、空间上的性能评估.作为实例,对Aziz-Diffie无线协议作了详细的形式分析和性能评估,验证了已知的、存在的漏洞,并且给出了该协议的改进方案.     

MAX＋PLUSⅡ9.23软件及其在EDA实验教学中的应用

介绍了学生版MAX＋PLUSⅡ9.23软件的功能，并通过举例来说明其主要特点，论述其在EAD实验教学中的广阔应用。     

可编程控制器调速器

本文以联合研制成功的水电站可编程控制调速器为对象，详细介绍其硬件与软件构成及工作原理。同时，对多种调节模式等方面也进行了一些探索。     

基于PLC实现等离子弧喷涂电流调节

在等离子弧喷涂过程中,要求电流在喷涂开始时有递增和结束后有衰减的过程.在以可编程控制器为核心的喷涂主控系统里,通过模拟量输入输出模块EM235和CF2B-2A型可控硅触发器及辅助电路,利用PLC程序实现了喷涂电流的递增、衰减过程.     

部分真值表在环形分配器设计中的应用

目前步进电机以五相居多，硬件环形分配器用卡罗图来进行设计，则显得复杂冗赘，如果从步进电机运行的规律中找出约束条件，建立部分真值表，便可以直接写出控制逻辑函数，这对于设计相数、拍数较多的步进电机的环形分配器极为方便，这种设计思路在进行数字电路工程设计中也是可以值得借鉴的。     

实验选课系统的设计及实现

在实行学分制的情况下,配合校级中心实验室的管理模式和实验室管理软件进行设计和开发的实验选课系统,既适应了学分制的要求,完善了实验室的管理机制,也提高了管理水平和工作效率。