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

诊断 > 数据有效性类别包括用于检测与数据（信号、参数和状态）有关的问题的参数。这些问题包括：

由于数据类型量化和上溢而导致信息损失。
生成的代码中的参数可调性损失。
由于 Data Store Write 和 Data Store Read 模块排序而导致信息损失。

在“配置参数”对话框中，以下配置参数位于数据有效性窗格中。

参数	描述
信号解析	选择 Simulink^® 软件如何将信号和状态解析为 `Simulink.Signal` 对象。
除以奇异矩阵	选择当 Product, Matrix Multiply 模块在矩阵乘法模式下反转某个输入时检测到奇异矩阵的情况下要执行的诊断操作。
未定数据类型	选择当 Simulink 软件在数据类型传播期间无法推断信号的数据类型时要执行的诊断操作。
Simulation range checking	选择当信号超出指定的最小值或最大值时要执行的诊断操作。
字符串截断检查	选择字符串信号被截断时要执行的诊断操作。
溢出时绕回	选择当信号的值溢出信号数据类型并绕回时要执行的诊断操作。
欠定维度	选择当 Simulink 软件在编译时不能推断出信号维度时要执行的诊断操作。
溢出时饱和	选择当信号的值太大而不能由信号数据类型表示（导致饱和）时要执行的诊断操作。
Inf 或 NaN 模块输出	选择在当前时间步中，当模块输出的值为 `Inf` 或 `NaN` 时要执行的诊断操作。
"rt" prefix for identifiers	选择在代码生成期间遇到以 `rt` 开头的 Simulink 对象名称（参数、模块或信号的名称）时要执行的诊断操作。
Detect downcast	选择代码生成过程中发生参数向下转换时要执行的诊断操作。
Detect overflow	当 Simulink 检测到参数上溢时，选择诊断操作。
Detect underflow	当 Simulink 检测到参数下溢时，选择诊断操作。
Detect precision loss	选择 Simulink 检测到参数精度损失时要采取的诊断操作。
Detect loss of tunability	选择当具有可调变量的表达式在生成的代码中缩减到其等效数值时要执行的诊断操作。
Detect read before write	选择当模型试图从在当前时间步中未曾写入数据的数据存储中读取数据时要执行的诊断操作。
Detect write after read	选择当模型试图向曾在当前时间步中读取过数据的数据存储中写入数据时要执行的诊断操作。
Detect write after write	选择当模型试图在当前时间步中连续两次向数据存储中写入数据时要执行的诊断操作。
Multitask data store	选择当一个任务向 Data Store Memory 模块中写入数据，而另一个模块从中读取数据时要执行的诊断操作。
重复的数据存储名称	选择当模型包含具有相同名称的多个数据存储时要执行的诊断操作。可以使用 Data Store Memory 模块或 `Simulink.Signal` 对象定义数据存储。

这些配置参数位于高级参数部分。

参数	描述
Array bounds exceeded	确保 S-Function 在向其输出、状态或工作向量写数据时，使用的内存不超出 Simulink 为其分配的数组边界。
Model Verification block enabling	以全局或本地方式在当前模型中启用 Model Verification 模块。
Detect multiple driving blocks executing at the same time step	选择当软件检测到一个 Merge 模块有多个驱动模块正在同一时间步中执行时要执行的诊断操作。
欠定初始化检测	选择 Simulink 软件如何处理依条件执行子系统、Merge 模块、子系统已用时间以及 Discrete-Time Integrator 模块的初始条件的初始化。
Detect ambiguous custom storage class final values	检测使用 Reusable 自定义存储类的信号是否没有唯一端点。运行时环境不应该读取变量，因为它的值是不明确的。
Detect non-reused custom storage classes	检测信号是否使用了代码生成器无法重用、但在其他情形下可以重用的 Reusable 自定义存储类。如果代码生成器不能实现重用，则生成的代码可能包含其他全局变量。

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

相关主题

WeChat