-
形式化建模验证SMV模型检验器.rar
【实例简介】使用UML等建模工具建立模型,再将模型转换为形式的语句,编写SMV程序,输入SMV模型检验器进行验证。用于实现形式化方法模型检验
- 2021-12-08 00:35:00下载
- 积分:1
-
乐优商城前端
乐优商城门户网站,门户系统面向的是用户,安全性很重要,而且搜索引擎对于单页应用并不友好。因此门户系统不再采用与后台系统类似的SPA(单页应用)。依然是前后端分离,不过前端的页面会使用独立的html,在每个页面中使用vue来做页面渲染。
- 2020-12-04下载
- 积分:1
-
PLECS code电流单闭环控制实现模型仿真
c code 控制buck电流单闭环,扫频实现,验证模型的正确性……**************
- 2020-12-09下载
- 积分:1
-
数字图像处理 中值滤波 均值滤波 C++ opencv
数字图像处理,用C++语言,自己编写了中值滤波器以及均值滤波器,并和opencv自带函数对比,可直接运行。
- 2021-05-07下载
- 积分:1
-
单纯形法寻优
单纯形法寻优,通过修改被控对象参数,利用单纯形法获取最优PID控制器参数
- 2020-12-09下载
- 积分:1
-
基于ADAMS的仿生六足机器人运动仿真
使用Adams软件对机器人进行仿真,通过仿真得到了整个机构的重心运动轨迹
- 2021-05-06下载
- 积分:1
-
电力电子系统建模及控制
《电力电子系统建模及控制》可作为电力电子与电力传动专业及相关专业的研究生教材,也可作为从事电力电子装置、变频器、电子电源等开发、设计工程技术人员的参考书。本书重点介绍电力电子系统的动态模型的建立方法和控制系统的设计方法。电力电子系统的建模与控制技术涉及功率变换技术、电工电子技术、自动控制理论等,是一门多学科交叉的应用性技术。本书内容包括:电力电子系统建模方法如状态空间平均、平均开关网络模型和统五邕路模型等,电流蜂值控制的稳定性问题及改进稳定性的方法,DC/DC变换器反馈控制设计,三相PWM整流器动态模型和三相PWM逆变器的动态模型,三相PWM变流器的解耦控制,三相PWM变流器的
- 2021-05-07下载
- 积分:1
-
java网络斗地主
该项目是java开发了一个网络流行的网络斗地主实例,对学习java网络编程非常有帮助
- 2020-12-11下载
- 积分:1
-
基于粒子群算法的机组组合计算
提出了一种基于改进离散粒子群优化算法求解机组组合问题的新方法.首先采用新的策略生成粒子,以保证所有生成的粒子均为满足基本约束条件的可行解,使整个算法只在可行解区域进行优化搜索;然后引入优化窗口的概念和启发式的规则以缩短计算时间和提高优化精度.仿真结果表明所提出的算法具有解的质量高、收敛速度快的特点,充分证明了它能很好地解决机组组合问题。
- 2020-11-27下载
- 积分:1
-
openvr for double
openvr for double,对于openvr的修改,支持向本机发送数据,详情见作者博客
- 2020-12-04下载
- 积分:1