文摘
英文文摘
独创性声明和学位论文版权使用授权书
1绪论
1.1课题背景
1.2相关研究与理论
1.3课题主要研究工作
2仿真电路的Petri网模型
2.1 Petri网理论
2.2仿真数字电路的Petri网模型
2.3本章小结
3基于Petri网的仿真电路自动故障诊断
3.1仿真电路测试的原理
3.2测试生成流程及通路敏化法
3.3基于Petri网的测试生成方法
3.4测试生成方法的应用分析
3.5测试集的化简方法
3.6故障字典
3.7本章小结
4虚拟实验系统中仿真电路自动故障诊断的设计
4.1数字逻辑虚拟实验系统VLAB简介
4.2 VLAB中自动故障诊断的设计
4.3本章小结
5虚拟实验系统中仿真电路手工故障诊断的设计
5.1 VLAB中的虚拟仪器
5.2 VLAB中的虚拟仪器设计规则
5.3 VLAB中的虚拟仪器建模与实现
5.4本章小结
6结束语
6.1总结
6.2进一步研究方向
致谢
参考文献
附录攻渎硕士学位期间发表论文目录