STATEFLOW逻辑系统建模作者张威出版社西安电子科技大学出版社图书目录编辑第1章 概述1.1 MATLAB产品简介1.2 基于模型的设计思想1.2.1 系统设计的基本过程1.2.2 传统设计手段的缺陷1.2.3 基于模型的设计优势1.3 Simulink回顾1.3.1 创建Simulink模型1.3.2 参数设置与Model Explorer1.3.3 创建子系统1.4 Stateflow概述1.5 安装配置Stateflow1.6 本章小结第2章 创建状态图2.1 Stateflow编辑器2.1.1 创建Simulink模型2.1.2 Stateflow编辑器概览2.2 创建和编辑状态图2.2.1 插入图形对象2.2.2 编辑图形对象外观2.3 本章小结第3章 状态图的仿真3.1 状态图的基本概念3.2 事件3.2.1 添加事件3.2.2 使用多个输入事件3.2.3 默认转移的注意事项3.3 数据对象3.3.1 添加数据对象3.3.2 数据对象的属性3.3.3 使用非标量的数据对象3.3.4 设置数据对象的数据类型3.4 状态图的更新模式3.5 Stateflow模型查看器3.5.1 启动Stateflow模型查看器3.5.2 查看并修改对象属性3.5.3 增加新的非图形对象3.6 本章小结第4章 流程图4.1 转移冲突4.1.1 转移冲突的产生与默认处理4.1.2 用户自定义检测次序4.2 流程图的创建4.2.1 常用逻辑结构模型4.2.2 流程图的回溯现象4.2.3 流程图应用实例4.3 图形函数4.3.1 状态中的流程图4.3.2 创建图形函数4.3.3 应用实例4.4 Stateflow调试器4.4.1 启动调试器4.4.2 设置断点4.4.3 调试过程4.5 本章小结第5章 有限状态系统——层次化建模5.1 状态图回顾5.2 状态动作深入5.2.1 状态动作的分类5.2.2 动作的执行次序5.2.3 在动作中使用事件5.3 层次化建模5.3.1 层次化模型的构成5.3.2 层次化状态图的转移5.3.3 历史节点5.3.4 内部转移5.3.5 层次化模型的转移检测优先权5.3.6 本地数据对象5.4 子状态图5.4.1 使用组合的状态5.4.2 创建子状态图5.4.3 子状态图的超转移5.5 Stateflow查询工具5.6 本章小结第6章 有限状态系统——并行机制第7章 Stateflow Coder目标编译第8章 可复用图形结构第9章 Stateflow API附录A MATLAB可用的LaTex字符集附录B Stateflow对象层次附录C Stateflow语法小结附录D Stateflow动作语言附录E Embedded MATLAB语言附录F SimEvents简介参考文献
2024/5/12 12:21:36 11.35MB MATLAB SIMULINK STATEFLOW 建模
1
由于公司需求,自己修改的离线地图API.该压缩包具有如下功能:1.支持使用google地图瓦片(不建议使用,效率不高,缩放级别较高时拖动有些卡顿,建议注释该代码块:overlayTileLayer.getTilesUrl,使用google转baidu的jar转换代码,源码文章:http://blog.csdn.net/leiyong0326/article/details/42687753)2.包含拉框放大,测距,画线,打印等功能(已修改工具源码,支持右键取消放大,测距手势)3.自定缩放级别显示指定标签4.快速定位及隐藏指定类型注意事项:1.该示例不包含地图瓦片,所以访问时无背景(可以点击切片/影像查看在线地图效果).2.临时修改作为可运行示例,只有三角符号的文字点击有弹框,弹出框的详细本是显示flex的曲线图,因为无后端所以删除参数查询部分.3.定位站点时需放大缩放级别才可以看到对应站点4.因涉及公司隐私,该代码为未完成之前的测试产品,功能不够完善.
1
代码实现了在python下利用百度api获取地铁站点路线(轨迹)的墨卡托坐标数据并转化为WGS-84坐标系下的经纬度,并使用plotly+mapbox绘制地铁路线图
2024/5/11 7:12:14 8KB 地铁路线(轨
1
《操作系统原理》实验指导书实验一生产者-消费者模型模拟进程调度一、实验任务1、在WINDOWS2000环境下,创建一个控制台进程,此进程包括4个线程:2个生产者线程和2个消费者线程。
2、用信号量机制解决进程(线程)的同步与互斥问题。
二、实验目的1.掌握基本的同步互斥算法,理解生产者和消费者模型。
2.了解Windows2000/XP中多线程的并发执行机制,线程间的同步和互斥。
3.学习使用Windows2000/XP中基本的同步对象,掌握相应的API。
三、实验要求1.生产者消费者对缓冲区进行互斥操作。
2.缓冲区大小为10,缓冲区满则不允许生产者生产数据,缓冲区空则不允许消费者消费数据。
3.生产者消费者各循环操作50次。
四、设计思路和采取的方案1.利用windows提供的API函数CreateSemaphore()创建信号量对象;
CreateThread()创建线程;
WaitForSingleObject()执行P操作;
ReleaseSemaphore()执行V操作;
WaitForMultipleObjects()主进程等待线程的结束等函数进行设计。
2.在Windows中,常见的同步对象有:信号量(Semaphore)、互斥量(Mutex)。
使用这些对象都分为三个步骤,一是创建或者初始化;
接着请求该同步对象,随即进入临界区,这一步对应于互斥量的上锁;
最后释放该同步对象,这对应于互斥量的解锁。
这些同步对象在主进程中创建,在其子线程中都可。
实验二存储管理一、目的和要求1.实验目的(1)掌握时间片轮换的进程调度算法;
(2)掌握带优先级的进程调度算法;
(3)选用面向对象的编程方法。
2、实验学时:2学时3、实验要求(1)自定义PCB的数据结构;
(2)使用带优先级的时间片轮转法调度进程,每运行一个时间片,优先级减半。
(3)命令集A)create随机创建进程,进程的优先级与所需要的时间片随机决定;
B)ps查看当前进程状态C)sleep命令将进程挂起D)kill命令杀死进程E)quit命令退出二、实验内容根据教师指定的实验课题,完成设计、编码、测试工作。
实验三虚拟存储器一、目的和要求1.实验目的(1)掌握先进先出页面置换算法;
(2)掌握随机替换页面置换算法;
(3)掌握OPT页面置换算法;
(4)掌握最近最少使用页面置换算法;
(5)熟悉抖动现象及其产生原理;
(6)熟悉C/C++编程。
2、实验学时:2学时3、实验要求(1)进程占用内存空间共640K,页面大小是1K/2K/4K/8K;
(2)随机生成256个页面置换次序;
(3)用于分配页面大小的内存总空间是32K;
(4)给出四种页面置换算法的换页过程,并计算各自的缺页率。
二、实验内容编写程序,使用四种不同的页面替换策略算法进行页面替换。
分别是先进先出,随机替换,时钟页面替换,最近最久未使用页面替换,并计算缺页率。
1
易语言API封包拦截转发(非网截)易语言API封包拦截转发(非网截)
2024/5/10 5:20:14 209KB 易语言 API 封包拦截 转发(非网截)
1
基拉前端KiraFrontend是KiraNetworkUsers的用户界面,用于管理其帐户,余额,在不同钱包之间转移令牌。
安装注意:为了进行开发,请在未启用安全性的情况下运行chrome浏览器,除非api由于cors错误而无法获取数据。
当前的测试版本要求安装GO来安装Sekai和Interix-前端在pubspec.yaml中安装所需的软件包flutterpubget运行命令flutterrun-dchrome--dart-define=FLUTTER_WEB_USE_SKIA=trueflutterrun-dweb--dart-define=FLUTTER_WEB_USE_SKIA=true注意:要使svg变得混乱,我们需要在运行命令时启用SKIA模式用户输入密码,该密码将用于对助记词和kira地址,公共/专用密钥进行加密。
创建帐
2024/5/8 3:06:11 1.46MB Dart
1
火龙果软件工程技术中心  本文内容包括:为什么使用DynamicEMF?创建动态内存内核模型序列化动态模型反序列化/装载动态模型限制结束语下载参考资料通过本文可以了解如何使用DynamicEclipseModelingFramework(EMF)在不生成Java实现类的情况下根据需要构建动态的基于Ecore的模型。
本文将介绍API,并说明如何序列化并装载动态Ecore模型及其实例。
EclipseModelingFramework(EMF)描述了数据模型并且允许使用各种类型的数据模型工件(例如XMLSchema、RationalRose:registered:模型、Ecore模型或Java注释)轻松生成代码。
在生成代
2024/5/8 2:24:16 479KB 用动态EMF构建元模型
1
名称C++STL轻松导学 作者晨光(Morning) 简介本教程介绍有关学习C++STL的预备知识和STL的相关背景知识,适合想对STL做大致了解的初学者。
 声明本教程版权为晨光(Morning)所有,未经允许,请勿复制、传播,谢谢。
 目录1初识STL:解答一些疑问1.1一个最关心的问题:什么是STL1.2追根溯源:STL的历史1.3千丝万缕的联系1.3.1STL和C++1.3.2STL和C++标准库1.3.3STL和GP,GP和OOP1.4STL的不同实现版本1.4.1HPSTL1.4.2P.J.PlaugerSTL1.4.3RougeWaveSTL1.4.4STLport1.4.5SGIS
