主要内容

范围分析如何运作

测距分析模型分析

你想要分析的模型必须与范围分析兼容。如果您的模型不兼容,则替换不支持的块或划分模型,以便您可以分析兼容的模型的部分。金宝app有关更多信息,请参阅与范围分析的模型兼容性

当您指定时派生的范围作为范围收集模式,固定点设计器™软件对模型进行静态范围分析,以导出模型中信号的最小和最大范围值。该软件分析了模型行为,并计算每个块出口模拟期间可能发生的值。这些值的范围称为a衍生的范围

该软件基于以下方式静态分析模型中各个计算的范围:

  • 指定的设计范围,已知为设计最小和最大值例如,指定的最小值和最大值为:

  • 输入

  • 块中每个计算的语义

如果模型包含分析无法支持的对象,则在可能的情况下,软件使用金宝app自动停线

范围分析试图通过使用模型中的所有指定设计范围来缩小导出的范围。您指定的设计范围信息越多,范围分析的可能性就越有可能。随着软件执行分析,它会导出模型的新范围信息。然后,软件尝试将此新信息与指定的范围一起使用,以导出模型中剩余对象的范围。

对于包含浮点操作的模型,范围分析可能会报告略大于预期的范围。这种差异是由于舍入错误。该软件近似于具有无限精度的Rational Numbers的浮点数进行分析,然后转换为浮点数以进行报告。

下表总结了分析如何导出范围信息并提供与示例的链接。

什么时候... 分析方式如何运作 例子

您可以为块输出指定设计最小和最大数据。

块输出处的派生范围基于这些指定的值,并且在以下值的下列值上连接到其输入和输出:

  • 指定的最小值和最大值

  • 导出的最小值和最大值

只有块输出信号参与导出范围分析。如果块具有额外的数据类型控件,例如累加器或中间结果,则不会派生这些元素的范围。

使用设计范围导出范围

块上的参数具有初始条件和设计范围。

通过采用设计范围和初始条件的联合来分析考虑因素。

使用块初始条件导出范围

该模型包含具有指定范围的参数,参数存储类设置为汽车

分析不考虑参数指定的范围。相反,它使用参数值。

Simulink.Parameter金宝app对象的派生范围

该模型包含具有指定范围的参数,并且不会将参数存储类设置为自动。

分析考虑了为参数指定的范围并忽略该值。

Simulink.Parameter金宝app对象的派生范围

该模型包含不足的设计范围信息。

分析无法确定派生范围。指定更多的设计范围信息并重新运行分析。

系统对象的疑难解答分析

范围分析结果可能取决于块排序顺序,该顺序确定软件分析块的顺序。有关更多信息,请参阅控制和显示执行顺序

该模型包含相互冲突的设计范围信息。

分析无法确定对象的派生最小值或导出的最大值。固定点工具会产生错误。要解决此错误,请检查模型中指定的设计范围以识别不一致的设计规范。修改它们以使它们保持一致。

修复设计范围冲突

自动停线

什么是自动存根?

自动存根是当软件仅考虑模型中不受支持对象的接口时,而不是它们的实际行为。金宝app自动存根允许您分析一个模型,该模型包含固定点设计者软件不支持的对象。金宝app但是,如果任何不受支持的模型元素会影金宝app响导出结果,则分析可能仅实现部分结果。

如何自动损坏工作

通过自动破坏,当范围分析到不受支持的块时,软件忽略了该块的(“存根”)。金宝app分析忽略了块的行为。结果,块输出可以采用任何值。

软件无法“存根”所有Simulink块,例如金宝app积分商堵塞。看到标有“不滞纳布”的块金宝app支持范围分析的Simu金宝applink块

与范围分析的模型兼容性

要验证您的模型是否与范围分析兼容,请参阅:

如何派生范围

  1. 验证您的模型是否与范围分析兼容。

  2. 在Si金宝appmulink中,打开模型并将其设置为固定点工具。有关更多信息,请参阅设置模型

  3. 来自Simulin金宝appk.应用选项卡,选择固定点工具

  4. 在固定点工具中新的,选择迭代定点转换工作流程。

  5. 在下面设计下的系统(sud),选择兴趣的系统或子系统。

  6. 在下面范围收集模式, 选择派生的范围作为范围收集的方法。这配置了使用理想化浮点数据类型收集范围的模型。

    默认情况下,该工具使用Design信息从系统中的设计信息收集范围。有关更多信息,请参阅在子系统级别获得范围

  7. 点击准备要使固定点工具检查设计下的系统是否与转换过程兼容,并报告模型中发现的任何问题。

    固定点工具:

    • 检查模型针对固定点指南。

    • 识别不受支持的块。金宝app

    • 识别需要设计范围信息的块。

  8. 点击收集范围按钮运行分析。

    分析试图在设计下所选系统中的对象的范围信息。您的后续步骤取决于分析结果。

    分析结果 定点工具行为 下一步 想要查询更多的信息

    成功派生模型的范围数据。

    显示所选系统中块的派生最小值和最大值。

    查看派生范围以确定结果是否适合提出数据类型。如果没有,则必须指定其他设计信息并重新运行分析。

    使用设计范围导出范围

    失败,因为模型包含软件不支持的块。金宝app

    生成错误并提供有关不受支持的块的信息。金宝app

    要修复错误,请查看错误消息信息并替换不受支持的块。金宝app

    与范围分析的模型兼容性

    无法导出范围数据,因为模型包含冲突的设计范围信息。

    生成错误。

    要解决此错误,请检查模型中指定的设计范围以识别不一致的设计规范。修改设计范围以使其保持一致。

    修复设计范围冲突

    无法导出对象的范围数据,因为模型上指定的设计范围信息不足。

    突出显示对象的结果。

    检查模型以确定缺少哪些设计范围信息。

    系统对象的疑难解答分析