使用时间评估评估时间逻辑- MATLAB和Simulink - 卡塔尔世界杯8强比赛直播

使用时态评估来评估时态逻辑

具有离散和连续时间行为的混合系统可能需要复杂的时间相关信号逻辑。动态仿真模块^®测试™使您能够通过在测试管理器中使用测试用例编写和包括时间评估来评估模型时间和事件顺序。在您创建了一个临时评估之后，您可以使用API来修改评估，将评估添加到另一个测试用例中，或者从测试用例中删除评估。有关更多信息，请参见sltest.testmanager.Assessment，sltest.testmanager.AssessmentSymbol,sltest.testmanager.TestCase．

要在测试管理器中使用时间评估:

选择一个评估模板。
输入评估条件。
- 将符号映射到建模元素，如信号、时间序列或常量。
- 查看评估摘要。
运行测试用例。
使用结果根据您的需求来评估被测系统(SUT)。

例如，考虑一个有以下要求的强制振荡阻尼问题:

对一个信号年代，如果信号大小超过值P,然后在d秒，它必须低于值问和保持在问为u秒。

阻尼振荡信号

创建一个时间评估

要创建一个时间评估:

在测试管理器中创建或打开一个测试用例。
导航到逻辑和时间评估编辑器。
点击增加评估．以下是可用的评估模板:
- 逻辑评估模板
  - 边界检查,检查信号和表达式的最大值和最小值边界。
  - 自定义- - - - - -检查逻辑表达式是否对所有时间步骤都成立。
- 时间评估模板
  - Trigger-Response -检测到触发器时检查信号响应。
对于本例，选择Trigger-Response．

这时会出现触发器响应模板。要完成创建评估，您需要在SUT上下文中定义临时评估条件。

确定临时评估条件

触发响应评估要求:

触发参数
响应参数
可选延迟参数

对于强迫振荡阻尼问题:

选择只要是真的作为触发器并进入abs (S) > P随着条件．触发条件是对响应信号进行评估后的条件模式。当信号的大小触发响应条件年代超过价值P．
选择至少要保持真实作为响应和进入abs (S) <问而且u随着条件而且min-time分别。响应条件描述SUT响应触发器条件时的行为。响应条件为信号的大小年代必须低于价值结算问和保持在问至少u秒。
选择延迟时间最多为作为延迟类型和设置d随着max-time参数。延迟是一个可选的时间间隔，从一个时间参考参数开始，一直持续到预期满足响应条件的点。耽搁的时间最多d秒。

所有的时间单位都是秒。

控件中作为时间评估参数的一部分添加符号时逻辑和时间评估编辑器中，将它作为未解析符号添加到符号列表中。方法解析符号符号窗格中。

解析评估参数符号

若要解析符号，请右键单击该符号。有两种选择:

映射到模型元素-使用映射对话框将符号映射到SUT中的信号、参数或块。

从映射对话框顶部的下拉列表中选择要映射的符号。
在完成将符号映射到模型元素之后，符号窗格显示与模型元素对应的元数据。

当您运行测试用例时，将映射到编辑器中评估使用的符号的信号记录下来。
如果将总线或数组映射到符号，请使用字段/元素行符号窗格从总线或数组中选择标量信号。例如:
- 将符号映射到包含总线元素的总线信号基坑,输入.fieldA．
- 要将符号映射到信号数组中索引(5,5)对应的信号元素，请输入(5,5)．
- 要组合这两个表达式，输入.fieldA (5,5)．
映射到表达式将标量常量值或变量赋给符号。
当您选择映射到表达式，则必须在表达式字段。表达式必须是在MATLAB中^®编码并求值为标量字面值或timeseries对象。如果表达式很长或复杂，则可以使用评估调节编写MATLAB代码，检索模型、测试和仿真数据并将数据赋值给变量，然后将变量赋值给符号表达式。看到在评估回调部分定义变量有关定义变量的更多信息。
方法检索存储在工作空间变量中的数据evalin函数。例如，分配工作空间变量var对于一个符号，输入evalin(“基地”,“var”)在符号表达式中直接输入，或输入v = evalin(“基地”,“var”)在评估调节并输入v在符号表达中。
因为t符号将自动绑定到模拟时间，不需要将其映射到表达式。t不可见的符号窗格。

提示

进入sig = sltest_simout.logsout.get(“mySignal”)在评估调部分和使用映射到表达式将一个符号映射到团体Variable等价于using映射到模型元素将一个符号映射到mySignal信号。