返回首页
苏宁会员
购物车 0
易付宝
手机苏宁

服务体验

店铺评分与同行业相比

用户评价:----

物流时效:----

售后服务:----

  • 服务承诺: 正品保障
  • 公司名称:
  • 所 在 地:

  • 正版新书]PLC程序组合检测理论与方法肖力田、肖楠、李孟源97873
  • 全店均为全新正版书籍,欢迎选购!新疆西藏青海(可包挂刷).港澳台及海外地区bu bao快递
    • 作者: 肖力田、肖楠、李孟源著 | 肖力田、肖楠、李孟源编 | 肖力田、肖楠、李孟源译 | 肖力田、肖楠、李孟源绘
    • 出版社: 清华大学出版社
    • 出版时间:2022-11-01
    送至
  • 由""直接销售和发货,并提供售后服务
  • 加入购物车 购买电子书
    服务

    看了又看

    商品预定流程:

    查看大图
    /
    ×

    苏宁商家

    商家:
    君凤文轩图书专营店
    联系:
    • 商品

    • 服务

    • 物流

    搜索店内商品

    商品分类

    商品参数
    • 作者: 肖力田、肖楠、李孟源著| 肖力田、肖楠、李孟源编| 肖力田、肖楠、李孟源译| 肖力田、肖楠、李孟源绘
    • 出版社:清华大学出版社
    • 出版时间:2022-11-01
    • 版次:1
    • 印次:1
    • 开本:其他
    • ISBN:9787302617587
    • 版权提供:清华大学出版社
    • 作者:肖力田、肖楠、李孟源
    • 著:肖力田、肖楠、李孟源
    • 装帧:精装
    • 印次:1
    • 定价:139
    • ISBN:9787302617587
    • 出版社:清华大学出版社
    • 开本:其他
    • 印刷时间:暂无
    • 语种:暂无
    • 出版时间:2022-11-01
    • 页数:0
    • 外部编号:涿仝东251576
    • 版次:1
    • 成品尺寸:暂无


    章 绪论 1
    1.1 研究背景 2
    1.1.1 PLC运行环境 5
    1.1.2 PLC程序验需求 7
    1.2 程序正确检测的现状 8
    1.2.1 代码层次的测试技术 9
    1.2.2 模型层次的模型检测技术 10
    1.. 规约层次的定理明技术 14
    1.2.4 运行层次的状态检测技术 16
    1.3 程序检测流程优化技术研究现状 24
    1.3.1 工作流程计划相关研究 25
    1.3.2 软件检测计划优化技术 32
    1.3.3 PLC程序检测计划技术 36
    1.4 本书主要内容 37
    第2章 PLC程序组合检测体系架构 39
    2.1 PLC工作模式以及系统模型 41
    2.2 PLC程序组合检测体系 44
    2.2.1 PLC组合检测体系构成 44
    2.2.2 PLC程序组合检测方法学 45
    . PLC程序组合检测机理 48
    ..1 PLC程序组合检测流程 48
    ..2 PLC程序模块组合机制 50
    2.4 PLC程序组合检测研究内容 54
    2.5 本章小结 57
    第3章 PLC程序指称语义 59
    3.1 PLC主要编程指令简介 60
    3.1.1 IEC 61131-3 60
    3.1.2 PLC主要硬件单元 61
    3.1.3 PLC主要编程指令集 64
    3.2 PLC程序体系结构的定义 73
    3.3 PLC程序的指称语义定义 76
    3.3.1 PLC程序语句块的划分与定义 76
    3.3.2 PLC程序基本语句块的指称语义函数 79
    3.4 本章小结 86
    第4章 PLC程序的组合测试 87
    4.1 软件测试技术概述 88
    4.2 PLC嵌入式软件测试技术的适应研究分析 88
    4.3 基于组合的PLC测试技术 92
    4.3.1 PLC程序组合测试框架 92
    4.3.2 PLC代码块的TA代码 93
    4.4 本章小结 100
    第5章 PLC程序的组合模型检测 102
    5.1 组合模型检测的主要思路 103
    5.2 线时序逻辑语法、语义 105
    5.3 线时序逻辑的模型检测问题 106
    5.4 模型检测工具 108
    5.4.1 模型检测工具分类 108
    5.4.2 面向属验的工具 110
    5.4.3 面向系统分析和建模的工具 113
    5.4.4 面向源程序验的工具 117
    5.4.5 模型检测验工具选择 124
    5.5 PLC程序的符号迁移系统表示 125
    5.6 PLC程序的组合模型检测 128
    5.6.1 通用的组合检测规则 129
    5.6.2 PLC程序特有的组合规则 131
    5.7 组合模型检测的正确 133
    5.7.1 通用的组合检测规则 133
    5.7.2 PLC程序特有的组合检测规则 136
    5.8 检测策略的案例分析 138
    5.9 本章小结 141
    第6章 PLC程序的组合明 142
    6.1 定理明工具 144
    6.1.1 CO定理明器 145
    6.1.2 Automath定理明器 146
    6.1.3 Nqthm和ACL2定理明器 147
    6.1.4 Isabelle/HOL定理明器 149
    6.1.5 PVS定理明器 151
    6.1.6 Nuprl和LEGO明开发系统 152
    6.1.7 Mizar项目 154
    6.2 直觉主义逻辑及其一阶逻辑定义 155
    6.3 交互式定理明工具CO 59
    6.4 基于CO的PLC程序建模 161
    6.5 基于CO的PLC程序质明 173
    6.6 本章小结 174
    第7章 PLC程序组合检测实际应用 176
    7.1 发场系统任务与组成 177
    7.1.1 传统发场系统 178
    7.1.2 航天发场系统 180
    7.2 发场控制系统 185
    7.2.1 发场智能系统构成 185
    7.2.2 发场控制系统组成 187
    7.3 案例概述 189
    7.4 航天发摆杆控制系统 190
    7.5 航天发摆杆控制系统PLC输出驱动模块 192
    7.5.1 发摆杆控制功能 192
    7.5.2 正确验质 194
    7.6 PLC输出驱动模块的组合测试 196
    7.6.1 实际测试 196
    7.6.2 组合测试 197
    7.7 PLC输出驱动模块的组合模型检测 198
    7.8 PLC输出驱动模块的组合明 199
    7.9 PLC输出驱动模块的组合检测结果分析比较 201
    7.10 本章小结 202
    第8章 PLC程序运行状态检测 203
    8.1 控制系统远程智能支持体系架构 204
    8.1.1 现场级 205
    8.1.2 过程级 206
    8.1.3 远程级 206
    8.1.4 控制任务中智能支持流程 207
    8.2 远程智能支持构建关键要素 208
    8.2.1 PLC程序运行状态检测验 208
    8.2.2 控制系统智能故障诊断 209
    8.. 智能远程支持 210
    8.2.4 远程智能支持平台构建 211
    8.3 可信标签和检测验协议 212
    8.3.1 可信标签构建 212
    8.3.2 可信标签签名算法分析 214
    8.3.3 PLC程序状态迁移串行可信标签检测验协议 215
    8.3.4 PLC程序状态迁移并行可信标签检测验协议 218
    8.3.5 协议原型系统部署试验验 220
    8.4 PLC程序状态迁移可信标签检测验协议的安全分析 221
    8.4.1 外部独立攻击的安全分析 222
    8.4.2 联合攻击的安全分析 2
    8.5 本章小结 224
    第9章 相关驱动检测流程优化 225
    9.1 过程模型的选择 226
    9.1.1 以流程对象为主的过程模型 226
    9.1.2 测试计划的过程模型 228
    9.2 PLC程序检测过程模型的定义 228
    9.3 检测流程中检测项相关 2
    9.4 检测流程模型优化框架
    9.4.1 强相关检测项的转换
    9.4.2 强相关检测项的同步检测 4
    9.4.3 强相关检测项的异步检测 4
    9.5 相关驱动的组合检测流程优化可行
    9.6 本章小结
    参考文献


    【前言】


    肖力田,清华大学计算机科学与技术博士,北京特种工程设计研究院席专兼航天发场建设责任总师、研究员;多个中央与专家咨询委员会委员。
    作为我国航天测试发与控制技术领域专家,长期从事航天发场总体论规划、发展战略和试验技术等研究工作,是我国新型航天发场建设的体系设计者和重要开拓者之一。先后担任项目负责人、总师和技术责任人,出色主持完成了一系列重大工程研究设计与建设任务;担任指挥部成员和测试发总体技术专家,遂行保障了200余次重大发任务,为我国航天发领域建设跨越式发展做出了卓越贡献。
    先后获科技进步特等奖1项、二等奖1项,勘察设计金奖1项等;军队及省部级科技进步奖等44项(一等奖4项、二等奖10项);发明专利与软件著作权47项,发表学术120余篇、著作5部,编制航天发场类国军标3项。享受特殊津贴;荣获中国航天会奖、信息化突出贡献人物奖,荣立个人二等功1次;原国防科学技术工业委员会授予“十大标兵”称号与英模等荣誉。



    工业控制系统广泛应用于航空航天、国防工程、电力、水利、交通运输、核电站和石油化工等安全攸关行业,是安全重要组成部分。可编程逻辑控制器(Programming Logic Controler,PLC)是一种嵌入式系统和自动控制系统的核心部件,其复杂及规模也愈加庞大,PLC运行所依赖的PLC程序正确、可信保障变得愈加紧迫。国际上,虽经测试的软件由于软件可信问题所导致的重大灾难、事故和严重损失屡见不鲜,如何保PLC程序正确得到可信验已经成为工业控制领域的重大现实问题。本书旨在总结在PLC程序正确和可信安全验方面的研究工作,体系化构建集程序测试、模型检测、定理明可信验和检测优化为一体的组合检测理论与方法,解决PLC程序运行可信、安全与正确属检测验等问题。


    【内容简介】


    本书针对控制系统PLC程序的正确和可信检测验问题,介绍了以形式化理论方法综合运用形成组合检测验体系,从多个层次检测验PLC程序动态、静态和运行的正确


    售后保障

    最近浏览

    猜你喜欢

    该商品在当前城市正在进行 促销

    注:参加抢购将不再享受其他优惠活动

    x
    您已成功将商品加入收藏夹

    查看我的收藏夹

    确定

    非常抱歉,您前期未参加预订活动,
    无法支付尾款哦!

    关闭

    抱歉,您暂无任性付资格

    此时为正式期SUPER会员专享抢购期,普通会员暂不可抢购