|
论文《核安全级控制算法描述语言的可信编译研究》探讨了核电厂安全级控制系统中控制算法描述语言的可信编译技术。文章针对核安全领域对系统可靠性和安全性要求高的特点，提出了一种确保编译过程正确性的方法，以保障控制逻辑在实际应用中的准确执行。该研究为提升核电仪控系统的安全性提供了理论支持和技术路径，具有重要的工程应用价值。 文档为pdf格式，0.36MB，总共8页。
- 文件大小:
- 368.64 KB
- 下载次数:
- 60
- 核安全级控制算法描述语言的可信编译研究 - 第一届中国(国际)核电仪控技术大会.pdf ...
-
高速下载
| 
