幫助中心 | 我的帳號 | 關於我們
進階搜尋
car

同類熱銷排行榜

最近瀏覽的商品

PLC程序組合檢測理論與方法(精)/中國航天空間信息技術系列

  • 作者：肖力田//肖楠//李孟源|責編:賈旭龍
  • 出版社：清華大學
  • ISBN：9787302617587
  • 出版日期：2022/11/01
  • 裝幀：精裝
  • 頁數：262
人民幣：RMB 139 元      售價：元
放入購物車
加入收藏夾
內容大鋼
    本書針對控制系統PLC程序的正確性和可信性檢測驗證問題，介紹了以形式化理論方法綜合運用形成組合檢測驗證體系，從多個層次檢測驗證PLC程序動態、靜態和運行的正確性，在理論方法研究上取得了突破，實踐應用上具有綜合性優勢。
    全書主要內容包括軟體檢測驗證需求背景和研究現狀；闡述了組合檢測體系架構、方法學和相關機理：按照IEC 61131-3標準，形式化定義PLC程序指令的指稱語義及其函數，形成統一語義和約束；分別從代碼層、模型層、規約層和運行層組合檢測驗證PLC程序，提供了PLC程序對應的符號遷移系統的變元集合、謂詞和遷移函數，以及定理證明驗證技術框架；在計算資源有限的PLC上實現可信計算驗證；相關性驅動優化檢測流程方法等。
    本書既可作為形式化理論、信息科學、自動控制、航天發射等相關專業領域科技工作者和工程技術人員的參考書，也可作為高等院校與研究所相關專業教師和研究生的參考書。
作者介紹
肖力田//肖楠//李孟源|責編:賈旭龍
目錄
第1章  緒論
  1.1  研究背景
    1.1.1  PLC運行環境
    1.1.2  PLC程序驗證需求
  1.2  程序正確性檢測的現狀
    1.2.1  代碼層次的測試技術
    1.2.2  模型層次的模型檢測技術
    1.2.3  規約層次的定理證明技術
    1.2.4  運行層次的狀態檢測技術
  1.3  程序檢測流程優化技術研究現狀
    1.3.1  工作流程計劃相關研究
    1.3.2  軟體檢測計劃優化技術
    1.3.3  PLC程序檢測計劃技術
  1.4  本書主要內容
第2章  PLC程序組合檢測體系架構
  2.1  PLC工作模式以及系統模型
  2.2  PLC程序組合檢測體系
    2.2.1  PLC組合檢測體系構成
    2.2.2  PLC程序組合檢測方法學
  2.3  PLC程序組合檢測機理
    2.3.1  PLC程序組合檢測流程
    2.3.2  PLC程序模塊組合機制
  2.4  PLC程序組合檢測研究內容
  2.5  本章小結
第3章  PLC程序指稱語義
  3.1  PLC主要編程指令簡介
    3.1.1  IEC 61131-3
    3.1.2  PLC主要硬體單元
    3.1.3  PLC主要編程指令集
  3.2  PLC程序體系結構的定義
  3.3  PLC程序的指稱語義定義
    3.3.1  PLC程序語句塊的劃分與定義
    3.3.2  PLC程序基本語句塊的指稱語義函數
  3.4  本章小結
第4章  PLC程序的組合測試
  4.1  軟體測試技術概述
  4.2  PLC嵌入式軟體測試技術的適應性研究分析
  4.3  基於組合的PLC測試技術
    4.3.1  PLC程序組合測試框架
    4.3.2  PLC代碼塊的TA代碼
  4.4  本章小結
第5章  PLC程序的組合模型檢測
  5.1  組合模型檢測的主要思路
  5.2  線性時序邏輯語法、語義
  5.3  線性時序邏輯的模型檢測問題
  5.4  模型檢測工具
    5.4.1  模型檢測工具分類
    5.4.2  面向屬性驗證的工具
    5.4.3  面向系統分析和建模的工具
    5.4.4  面向源程序驗證的工具

    5.4.5  模型檢測驗證工具選擇
  5.5  PLC程序的符號遷移系統表示
  5.6  PLC程序的組合模型檢測
    5.6.1  通用的組合檢測規則
    5.6.2  PLC程序特有的組合規則
  5.7  組合模型檢測的正確性
    5.7.1  通用的組合檢測規則
    5.7.2  PLC程序特有的組合檢測規則
  5.8  檢測策略的案例分析
  5.9  本章小結
