JPT
/
bachelorthesis
0
0
Fork 0
Code Issues Pull Requests Activity

[TASK] Generic commit.

This commit is contained in:
Jan Philipp Timme 2016-10-12 15:54:35 +02:00
parent a1f7840a1e
commit 182b0c3124
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
Bachelorarbeit.tex
View File

@ -1044,7 +1044,8 @@ Um diese Ereignisdatenströme nun zu Verarbeiten, werden die Anforderungen des S
Hierfür genügt es, zwei direkt aufeinanderfolgende \texttt{Car\allowbreak Status\allowbreak Event}s zu betrachten, die sich auf den selben PKW beziehen. Ermittelt man zwischen den beiden Ereignissen die Geschwin\-dig\-keits\-dif\-fe\-renz und prüft, ob diese größer als ein gegebener Schwellwert (beispielsweise 25km/h) ist. Trifft dies zu, so wurde eine starke Beschleunigung erkannt.
Die hieraus resultierende, abstrakte CEP-Regel sieht wie folgt aus:
\begin{lstlisting}[mathescape=true,label={},caption={}]
CONDITION ($CarStatusEvent\ AS\ c1 \rightarrow\ CarStatusEvent\ AS\ c2$)[WindowSize:5s,StepSize:1s]
CONDITION ($CarStatusEvent\ AS\ c1 \rightarrow\ CarStatusEvent\ AS\ c2$)
[WindowSize:5s,StepSize:1s]
$\wedge$ c1.relatedCar = c2.relatedCar
$\wedge$ c2.speed > c1.speed
$\wedge$ c2.speed-c1.speed AS deltaSpeed