会议论文《可信的算术表达式计算器 - 2014年全国工业控制计算机技术年会》探讨了如何构建一个可靠且准确的算术表达式计算系统。该研究针对工业控制领域中对计算结果高可靠性的需求，提出了一种基于形式化验证的方法，以确保计算过程的正确性与安全性。论文通过理论分析与实验验证，展示了该计算器在复杂表达式处理中的稳定性能，为工业控制系统中的关键计算任务提供了可信的技术支持。
文档为pdf格式，0.31MB，总共9页。
举报