1
javaee中文API,可以帮助英语不好的查看学习,真实有效
2024/5/7 0:42:02 258KB J2EE API
1
数据量小的,可以使用普通api来做,但是当数据量非常大时,普通的就不行了,不过我的这个代码可以完美解决此问题
2024/5/6 5:09:03 11.82MB excel xlsl
1
共 1000 条记录 首页 上一页 下一页 尾页
在日常工作中,钉钉打卡成了我生活中不可或缺的一部分。然而,有时候这个看似简单的任务却给我带来了不少烦恼。 每天早晚,我总是得牢记打开钉钉应用,点击"工作台",再找到"考勤打卡"进行签到。有时候因为工作忙碌,会忘记打卡,导致考勤异常,影响当月的工作评价。而且,由于我使用的是苹果手机,有时候系统更新后,钉钉的某些功能会出现异常,使得打卡变得更加麻烦。 另外,我的家人使用的是安卓手机,他们也经常抱怨钉钉打卡的繁琐。尤其是对于那些不太熟悉手机操作的长辈来说,每次打卡都是一次挑战。他们总是担心自己会操作失误,导致打卡失败。 为了解决这些烦恼,我开始思考是否可以通过编写一个全自动化脚本来实现钉钉打卡。经过一段时间的摸索和学习,我终于成功编写出了一个适用于苹果和安卓系统的钉钉打卡脚本。
2024-04-09 15:03 15KB 钉钉 钉钉打卡