原文传递
计算机联锁系统中BOOL-CAD软件的设计与实现
| 论文题名： | 计算机联锁系统中BOOL-CAD软件的设计与实现 |
| 关键词： | 铁路信号;控制系统;计算机联锁;安全设计;BOOL-CAD软件 |
| 摘要： | 本文对铁路信号控制系统中的安全问题、安全相关系统及其所涉及的技术进行了分析与研究,针对现有的基于布尔代数的辅助设计软件不具有白盒应用性、相异性的限制,提出了一种具有白盒应用性的基于布尔代数的辅助设计软件的实现方法。本文围绕铁路计算机联锁系统中道岔动作、进路建立、进路锁闭、信号开放和进路解锁这一主线,阐述了知识库的语法规则库、参数命名规则、领域专有概念的定义,设计了铁路计算机联锁自动控制领域专用的“知识库”和专用的“白盒应用性设计语言”,采用“双套相异软件”生成布尔表达式并进行自动比较。本文给出了BOOL-CAD的工程应用实例,同时,对BOOL-CAD的应用效果也进行了分析。本文的研究意义在于:BOOL-CAD软件采用具有白盒应用性的设计语言,充分发挥了软件开发人员和信号工程师的优势;采用两套相异软件进行比较,符合安全软件的要求,减少了重复性劳动和人工错误,加快了设计速度,工作量大幅度缩减,人力成本明显的降低。 |
| 作者： | 师秀霞 |
| 专业： | 计算机技术 |
| 导师： | 刘胜利 |
| 授予学位： | 硕士 |
| 授予学位单位： | 上海交通大学 |
| 学位年度： | 2010 |
| 正文语种： | 中文 |
检索历史
应用推荐
