一种面向测试的RTL行为抽象与蕴含方法

针对寄存器传输级（register transfer level,RTL)行为的抽象，提出了一种层次化的带条件的表示，这种抽象的行为是面向测试的，它不仅表达简单，而且能很方便地进行蕴含操作，通过抽象，电路可以规范为行为集，并代替电路本身进行功能测试向量的生成，在测试生成过程中，大量地应用蕴含操作何以使其中的行为得到简化，并极大地提高了系统的效率。     

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

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

积木式教学黑白电视机的设计

为方便教学,将电视机按功能分成9个部分,每个部分的元件安装在一块独立的电路板上,并用金属匣子封装成为一个电路模块,各模块通过接插件组合起来,就是一台完整的电视机。可对单个模块进行实验与检修操作。     

基于VHDL语言的循环码编译码系统的设计

介绍了循环码编译码系统的特点。以一个(15，6)循环码为例，使用硬件描述语言VHDL对该系统进行了设计，并使用FPGA对描述电路进行了综合，得到了该系统的顶层电路，最后下载到PLD芯片上。     

广义De Bruijn图分解问题的一些结果

广义DeBruijn图是最近提出的一种具有良好性质的网络拓扑结构，文中对这类图的分解问题作了初步的分析，构造了一类基本模块，并得出了一些关于模块效率的数值结果。     

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

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

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

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

TKSS—C型信号与系统实验箱的低通滤波器分析

对TKSS-C型信号与系统实验箱的低通滤波器实验模块进行了s平面几何分析，并利用MATLAB7．01中的Power Systems Blockset对其进行了仿真．     

全国“广义逻辑悖论方法论”学术研讨会在皖西学院举行

2007年6月16日，来自南京大学、中国社科院、安徽师大、安徽社科院、浙江大学、扬州大学、湖南师大、华北电力大学、上海对外贸易大学等十几所高校和科研院所的20余位悖论研究专家云集皖西学院，举行为期一天的“广义逻辑悖论方法论”学术研讨会。我院王新华书记，张文兵、祝家