关于使用Polyspace辅助医疗器械获得IEC62304认证的文章

曾经在公众号里不只一次给大家推荐过这个工具和使用方法，通过一张图可以全面了解Polyspace都能帮你做什么，是不是很强大，目前最新的版本是2016a，有兴趣的可以下载试...

使用PolySpace进行代码检测的方法比较基础，其实这个工具也可以用于模型的检测。道理也很容易讲得通，既然可以进行模型的代码生成，那么肯定也就可以对生成的代码进行检测。        先进性代码生成，然后把代码拷贝出来，最后进行代码的分析。这是我以前的做法，倒是也没有太大的问题。不过，后来发现其实还可以更简单一点，那就是利用产品之间已经提供的接口。        比如有如下的模型：

今天终于完成安装Matlab2017b，很高兴打开软件，虽然2017b优化了实时编辑器，函数参数提醒等很多实用功能，但是初始化速度真的是等了我4-5分钟；最后找到解决办法，原因在于软件查找授权文件时间太长，所以解决自然是快速定位license文件： 现象如下： 下面是具体解决方法： 1.找到你注册的时候的License文件的绝对路径，比如我的： 点击地址栏：复制地址：D:\R2017b_wi

Polyspace使用说明：新建工程到测试代码，还有常见问题。

运行完毕后，双击“BF_Result[completed]”后在弹出的报告详细界面点Reporting>Run Report >bugfinder，在Output folder中选择报告的保存路径，Output format中选择生成的报告的保存格式，点击Run Report生成报告，然后在所选择的路径下生成对应的报告。点击“Browse”，选择包含所有C文件和H文件夹所在的路径,再点击Add Include Folders，设置头文件目录，点击“Finish”按钮，完成工程创建。

这一步需要添加.c文件中所需头文件的路径，没有头文件可以不添加，点击browse选择所有头文件所在的include文件夹，然后点击add include folders，将路径添加进工程中，然后点击finish；点击next，然后点击project source files，点击browse选择待测的.c文件，然后点击add source folders，将待测文件添加进工程，然后点击next；Polyspace可通过MATLAB安装，若仅使用Polyspace功能，在安装时可以只勾选相关选项。

0前言 PolySpace测试技术始于1996年，当时欧洲亚丽安娜501火箭由于飞行计算机软件运行错误而导致主/辅计算机全部停机并在飞行升空后爆炸，为此，法国国家计算机与控制研究所、欧洲航天局组织专门的力量研制以抽象解释技术（Abstract Interpretation techniques）为理论基础的新一代软件验证/测试工具—PolySpace，并在亚丽安娜502上得到成功的应用。1999年...

灰色优选模型及算法MATLAB代码

black box -> machine learning不需要标签，根据内在特征进行聚类等相似操作；这就是ML所擅长的，从数据中找出特征进而得到label；序列行为实现最优的回报；可以将policy使用深度神经网络这也是DRL的由来；RL算法的作用就是基于观测，奖励等去优化策略，以采取最优动作进而获得最大回报；所以，RL就是一个优化问题：与其他优化问题区分开来：关键点：评估状态价值，将能够使得智能体获得更高回报，而不是只是关注即时奖励；如果不能够评估状态价值，很有可能导致Agent陷入利用（贪婪）的状态，

本文介绍了一种基于联邦卡尔曼滤波(FKF)的多传感器融合导航系统MATLAB实现。该系统采用主-子滤波器架构，包含IMU+GNSS和IMU+里程计两个子滤波器，通过信息加权融合实现高精度二维状态估计。程序模拟8字形运动轨迹，支持不同传感器更新频率和噪声建模，具有容错性强、计算效率高等特点。仿真结果显示，该方法能有效融合多源传感器数据，显著降低位置和速度误差（误差标准差控制在0.5m和0.2m/s以内）。代码结构清晰，包含轨迹生成、传感器模拟、滤波算法实现及结果分析模块，适用于导航定位算法的研究与开发。

使用GCC C++代码，整合了MATIO库、Eigen矩阵计算、多线程处理及日志系统，支持解析M代码中的矩阵运算并输出多种格式结果： 代码说明 核心功能实现：日志与异常处理：扩展性设计：使用方法：