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
目录摘要 I目录 II第1章绪论 11.1项目背景 11.2项目开发环境 11.2.1硬件环境 11.2.2软件环境 1第2章相关技术 12.1系统所涉及到的语言 12.1.2Java 12.2开发工具 12.2.1MyEclipse 12.2.1Access 2第3章系统分析及组内分工 13.1需求概述 13.2需求分析 13.2.1理解需求 13.2.2分析需求 13.2.3可行性分析 23.3设计思想 23.4系统功能结构图 33.5组内分工 4第4章数据库设计 54.1数据库需求分析 54.2数据流图 54.2数据字典 64.3概念结构设计 94.3.1概念结构设计方法 94.3.2概念模型设计 9第5章系统详细模块设计与实现 105.1用户登录及主界面 105.2用户管理功能实现 185.3人员管理功能实现 245.4部门管理功能实现 395.5工资管理功能实现 455.6帮助功能实现 505.7退出系统功能实现 51结论 52致谢 53参考文献 54
2024/5/7 16:39:38 5.71MB JAVA 工资管理系统 毕业论文
1
ST语言及Q系列PLC指令-33课第1课时.三菱Q系列ST语言的基础第2课时.三菱Q系列ST语言定时器计数器第3课时.三菱Q系列ST语言基础实操第4课时.三菱Q系列ST语言定时器计数器实操01第5课时.三菱Q系列ST语言定时器计数器实操02
2024/5/5 10:46:36 116B 三菱Q系列P ST语言
1
买书问题dp实现题目:买书有一书店引进了一套书,共有3卷,每卷书定价是60元,书店为了搞促销,推出一个活动,活动如下:如果单独购买其中一卷,那么可以打9.5折。
如果同时购买两卷不同的,那么可以打9折。
如果同时购买三卷不同的,那么可以打8.5折。
如果小明希望购买第1卷x本,第2卷y本,第3卷z本,那么至少需要多少钱呢?(x、y、z为三个已知整数)。
1、过程为一次一次的购买,每一次购买也许只买一本(这有三种方案),或者买两本(这也有三种方案),或者三本一起买(这有一种方案),最后直到买完所有需要的书。
2、最后一步我必然会在7种购买方案中选择一种,因此我要在7种购买方案中选择一个最佳情况。
3、子问题是,我选择了某个方案后,如何使得购买剩余的书能用最少的钱?并且这个选择不会使得剩余的书为负数。
母问题和子问题都是给定三卷书的购买量,求最少需要用的钱,所以有"子问题重叠",问题中三个购买量设置为参数,分别为i、j、k。
4、的确符合。
5、边界是一次购买就可以买完所有的书,处理方式请读者自己考虑。
6、每次选择最多有7种方案,并且不会同时实施其中多种,因此方案的选择互不影响,所以有"子问题独立"。
7、我可以用minMoney[i][j][k]来保存购买第1卷i本,第2卷j本,第3卷k本时所需的最少金钱。
8、共有x*y*z个问题,每个问题面对7种选择,时间为:O(x*y*z*7)=O(x*y*z)。
9、用函数MinMoney(i,j,k)来表示购买第1卷i本,第2卷j本,第3卷k本时所需的最少金钱,那么有:MinMoney(i,j,k)=min(s1,s2,s3,s4,s5,s6,s7),其中s1,s2,s3,s4,s5,s6,s7分别为对应的7种方案使用的最少金钱:s1=60*0.95+MinMoney(i-1,j,k)s2=60*0.95+MinMoney(i,j-1,k)s3=60*0.95+MinMoney(i,j,k-1)s4=(60+60)*0.9+MinMoney(i-1,j-1,k)s5=(60+60)*0.9+MinMoney(i-1,j,k-1)s6=(60+60)*0.9+MinMoney(i-1,j,k-1)s7=(60+60+60)*0.85+MinMoney(i-1,j-1,k-1)
2024/5/4 19:26:25 3KB 动态规划 dp 动归 买书问题
1
WS/T500《电子病历共享文档规范》分为以下五十三个部分:——第1部分:病历概要;
——第2部分:门(急)诊病历;
——第3部分:急诊留观病历;
——第4部分:西药处方;
——第5部分:中药处方;
——第6部分:检查报告;
——第7部分:检验报告;
——第8部分:治疗记录;
——第9部分:一般手术记录;
——第10部分:麻醉术前访视记录;
——第11部分:麻醉记录;
——第12部分:麻醉术后访视记录;
——第13部分:输血记录;
——第14部分:待产记录;
——第15部分:阴道分娩记录;
——第16部分:剖宫产记录;
——第17部分:病重(病危)护理记录;
——第18部分:手术护理记录;
——第19部分:生命体征测量记录;
——第20部分:生命体征测量记录;
——第21部分:出入量记录;
——第22部分:高值耗材使用记录;
——第23部分:入院评估;
——第24部分:护理计划;
——第25部分:出院评估与指导;
——第26部分:手术知情同意书;
——第27部分:麻醉知情同意书;
——第28部分:输血治疗同意书;
——第29部分:特殊检查及特殊治疗同意书;
——第30部分:病危(重)通知书;
——第31部分:其他知情告知同意书;
——第32部分:住院病案首页;
——第33部分:中医住院病案首页;
——第34部分:入院记录;
——第35部分:24小时内入出院记录;
——第36部分:24小时内入院死亡记录;
——第37部分:住院病程记录首次病程记录;
——第38部分:住院病程记录日常病程记录;
——第39部分:住院病程记录上级医师查房记录;
——第40部分:住院病程记录疑难病例讨论记录;
——第41部分:住院病程记录交接班记录;
——第42部分:住院病程记录转科记录;
——第43部分:住院病程记录阶段小结;
——第44部分:住院病程记录抢救记录;
——第45部分:住院病程记录会诊记录;
——第46部分:住院病程记录术前小结;
——第47部分:住院病程记录术前讨论;
——第48部分:住院病程记录术后首次病程记录;
——第49部分:住院病程记录出院记录;
——第50部分:住院病程记录死亡记录;
——第51部分:住院病程记录死亡病例讨论记录;
——第52部分:住院医嘱;
——第53部分:出院小结;
2024/5/2 12:13:49 50.9MB WS/T 500
1
STM8L05单片机+LT89202.4G无线通信抢答器(硬件+源码+设计文档等全部资料),PROTEL99SE设计的硬件文件,包括原理图PCB,已制作样板测试,可以做为你的设计参考。
本验证板由LT8920和STM8L051组成,主要演示2.4G的无线收发通信实验。
本演示,需要两个PCBA,一个板做发射,另外一个板做接收。
硬件都一样的,只是烧录进单片机的软件不同(一个是Tx的HEX文件,另外一个是Rx的HEX文件)。
为了使用正常使用这个PCB空板,请大家按照一下步骤进行操作:第1步:根据BOM表,焊接出PCBA。
焊接过程中,需要注意的是Y1,C1,C2不用焊接,
1
本书为密码编码学与网络安全:原理与实践第五版中文版作者:斯托林斯(WilliamStallings)出版社:电子工业出版社本书概述了密码编码学与网络安全的基本原理和应用技术。
全书主要包括以下几个部分:①对称密码部分讨论了对称加密的算法和设计原则;
②公钥密码部分讨论了公钥密码的算法和设计原则;
③密码学中的数据完整性算法部分讨论了密码学Hash函数、消息验证码和数字签名;
④相互信任部分讨论了密钥管理和认证技术;
⑤网络与因特网安全部分讨论了应用密码算法和安全协议为网络和Internet提供安全;
⑥法律与道德问题部分讨论了与计算机和网络安全相关的法律与道德问题。
目录第0章读者导引0.1本书概况0.2读者和教师导读0.3Internet和Web资源0.4标准第1章概述1.1计算机安全概念1.2OSI安全框架1.3安全攻击1.4安全服务1.5安全机制1.6网络安全模型1.7推荐读物和网站1.8关键术语、思考题和习题第一部分对称密码第2章传统加密技术2.1对称密码模型2.2代替技术2.3置换技术2.4转轮机2.5隐写术2.6推荐读物和网站2.7关键术语、思考题和习题第3章分组密码和数据加密标准3.1分组密码原理3.2数据加密标准3.3DES的一个例子3.4DES的强度3.5差分分析和线性分析3.6分组密码的设计原理3.7推荐读物和网站3.8关键术语、思考题和习题第4章数论和有限域的基本概念4.1整除性和除法4.2Euclid算法4.3模运算4.4群、环和域4.5有限域GF(p)4.6多项式运算4.7有限域GF(2n)4.8推荐读物和网站4.9关键术语、思考题和习题附录4Amod的含义第5章高级加密标准5.1有限域算术5.2AES的结构5.3AES的变换函数5.4AES的密钥扩展5.5一个AES例子5.6AES的实现5.7推荐读物和网站5.8关键术语、思考题和习题附录5A系数在GF(28)中的多项式附录5B简化AES第6章分组密码的工作模式6.1多重加密与三重DES算法6.2电码本模式6.3密文分组链接模式6.4密文反馈模式6.5输出反馈模式6.6计数器模式6.7用于面向分组的存储设备的XTS-AES模式6.8推荐读物和网站6.9关键术语、思考题和习题第7章伪随机数的产生和流密码7.1随机数产生的原则7.2伪随机数发生器7.3使用分组密码的伪随机数产生7.4流密码7.5RC4算法7.6真随机数发生器7.7推荐读物和网站7.8关键术语、思考题和习题第二部分公钥密码第8章数论入门8.1素数8.2费马定理和欧拉定理8.3素性测试8.4中国剩余定理8.5离散对数8.6推荐读物和网站8.7关键术语、思考题和习题第9章公钥密码学与RSA9.1公钥密码体制的基本原理9.2RSA算法9.3推荐读物和网站9.4关键术语、思考题和习题附录9ARSA算法的证明附录9B算法复杂性第10章密钥管理和其他公钥密码体制10.1Diffie-Hellman密钥交换10.2ElGamal密码体系10.3椭圆曲线算术10.4椭圆曲线密码学10.5基于非对称密码的伪随机数生成器10.6推荐读物和网站10.7关键术语、思考题和习题第三部分密码学数据完整性算法第11章密码学Hash函数11.1密码学Hash函数的应用11.2两个简单的Hash函数11.3需求和安全性11.4基于分组密码链接的Hash函数11.5安全Hash算法(SHA)11.6SHA-11.7推荐读物和网站11.8关键术语、思考题和习题附录11A生日攻击的数学基础第12章消息认证码12.1对消息认证的要求12.2消息认证函数12.3对消息认证码的要求12.4MAC的安全性12.5基于Hash函数的MAC:HMAC12.6基于分组密码的MAC:DAA和CMAC12.7认证加密:CCM和GCM12.8使用Hash函数和MAC产生伪随机数12.9推荐读物和网站12.10关键术语、思考题和习题第13章数字签名13.1数字签名13.2ElGamal数字签名方案13.3Schnorr数字签名方案13.4数字签名标准13.5推荐读物和网站13.6关键术语、思考题和习题第四部分相互信任第14章密钥管理和分发14
1
本书分为4部分,共26章,全面详细地讲述了USB接口的编程原理及应用实例。
第1部分是USB总线接口技术基础,介绍了USB总线接口的协议、事务处理、数据传输方式以及设备配置等;
第2部分重点介绍了USB接口驱动程序的设计,包括使用DriverStudio进行驱动程序设计、使用通用USB驱动程序以及LabVIEW平台下的驱动程序设计;
第3部分是USB编程基础,详细介绍了在DriverStudio、C++、C#和LabVIEW平台下如何对USB接口进行读写控制;
第4部分为USB开发实战,通过11个例子,详细介绍了在不同的应用场合下USB接口设备的设计,包括完整的电路图、固件程序、驱动程序和上位机程序设计。
2024/4/25 4:57:05 25.56MB USB3.0 编程宝典
1
文档包括:1、GA408.1_2006_道路交通违法管理信息代码第1部分:交通违法行为分类与代码2、GA408.2-2006_道路交通违法管理信息代码_第2部分_交通违法编号3、GA408.3-2006_道路交通违法管理信息代码_第3部分_交通违法地点编码规则4、GA408.4-2006_道路交通违法管理信息代码_第4部分_交通违法处罚种类代码5、GA408.5-2006_道路交通违法管理信息代码_第5部分_强制措施代码6、GA408.6-2006_道路交通违法管理信息代码_第6部分_扣留物品代码7、GA408.8-2006_道路交通违法管理信息代码_第8部分_驾驶证吊销原因代码8、GA408.9-2006_道路交通违法管理信息代码_第9部分_文书类别代码9、GA408.10-2006_道路交通违法管理信息代码_第10部分_交通违法缴款方式代码10、GA408.11-2003_道路交通违章管理信息代码_第11部分_驾驶证撤销原因代码11、GA408.12-2003_道路交通违章管理信息代码_第12部分_机动车牌证撤销原因代码12、GA408.14-2003_道路交通违章管理信息代码_第14部分_扣证类型代码暂时缺少第7和第13部分
2024/4/22 21:27:01 1020KB GA408 道路交通 违法管理 代码
1
要使测试驱动开发在软件行业中得以繁荣兴盛,需要一些条件,《C#测试驱动开发》从讨论这些条件开始。
软件开发发展到今天,有其历史和特定的条件,理解这些很重要。
避免重复过去的错误也很重要。
在自己当前的开发实践中找出这些反面模式则更为重要。
第Ⅰ部分入门第1章通向测试驱动开发之路第2章单元测试简介第3章重构速览第4章测试驱动开发:以测试为指南第5章模拟外部资源第Ⅱ部分将基础知识变为行动第6章启动示例应用程序第7章实现第一个用户情景第8章集成测试第Ⅲ部分TDD方案第9章Web上的TDD第10章测试WCF服务第11章测试WPF和Silvedight应用程序第Ⅳ部分需求和工具第12章应对缺陷和新的需求第13章有关优秀工具的争论第14章结论附录ATDDKatas
2024/4/21 19:38:30 3.01MB C# 测试 单元测试 集成测试
1
共 849 条记录 首页 上一页 下一页 尾页
在日常工作中,钉钉打卡成了我生活中不可或缺的一部分。然而,有时候这个看似简单的任务却给我带来了不少烦恼。 每天早晚,我总是得牢记打开钉钉应用,点击"工作台",再找到"考勤打卡"进行签到。有时候因为工作忙碌,会忘记打卡,导致考勤异常,影响当月的工作评价。而且,由于我使用的是苹果手机,有时候系统更新后,钉钉的某些功能会出现异常,使得打卡变得更加麻烦。 另外,我的家人使用的是安卓手机,他们也经常抱怨钉钉打卡的繁琐。尤其是对于那些不太熟悉手机操作的长辈来说,每次打卡都是一次挑战。他们总是担心自己会操作失误,导致打卡失败。 为了解决这些烦恼,我开始思考是否可以通过编写一个全自动化脚本来实现钉钉打卡。经过一段时间的摸索和学习,我终于成功编写出了一个适用于苹果和安卓系统的钉钉打卡脚本。
2024-04-09 15:03 15KB 钉钉 钉钉打卡