指定行为的约束
确定的数值行为新定点实现是可以接受的,公差定义约束通过设置信号,通过使用一个或多个模型验证块,或两者兼而有之。
在优化定点转换工作流的定点工具,或者在使用fxpopt在命令行上,您必须指定至少一个行为约束。数据类型进行优化,使之满足所有指定的约束。
在迭代定点转换工作流的定点工具,或者在使用DataTypeWorkflow.Converter在命令行上,您可以指定行为的约束来验证数值模型的行为与嵌入的类型。模拟与嵌入的类型后,工作流的浏览器表明嵌入式运行是否符合指定的信号相比,公差范围收集运行。有关更多信息,请参见验证新设置。
指定信号公差
您可以指定公差的信号模型中信号启用日志记录。使信号记录:
在仿真软件万博1manbetx®编辑器中,选择一个或多个信号。
在信号模型编辑器的选项卡,单万博1manbetx击测井信号。
在定点工具,指定单个信号下公差表中信号公差。表包含所有信号与信号模型中启用日志记录。如果你日志额外信号打开定点工具后,点击刷新信号更新信号公差表。在命令行中,指定使用的公差addTolerance方法。
您可以指定下列类型的公差:
Abs托尔的绝对值最大可接受的区别原始信号和信号转换的设计。
Rel托尔——最大相对偏差,指定为一个百分比,原始信号和信号之间的转换设计。例如,值
1)依照显示最大相对偏差为百分之一。托尔时间(秒)——时间间隔,最大和最小值定义上下值比较。
您可以定义一个公差带使用绝对的任意组合,相对的,和时间的公差值。当你为你的信号使用多个指定公差类型的公差,整体公差带计算通过选择最宽松的公差的结果为每个数据点。公差是如何计算的更多信息,请参阅公差计算。
使用模型验证块
您可以使用启用模型验证块指定约束系统的行为。数据类型优化的例子使用模式验证块,明白了优化数据类型使用多个仿真场景和图像去噪使用定点量化限制玻耳兹曼机算法。
