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

【实例简介】OFDM系统频域均衡技术研究

DarkComet 5.3.1 汉化版5.3.1 是最终版 相信国内很多爱好者 都喜欢这款远控 功能强大

【实例简介】本程序用matlab编写的BFGS算法，求函数的极小值问题

在数字通信的教学和设计中，传统的方法主要是手工分析与电路板试验。通信系统中所有变量相互之间是非线性的关系，大部分是较为繁琐的数字理论，容易使学生感到乏味和难以接受。所以采用MATLAB语言及SIMULINK仿真环境作为工具，制作出了一个数字调制演示系统GUI设计方案。开发的演示系统设计简单、结构一致，具有可视化、开放性、可扩展性、易于学习和维护等优点。演示系统主要演示二进制振幅键控、移频键控和移相键控数字通信系统.在Simulink模块库中选取合适的数字通信仿真模块组成上述系统。在GUI图形用户界面，按下一个按纽可以打开系统的Simulink模型图，编辑对话框可以修改系统的相应参数，按下另一

粒子群算法 约束多目标 优化 matlab代码

光伏发电系统MPPT仿真建模模型，有同型号的多种讲解。这个是扰动观察法的。

《计算机视觉中的多视图几何》匹配源代码,matlab中关于三维重建的源代码

计算机二级Msoffice往年真题

SQL语句生成器的特色支持几乎所有类型的数据库，包括小型（桌面）数据库：Fox DBF、Microsoft Execl、Text、Borland Paradox、中型数据库：Microsoft Access大型数据库：Microsoft SQL Server、Sybase、Oracle数据库的连接采取ADO方式故而使用本工具，无需安装和卸载 支持几乎所有的SQL语法：排序(Order By)条件(Where)分组(Group By)分组条件(Having)计算字段SQL查询表SQL查询子句丰富的函数表别名字段别名(包括计算字段和非计算字段)联合(Union

基于Matlab软件的航天器控制工具箱Spacecraft Control Toolbox 是Princeton Satellite System公司（简称PSS）最早和应用最广的产品之一，有20多年的历史，被广泛用来设计控制系统、进行姿态估计、分析位置保持精度、制定燃料预算以及分析航天器动力学特性等工作。Spacecraft Control Toolbox工具箱经过多次飞行验证，证明是行之有效的。这个工具箱涵盖了航天器控制设计的各个方面。用户可以在很短的时间内完成各种类型航天器控制系统的设计和仿真试验。软件的模型和数据易于修改，具有良好的可视化功能。大部分算法都可以看到源代码。附件中为源代