Main Content

本页的翻译已过时。点击此处可查看最新英文版本。

模型配置参数:数据有效性诊断

Diagnostics > Data Validity 类别包括用于检测与数据(信号、参数和状态)有关的问题的参数。这些问题包括:

  • 由于数据类型量化和上溢而导致信息损失。

  • 生成的代码中的参数可调性损失。

  • 由于 Data Store WriteData Store Read 模块排序而导致信息损失。

在 Configuration Parameters 对话框中,以下配置参数位于 Data Validity 窗格中。

参数说明

信号解析

选择 Simulink® 软件如何将信号和状态解析为 Simulink.Signal 对象。

Division by singular matrix

选择当 Product 模块在矩阵乘法模式下反转某个输入时检测到奇异矩阵的情况下要执行的诊断操作。

Underspecified data types

选择当 Simulink 软件在数据类型传播期间无法推断信号的数据类型时要执行的诊断操作。

Simulation range checking

选择当信号超出指定的最小值或最大值时要执行的诊断操作。

String truncation checking

选择字符串信号被截断时要执行的诊断操作。

溢出时绕回

选择当信号的值溢出信号数据类型并绕回时要执行的诊断操作。

欠定维度

选择当 Simulink 软件在编译时不能推断出信号维度时要执行的诊断操作。

Saturate on overflow

选择当信号的值太大而不能由信号数据类型表示(导致饱和)时要执行的诊断操作。

Inf 或 NaN 模块输出

选择在当前时间步中,当模块输出的值为 InfNaN 时要执行的诊断操作。

"rt" prefix for identifiers

选择在代码生成期间遇到以 rt 开头的 Simulink 对象名称(参数、模块或信号的名称)时要执行的诊断操作。

Detect downcast

选择代码生成过程中发生参数向下转换时要执行的诊断操作。

Detect overflow

选择仿真过程中发生参数溢出时要执行的诊断操作。

Detect underflow

选择仿真过程中发生参数下溢时要执行的诊断操作。

Detect precision loss

选择仿真过程中发生参数精度损失时要执行的诊断操作。

Detect loss of tunability

选择当具有可调变量的表达式在生成的代码中缩减到其等效数值时要执行的诊断操作。

Detect read before write

选择当模型试图从在当前时间步中未曾写入数据的数据存储中读取数据时要执行的诊断操作。

Detect write after read

选择当模型试图向曾在当前时间步中读取过数据的数据存储中写入数据时要执行的诊断操作。

Detect write after write

选择当模型试图在当前时间步中连续两次向数据存储中写入数据时要执行的诊断操作。

Multitask data store

选择当一个任务向 Data Store Memory 模块中写入数据,而另一个模块从中读取数据时要执行的诊断操作。

Duplicate data store names

选择当模型包含具有相同名称的多个数据存储时要执行的诊断操作。可以使用 Data Store Memory 模块或 Simulink.Signal 对象定义数据存储。

这些配置参数位于 Advanced parameters 部分。

Parameter说明

Array bounds exceeded

确保 S-Function 在向其输出、状态或工作向量写数据时,使用的内存不超出 Simulink 为其分配的数组边界。

Model Verification block enabling

以全局或本地方式在当前模型中启用模型验证模块。

Detect multiple driving blocks executing at the same time step

选择当软件检测到一个 Merge 模块有多个驱动模块正在同一时间步中执行时要执行的诊断操作。

Underspecified initialization detection

选择 Simulink 软件如何处理依条件执行子系统、Merge 模块、子系统已用时间以及 Discrete-Time Integrator 模块的初始条件的初始化。

Detect ambiguous custom storage class final values

检测使用 Reusable 自定义存储类的信号是否没有唯一端点。运行时环境不应该读取变量,因为它的值是不明确的。

Detect non-reused custom storage classes

检测信号是否使用了代码生成器无法重用、但在其他情形下可以重用的 Reusable 自定义存储类。如果代码生成器不能实现重用,则生成的代码可能包含其他全局变量。

相关主题