万水ANSYS技术丛书ANSYS SCADE SUITE建模基础/万水ANSYS技术丛书_PDF下载[159MB-百度云]荆华沈轶烨等编著

本书特色

[

SCADE产品模块众多，适用于安全关键领域的嵌入式系统和软件研制，涵盖功能安全分析、系统架构设计、控制算法设计、人机界面设计、多学科仿真应用等多个方面。本书主要讲解其中的控制算法设计软件SCADE Suite，并重点围绕三个角度进行编写：从初学者的角度出发，循序渐进地安排内容结构和知识点分布；从使用者的角度出发，介绍SCADE的基本使用方法和常用操作技巧；从工程人员的角度出发，讲述有代表性的实例、介绍通用的行业经验。本书收录了大量有较强代表性的示例，示例中的模型都力求准确无误，可以在PC环境下仿真运行。所有示例都可在Github网站上下载，供有兴趣的读者操作实践，加深理解。

]

内容简介

[

]

作者简介

[

荆华，沈轶烨，长期从事ANSYS SCADE Suite软件的研发和应用研究，对该软件的功能、特色和应用领域了解通透，经验丰富，编写了多本ANSYS应用图书，内容新颖、技术超前、案例经典，深受广大读者的喜爱。已出图书市场回馈很好。

]

前言第1章开启SCADE之旅1.1 背景概念简介1.1.1 嵌入式系统1.1.2 安全关键系统1.1.3 机载软件的适航标准1.1.4 基于模型的开发与验证1.2 SCADE介绍1.2.1 同步语言介绍1.2.2 SCADE产品的演进1.2.3 SCADE Suite的特点1.2.4 SCA：DE产品未来发展的路线图1.3 SCADE快速入门1.3.1 SCADE的适用环境和安装步骤1.3.2 创建SCADE Suite工程1.3.3 SCADE Suite操作符和输入输出的创建1.3.4 飞机滚转角示例练习题第2章 SCADE Suite建模基础2.1 SCADE Suite集成开发环境常见操作2.2 SCADE数据类型2.2.1 预定义数据类型2.2.2 自定义数据类型2.3 常量2.3.1 常量的定义2.3.2 常量的使用2.4 操作符2.4.1 预定义操作符2.4.2 自定义操作符2.5 条件模块2.5.1 条件模块的概念2.5.2 条件模块的创建与编辑2.5.3 条件模块中变量的隐式赋值2.6 导入元素2.6.1 导入常量2.6.2 外部引用变量(Sensor) 2.6.3 导入操作符2.6.4 导入静态库练习题第3章 SCADE Suite安全状态机3.1 安全状态机3.1.1 状态机的组成3.1.2 状态机的创建3.2 状态的设置3.2.1 状态3.2.2 初始状态和终止状态3.2.3 状态的编辑3.3 迁移的设置3.3.1 迁移