马特·罗兹

最后出现时间:4天前|2012年开始活跃

所有

回答
在将Polyspace链接到matlab时遇到的问题。
你好Alka，在R2018b和之前，你需要安装MATLAB并行计算工具箱并获得许可才能运行分析…

5个月前| 0

解决了

字距-求和
让我们假设一个单词的距离可以通过它的字母之间的差的总和来计算，并分配了…

一年前

解决了

哈希

一年前

回答
用C-model替换代码验证程序集
你好，斯坦因-有几个选择。你使用哪一个取决于代码如何构建和链接，以及是否…

4年前|

回答
HI，是否可以在Polyspace中导入Excel文件中的注释?
你好Tatchou-这是目前不可能的。我们已经尝试提供一个接口来添加评论，状态和服务器…

5年前|

回答
Polyspace(R2014a)报告中的绿色代码
嗨，Dinesh-绿色是最有价值的颜色提供的代码证明。在Polyspace着色范例中，绿色检查是…

5年前|

回答
在Polyspace工具中是否有一个解决方案来避免再次出现合理的检查?
Hi Ali-有了代码验证器和Bug查找器，当你证明一个发现时，证明是有效的是非常重要的…

5年前|

回答
在Polyspace Code中，在配置DRS时，即使用户自定义函数的参数初始化为“Init Range”，在验证时也不起作用
嗨Jyothi-有*2个不同的冲突配置设置*发生在这里:# DRS配置，也被称为…

5年前|

解决了

MATLAB漫游指南
如果输入的是生命、宇宙和一切的答案，则输出逻辑上的“真”。否则，输出逻辑“false”。

十年前

解决了

乘以2 -从这里开始
先试试这个测试问题。给定变量x作为输入，将其乘以2，然后将结果输入y。

十年前

评论者