验证模型使用金宝app控制设计和金宝app验证模块
这个例子展示了如何组合使用金宝app®控制设计™和Sim金宝appulink验证块，以断言线性系统特性满足下列边界之一:
相位裕度大于60度
相裕度小于60度且速度小于或等于巡航速度的90%。
打开某飞机的Sim金宝appulink模型。
scdmultiplechecks
该飞机模型是基于一架以巡航高度和速度飞行的长途客机。飞机开始时满载燃料，并遵循预先指定的8小时速度剖面。该模型是速度控制回路的简化版本，通过调整燃油流量来控制飞机速度。
模型包括模块到模型:
燃料消耗和由此引起的飞机质量变化
限制飞机速度的非线性吃水效应
模型中使用的常量，比如阻力系数，是在模型工作区中定义的，并从脚本中初始化。
的
v < = 0.9 * vCruise和断言:PM >= 60或如果PM < 60 then v <= 0.9*vCruise块检查静态上限和断言块，分别来自Simulink模型验证库。金宝app在本例中，将这些块与检查增益和相位裕度块来设计用于断言的复杂逻辑。查看线性化输入，输出和设置线性化选项卡的检查增益和相位裕度块参数对话框。
模型已经配置了:
线性化输入和输出用于计算增益和相位裕度
设置来计算线性系统
该软件线性化的循环看到速度控制器每30分钟对模拟时间进行分段，并计算增益和相位裕度。
属性中指定相位裕度边界界限选项卡的检查增益和相位裕度块。
在这个例子中，线性化的输入和输出包括带负反馈的求和块。改变反馈信号，用于计算边距
积极的反馈．要查看稍后在模拟期间要计算的相位边界，请指定
表格在情节类型,然后单击展示图．设计断言逻辑，使验证块在相裕度大于60度或相裕度小于60度时断言速度小于或等于巡航速度的90%。
在检查增益和相位裕度“块参数”对话框中断言选项卡上,选择断言输出信号,然后单击应用．
此操作将添加一个输出端口
z－1块。双击
v < = 0.9 * vCruise块，并指定块参数，如下图所示。参数设置完成后，单击应用．
这些参数将块配置为:
检查飞机速度是否超过巡航速度0.9倍
添加一个输出端口到块
连接检查增益和相位裕度，
v < = 0.9 * vCruise和断言:PM >= 60或如果PM < 60 then v <= 0.9*vCruise块，如下图所示。
这种连接导致
断言:PM >= 60或如果PM < 60 then v <= 0.9*vCruise当相位裕度小于60度且速度大于巡航速度的90%时，阻塞断言并停止仿真。
或者，你也可以打字
scdmultiplechecks_final在MATLAB®提示打开已经配置了这些设置的Sim金宝appulink模型。模拟模型。
在模拟:
的
v < = 0.9 * vCruiseBlock多次断言。的检查增益和相位裕度Block断言两次。您可以在绘图窗口中查看违反绑定的阶段边界。
的
断言:PM >= 60或如果PM < 60 then v <= 0.9*vCruise不遇到断言条件。因此，模拟不会停止。
单击Simulink模型底部的链接以打开Diagnostic Viewe金宝appr窗口。
当一个块断言时，警告会出现在这个窗口中。通过单击此窗口中的链接，可以查看断言的详细信息。
你也可以从以下列表中选择一个网站:
