检查余数和倒数运算的使用

mathworks.sldv.hism.hisl_0002

依赖关系: Simulink^® Check™, Simulink Design Verifier™, 和 Stateflow^®

用法: 高完整性系统建模

规范: hisl_0002：余数和倒数运算的用法

说明

此检查可识别导致非有限结果的余数运算和倒数运算的使用情况。此检查对模型执行 SLDV 分析。运行此检查会触发使用 Simulink Design Verifier 的广泛分析。

使用模型顾问配置编辑器，通过指定输入参数来定义分析范围。

参数	描述
跟随链接	指定是否将文库链接模块的内容纳入分析。 on（默认）\| off
查看封装内部	指定是否在分析中包含掩码模型元素。全部（默认）\| 无 \| 图形 \| 功能性全部 - 检查分析是否包含所有掩码模型元素。无 - 检查分析排除了已屏蔽的模型元素。图形 - 检查分析仅包括图形掩码模型元素。功能性 - 检查分析仅包括功能掩码模型元素。

参数

描述

跟随链接

指定是否将文库链接模块的内容纳入分析。

on（默认）| off

查看封装内部

指定是否在分析中包含掩码模型元素。

全部（默认）| 无 | 图形 | 功能性

查看检查中标记出的违规行为以及建议的修复措施。应用更改后，保存模型并重新运行检查分析。

建模条件	建议的操作
模型中余数和倒数运算的输入在仿真期间可能等于零。	确保余数和倒数运算的输入不等于零。

在 R2017b 中推出

全部展开

该检查现在支持 Stateflow 和 MATLAB^® 域名。

为了反映这一变化，模型顾问检查检查 Math Function 模块的使用 (rem 和 reciprocal 函数) 现在称为检查余数和倒数运算的使用。

模型顾问检查检查 Math Operations 模块的使用根据功能分为多个检查。

检查检查 Math Function 模块的使用 (rem 和 reciprocal 函数) 检查除法和倒数后有余数的 Math Function 块的使用情况。

模型顾问检查	拆分支票标题	检查 ID
检查数学运算模块的使用情况	检查 Abs 模块的使用	`mathworks.hism.hisl_0001`
	检查 Math Function 模块（rem 和 reciprocal 函数）的使用	`mathworks.hism.hisl_0002`
	检查 Math Function 模块（log 和 log10 函数）的使用	`mathworks.hism.hisl_0004`
	检查 Assignment 模块的使用	`mathworks.hism.hisl_0029`