检查 log 和 log10 运算的使用
mathworks.sldv.hism.hisl_0004
依赖关系: Simulink® Check™, Simulink Design Verifier™, 和 Stateflow®
用法: 高完整性系统建模
规范: hisl_0004：自然对数和以 10 为底的对数运算的用法
说明
此检查可识别模型中可能导致非有限结果的自然对数 (log) 和以 10 为底的对数 (log10) 运算。此检查对模型执行 SLDV 分析。运行此检查会触发使用 Simulink Design Verifier 的广泛分析。
检查参数
使用模型顾问配置编辑器，通过指定输入参数来定义分析范围。
| 参数 | 描述 |
|---|---|
| 跟随链接 | 指定是否将文库链接模块的内容纳入分析。 on（默认）| off |
| 查看封装内部 | 指定是否在分析中包含掩码模型元素。 全部（默认）| 无 | 图形 | 功能性
|
建议的行动和结果
查看检查中标记出的违规行为以及建议的修复措施。应用更改后，保存模型并重新运行检查分析。
| 建模条件 | 建议的操作 |
|---|---|
模型中的自然对数或以 10 为底的对数（Log 和 Log10）运算在仿真中输入可以小于或等于零。 | 确保模型中 log 和 log 10 运算的输入不小于或等于零。 |
功能和限制
无法在库模型上运行。
允许排除模块和图
仅分析活动的变体选择
进行广泛的分析