第6章  PLC程序的組合證明
  6.1  定理證明工具
    6.1.1  COQ定理證明器
    6.1.2  Automath定理證明器
    6.1.3  Nqthm和ACL2定理證明器
    6.1.4  Isabelle/HOL定理證明器
    6.1.5  PVS定理證明器
    6.1.6  Nuprl和LEGO證明開發系統
    6.1.7  Mizar項目
  6.2  直覺主義邏輯及其一階邏輯定義
  6.3  互動式定理證明工具COQ
  6.4  基於COQ的PLC程序建模
  6.5  基於COQ的PLC程序性質證明
  6.6  本章小結
第7章  PLC程序組合檢測實際應用
  7.1  發射場系統任務與組成
    7.1.1  傳統發射場系統
    7.1.2  先進航天發射場系統
  7.2  發射場控制系統
    7.2.1  發射場智能系統構成
    7.2.2  發射場控制系統組成
  7.3  案例概述
  7.4  航天發射擺桿控制系統
  7.5  航天發射擺桿控制系統PLC輸出驅動模塊
    7.5.1  發射擺桿控制功能
    7.5.2  正確性驗證性質
  7.6  PLC輸出驅動模塊的組合測試
    7.6.1  實際測試
    7.6.2  組合測試
  7.7  PLC輸出驅動模塊的組合模型檢測
  7.8  PLC輸出驅動模塊的組合證明
  7.9  PLC輸出驅動模塊的組合檢測結果分析比較
  7.10  本章小結
第8章  PLC程序運行狀態檢測
  8.1  控制系統遠程智能支持體系架構
    8.1.1  現場級
    8.1.2  過程級
    8.1.3  遠程級
    8.1.4  控制任務中智能支持流程
  8.2  遠程智能支持構建關鍵要素

    8.2.1  PLC程序運行狀態檢測驗證
    8.2.2  控制系統智能故障診斷
    8.2.3  智能遠程支持
    8.2.4  遠程智能支持平台構建
  8.3  可信標籤和檢測驗證協議
    8.3.1  可信標籤構建
    8.3.2  可信標籤簽名演算法分析
    8.3.3  PLC程序狀態遷移串列可信標籤檢測驗證協議
    8.3.4  PLC程序狀態遷移並行可信標籤檢測驗證協議
    8.3.5  協議原型系統部署試驗驗證
  8.4  PLC程序狀態遷移可信標籤檢測驗證協議的安全性分析
    8.4.1  外部獨立攻擊的安全性分析
    8.4.2  聯合攻擊的安全性分析
  8.5  本章小結
第9章  相關性驅動檢測流程優化
  9.1  過程模型的選擇
    9.1.1  以流程對象為主的過程模型
    9.1.2  測試計劃的過程模型
  9.2  PLC程序檢測過程模型的定義
  9.3  檢測流程中檢測項相關性
  9.4  檢測流程模型優化框架
    9.4.1  強相關性檢測項的轉換
    9.4.2  強相關性檢測項的同步檢測
    9.4.3  強相關性檢測項的非同步檢測
  9.5  相關性驅動的組合檢測流程優化可行性
  9.6  本章小結
參考文獻

  • 商品搜索：
  • | 高級搜索
首頁│ 新手上路│ 客服中心│ 關於我們│ 聯絡我們│ Top↑│
Copyrightc 1999~2008 美商天龍國際圖書股份有限公司 臺灣分公司. All rights reserved.
營業地址:臺北市中正區重慶南路一段103號1F 105號1F-2F
讀者服務部電話：02-2381-2033 02-2381-1863　時間：週一-週五 10:00-17:00
　服務信箱：bookuu@69book.com 客戶、意見信箱:cs@69book.com
ICP證：浙B2-20060032