指定行为的约束

要确定一个新的定点实现的数值行为是否可以接受,可以通过设置信号容差、使用一个或多个模型验证块或两者都可以来定义约束。

优化定点转换工作流中的定点工具,或在使用时fxpopt在命令行中,必须指定至少一个行为约束。数据类型被优化以满足所有指定的约束。

迭代定点转换工作流中的定点工具,或在使用时DataTypeWorkflow.Converter在命令行中,您可以指定行为约束,以验证具有嵌入类型的模型的数值行为。在对嵌入类型进行模拟后,工作流的浏览器指示嵌入运行与范围采集运行相比是否满足指定的信号容差。有关更多信息,请参见验证新设置

指定信号公差

您可以为模型中启用信号日志记录的信号指定公差。要启用信号记录,

  • 在仿真软件金宝app®编辑器,选择一个或多个信号。

  • 信号选项卡,单击金宝app测井信号

在定点工具中,在下表中指定单个信号公差信号公差。该表包含模型中启用信号日志记录的所有信号。如果在打开定点工具后记录其他信号,请单击刷新信号更新信号公差表格在命令行中,使用addTolerance方法。

您可以指定以下任何一种公差类型:

  • Abs托尔-原信号与转换后的信号之间最大可接受差的绝对值。

  • Rel托尔-原信号与转换后的信号之间的最大相对差,以百分比表示。例如,的值1)依照表示1%的最大相对差异。

  • 托尔时间(秒)- 时间间隔,其中,所述最大值和最小值限定上和下限值进行比较的。

您可以使用绝对、相对和时间公差值的任何组合来定义公差带。当您使用多种类型的公差为您的信号指定公差时,通过为每个数据点选择最宽松的公差结果来计算总体公差带。有关公差如何计算的详细信息,请参见公差计算

使用模型验证块

可以使用enabled模型验证块指定对系统行为的约束。有关使用模型验证块进行数据类型优化的示例,请参见使用多个模拟场景优化数据类型图像降噪采用定点量化受限玻尔兹曼机算法

另请参阅

相关话题