杨晋辉 何文卿 金晓龙 王铁江 王长奇

时序电路 电子通信学 自校验技术 混合冗余 统一建模语言 评价 安全软件 三值函数 三值逻辑函数 实时控制系统 最大相容类 安全性 格局 安全性评估 复杂析取分解 单故障 逻辑电路 风险 模糊模型 联锁软件 故障保险 建模 铁路联锁软件 UML Petri网 故障安全系统 软件 校验器 微处理机

上海铁道学院 同济大学计算机科学与工程系 北方交通大学