机读格式显示(MARC)
- 010 __ |a 978-7-302-61758-7 |b 精装 |d CNY139.00
- 099 __ |a CAL 012023009920
- 100 __ |a 20230130d2022 em y0chiy50 ea
- 200 1_ |a PLC程序组合检测理论与方法 |A PLC cheng xu zu he jian ce li lun yu fang fa |d = Theory and method of PLC program combination checking |f 肖力田, 肖楠, 李孟源著 |z eng
- 210 __ |a 北京 |c 清华大学出版社 |d 2022
- 215 __ |a XV, 262页 |c 图 |d 25cm
- 225 2_ |a 中国航天科技前沿出版工程 |A zhong guo hang tian ke ji qian yan chu ban gong cheng |i 中国航天空间信息技术系列
- 314 __ |a 肖力田，清华大学计算机科学与技术学科工学博士，北京特种工程设计研究院首席专家兼发射场建设责任总师、研究员；多个中央与国家专家委员会委员。肖楠，清华大学计算机科学与技术学科工学硕士，中国航天系统科学与工程研究院高级工程师。作为信息技术专家，主要从事算法设计、信息系统研发、无人装备研制、指挥控制系统和智能技术研究等工作。李孟源，毕业于国防科技大学液体火箭发动机专业，北京特种工程设计研究院正高级工程师。作为发射场自动控制系统领域专家，长期从事航天发射场自动控制系统总体论证、规划、方案拟制、研究设计，以及现场技术质量把关和发射遂行保障工作。
- 320 __ |a 有书目 (第239-262页)
- 330 __ |a 本书主要内容包括了软件检测验证需求背景和研究现状；阐述了组合检测体系架构、方法学和相关机理；按照IEC61131-3标准，形式化定义PLC程序指令的指称语义及其函数，形成统一语义和约束，分别从代码层、模型层、规约层和运行层组合检测验证PLC程序，提供了PLC程序对应的符号迁移系统的变元集合、谓词和迁移函数，以及定理证明验证技术框架；在计算资源有限的PLC上实现可信计算验证；相关性驱动优化检测流程方法等。
- 410 _0 |1 2001 |a 中国航天科技前沿出版工程 |i 中国航天空间信息技术系列
- 510 1_ |a Theory and method of PLC program combination checking |z eng
- 606 0_ |a PLC技术 |A PLC ji shu |x 程序设计
- 701 _0 |a 肖力田 |A xiao li tian |4 著
- 701 _0 |a 肖楠 |A xiao nan |4 著
- 701 _0 |a 李孟源 |A li meng yuan |4 著
- 801 _0 |a CN |b 百万庄 |c 20230130
- 905 __ |a SCNU |f TM571.61/9046