通过检查分析申述模型顾问违规的合理性
当您使用模型顾问应用程序或 ModelAdvisor.run 函数运行检查时，模型顾问会分析您的设计是否符合建模规范。分析结果显示哪些检查通过、哪些检查失败、哪些检查不完整、哪些检查合理、哪些检查返回警告。模型顾问检查失败或返回警告被视为违规，因为结果不符合模型顾问检查所检验的建模准则。
如果您审查了一项违规行为，并认为该违规行为与您的设计无关或不可行，您可以证明该结果的申述。当您申述某个结果的合理性时，您需要提供理由来解释为什么您的设计中允许这种违规行为存在。在模型顾问和模型顾问报告中，已验证的检查结果状态为 Justified。
解释说明功能允许您为模型顾问分析结果中的违规行为添加理由。如果您不希望模型顾问分析特定模块，请改用排除项。排除项可以节省模型开发和验证的时间，因为模型顾问不会分析您排除的内容。有关详细信息，请参阅从模型顾问检查分析中排除模块。
以下示例演示如何：
对模型顾问检查结果中的违规行为申述。
从 Simulink® 画布中找出编辑时间违规的申述。
在模型顾问中加载、查看、编辑和删除理由。
针对不同的申述集创建不同的申述文件。
使用模型顾问证明违规行为的申述
运行模型顾问检查后，您可以在模型顾问中申述结果中的违规行为。有关如何运行模型顾问检查的信息，请参阅 使用模型顾问检查模型合规性。
1.打开示例模型 sldemo_fuelsys。
open_system("sldemo_fuelsys")2.开放模型顾问。在 Simulink 编辑器中，点击建模选项卡，然后选择模型顾问。当系统选择器对话框打开时，点击 OK 分析模型。
3.在检查选择器窗格中，选择要对模型运行的检查。在本例中，导航到文件夹 模型 Advisor > By Product > Simulink 并选择名为 Check optimization settings 的复选框。
4.点击工具栏中的运行检查来运行检查。模型顾问的结果显示对检查优化设置的警告。
5.在工具栏中，点击申述。打开结果检查器窗格，结果详细信息选项卡显示每次违反检查优化设置检查的结果。
6.在结果检查器窗格中，在理由字段中输入理由，然后点击应用。此申述适用于您在结果详情选项卡中选择的违规行为。默认情况下，模型顾问会自动选择第一个结果。
由于您是第一次进行检查，模型顾问会弹出“另存为”对话框，允许您使用指定的文件名在指定的目录中创建检查证明文件。
7.指定要保存理由文件的文件名和目录。默认情况下，文件名是modelname_justifications.json，目录是您在 MATLAB® 中的当前工作目录。
当您点击保存时，Simulink 画布上的横幅会显示您保存的对齐文件的路径，并且模型顾问会将结果显示为已对齐。
编辑时检查期间违规行为的申述
启用模型的编辑时检查后，您可以直接从 Simulink 画布证明违规行为的申述。有关编辑时间检查的信息，请参阅 使用编辑时检查来检查模型合规性。
1.启用模型的编辑时间检查。在 Simulink 编辑器中，点击建模选项卡，然后选择模型顾问 > 编辑时检查。当“配置参数”对话框打开时，选中编辑时检查复选框，然后点击确定。
在 Simulink 画布中，“模型顾问”会突出显示模型中违反默认“模型顾问”配置中检查的块。
2.将光标指向高亮显示的模块，然后点击模块上方的图标。在本例中，指向 Engine Speed 模块，然后点击警告图标 
。
模型顾问会显示违规摘要以及违规的检查或子检查的标题。Engine Speed 模块违反了子检查模块名称允许的字符。
3.点击抑制，并在评论字段中输入您的申述。
4.点击添加申述。
由于您已经为模型创建了理由文件，模型顾问会将申述添加到该文件中。
违规行为不再出现在 Simulink 画布中。
如果您对其他结果申述，模型顾问会自动将这些申述添加到当前的申述文件中。
管理理由
您可以使用模型顾问来加载、卸载、查看、编辑和删除理由。
装载和卸载理由
如果您希望模型顾问在打开模型时自动加载申述文件，则需要确保申述文件位于当前文件夹中。模型顾问只会在理由文件与模型位于同一文件夹中时才会自动识别该文件。
但是，如果您想加载特定的申述文件，
导航至模型顾问，然后点击打开按钮。
从下拉菜单中，在管理理由下，选择加载理由文件。如果存在预先存在的申述文件，请确保先卸载该申述文件，然后再加载所需的申述文件。
从文件资源管理器中选择所需的申述文件，然后将显示正在加载申述文件对话框。
点击是按钮，以在当前设置中加载理由。
在模型顾问中卸载申述文件会从当前会话中移除已应用的申述。当您需要重置理由以在没有任何预先存在的理由的情况下评估模型，或者当您希望为新的分析加载不同的理由集时，这将非常有用。卸载申述文件：
导航至模型顾问，然后点击打开按钮。
从下拉菜单中，在管理理由下，选择卸载理由文件。
要查看当前为模型加载了哪个理由文件，请打开模型顾问，然后在检查选择器窗格中选择模型顾问。配置部分显示当前加载的申述文件。
如果您想为不同的申述集创建不同的申述文件，请参阅创建多个申述文件。
查看理由
查看您在模型中添加的理由。经您申述的结果的检查结果状态为 Justified，并且“已验证”图标 
会显示在模型顾问和模型顾问报告中的结果旁边。
请注意，要查看在编辑时检查期间添加的理由，您必须从模型顾问应用程序重新运行检查。有关如何运行检查和查看结果的信息，请参阅 使用模型顾问检查模型合规性。
修改理由
修改现有申述的理由：
1.开放模型顾问。
2.请确保当前的理由文件是包含您要编辑的申述的文件。在检查选择器窗格中，点击模型顾问以查看当前的理由文件。
3.选择要编辑其申述的结果。在检查选择器窗格中，选择检查项，然后在结果详细信息选项卡中，选择已对齐的结果。
4.点击理由字段中的编辑图标 
，即可编辑理由字段中的理由。
5.点击保存图标 
以使用新的理由更新申述。否则，点击取消图标 
。
删除理由
删除现有申述：
1.开放模型顾问。
2.请确保当前的理由文件是包含您要删除的申述的文件。在检查选择器窗格中，点击模型顾问以查看当前的理由文件。
3.选择要删除其申述的结果。在检查选择器窗格中，选择检查项，然后在结果详细信息选项卡中，选择已对齐的结果。
4.点击理由字段中的删除图标 
，即可从当前加载的理由文件中删除申述。检查结果状态恢复为 Error 或 Warning 的原始状态。
创建多个理由文件
如果您已经有一个申述文件，并且想要在新文件中创建一组申述，则必须卸载当前文件。要卸载当前文件，请移动或重命名它。当您为模型添加申述时，模型顾问会提示您保存新的理由文件。
请注意，您还可以在 ModelAdvisor.run 中使用 Justifications 参量，以使用特定的理由文件执行模型顾问分析。
