MARC状态:审校 文献类型:中文图书 浏览次数:28
- 题名/责任者:
- PLC程序组合检测理论与方法/肖力田, 肖楠, 李孟源著
- 出版发行项:
- 北京:清华大学出版社,2022
- ISBN及定价:
- 978-7-302-61758-7 精装/CNY139.00
- 载体形态项:
- xv, 262页:图;25cm
- 丛编项:
- 中国航天科技前沿出版工程.中国航天空间信息技术系列
- 个人责任者:
- 肖力田 著
- 个人责任者:
- 肖楠 著
- 个人责任者:
- 李孟源 著
- 学科主题:
- PLC技术-程序设计
- 中图法分类号:
- TM571.61
- 书目附注:
- 有书目 (第239-262页)
- 提要文摘附注:
- 本书针对控制系统PLC程序的正确性和可信性检测验证问题, 介绍了以形式化理论方法综合运用形成组合检测验证体系, 从多个层次检测验证PLC程序动态、静态和运行的正确性, 在理论方法研究上取得了突破, 实践应用上具有综合性优势。主要内容包括了软件检测验证需求背景和研究现状; 阐述了组合检测体系架构、方法学和相关机理; 按照IEC61131-3标准, 形式化定义PLC程序指令的指称语义及其函数, 形成统一语义和约束; 分别从代码层、模型层、规约层和运行层组合检测验证PLC程序, 提供了PLC程序对应的符号迁移系统的变元集合、谓词和迁移函数, 以及定理证明验证技术框架; 在计算资源有限的PLC上实现可信计算验证; 相关性驱动优化检测流程方法等。
全部MARC细节信息>>
索书号 | 条码号 | 年卷期 | 馆藏地 | 书刊状态 | 还书位置 |
TM571.61/946 | 60282921 | ![]() |
可借 | 临安自科(N-Z)(2F)(信息工程学院) | |
TM571.61/946 | 60282922 | ![]() |
可借 | 临安自科(N-Z)(2F)(信息工程学院) |
显示全部馆藏信息
CADAL相关电子图书
借阅趋势
同名作者的其他著作(点击查看)
收藏到: 管理书架