文件帮助中心文件
在Simulink和StateFlow元素上指定金宝app输入范围
描述分析如何处理Simulink上的最小值和最大值金宝app®和州流®元素。
最小和最大输入约束
如何概述金宝appSimulink Design Verifier™分析考虑指定的输入最小值和最大值。
SLDVdata字段中输入范围的规范
描述了这一点sldvdata.最小和最大输入值的字段。
sldvdata.
在测试生成和属性证明期间,使用输入端口最小值和最大值作为Simulink设计验证程序的分析约束。金宝app
您单击了与此MATLAB命令对应的链接:
在MATLAB命令窗口中输入它来运行命令。Web浏览器不支持MATLAB命令。金宝app
选择一个网站,以便在可用的地方进行翻译的内容,并查看本地活动和优惠。根据您的位置,我们建议您选择:。
您还可以从以下列表中选择一个网站:
选择中国网站(以中文或英文)以获取最佳网站性能。其他MathWorks国家网站未优化您的位置。
联系您当地的办公室