登录
首页 » Others » 形式化建模验证SMV模型检验器.rar

形式化建模验证SMV模型检验器.rar

于 2021-12-08 发布
0 312
下载积分: 1 下载次数: 1

代码说明:

使用UML等建模工具建立模型,再将模型转换为形式的语句,编写SMV程序,输入SMV模型检验器进行验证。用于实现形式化方法模型检验

下载说明:请别用迅雷下载,失败请重下,重下不扣分!

发表评论

0 个回复

  • 单片机红外遥控知识打包
    红外串行通信.pdf红外遥控多路抢答器的设计.pdf红外遥控器编码(全).pdf基于AT89C52单片机的红外发射与接收系统的研究.pdf基于AT89S51的多功能红外遥控器设计.pdf基于MCU的红外遥控智能家用照明系统的设计.pdf基于MSP430F1101的智能学习型红外遥控器的设计.pdf基于单片机的红外通讯设计.pdf基于单片机的红外遥控器的设计与应用.pdf基于单片机的红外遥控器解码器的设计.pdf基于单片机的红外自学习设计.pdf基于单片机系统的红外遥控器应用.pdf基于红外的数据通信模块的设计与实现.pdf学习型红外遥控器.pdf学习型红外遥控装置的
    2020-12-12下载
    积分:1
  • 分步傅里叶方法求解非线性薛定谔方 SSFM
    分步傅里叶方法求解非线性薛定谔方程的matlab代码,可以很精准的仿真光脉冲在光纤信道中的传输
    2020-06-28下载
    积分:1
  • 模电万用表仿真课设计
    采用Multisim进行的仿真,内部含万用表内的各种检测分电路和总体(包括直流/交流的电流/电压 以及欧姆表),是自己本科时候的课程设计时候制作的,内容比较详细,仿真电路是全的,具体要求和详细分析找不到了,应该有一定的参考价值。
    2020-12-11下载
    积分:1
  • java源码小区物业管理系统
    此乃本人做的毕业设计,一个小区物业管理系统的源程序及代码(java,B/S模式),商业用途谈不上,但用来应付毕业设计还是足够的,另外还有配套的设计文档,待会续传
    2020-11-28下载
    积分:1
  • 开关电源中的磁性元件.pdf
    一本很详尽的磁件书,里面的例子使用 【核心代码】目 录第一章 磁的基本概念………………………………………………………………………11.1 磁的基本现象 …………………………………………………………………………………11.2 电流与磁场…………………………………………………………………………………… 11.3 磁的单位和电磁基本定律………………………………………………………………… 2 1.3.1 磁感应强度(B-磁通密度) ……………………………………………………………………3 1.3.2 磁通……………………………………………………………………………………………3 1.3.3 磁导率µ和磁场强度 H ………………………………………………………………………3 1.3.4 安培环路定律………………………………………………………………………………… 4 1.3.5 电磁感应定律………………………………………………………………………………… 5 1.3.6 电磁能量关系 …………………………………………………………………………………6 本章要点 7第二章 电路中的磁性元件…………………………………………………………………82.1 自感……………………………………………………………………………………………82.2 互感……………………………………………………………………………………………82.2.1 线圈之间的互感 ………………………………………………………………………………92.2.2 互感系数………………………………………………………………………………………92.2.3 互感电动势……………………………………………………………………………………92.2.4 互感电路………………………………………………………………………………………102.3 变压器…………………………………………………………………………………………122.3.1 变压器空载……………………………………………………………………………………132.3.2 变压器负载状态………………………………………………………………………………132.3.3 变压器等效电路………………………………………………………………………………14 本章要点…………………………………………………………………………………………15第三章 磁路和电感计算………………………………………………………………… 173.1 磁路的概念…………………………………………………………………………………173.2 磁路的欧姆定律 ……………………………………………………………………………173.3 磁芯磁场和磁路 ……………………………………………………………………………193.3.1 无气隙磁芯磁场 ………………………………………………………………………………193.3.2 E 型磁芯磁场和等效磁路……………………………………………………………………213.3.3 气隙磁导的计算 ………………………………………………………………………………233.4 电感计算………………………………………………………………………………………273.4.1 导线和无磁芯线圈的电感计算-经验公式…………………………………………………283.4.2 磁芯电感………………………………………………………………………………………33 本章要点……………………………………………………………………………………………35第四章 软磁材料………………………………………………………………………………364.1 磁性材料的磁化………………………………………………………………………………364.2 磁材料的磁化曲线……………………………………………………………………………364.2.1 磁性物质磁化过程和初始磁化曲线 …………………………………………………………364.2.2 饱和磁滞回线和基本参数……………………………………………………………………374.3 磁芯损耗………………………………………………………………………………………38 4.3.1 磁化能量和磁滞损耗 Ph………………………………………………………………………384.3.2 涡流损耗 Pe ……………………………………………………………………………………394.3.3 剩余损耗 Pc ……………………………………………………………………………………404.4 磁化曲线的测量和显示……………………………………………………………………… 414.4.1 测试原理和电路 ……………………………………………………………………………… 414.4.2 磁化曲线的显示 …………………………………………………………………………… 424.5 相对磁导率µr……………………………………………………………………………………434.5.1 最大磁导率μm…………………………………………………………………………………434.5.2 初始磁导率μI …………………………………………………………………………………434.5.3 增量磁导率µ∆………………………………………………………………………………… 434.5.4 有效磁导率μe…………………………………………………………………………………444.5.5 幅值磁导率µa …………………………………………………………………………………444.6 常用软磁材料 ………………………………………………………………………………… 464.6.1 对软磁材料的要求 …………………………………………………………………………… 464.6.2 合金磁材料 ……………………………………………………………………………………464.6.3 磁粉芯…………………………………………………………………………………………514.6.4 软磁铁氧体材料……………………………………………………………………………… 524.7 软磁材料的选用原则 ……………………………………………………………………………56 本章要点 ……………………………………………………………………………………………56第五章 变换器中磁芯的工作要求……………………………………………………………585.1 Ⅰ类工作状态-Buck 变换器滤波电感磁芯……………………………………………………585.2 Ⅱ类工作状态-正激变换器变压器 ……………………………………………………………605.3 Ⅲ类工作状态-推挽型变换器中变压器 …………………………………………………… 625.3.1 输出交流时逆变器中的变压器 ………………………………………………………………635.3.2 SPWM 交流输出滤波电感 ………………………………………………………………… 655.3.3 直流输出时变压器的工作状态 ……………………………………………………………… 665.4 准Ⅲ工作状态-磁放大器磁芯工作状态………………………………………………………685.4.1 磁放大器原理 …………………………………………………………………………………685.4.2 实际应用举例 …………………………………………………………………………………69本章要点 ………………………………………………………………………………………70第六章 线圈 ………………………………………………………………………………………716.1 集肤效应…………………………………………………………………………………………716.2 线圈磁场和邻近效应…………………………………………………………………………736.3 变压器线圈的漏感……………………………………………………………………………746.3.1 典型变压器磁芯的漏感分析…………………………………………………………………746.3.2 其他结构的漏磁……………………………………………………………………………… 766.3.3 减少漏磁的主要方法-线圈交错绕…………………………………………………………766.4 邻近效应对多层线圈影响………………………………………………………………………766.4.1 多层线圈………………………………………………………………………………………776.4.2 线圈的并联……………………………………………………………………………………806.4.3 无源损耗………………………………………………………………………………………816.5 线圈结构…………………………………………………………………………………………826.5.1 绝缘、热阻和电流密度………………………………………………………………………826.5.2 计算有效值电流 ………………………………………………………………………………856.5.3 窗口充填系数 kw ………………………………………………………………………………866.5.4 电路拓扑………………………………………………………………………………………87 6.6 线圈间电容和端部电容…………………………………………………………………………87 本章要点………………………………………………………………………………………89第七章 功率变压器设计 ………………………………………………………………………907.1 变压器设计一般问题……………………………………………………………………………907.1.1 变压器功能……………………………………………………………………………………907.1.2 变压器的寄生参数及其影响…………………………………………………………………907.1.3 温升和损耗 ……………………………………………………………………………………997.1.4 充填系数………………………………………………………………………………………927.1.5 电路拓扑………………………………………………………………………………………927.1.6 频率……………………………………………………………………………………………927.1.7 占空度………………………………………………………………………………………937.1.8 匝数和匝比选取………………………………………………………………………………947.1.9 磁通偏移………………………………………………………………………………………967.1.10 磁芯选择……………………………………………………………………………………977.2 变压器设计基本步骤………………………………………………………………………101第八章 电感和反激变压器设计……………………………………………………………1068.1 应用场合 ………………………………………………………………………………………1068.1.1 输出滤波电感(Buck)…………………………………………………………………………1068.1.2 Boost 和 Boost/Buck 电感 ……………………………………………………………………1078.1.3 反激变压器…………………………………………………………………………………1088.1.4 耦合滤波电感………………………………………………………………………………1098.2 损耗和温升……………………………………………………………………………………1118.3 磁芯……………………………………………………………………………………………1118.3.1 磁芯气隙……………………………………………………………………………………1118.3.2 散磁引起的损耗……………………… … … ………………………………………………1128.3.3 扩大电感磁通摆幅…………………… … … ………………………………………………1138.3.4 磁芯材料和形状………………………………………………………………………………1148.3.5 决定磁芯尺寸………………………………………………………………………………1148.4 电感计算………………………………………………………………………………………1158.4.1 气隙磁芯电感………………………………………………………………………………1168.4.2 磁粉芯和恒导磁芯电感……………………………………………………………………1168.4.3 利用电感系数 AL计算电感…………………………………………………………………1168.5 电感设计………………………………………………………………………………………1168.5.1 设计步骤……………………………………………………………………………………1168.5.2 举例-Buck 输出滤波电感…………………………………………………………………1188.5.3 反激变压器电感设计………………………………………………………………………120第九章 特殊磁性元件…………………………………………………………………………1299.1 电流互感器……………………………………………………………………………………1299.1.1 交流互感器…………………………………………………………………………………1299.1.2 脉冲直流互感器………………………………………………………………………………1329.2 磁调节器和尖峰抑制器设计…………………………………………………………………1359.2.1 矩形磁芯基本特性……………………………………………………………………………1359.2.2 磁放大器设计…………………………………………………………………………………1369.2.3 噪声抑制磁芯…………………………………………………………………………………138第十章 附录………………………………………………………………………………………14110.1 单位制和转换关系……………………………………………………………………………14110.2 导线数据………………………………………………………………………………………14210.2.1 漆包线规格、绝缘和耐压…………………………………………………………………14210.2.2 英制导线规格及公制转换…………………………………………………………………14310.2.3 电工铜带……………………………………………………………………………………14410.3 铁氧体………………………………………………………………………………………14510.3.1 国产铁氧体材料特性………………………………………………………………………14510.3.2 铁氧体尺寸规格……………………………………………………………………………14510.3.3 国内外铁氧体材料对照……………………………………………………………………15610.4 磁粉芯………………………………………………………………………………………15610.4.1 磁粉芯的主要性能和规格…………………………………………………………………15610.4.2 磁粉芯电感估算……………………………………………………………………………15610.4.3 国内外磁粉芯规格…………………………………………………………………………15710.5 矩形磁滞回线磁芯……………………………………………………………………………15810.5.1 非晶合金……………………………………………………………………………………15810.5.2 噪声抑制器件………………………………………………………………………………15910.5.3 矩形磁滞回线铁氧体磁芯…………………………………………………………………15910.6 绝缘 …………………………………………………………………………………………15910.6.1 线圈端部处理 -留边距离 Z、端空距离 d………………………………………………16010.6.2 内层绝缘(线圈骨架到磁芯)、绕组间绝缘 ………………………………………………16010.6.3 线圈的裹覆、端封和灌注方式的选择……………………………………………………16110.6.4 出头绝缘距离………………………………………………………………………………16110.6.5 工艺…………………………………………………………………………………………16110.7 磁性元件相关标准……………………………………………………………………………16210.7.1 国家标准……………………………………………………………………………………16210.7.2 部分国际标准………………………………………………………………………………164
    2020-12-10下载
    积分:1
  • 基于模糊控制的路径规划算法的仿真实现---Matlab序.rar
    与 本人博客中的课程论文《基于模糊控制的路径规划算法的仿真实现》相配套,可以相互参阅
    2020-12-06下载
    积分:1
  • 根据不同的窗函数产生不同的非线性调频信号的matlab
    根据不同的窗函数编制matlab程序产生不同的非线性调频信号
    2020-11-28下载
    积分:1
  • 英语语法大全(上).pdf
    前部英语语法、后部英语句法,八类词综合的研究。
    2020-12-07下载
    积分:1
  • 非线性方组求解matlab
    mulStablePoint 用不动点迭代法求非线性方程组的一个根mulNewton 用牛顿法法求非线性方程组的一个根mulDiscNewton 用离散牛顿法法求非线性方程组的一个根mulMix 用牛顿-雅可比迭代法求非线性方程组的一个根mulNewtonSOR 用牛顿-SOR迭代法求非线性方程组的一个根mulDNewton 用牛顿下山法求非线性方程组的一个根mulGXF1 用两点割线法的第一种形式求非线性方程组的一个根mulGXF2 用两点割线法的第二种形式求非线性方程组的一个根mulVNewton 用拟牛顿法求非线性方程组的一
    2020-12-06下载
    积分:1
  • 多重分形文章与代码
    文献fractal analysis and multifractal spectra for the images 及其代码文献,基于多重分形频谱分析的图像边缘检测_王耀南及其代码
    2020-12-11下载
    积分:1
  • 696516资源总数
  • 106914会员总数
  • 0今日下载