验证模型使用万博1manbetx控制设计万博1manbetx验证块

这个例子说明了如何使用的组合万博1manbetx®控制设计™和Sim万博1manbetxulink验证块,从而断言线性系统特性满足下列边界之一:

  • 相位裕度大于60度

  • 相位裕度小于60度和速度小于或等于所述巡航速度的90%。

  1. 打开飞机的Simu万博1manbetxlink模型。

    scdmultiplechecks

    飞机模型是基于长途客机在巡航高度和速度飞行。飞机采用了全负载燃料开始,并按照一预先规定的8小时的速度分布图。该模型是一个速度控制环,其调整的燃料流率,以控制飞行器速度的简化版本。

    该模型包括块模型:

    • 燃油消耗和飞机质量带来的变化

    • 非线性效应草案限制航空器速度

    在模型中使用的常数,如阻力系数,在模型中的工作空间定义和从脚本初始化。

    v <= 0.9 * vCruise断言:PM> = 60,或者如果PM <60则v <= 0.9 * vCruise校验静态上界断言块,分别从仿真模型验证库。万博1manbetx在这个例子中,你使用这些模块与检查增益和相位边距块设计一个复杂的逻辑断言。

  2. 查看该线性输入,输出和设置线性化的标签检查增益和相位边距块参数对话框。

    该模型已经配置有:

    • 线性化的输入和输出用于计算增益和相位裕度

    • 设置来计算线性系统

    该软件通过线性化将看到的循环速度控制器块的模拟时间每30分钟,并计算增益和相位裕度。

  3. 指定相位裕度范围边界的标签检查增益和相位边距块。

    在该例子中,线性化的输入和输出包括与负反馈的求和块。更改反馈标志,用来计算余量,至正面反馈

    要查看稍后在模拟期间要计算的相位裕度,请指定表格式的图表类型和点击展会简介

  4. 设计使得断言验证块时的相位余量大于60度,或者如果相位裕度小于60度,速度是小于或等于90%的巡航速度断言逻辑。

    1. 检查增益和相位边距块参数对话框,在断言选项卡,选中输出断言信号和点击应用

      此操作将输出端口ž1块。

    2. 双击v <= 0.9 * vCruise块,并指定该块参数,如图中下图。设置参数后,单击应用

      这些参数将block配置为:

      • 检查飞机速度的0.9倍超过巡航速度

      • 向块中添加输出端口

    3. 连接检查增益和相位边距v <= 0.9 * vCruise断言:PM> = 60,或者如果PM <60则v <= 0.9 * vCruise块,如下图所示。

      此连接导致断言:PM> = 60,或者如果PM <60则v <= 0.9 * vCruise块来断言,如果相位裕度小于60度和速度是巡航速度的大于90%的停止模拟。

    或者,您可以键入scdmultiplechecks_final在MATLAB®提示打开已经与这些设置配置Simu万博1manbetxlink模型。

  5. 模拟模型。

    在仿真过程中:

    • v <= 0.9 * vCruise块多次断言。

    • 检查增益和相位边距块断言两次。您可以在plot窗口中查看违反边界的相位边距。

    • 断言:PM> = 60,或者如果PM <60则v <= 0.9 * vCruise不会遇到断言条件。因此,仿真不会停止。

  6. 点击链接在Simulink模型的底部打开诊断查看器窗口。万博1manbetx

    当一个块被断言时,警告将出现在此窗口中。您可以通过单击此窗口中的链接查看断言的详细信息。