- 博客(14)
- 资源 (3)
- 收藏
- 关注
RSS订阅原创 The file is not a valid MATLAB Runtime installer for this version of MATLAB
R2022bUpdate3的MATLAB必须使用R2022bUpdate3的runtime.MATLAB公司现在的云端资源这样配置可以，不一定以后还可以。其实runtime下载到到任意版的。这是因为你的MATLAB和runtime版本不一致。只要把对应的update8改为需要的版本就可以。这样是不是都只能升级到大版本的最高的小版本。MATLAB公司的官方做法是升级到同一版本。MATLAB在线升级容易失败，你懂的问题。runtime只能下载到最新的。大版本和小版本都要完全一致。下载后，按照安装，配置即可。
2024-03-03 15:17:23
1698
原创 数组越界怎么办，如何查？
越界意味着访问的位置超过了定义好的大小。在数组的操作方面，C/C++也保持了这样的作风，也就是不对访问数组的索引值进行检查，而是把这个工作交给了程序员，这样可以大幅度提高数组的效率。首先polyspace会报告这个问题，并指出数组的大小，合法的索引范围以及当前问题发生时，索隐变量的值。正是因为索引越界的问题交给了程序员，而编译器并不做这方面的检查，所谓有得必有失，或许就是这个意思，这就导致数组越界的问题在C/C++中频繁发生。报告不仅报告了问题，还报告期望的索引值，实际给入的索引值，甚至风险和修复的建议。
2024-01-16 18:47:05
2473
原创 ubuntu18.04更新binutils 工具
ubuntu18.04现在已经不在维护更新了。所以使用apt update不能更新软件了。我的ld版本报告了链接错了。
2023-11-21 22:14:06
892
1
转载 Jenkins Pipeline触发机制
置好了功能强大的流水线后，接下来我们要做的就是去执行流水线，如果都靠手动去触发流水线，显然不符合带着自动化基因新一代工程师的风格，必须自动触发。那么Jenkins的Pipeline支持哪些触发机制呢。一起来看一下。作者：潘晓华Michael链接：https://www.jianshu.com/p/7dc91bfffbb1来源：简书著作权归作者所有。商业转载请联系作者获得授权，非商业转载请注明出处。
2023-02-09 18:39:26
534
原创 特斯拉召回超43万辆电动车，我们如何避免软件问题的召回？
我相信该汽车的代码肯定是经过充分测试的，但是，最基础的初始化问题仍然存在，说明验证正确是最基础的，他并不能说明代码中没有问题。Polyspace bug finder提供了自动化了自动化的检查，并提供了准确的问题位置、详细的问题说明，风险和甚至修复的建议，还有问题发生的路径。
2022-12-02 15:38:58
988
原创 在MATLAB中，通过注册表配置编译器
在MATLAB中，通过注册表配置编译器@TOC欢迎使用Markdown编辑器你好！ 这是你第一次使用 Markdown编辑器 所展示的欢迎页。如果你想学习如何使用Markdown编辑器, 可以仔细阅读这篇文章，了解一下Markdown的基本语法知识。提示：文章写完后，目录可以自动生成，如何生成可参考右边的帮助文档文章目录欢迎使用Markdown编辑器前言一、什么情况下需要配置编译器？二、配置的方式1.mex -setup2.mexopts 文件配置3.注册表前言在使用MATLAB/Simu
2021-07-19 16:25:16
1441
1
转载 关于使用Polyspace辅助医疗器械获得IEC62304认证的文章
转载来自MATLAB公司关于使用Polyspace辅助医疗器械获得IEC62304认证的文章https://mp.weixin.qq.com/s/rBEQGp_xGDCedGP_7jj2qw
2020-05-28 14:07:39
284
原创 failed to connect to repository status code 128的解决方法
目录主要参考为什么会有这个问题生成公钥私钥配置公钥到git中在jenkins中添加ssh的通信证记得在jenkins中的URL填写clone with ssh的地址主要参考https://blog.youkuaiyun.com/lqlqlq007/article/details/78983879为什么会有这个问题原来的东西好好的，但是重新安装了一下git就有这个问题了。应该是git之前保存的通行证被删除了，导致无法访问。不明所以，居然从http改用了ssh协议。生成公钥私钥参考文献中的生成方法https:
2020-05-28 14:01:02
1513
原创 Polyspace的模块介绍
Polyspace由Bug Finder和Code Prover组成。Bug Finder使用语义分析的方法查找代码中的运行时错误、并发问题、安全漏洞和其他缺陷。Polyspace Code Prover使用抽象解释法证明源代码中不存在溢出、被零除、数组访问越界等运行时错误。此外，Polyspace还有Server版本，分别是Polyspace Bug FinderServer和Polysp...
2019-08-01 11:30:33
4485
转载 为什么要基于模型设计？
原创：董淑成链接：https://mp.weixin.qq.com/s/_A2wNucM6RrEGT9i_mMvXg嵌入式软件开发为什么要使用基于模型的设计？对这个问题，最不希望听到的回答是：因为GM在使用基于模型设计，因为BMW在使用基于模型设计，所以我们也要使用基于模型设计...,好吧，或许他们可以作为借鉴，但是，我们是否认真想过：基于模型的设计能给我的开发带来什么样的好处？...
2019-07-30 17:35:21
810
55971_ESC-360Paper_TMW_FDA.pdf
2019-11-13
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人