AROC:基于可达性分析的控制器综合工具箱
AROC(自动到达集最佳控制)工具箱利用可达性分析技术,为非线性系统自动构建具备形式化验证的控制器,以解决可达性规避问题。该工具箱适用于具有干扰和输入约束的广泛非线性系统。
Matlab
11
2024-05-25
基于噪声数据的数据驱动可达性分析MATLAB代码资源下载
这个repo包含了我们两篇论文的MATLAB代码:1- Amr Alanwar、Anne Koch、Frank Allgower、Karl Johansson 提出的基于矩阵zonotope的数据驱动可达性分析,发表于第三届年度动态和控制学习会议;2- Amr Alanwar、Anne Koch、Frank Allgower、Karl Johansson 提交给IEEE Transactions on Automatic Control 的基于噪声数据的数据驱动可达性分析。考虑到系统模型未知,我们专注于从噪声数据进行可达性分析,这是先进可达性分析方法的重要应用。我们引入了矩阵zonotope和
Matlab
9
2024-08-28
MATLAB工具箱分析非线性系统的可控性和可达性
这个MATLAB工具包包含了经过严格测试的算法和源码,特别适用于毕业设计和课程设计作业。技术方面的问题随时欢迎与作者交流。
Matlab
11
2024-07-21
关系运算的独立性关系数据库PPT
关系数据库的关系运算,最绕人的其实是那个“除法”和“连接”。这份叫《关系运算的独立性》的 PPT 资源,讲得还挺清楚的,尤其是自然连接和条件连接的对比,挺适合复习用的。自然连接的自动属性匹配,配上条件连接的显式控制,两个搭一起看效果最好。你看完就知道,原来写 SQL 的时候不总是得手动加那么多WHERE条件。里面对关系除法也下了点功夫,配上几个链接里的示例,思路就比较清晰了。像这个关系除法和运算示例,对照来看更明白。哦对了,PPT 不是长,十几页的样子,重点都在讲“独立性”和运算的相互作用。你要是准备考试或者要跟同事讲 SQL 优化,这份可以直接用。如果你对SQL 连接优化、自然连接分解这些也
SQLServer
0
2025-06-16
上海交通大学MATLAB图像处理习题课
上海交大的数字图像习题课,方向忠老师主讲,内容挺硬核,但讲得清楚。重点是用 MATLAB 做图像,像图像读取、滤波、压缩这些都讲了。dct2和dctmtx两种 DCT 方法讲得蛮细,还带你搞懂怎么分块、变换、再拼回来。如果你用 MATLAB 做图像压缩,挺推荐看一看。
MATLAB 的图像工具箱是真的方便,直接用dct2可以整张图,效率高;要更灵活点就用dctmtx生成变换矩阵,适合 8x8、16x16 的小块。像做 JPEG 压缩的流程:先分块,再变换、量化、编码,还原图像,在课上都能看到完整演示。
OpenCV也有提到,性能比 MATLAB 强,适合做大图像数据集,但代码偏复杂。初学者的话
Matlab
0
2025-06-17
脂肪族醛酮的定量构效关系研究(2010年)
本研究通过分析脂肪族醛酮的分子结构特征及其沸点(BP)、摩尔折射率(MR)与拓扑结构参数间的关系,应用键连接矩阵特征根(SX1Q-I,SX1cc)、立体效应指数(SUij)等参数,利用多元线性回归(MLR)方法建立了88种醛酮化合物的定量构效关系(QSPR)模型。回归方程的相关系数均大于0.99,准确解释了各参数对化合物性质的影响。统计分析结果验证了模型的适用性。
统计分析
13
2024-09-14
Access 2010实体集关系建模教程
一对一关系的,在数据库教学里属于那种“看着简单,用着容易踩坑”的类型。Access2010 基础教程这篇文章挺适合刚接触实体关系建模的朋友,内容清楚,案例也实在——比如校长和学校那一对关系,说白了,就是你中有我、我中只有你,蛮形象的。文章从1:1 联系讲起,结合实体集的基本概念,慢慢带你过一遍“谁和谁能搭配”“搭配完数据怎么”。嗯,讲得不花哨,但重点到位。尤其适合用Access2010做练习的场景,你就跟着它操作一遍,快就有感觉了。还有,文章后面列了几个相关资料链接,比如一对多建模、E-R 图转换技巧之类的,建议一起看看,补补脑图,理解更全面。如果你正好在用 Access 建数据库,这篇教程可
Access
0
2025-06-18
城市房价模型的分析与预测
分析影响城市房价的主要因素,并建立数学模型以预测未来的房价走势。通过网络资源的查找和数据分析,我们确定了建安成本、市场供求变化、土地成本、税费以及居民人均收入等因素对房价影响的主导作用。我们采用蛛网模型的思想来建立房价模型,该模型能有效地描述长周期内供给与需求的互动关系。此外,我们根据历年房价数据进行了深入分析,并提出了预测未来房价走势的方法和建议。
数据挖掘
14
2024-10-20
因果关系研究数据
投资电子邮件随机化试验(RCT)的数据集,用于因果关系研究。
统计分析
11
2024-04-30