该资源是实现的一个四列火车调度的模型实例，已在模型检测工具uppaal4.0.14上实现并进行了模型的性质验证，资源中还包含实验的模型仿真和性质验证的截图（实验效果图）。
uppaal是一个集成工具环境，它以扩展的时间自动机为建模语言，被用于对经过转换的时间自动机网络模型的实时系统进行建模、检验和验证。
uppaal是一个集成工具环境，它以扩展的时间自动机为建模语言，被用于对经过转换的时间自动机网络模型的实时系统进行建模、检验和验证。
2023/10/9 16:51:17
323KB
1
清晰版。
全书共19章，分为入门篇、进阶篇和高级篇3个篇章。
入门篇介绍Simulink软件及其基本操作和构成要素；
进阶篇讲解Simulink的运行机制和原理、自定义模块及模块封装、自定义模块库的建立和Simulink环境的编辑等功能，并讲解如何使用M语言为模块发布help文档，以及通过工业实例展示综合应用GUI控制Simulink进行仿真的方法及代码生成的应用方法；
高级篇重点介绍“基于模型设计”的开发流程、嵌入式C代码生成技术原理及TLC语言编写方法，并展示如何在嵌入式应用中使用TSP。
《Simulink仿真及代码生成技术入门到精通》围绕Simulink软件的仿真和代码生成技术，从原理上展开阐述，把握整体，注重细节，让读者深刻认识Simulink的运行原理。
结构化的章节安排和丰富多彩的案例展示了Simulink在模型建立、工业流程仿真及嵌入式控制等方面的应用技巧和方法。
本书不拘泥于界面操作，而结合MATLAB脚本语言展示其自动控制模型仿真、代码生成过程的强大功能，带领读者把握宏观架构，攻克细节问题。
,全书共19章，分为入门篇、进阶篇和高级篇3个篇章。
入门篇介绍Simulink软件及其基本操作和构成要素；
进阶篇讲解Simulink的运
全书共19章，分为入门篇、进阶篇和高级篇3个篇章。
入门篇介绍Simulink软件及其基本操作和构成要素；
进阶篇讲解Simulink的运行机制和原理、自定义模块及模块封装、自定义模块库的建立和Simulink环境的编辑等功能，并讲解如何使用M语言为模块发布help文档，以及通过工业实例展示综合应用GUI控制Simulink进行仿真的方法及代码生成的应用方法；
高级篇重点介绍“基于模型设计”的开发流程、嵌入式C代码生成技术原理及TLC语言编写方法，并展示如何在嵌入式应用中使用TSP。
《Simulink仿真及代码生成技术入门到精通》围绕Simulink软件的仿真和代码生成技术，从原理上展开阐述，把握整体，注重细节，让读者深刻认识Simulink的运行原理。
结构化的章节安排和丰富多彩的案例展示了Simulink在模型建立、工业流程仿真及嵌入式控制等方面的应用技巧和方法。
本书不拘泥于界面操作，而结合MATLAB脚本语言展示其自动控制模型仿真、代码生成过程的强大功能，带领读者把握宏观架构，攻克细节问题。
,全书共19章，分为入门篇、进阶篇和高级篇3个篇章。
入门篇介绍Simulink软件及其基本操作和构成要素；
进阶篇讲解Simulink的运
2023/9/18 22:40:55
99.68MB
1
电动汽车的普及与推广将引致对大功率充电设备的大量需求，采用现代电力电子技术的大功率充电机是高度非线性的用电设备，对电网产生的谐波影响不容忽视。
其产生的谐波主要来自充电机的整流装置，基于此，论文从适应于大量电动汽车充电需求的合理充电技术和合理充电规模问题出发，分别建立单台充电机和充电站仿真模型，仿真分析单台和多台充电机工作时对电网电能质量的影响，重点研究各次谐波电流含有率、电流总谐波畸变率和功率因数随电动汽车充电功率的变化规律及其随充电机台数增加的变化规律。
仿真结果表明：大功率充电时，随着充电机台数的增加，各次谐波电流含有率呈减小的趋势，小功率充电时，随着充电机台数的增加，各次谐波含有率变化较平缓；
电流总谐波畸变率随充电功率的增大和充电机台数的增加呈减小趋势，而功率因数的变化则由充电功率与充电机数目的耦合机制决定
其产生的谐波主要来自充电机的整流装置，基于此，论文从适应于大量电动汽车充电需求的合理充电技术和合理充电规模问题出发，分别建立单台充电机和充电站仿真模型，仿真分析单台和多台充电机工作时对电网电能质量的影响，重点研究各次谐波电流含有率、电流总谐波畸变率和功率因数随电动汽车充电功率的变化规律及其随充电机台数增加的变化规律。
仿真结果表明：大功率充电时，随着充电机台数的增加，各次谐波电流含有率呈减小的趋势，小功率充电时，随着充电机台数的增加，各次谐波含有率变化较平缓；
电流总谐波畸变率随充电功率的增大和充电机台数的增加呈减小趋势，而功率因数的变化则由充电功率与充电机数目的耦合机制决定
2023/8/17 1:10:10
1.04MB
1
comsolmultiphysics具有强度的图像建模功能，通过对电子扫描图片、CT以及png等图片进行数据解构，最终形成对复杂模型的差值函数建立形成模型仿真。
2023/7/30 3:50:44
6.91MB
1
该程序有两个部分一个部分是.m文件，另一个是simulink模型仿真文件，在模型仿真里有LESO即线性状态观测器，针对的是二阶惯性环节，对其进行仿真配置，其中参数已经调好了，还输入了一个噪声测试了一下。
（两个文件路径要一致，在MATLAB2014a中可以打开）
（两个文件路径要一致，在MATLAB2014a中可以打开）
2023/7/1 23:11:22
136KB
1
在日常工作中，钉钉打卡成了我生活中不可或缺的一部分。然而，有时候这个看似简单的任务却给我带来了不少烦恼。
每天早晚，我总是得牢记打开钉钉应用，点击"工作台"，再找到"考勤打卡"进行签到。有时候因为工作忙碌，会忘记打卡，导致考勤异常，影响当月的工作评价。而且，由于我使用的是苹果手机，有时候系统更新后，钉钉的某些功能会出现异常，使得打卡变得更加麻烦。
另外，我的家人使用的是安卓手机，他们也经常抱怨钉钉打卡的繁琐。尤其是对于那些不太熟悉手机操作的长辈来说，每次打卡都是一次挑战。他们总是担心自己会操作失误，导致打卡失败。
为了解决这些烦恼，我开始思考是否可以通过编写一个全自动化脚本来实现钉钉打卡。经过一段时间的摸索和学习，我终于成功编写出了一个适用于苹果和安卓系统的钉钉打卡脚本。
2024-04-09 15:03
15KB