文档帮助中心文档

模型验证

块自验证模型，如检查输入分辨率

块

断言	检查信号是否为零
检查动态差距	检查可能变化宽度的间隙出现在信号的幅度范围
检查动态范围	检查信号是否在随着时间的推移而变化的幅度范围内
检查静态差距	检查信号的振幅范围是否存在间隙
检查静态范围	检查信号是否在固定的振幅范围内
检查离散梯度	检查离散信号的连续采样之间的差值的绝对值小于规定值
检查动态下界	检查一个信号总是小于另一个信号
检查动态上界	检查一个信号总是大于另一个信号
检查输入的决议	检查输入信号是否具有指定的分辨率
检查静态下界	检查信号是否大于(或可选等于)静态下界
检查静态上界	检查该信号小于(或可选等于)静态上界

金宝app仿真软件文档

金宝app

基于模型的嵌入式控制系统设计

下载白皮书