论文部分内容阅读
CTC系统数据库中存储的报警、操作消息能够反映特定线路的使用情况和调度员的操作习惯。使用软件封装并执行条件查询,能够大大降低数据库操作的难度。软件具备在数据库中查询满足条件的表格,以及回调之前查询记录的功能。软件设计过程中采用自动机编程的方法,确立了软件规格,并验证了使用自动机编程方法进行软件设计的可行性和有效性。