一级国产爽片av,久久久综合视频一本

內(nèi)容簡介

　　SCADE產(chǎn)品模塊眾多，適用于安全關(guān)鍵領(lǐng)域的嵌入式系統(tǒng)和軟件研制，涵蓋功能安全分析、系統(tǒng)架構(gòu)設(shè)計(jì)、控制算法設(shè)計(jì)、人機(jī)界面設(shè)計(jì)、多學(xué)科仿真應(yīng)用等多個(gè)方面。本書主要講解其中的控制算法設(shè)計(jì)軟件SCADE Suite，并重點(diǎn)圍繞三個(gè)角度進(jìn)行編寫：從初學(xué)者的角度出發(fā)，循序漸進(jìn)地安排內(nèi)容結(jié)構(gòu)和知識(shí)點(diǎn)分布；從使用者的角度出發(fā)，介紹SCADE的基本使用方法和常用操作技巧；從工程人員的角度出發(fā)，講述有代表性的實(shí)例、介紹通用的行業(yè)經(jīng)驗(yàn)。本書收錄了大量有較強(qiáng)代表性的示例，示例中的模型都力求準(zhǔn)確無誤，可以在PC環(huán)境下仿真運(yùn)行。所有示例都可在Github網(wǎng)站上下載，供有興趣的讀者操作實(shí)踐，加深理解。

作者簡介

　　荊華，沈軼燁，長期從事ANSYS SCADE Suite軟件的研發(fā)和應(yīng)用研究，對該軟件的功能、特色和應(yīng)用領(lǐng)域了解通透，經(jīng)驗(yàn)豐富，編寫了多本ANSYS應(yīng)用圖書，內(nèi)容新穎、技術(shù)超前、案例經(jīng)典，深受廣大讀者的喜愛。已出圖書市場回饋很好。

圖書目錄

前言
第1章開啟SCADE之旅
1.1 背景概念簡介
1.1.1 嵌入式系統(tǒng)
1.1.2 安全關(guān)鍵系統(tǒng)
1.1.3 機(jī)載軟件的適航標(biāo)準(zhǔn)
1.1.4 基于模型的開發(fā)與驗(yàn)證
1.2 SCADE介紹
1.2.1 同步語言介紹
1.2.2 SCADE產(chǎn)品的演進(jìn)
1.2.3 SCADE Suite的特點(diǎn)
1.2.4 SCA：DE產(chǎn)品未來發(fā)展的路線圖
1.3 SCADE快速入門
1.3.1 SCADE的適用環(huán)境和安裝步驟
1.3.2 創(chuàng)建SCADE Suite工程
1.3.3 SCADE Suite操作符和輸入輸出
的創(chuàng)建
1.3.4 飛機(jī)滾轉(zhuǎn)角示例
練習(xí)題
第2章 SCADE Suite建模基礎(chǔ)
2.1 SCADE Suite集成開發(fā)環(huán)境常見操作
2.2 SCADE數(shù)據(jù)類型
2.2.1 預(yù)定義數(shù)據(jù)類型
2.2.2 自定義數(shù)據(jù)類型
2.3 常量
2.3.1 常量的定義
2.3.2 常量的使用
2.4 操作符
2.4.1 預(yù)定義操作符
2.4.2 自定義操作符
2.5 條件模塊
2.5.1 條件模塊的概念
2.5.2 條件模塊的創(chuàng)建與編輯
2.5.3 條件模塊中變量的隱式賦值
2.6 導(dǎo)入元素
2.6.1 導(dǎo)入常量
2.6.2 外部引用變量(Sensor)
2.6.3 導(dǎo)入操作符
2.6.4 導(dǎo)入靜態(tài)庫
練習(xí)題
第3章 SCADE Suite安全狀態(tài)機(jī)
3.1 安全狀態(tài)機(jī)
3.1.1 狀態(tài)機(jī)的組成
3.1.2 狀態(tài)機(jī)的創(chuàng)建
3.2 狀態(tài)的設(shè)置
3.2.1 狀態(tài)
3.2.2 初始狀態(tài)和終止?fàn)顟B(tài)
3.2.3 狀態(tài)的編輯
3.3 遷移的設(shè)置
3.3.1 遷移