主要内容

模型验证

块用于自验证模型,如检查输入分辨率

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