Lauderdale等人2016年GBC中的Matlab集成C代码CO2通量诊断程序

Jorge F. Mejias，John D. Murray，Henry Kennedy和Wang Xiao-Jing在Matlab，Python和NeuroML2 / LEMS中实现了2016年的AR模型，描述了灵长类皮质大型层流网络中前馈和反馈频率相关的相互作用。他们的模型跨越多个尺度，模拟了皮层内部、层间、区域间和整个皮质的动力学特性。作者指出，尽管前馈通路与伽马振荡（30-70 Hz）相关，但反馈通路却受alpha /低β振荡（8-15 Hz）的调制。他们正在开源大脑上的整个皮质模型视图，目前已实现了层内和层间级别的动力学模型。该存储库包含Jorge Mejias开发的原始模型实现。

现在，CO2SYS版本3为MATLAB和GNU Octave提供了计算海洋CO2系统变量的能力，并能有效传播不确定性。该版本支持碳酸根离子、碳酸氢根、溶解CO2、铵和硫化氢的输入。用户可以选择KSO4常数、KF常数（包括Perez和Fraga（1987）的更新）以及总硼分为三种不同的选项。此版本还包括更新的偏导数计算和误差传播例程，以确保计算准确性和一致性。更多功能和变更内容详见README文件。

该存储库展示了使用视频动作识别的时间表示方法，通过集成C代码在MATLAB中实现。方法利用预训练的大规模图像数据网络进行特征提取，并结合金字塔池时间序列来捕获短期和长期特征。此外，还提出了一种简单的视频级表示方法，通过时间分割解决了长视频的信息丢失问题。实验结果表明，该方法在第一人称和第三人称动作识别中表现出良好的性能。

Metaphor是一个功能强大的C++库，适用于数值计算、机器学习和计算机视觉。该库的核心模块提供了线代、数值计算和非线性优化工具。其他模块正在积极开发，未来可能添加至仓库中。 Metaphor核模块提供大量线代和统计工具，并基于灵活的矩阵和向量对象构建。功能包括： 轻量级通用矩阵和向量视图类：视图对象可引用现有数据的任意行和列跨度，支持任何数据类型。 多种数据操作，如子视图复制、重新排序和抽取。 矩阵和向量可保存和打印为多种格式，包括MATLAB文本格式。 浮点、双精度和复数类型的线代运算：一整套经过优化的标准BLAS操作，支持BLAS 1、2和3。 低级优化矩阵块数学函数可用于矢量和矩阵视图类型。 数学运算包括数据排序、转换、统计和归约运算。 矩阵和向量存储对象与视图对象紧密结合，为常见线代运算提供大量成员函数。 共享内存指针可避免数据复制。

在Matlab环境下整合C代码是一项挑战性工作，需要精心设计和优化。将C代码与Matlab无缝结合，可以显著提升计算效率和灵活性。

Matlab集成的C代码VCP库，关于没有计算机环境，无法完成偏微分方程（PDE）解的计算机辅助存在证明的实现。然而，需要各种技术来估计在所有计算中出现的误差。关于PDE解的存在的计算机辅助证明需要数值精度和合理的计算时间。为此，引入了PDE验证计算（VCP）库作为用于PDE解决方案的计算机辅助存在证明的软件库。VCP库是由第一作者使用C++编程语言开发的。VCP库的矩阵类的一个功能是可以与基于策略的设计集成，例如，采用英特尔:registered:MKL的双数据类型进行高速近似计算，结合使用MPFR的高精度近似计算。此外，由于VCP库具有可扩展性，因此可以承受PDE的计算机辅助证明。VCP库包括矩阵类、牛顿法课程、Legendre基类（用于椭圆形PDE）、傅里叶级数类（用于延迟ODE）、Gauss-Legendre方法和隐式Runge-Kutta方法（用于ODE和抛物线PDE）。我们要求在VCP库中使用的库包括多精度浮点数库，这是用C++编程语言编写的具有保证精度的数值验证库。

MATLAB代码用于进行数据驱动的游戏项目。请注意，此存储库是从另一个远程存储库中分支出来的，并附带的源代码版本。播放数据：在计算机游戏中实现地面真实性，由斯蒂芬·里希特（Stephan Richter）、Vibhav Vineet、斯特凡·罗斯（Stefan Roth）和弗拉德·科尔顿（Vladlen Koltun）于ECCV 2016年提出。通过git clone --recursive https://bitbucket.org/visinf/projects-2016-playing-for-data ./playing-for-data进行克隆。该代码在MIT许可下发布，详细内容和第三方库的确认，请参阅LICENSE.md。要求：CMake用于构建OpenEXR和zlib，Visual Studio用于编译renderdoc，已在VS 2013上进行了测试，Python也已通过。A

Hartoyo等人（2020年）使用Matlab实现了一种方法，用于将神经人群模型拟合到EEG谱图中。阿尔法阻滞是人类脑电图信号的显著特征之一，其在视觉、听觉、触觉或认知刺激下会减弱。研究表明，通过对82位受试者的EEG光谱进行分析，发现睁眼状态下阿尔法节律的降低。作者通过简化的生理机制解释了这种现象，强调了抑制性皮层人群的强直传入信号对阿尔法阻滞变化的主导作用。研究结果揭示了这种参数调节如何跨不同主题展示出差异，且这种差异随阿尔法节律降低而增加，而其他参数变化微弱。

2018年[WAFR 2018，共同第一作者]，我成功地将信号时态逻辑（STL）与Hamilton-Jacobi可达性（HJ-Reachability）相结合，以提高机器人的安全性和时变目标实现能力。在攻读硕士学位期间，我专注于此项目的研发，并在2018年机器人技术基础研讨会上发表。最近，我开发了一个更为平稳稳定的MPC控制器，取代了传统的bang-bang控制器。想了解更多关于新旧控制器性能对比的信息，请访问{链接}。在AA203最佳控制入门课程中，我应用非线性轨迹优化技术，成功启动了斯堪的纳维亚轻型动力系统的非线性轨迹模型。