客观的证据
定义目标信号必须满足当证明模型属性
库:
金宝app仿真软件设计验证器/目标和约束
描述
当在property-proving运营模式时,金宝app®设计验证器™软件证明(见模型满足指定的性能标准什么是财产证明?)。在这种模式下,您可以使用证明目标块定义证明模型中目标信号。
的值参数允许您指定可接受的值块的输入信号。如果一个信号值偏离可接受的值任何房地产发生违反并证明时间步的目标是伪造的。块适用于指定的值参数的输入信号,金宝app仿真软件设计验证器软件证明或否定了你的模型的属性满足指定的条件。
块的参数对话框允许你
启用或禁用的目标。
指定块应该显示它值参数在模型编辑器中。金宝app
指定块应显示其输出端口。
请注意
仿真软件金宝app和金宝app仿真软件编码器™软件期间忽略客观证据的块模型模拟和代码生成。的金宝app仿真软件设计验证器软件使用证明目标块只有在证明模型属性。
指定的目标
使用值参数定义值,一个信号必须在证明仿真实现。指定的任意组合标量和间隔在MATLAB的形式®单元阵列。细胞阵列的信息,请参阅细胞数组。
提示
如果值参数指定只有一个标量值,您不需要输入MATLAB单元阵列的形式。
标量值数组中的每个组成一个单元,例如:
{0,5}
闭区间包含一个双元素向量作为细胞的数组,其中每个元素指定一个区间端点:
{[1,2]}
此外,您可以指定使用标量值Sldv.Point
构造函数,它接受一个值作为其参数。您可以指定间隔使用Sldv.Interval
构造函数,这就需要两个输入参数,即。下界和上界的间隔。可选地,您可以提供以下值之一作为第三输入参数,用于指定区间端点的包含或排除:
“()”
——定义一个开区间。“[]”
——定义了闭区间。“()”
——定义一个开区间。“()”
——定义一个间隔的吗。
请注意
默认情况下,Sldv.Interval
认为一个区间是关闭如果您省略第三输入参数。
作为一个例子,值参数
{0,[1,3]}
指定:
0
——一个标量(1、3)
——一个闭区间
的值参数
{Sldv。时间间隔(0,1,“()”),Sldv.Point (1)}
指定:
Sldv.Interval(0, 1, '[)')
——吗区间[0,- 1)Sldv.Point (1)
——一个标量
如果你指定多个标量和客观证据块间隔,金宝app仿真软件设计验证器软件结合使用一个逻辑或操作期间财产证明。在这种情况下,软件认为整个证明目的得到满足,如果任何一个标量或间隔是满意的。
港口
输入
参数
版本历史
介绍了R2007a