打开模型。

sldvdemo_fuelsys_logic_simple

确保当前文件夹是可写的。

配置死逻辑检测。

在设计验证器选项卡,模式部分中,选择设计错误检测．

选择错误检测设置．

在“配置参数”对话框中，选择死的逻辑(部分)．清晰的运行详尽的分析．点击好吧．

点击检测设计错误．

结果对话框显示有2/109个目标是死逻辑。

创建分析报告。从结果检查器窗口中单击超文本标记语言．

滚动到死的逻辑部分。该表列出了死逻辑的两个实例。

在描述列中，其中一个失效的逻辑实例是假的条件按< zero_thresh．死逻辑结果表明，在仿真中假条件未执行。这个逻辑是Sens_Failure_Counter。公司过渡。

单击模型项目链接。金宝appSimulink在图表中突出显示了这种转换。

控制转换的逻辑语句是

速度==0 &按< zero_thresh

回到报告上来。滚动到约束部分。

输入的值控制逻辑/输入数据“按”限制从0到2。单击链接以在Model Explorer中打开输入。

选择模型的工作空间模型资源管理器中。在目录表中，选择zero_thresh．的价值zero_thresh是250。

给定的约束值新闻，它总是小于zero_thresh因此,假条件从不锻炼。

改变zero_thresh到0.250。

再分析模型。在设计验证器选项卡上,单击检测设计错误．

在新的结果中，目标不再是死逻辑。