？一个分析时序逻辑电路icai系统的设计与实现

？提出了一个用于分析时序逻辑电路的智能计算机辅助教学系统的构成，详细阐述了采用面向对象的知识表示方法建立系统领域知识库的设计思想及专家模型的设计过程，并讨论了实现中的一些技术问题。研究结果表明本系统可快速求解一类时序逻辑电路（计数器电路）。