分析范围是如何工作的
分析模型与范围分析
你想要分析的模型必须兼容范围分析。如果您的模型是不兼容的,替换不支持的块或划分模型,这样您就可以分析模型的部分,是兼容的。万博1manbetx有关更多信息,请参见模型兼容范围分析。
当你指定派生的范围范围收集模式,定点设计师™软件执行静态范围分析的模型推导出最小值和最大值范围值的信号模型。软件行为分析模型和计算的值可以为每个块出现在模拟输出港。这些值被称为的范围派生的范围。
软件静态分析个人的范围计算模型中基于:
指定的设计范围,称为设计最小和最大指定的值,例如,最大和最小值:
轮廓尺寸和外港块
块输出
输入、输出和本地数据中使用MATLAB函数和Stateflow图表块
万博1manbetx®数据对象(
万博1manbetxSimulink.Signal和万博1manbetxSimulink.Parameter对象)
输入
的语义块中的每个计算
如果分析的模型包含对象不能支持,在可能的情况下,软件使用万博1manbetx自动存根。
分析试图缩小范围导出范围使用模型中所有指定的设计范围。您指定设计范围信息越多,就越有可能成功的范围分析。软件进行分析,得出新的范围信息模型。软件然后试图使用这个新的信息,加上指定的范围,获得范围为其余对象模型中。
对于包含浮点操作的模型,分析范围可能报告范围略大于预期。这种差异是由于舍入误差。软件与无限精确有理数近似于浮点数进行分析,然后转换为浮点报告。
下表总结了如何分析得出范围信息,并提供链接的例子。
| 当…… | 分析工作原理 | 例子 |
|---|---|---|
你指定设计最小和最大数据块输出。 |
派生的范围在块的输出都是基于这些指定值和第二值块连接到它的输入和输出:
只有块输出信号参与派生范围分析。如果一块额外的数据类型控制,如蓄电池或中间结果,范围不是派生这些元素。 |
|
在一块有初始条件和参数的设计范围。 |
分析考虑了这两个因素通过欧盟的设计范围和初始条件。 |
|
模型包含一个参数,指定范围和参数设置存储类 |
分析没有考虑为参数指定范围。相反,它使用了参数值。 |
|
模型包含一个参数,指定范围和参数没有设置为自动存储类。 |
分析考虑为参数指定的范围,而忽略了价值。 | |
模型包含了设计范围信息不足。 |
分析不能确定派生的范围。指定更多的设计范围信息并重新运行分析。 |
分析结果可能取决于范围块排序顺序,决定了软件的顺序分析了街区。有关更多信息,请参见控制和显示执行顺序。 |
模型包含矛盾的设计范围信息。 |
分析不能确定派生最低或派生的对象的最大价值。定点工具生成一个错误。要修复这个错误,检查设计范围中指定的模型识别不一致的设计规范。修改它们,使它们一致。 |
自动存根
自动存根是什么?
自动存根是当软件只考虑模型的接口不支持的对象,不是他们的实际行为。万博1manbetxstub可以自动分析模型,该模型包含定点设计软件不支持的对象。万博1manbetx然而,如果有不支持的模型元素影响推导万博1manbetx结果,分析可能只实现部分结果。
自动存根是如何工作的
与自动存根,当涉及到一个不受支持的范围分析,软件忽略(存根)。万博1manbetx分析忽略了物体的行为。因此,块输出可以采取任何价值。
软件不能“存根”所有模型块,等万博1manbetx积分器块。看到块标记为“不stubbable”万博1manbetx仿真软件模块支持范围分析万博1manbetx。
模型兼容范围分析
来验证您的模型兼容范围分析,见:
如何获得范围
验证您的模型是兼容范围分析。
在仿真万博1manbetx软件,打开你的模型和设置它为定点工具使用。有关更多信息,请参见建立了模型。
从仿真软件万博1manbetx应用程序选项卡上,选择定点的工具。
在定点工具,新,选择
迭代定点转换工作流。下系统设计(SUD),选择感兴趣的系统或子系统。
下范围收集模式中,选择派生的范围方法收集的范围。这个配置模型收集范围使用理想化的浮点数据类型。
默认情况下,使用设计工具收集范围的信息系统设计。有关更多信息,请参见在子系统级别范围。
点击准备有定点工具检查系统下设计的兼容性与转换过程和报告任何问题发现在模型中。
定点工具:
检查模型对定点指导方针。
标识不支持的街区。万博1manbetx
标识需要设计范围的信息块。
单击收集范围按钮来运行分析。
对象的分析试图获得范围信息选择的系统设计。你的下一个步骤取决于分析结果。
分析结果 定点工具行为 下一个步骤 的更多信息 成功获取数据的模型。
显示了派生的最大和最小值块的选择系统。
审查派生的范围,以确定结果是否适用于提出的数据类型。如果不是,您必须指定额外的设计信息和重新运行分析。
失败,因为模型包含块软件不支持。万博1manbetx
生成一个错误,并提供信息支持。万博1manbetx
修复错误,检查错误消息和替换不支持的块的信息。万博1manbetx
无法获得数据范围,因为模型包含矛盾的设计范围信息。
生成一个错误。
要修复这个错误,检查设计范围中指定的模型识别不一致的设计规范。修改的设计范围,使它们一致。
不能获得范围数据为对象,因为没有足够的设计范围上指定的信息模型。
强调对象的结果。
检查模型,以确定哪些设计范围信息是缺失的。
