摘要：在核电厂数字化仪控系统(DCS)中,算法软件主要完成系统的业务功能,属于安全级软件.算法软件开发遵循软件的典型生命周期,即从软件的需求,设计到实现的整个过程.在核电行业的算法软件开发生命周期中,需求一般对应功能图,设计一般对应逻辑图,实现一般对应C代码.在算法软件的开发过程中,可能在不经意间引入一些人为错误,导致一些不可承受的严重后果.文中针对核电厂DCS系统算法软件的安全性要求,基于SCADE软件的KCG模式生成代码,提出算法软件从需求到代码自动化生成的方法,并利用该方法开发出符合核电行业高安全性要求的算法软件,从而使得核电厂DCS系统设计人员既能节省整个算法软件的开发周期,又能保证开发出的软件具备在系统中运行的高安全性要求.在满足核安全的前提下,该方法可以大幅缩短工程设计的开发时间,提高用户使用体验,具有可观的经济效益.

摘要：铁路桥式方案比选ＣＡＤ系统是应用于铁路桥梁初步设计的大型计算机辅助设计软件。本文着重介绍该系统在桥梁水文、桥渡、桥式方案、上下部结构类型选择及尺寸拟定、方案评估等不同设计阶段的计算机自动化生成功能。利用该系统可全自动地设计出可行、经济、结构较为合理的桥式方案及其一套完整的设计图表。