基于有色Petri网的FIFO栈建模与优化

先入先出FIFO栈在智能仪器及测试系统中起着重要作用。针对FIFO栈设计缺乏理论指导和严格数学验证的问题,提出采用有色Petri网(CP-net)来建模和优化FIFO栈。提出了一种FIFO栈设计模型,FIFO栈的入栈口和出栈口固定但容量可变。应用建模、仿真工具CPN Tools对FIFO栈的动态运行过程进行建模、仿真和分析,并在此基础上,对FIFO栈模型进行了优化。采用Verilog HDL在现场可编程逻辑门阵列FPGA上具体实现了FIFO栈的硬件电路。仿真结果和实际应用表明,该设计模型是活的、公平的、安全的和高效的。

含抑制弧和测试弧Petri网的建模及其行为分析

由于原型Petri网在一些实际应用中不能满足设计的需要,人们在其概念上进行扩充形成了增广的Petri网。带抑制弧和带测试弧的Petri网正是其中的一种。分析总结了带测试弧Petri网的基本行为特征。针对零检测装置以及FIFO栈实例,应用测试弧、抑制弧对系统进行了合理的建模与分析。

转轴编码器构成的智能仪器混合矩阵面板的实现

介绍转轴编码器的原理,从而提出面板中按键和转轴编码器的混合矩阵连接方案。它具有电路简单、I/O资源占用少、软件实现容易的特点。通过定时中断扫描、基于向量的数据处理、基于FIFO的数据存取、基于时间记录的转轴编码器识别、软件去抖以及PS/2协议的软件实现等技术手段,实现该例的PS/2接口面板,其具有低成本、性能可靠稳定、响应及时、字符可加速输出等优点,并在高端智能仪器中得到很好的应用。