离散控制Matlab代码通过屏障功能进行随机控制和验证 该存储库包含论文“通过障碍函数对随机系统的有限时间安全性进行验证和控制”(CCTA 2019)和“有限函数随机系统验证和控制的障碍函数方法”中的案例研究代码(提交中) ) 作者:塞萨尔·桑托约(Cesar Santoyo) 电子邮件: 如有任何疑问,请通过上述电子邮件给作者发送电子邮件。 所需软件: 的MATLAB SOSTOOLS() SDPT3() 注意:这些案例研究是使用MATLAB 2018构造的。此外,还需要符号工具箱。 可以在没有符号工具箱的情况下执行代码(有关详细信息,请参见SOSTOOLs手册)。 案例研究1: cs1_main.m: 运行该文件将运行用于产生本文结果的算法。 上面提到了所需的工具箱。 您可以单独运行各个依赖项,以便更仔细地查看相应的结果。 此案例研究是针对一维随机动力学的。 案例研究2: cs2_main.m: 运行该文件将运行用于产生本文结果的算法。 上面提到了所需的工具箱。 您可以单独运行各个依赖项,以便更仔细地查看相应的结果。 这些结果是针对二维随机动力学的。 案例3: cs3_main.m
2023-03-07 15:33:59 26KB 系统开源
1
matlab bp神经网络激活函数的代码DeepLearning_BP_5 bp算法lab5音频识别 实验5-手写数字到语音转换器 信息 课程:了解深度神经网络 老师:张艺 学生: ID: 档案文件 lab5.m该实验主要过程的MATLAB代码文件。 fc.m用于前馈计算的MATLAB代码文件。 bc.m用于向后计算的MATLAB代码文件 mnist_small_matlab.mat手写数字数据集的MATLAB数据文件 audio/[0-9].wav数字标准音频的WAVE文件 指示 在fc.m和bc.m实现前向计算和后向计算。 您可以根据程序需要更改界面。 例如,您可能希望传递一个函数句柄以指定激活函数。 该过程与实验4相似。您可以整体或部分输入图像。 目标从数字标签更改为音频波。 而且您现在还没有准确性。 音频波是浮点小数的序列,范围为[-1,1]。 我们已将每个音频剪切为相同的长度(2983)。 音频文件的采样率为4000。 您可以在MATLAB中使用audioread()来读取音频文件。 您可以在MATLAB中使用soundsc()播放音频波。 有关这些功能的更多详细信息,请参见
2023-03-07 14:57:29 10.04MB 系统开源
1
通常的GLPK是用于Linux环境下的,本资源给出了配置后的visual 2010环境下得库函数,方便大家调用。
2023-03-07 14:40:21 531KB GLPK
1
本文实例为大家分享了python基于socket实现端口扫描的具体代码,供大家参考,具体内容如下 自学Python一段时间,写个端口扫描器练练手。有什么不足之处,请见谅 这是基于socket函数对端口进行端口扫描 所以,首先要导入socket模块 from socket import * 其次,通过正侧表达式来判断输入的是不是IP地址 compile_ip = re.compile( '^(1\d{2}|2[0-4]\d|25[0-5]|[1-9]\d|[1-9])\.(1\d{2}|2[0-4]\d|25[0-5]|[1-9]\d|\d)\.(1\d{2}|2[0-4]\d|25
2023-03-07 14:03:26 51KB c oc python
1
STC15系列单片机所有学习资料,包括所有一般应用的代码例程、STC15系列单片机所有学习资料以及STC库函数使用参考和STC15系列单片机器件手册,全部资料,非常全,有问题联系qq:1987626021
1
用于将网格转换为stl格式实体
2023-03-06 22:23:33 4KB matlab
1
在具有一定规模的代码中(C 语言),调用第三方动态库中的函数来完成一些功能,是很常见的工作场景。 假设现在有一项任务:需要在调用某个动态库中的某个函数的之前和之后,做一些额外的处理工作。 这样的需求一般称作:插桩,也就是对于一个指定的目标函数,新建一个包装函数,来完成一些额外的功能,如动态调试等。 本文主要讲解什么是打桩,以及编译阶段打桩、链接阶段打桩、执行阶段打桩三种方式。
2023-03-06 20:00:45 515KB 函数打桩 函数插桩 插桩 打桩
1
解决git _ 无法将“git”项识别为 cmdlet、函数、脚本文件或可运行程序的名称。请检查名称的拼写,如果包括路径,请确保路径正确
2023-03-06 19:07:16 2KB git node
1
查看动态链接库DLL文件接口函数信息.DLL函数查看器V2.0是在1.0版的基础上作了重大的改进,不仅支持查看DLL文件的导出函数和引用函数信息及引用函数来源,也支持所有符合PE文件格式的文件,包括EXE文件、OCX文件等的导出函数和引用函数信息。
2023-03-06 18:06:34 1.51MB 软件行为
1
java 操作 明华RD读卡器 调用Mwic_32.dll函数
2023-03-06 17:05:41 4KB java dll
1