文档

金宝app支持限制金宝app软件功能

金宝app®设计验证器™不支持以下Simu金宝applink软件特性。金宝app避免使用这些不受支持的特性。金宝app

不支持金宝app 描述

变步解决者

该软件只支持固定步骤求解器金宝app。

有关更多信息,请参见修正了Simulink中的步骤求解器金宝app(金宝app模型)。

回调函数

软件在分析过程中不执行模型回调函数。分析生成的结果,例如控制模型,可能与预期的行为不一致。

  • 如果一个模型或任何引用的模型调用了一个回调函数,该函数更改了任何块参数、模型参数或工作区变量,那么分析就不会反映这些更改。

  • 不支持在模型回调函数或掩码初始化上更改基本工作区变量的存储类。金宝app

  • 在分析之前调用的回调函数,例如PreLoadFcnPostLoadFcn完全支持模型回调。金宝app

建模回调函数

该软件只支持模型回调函数,如果金宝appInitFcn模型的回调为空。

代数循环

该软件不支持包含代数循环的模型。金宝app

有关更多信息,请参见代数循环概念(金宝app模型)。

屏蔽子系统初始化函数

该软件不支持那些被屏蔽的子系统初始化会修改任金宝app何工作空间参数的任何属性的模型。

适应信号

该软件不支持可变大小的信号。金宝app可变大小信号是一种信号,其大小(维度中的元素数量)除了其值外,还可以在模型执行期间发生变化。

有关更多信息,请参见可变大小信号基础(金宝app模型)。

多字定点数据类型

本软件不支持大于128位的多字定点数据类型。金宝app

非零起始时间

尽管Simulin金宝appk允许您指定非零的模拟开始时间,但分析生成的信号数据仅从零开始。如果你的模型指定了一个非零的开始时间:

  • 如果不选择在生成的线束中引用输入模型参数(默认值),则束模型是一个子系统。分析将线束模型的开始时间设置为1,并继续分析。

  • 如果您选择在生成的线束中引用输入模型参数,模型块引用线束模型。软件不能更改线束模型的开始时间,因此分析将停止,您将看到设置的建议开始时间参数为0。

  • 金宝appSimulink设计验证器假设分析的开始时间为零,并生成从零开始的信号数据。零开始时间可能会影响客观状态的报告。例如,在测试生成分析中,软件可能报告一些目标为未确定的测试用例.有关更多信息,请参见模拟基础知识(金宝app模型)。

非限定的数据

该软件不支持非有限数据(例如,金宝app而且)及相关操作。

关系操作符块,软件分配输出如下:

  • 如果关系操作符参数是isFinite,则输出始终为1。

  • 如果关系操作符参数是isNanisInf时,输出始终为0。

MATLAB函数块时,软件按如下方式分配返回值:

  • isFinite函数,输出总是1。

  • isNan而且isInf函数,输出总是0。

并发执行

该软件不支持为并发执行而配置的模型。金宝app

具有非零采样时间偏移的信号

该软件不支持具有非零采样时间偏移的信号的模型金宝app。

没有输出端口的模型

该软件只支持具有一个或多个输出端口的金宝app模型。

范围外的大浮点常数(最大浮点数/ 2,最大浮点数/ 2)

使用较大的浮点常数可能会导致内存溢出错误或大量的精度损失。尽可能避免使用这样的常量。

象征性的维度

该软件不支持用于测试生成、属性证明或设计错误金宝app检测的符号维度。

金宝app仿真软件的字符串

不支持包含以字符串数据类型作为块参数的块的模型。金宝app有关更多信息,请参见金宝app仿真软件的字符串(金宝app模型)。