事件¶

在关于基本方程的第一章里，我们看到了描述连续行为的例子。在该章中介绍的方程在任何时候都有效，而且这些方程的解总是连续的。在本章中，我们讨论了Modelica语言用以描述离散行为的种种方法。事件导致所有Modelica内离散行为的根本原因。

条件表达式¶

事件的产生有以下两种可能。首先，时间可以用条件语句产生。在本章的前面几例，我们看到了条件表达式可以触发事件。倘若这些条件表达式仅仅涉及变量time，我们就将其成为“时间事件”。变量time是一个内建的全局变量，而且是所有模型的“输入”。

如果事件是由涉及解内变量的条件表达式产生的，我们就将其成为“状态事件”。时间事件和状态时间的重要区别在本章内的第一个例子以及第二个例子中分别作了讨论。

创建条件表达式可以使用关系运算符（>、>=、<、<=、==）以及逻辑运算符（not、and、or）。而正如我们在事件的抑制的讨论结果，我们可以在条件表达式外加上noEvent运算符以抑制其事件的生成。

通常情况下，产生事件的条件表达式出现在一个if语句或if表达式的里面。但也应注意的是，即使是简单的变量赋值，例如：

  Boolean late;
equation
  late = time>=5.0 "This will generate an event";

也可以触发事件的产生。

分段构造¶

处理条件表示式时有一种特殊情况。在某些情况下，条件表达式是一种有效的创建构造分段表达式的方法。例如：

x = if (x<0) then 0 else x^3;

It is hard for a Modelica compiler to reliably determine that such a function is continuous and has continuous derivatives. For this reason, Modelica includes the smooth operator to explicitly express such conditions. For example, using the smooth operator as follows:

x = smooth(if (x<0) then 0 else x^3, 2);

indicates that the expression is continuous as is and will remain continuous if differentiated up to 2 times because

\[\begin{split}x' & = \begin{cases} 0, & \text{for } x < 0, \\ 3 \, x^2, & \text{otherwise,} \end{cases} \\ x'' & = \begin{cases} 0, & \text{for } x < 0, \\ 6 \, x, \phantom{^2} & \text{otherwise,} \end{cases} \\ x''' & = \begin{cases} 0, & \text{for } x < 0, \\ 6, \phantom{6 \, ^2}& \text{otherwise.} \end{cases}\end{split}\]

Hence, the function, its first and second derivatives are continuous at \(x=0\), but the third derivative is discontinuous.

Note that the smooth operator requires an upper bound to be specified.

事件与函数¶

除了由条件表达式生成，事件还可以通过Modelica内的某些函数产生。

事件生成的函数¶

以下是当其返回值不连续是就会产生事件的函数的列表。

函数	描述
`div(x,y)`	省去小数部分的代数商。
`mod(x,y)`	`x`/`y`的模数
`rem(x,y)`	代数除法的余数
`ceil(x)`	不小于`x`的最小整数
`floor(x)`	不大于`x`的最大整数（返回`Real`）
`integer(x)`	不大于`x`的最大整数（返回`Integer`）
`initial()`	初始化时为`true`，否则为`false`
`terminal()`	仿真结束时为`true`，否则为`false`
`sample(t0,dt)`	在`t0`时刻以及以后的每`dt`秒生成一个事件
`edge(x)`	仅在`x`变为`true`的一瞬间为`true`
`change(x)`	每当`x`改变时为`true`

不会产生事件的函数¶

以下是不会产生事件的函数的列表。

函数	描述
`abs(x)`	`x`的绝对值
`sign(x)`	`x`的符号（返回-1、0或1 ）
`sqrt(x)`	`x`的平方根
`min(x,y)`	`x`和`y`中的最小值
`max(x,y)`	`x`和`y`中的最大值

函数	描述
`pre(x)`	在事件的发生时保存了`x`在事件前的取值
`previous(x)`	在一个时钟节拍内保存了`x`在上个时钟节拍的取值
`hold(x)`	任何时间都保存了`x`在上个时钟节拍的取值
`sample(expr,clock)`	在一个时钟节拍内`expr`的取值
`noEvent(expr)`	抑制`expr`内产生的事件
`smooth(expr,p)`	表示`expr`至少`p`次可导

函数	描述
`Clock(i,r)`	每隔\(\frac{i}{r}\)秒触发的时钟。其中`i`与`r`都是`Integer`类型的。
`Clock(dt)`	每隔\(dt\)秒触发的时钟。其中`dt`是`Real`。
`subSample(u,s)`	采样速度为`u`采样速度\(\frac{1}{s}\)倍的时钟，其中`s`为`Integer`。
`superSample(u,s)`	采样速度为`u`采样速度`s`倍的时钟，其中`s`为`Integer`。

Table Of Contents

事件¶

条件表达式¶

分段构造¶

事件与函数¶

事件生成的函数¶

不会产生事件的函数¶

与时间有关的操作符¶

有关时钟的运算符¶