|
论文《一种PLC程序语言指称语义及函数的形式化定义方法》提出了一种对PLC程序语言进行形式化描述的方法，重点研究了其指称语义和函数的定义。通过引入形式化模型，该文提升了PLC程序的可靠性和可验证性，为工业控制系统的正确性分析提供了理论支持。该研究在2011年中国智能自动化会议上发表，对自动化控制领域的学术与应用发展具有重要意义。 文档为pdf格式，0.37MB，总共7页。
- 文件大小:
- 378.88 KB
- 下载次数:
- 60
- 一种PLC程序语言指称语义及函数的形式化定义方法 - 2011年中国智能自动化会议.pdf ...
-
高速下载
| 
