珠海科技学院图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

PLC程序组合检测理论与方法/肖力田, 肖楠, 李孟源著

出版发行项:

北京:清华大学出版社,2022

ISBN及定价:

978-7-302-61758-7 精装/CNY139.00

载体形态项:

XV, 262页:图;25cm

并列正题名:

Theory and method of PLC program combination checking

丛编项:

中国航天科技前沿出版工程.中国航天空间信息技术系列

个人责任者:

肖力田 著

个人责任者:

肖楠 著

个人责任者:

李孟源 著

学科主题:

PLC技术-程序设计

中图法分类号:

TM571.61

责任者附注:

肖力田, 清华大学计算机科学与技术学科工学博士, 北京特种工程设计研究院首席专家兼发射场建设责任总师、研究员 ; 多个中央与国家专家委员会委员。肖楠, 清华大学计算机科学与技术学科工学硕士, 中国航天系统科学与工程研究院高级工程师。作为信息技术专家, 主要从事算法设计、信息系统研发、无人装备研制、指挥控制系统和智能技术研究等工作。李孟源, 毕业于国防科技大学液体火箭发动机专业, 北京特种工程设计研究院正高级工程师。作为发射场自动控制系统领域专家, 长期从事航天发射场自动控制系统总体论证、规划、方案拟制、研究设计, 以及现场技术质量把关和发射遂行保障工作。

书目附注:

有书目 (第239-262页)

提要文摘附注:

本书主要内容包括了软件检测验证需求背景和研究现状 ; 阐述了组合检测体系架构、方法学和相关机理 ; 按照IEC61131-3标准, 形式化定义PLC程序指令的指称语义及其函数, 形成统一语义和约束, 分别从代码层、模型层、规约层和运行层组合检测验证PLC程序, 提供了PLC程序对应的符号迁移系统的变元集合、谓词和迁移函数, 以及定理证明验证技术框架 ; 在计算资源有限的PLC上实现可信计算验证 ; 相关性驱动优化检测流程方法等。

豆瓣简介：