Project

General

Profile

Download (11 KB) Statistics
| Branch: | Tag: | Revision:
1 4748b215 hbourbou
-- This file has been generated by CoCoSim2.
2
3
-- Compiler: Lustre compiler 2 (ToLustre.m)
4
-- Time: 03-Dec-2018 22:39:15
5
node  abs_real(x : real;)
6
returns(y : real;);
7
let
8
	y = if (x >= 0.0) then
9
		x
10
	    else (- x);
11
tel
12
13
(*
14
Original block name: FromWorkSpace_interp_extrap_vector_inp_PP
15
*)
16
node  FromWorkSpace_interp_extrap_vector_inp_PP(_virtual : bool;)
17
returns(Out1_1 : real;
18
	Out1_2 : real;);
19
var FromWorkspace_1 : real;
20
	FromWorkspace_2 : real;
21
	FromWorkspace_19_080_time_1_1 : real;
22
	FromWorkspace_19_080_data_1_1 : real;
23
	FromWorkspace_19_080_time_1_2 : real;
24
	FromWorkspace_19_080_data_1_2 : real;
25
	FromWorkspace_19_080_time_1_3 : real;
26
	FromWorkspace_19_080_data_1_3 : real;
27
	FromWorkspace_19_080_time_1_4 : real;
28
	FromWorkspace_19_080_data_1_4 : real;
29
	FromWorkspace_19_080_time_1_5 : real;
30
	FromWorkspace_19_080_data_1_5 : real;
31
	FromWorkspace_19_080_time_1_6 : real;
32
	FromWorkspace_19_080_data_1_6 : real;
33
	FromWorkspace_19_080_time_1_7 : real;
34
	FromWorkspace_19_080_data_1_7 : real;
35
	FromWorkspace_19_080_time_1_8 : real;
36
	FromWorkspace_19_080_data_1_8 : real;
37
	FromWorkspace_19_080_time_2_1 : real;
38
	FromWorkspace_19_080_data_2_1 : real;
39
	FromWorkspace_19_080_time_2_2 : real;
40
	FromWorkspace_19_080_data_2_2 : real;
41
	FromWorkspace_19_080_time_2_3 : real;
42
	FromWorkspace_19_080_data_2_3 : real;
43
	FromWorkspace_19_080_time_2_4 : real;
44
	FromWorkspace_19_080_data_2_4 : real;
45
	FromWorkspace_19_080_time_2_5 : real;
46
	FromWorkspace_19_080_data_2_5 : real;
47
	FromWorkspace_19_080_time_2_6 : real;
48
	FromWorkspace_19_080_data_2_6 : real;
49
	FromWorkspace_19_080_time_2_7 : real;
50
	FromWorkspace_19_080_data_2_7 : real;
51
	FromWorkspace_19_080_time_2_8 : real;
52
	FromWorkspace_19_080_data_2_8 : real;
53
	__time_step : real;
54
	__nb_step : int;
55
let
56
	FromWorkspace_19_080_time_1_1 = 0.000000000000000;
57
	FromWorkspace_19_080_data_1_1 = 5.000000000000000;
58
	FromWorkspace_19_080_time_1_2 = 0.200000000000000;
59
	FromWorkspace_19_080_data_1_2 = 20.000000000000000;
60
	FromWorkspace_19_080_time_1_3 = 0.400000000000000;
61
	FromWorkspace_19_080_data_1_3 = 25.000000000000000;
62
	FromWorkspace_19_080_time_1_4 = 0.600000000000000;
63
	FromWorkspace_19_080_data_1_4 = 40.000000000000000;
64
	FromWorkspace_19_080_time_1_5 = 0.800000000000000;
65
	FromWorkspace_19_080_data_1_5 = 2.000000000000000;
66
	FromWorkspace_19_080_time_1_6 = 1.000000000000000;
67
	FromWorkspace_19_080_data_1_6 = 4.000000000000000;
68
	FromWorkspace_19_080_time_1_7 = 1.200000000000000;
69
	FromWorkspace_19_080_data_1_7 = 6.000000000000000;
70
	FromWorkspace_19_080_time_1_8 = 1200.000000000000000;
71
	FromWorkspace_19_080_data_1_8 = 11994.000000000003638;
72
	FromWorkspace_1 = if (((__time_step >= FromWorkspace_19_080_time_1_1) or abs_real(__time_step - FromWorkspace_19_080_time_1_1) <= 0.000000000000000027755575615629) and ((__time_step < FromWorkspace_19_080_time_1_2) and abs_real(__time_step - FromWorkspace_19_080_time_1_2) > 0.000000000000000027755575615629)) then
73
		(((FromWorkspace_19_080_data_1_1 * (FromWorkspace_19_080_time_1_2 - __time_step)) + (FromWorkspace_19_080_data_1_2 * (__time_step - FromWorkspace_19_080_time_1_1))) / (FromWorkspace_19_080_time_1_2 - FromWorkspace_19_080_time_1_1))
74
	    else if (((__time_step >= FromWorkspace_19_080_time_1_2) or abs_real(__time_step - FromWorkspace_19_080_time_1_2) <= 0.000000000000000055511151231258) and ((__time_step < FromWorkspace_19_080_time_1_3) and abs_real(__time_step - FromWorkspace_19_080_time_1_3) > 0.000000000000000055511151231258)) then
75
		(((FromWorkspace_19_080_data_1_2 * (FromWorkspace_19_080_time_1_3 - __time_step)) + (FromWorkspace_19_080_data_1_3 * (__time_step - FromWorkspace_19_080_time_1_2))) / (FromWorkspace_19_080_time_1_3 - FromWorkspace_19_080_time_1_2))
76
	    else if (((__time_step >= FromWorkspace_19_080_time_1_3) or abs_real(__time_step - FromWorkspace_19_080_time_1_3) <= 0.000000000000000111022302462516) and ((__time_step < FromWorkspace_19_080_time_1_4) and abs_real(__time_step - FromWorkspace_19_080_time_1_4) > 0.000000000000000111022302462516)) then
77
		(((FromWorkspace_19_080_data_1_3 * (FromWorkspace_19_080_time_1_4 - __time_step)) + (FromWorkspace_19_080_data_1_4 * (__time_step - FromWorkspace_19_080_time_1_3))) / (FromWorkspace_19_080_time_1_4 - FromWorkspace_19_080_time_1_3))
78
	    else if (((__time_step >= FromWorkspace_19_080_time_1_4) or abs_real(__time_step - FromWorkspace_19_080_time_1_4) <= 0.000000000000000111022302462516) and ((__time_step < FromWorkspace_19_080_time_1_5) and abs_real(__time_step - FromWorkspace_19_080_time_1_5) > 0.000000000000000111022302462516)) then
79
		(((FromWorkspace_19_080_data_1_4 * (FromWorkspace_19_080_time_1_5 - __time_step)) + (FromWorkspace_19_080_data_1_5 * (__time_step - FromWorkspace_19_080_time_1_4))) / (FromWorkspace_19_080_time_1_5 - FromWorkspace_19_080_time_1_4))
80
	    else if (((__time_step >= FromWorkspace_19_080_time_1_5) or abs_real(__time_step - FromWorkspace_19_080_time_1_5) <= 0.000000000000000222044604925031) and ((__time_step < FromWorkspace_19_080_time_1_6) and abs_real(__time_step - FromWorkspace_19_080_time_1_6) > 0.000000000000000222044604925031)) then
81
		(((FromWorkspace_19_080_data_1_5 * (FromWorkspace_19_080_time_1_6 - __time_step)) + (FromWorkspace_19_080_data_1_6 * (__time_step - FromWorkspace_19_080_time_1_5))) / (FromWorkspace_19_080_time_1_6 - FromWorkspace_19_080_time_1_5))
82
	    else if (((__time_step >= FromWorkspace_19_080_time_1_6) or abs_real(__time_step - FromWorkspace_19_080_time_1_6) <= 0.000000000000000222044604925031) and ((__time_step < FromWorkspace_19_080_time_1_7) and abs_real(__time_step - FromWorkspace_19_080_time_1_7) > 0.000000000000000222044604925031)) then
83
		(((FromWorkspace_19_080_data_1_6 * (FromWorkspace_19_080_time_1_7 - __time_step)) + (FromWorkspace_19_080_data_1_7 * (__time_step - FromWorkspace_19_080_time_1_6))) / (FromWorkspace_19_080_time_1_7 - FromWorkspace_19_080_time_1_6))
84
	    else if (((__time_step >= FromWorkspace_19_080_time_1_7) or abs_real(__time_step - FromWorkspace_19_080_time_1_7) <= 0.000000000000227373675443232059) and ((__time_step < FromWorkspace_19_080_time_1_8) and abs_real(__time_step - FromWorkspace_19_080_time_1_8) > 0.000000000000227373675443232059)) then
85
		(((FromWorkspace_19_080_data_1_7 * (FromWorkspace_19_080_time_1_8 - __time_step)) + (FromWorkspace_19_080_data_1_8 * (__time_step - FromWorkspace_19_080_time_1_7))) / (FromWorkspace_19_080_time_1_8 - FromWorkspace_19_080_time_1_7))
86
	    else FromWorkspace_19_080_data_1_8;
87
	FromWorkspace_19_080_time_2_1 = 0.000000000000000;
88
	FromWorkspace_19_080_data_2_1 = 1.000000000000000;
89
	FromWorkspace_19_080_time_2_2 = 0.200000000000000;
90
	FromWorkspace_19_080_data_2_2 = 2.000000000000000;
91
	FromWorkspace_19_080_time_2_3 = 0.400000000000000;
92
	FromWorkspace_19_080_data_2_3 = 3.000000000000000;
93
	FromWorkspace_19_080_time_2_4 = 0.600000000000000;
94
	FromWorkspace_19_080_data_2_4 = 4.000000000000000;
95
	FromWorkspace_19_080_time_2_5 = 0.800000000000000;
96
	FromWorkspace_19_080_data_2_5 = 5.000000000000000;
97
	FromWorkspace_19_080_time_2_6 = 1.000000000000000;
98
	FromWorkspace_19_080_data_2_6 = 6.000000000000000;
99
	FromWorkspace_19_080_time_2_7 = 1.200000000000000;
100
	FromWorkspace_19_080_data_2_7 = 7.000000000000000;
101
	FromWorkspace_19_080_time_2_8 = 1200.000000000000000;
102
	FromWorkspace_19_080_data_2_8 = 6001.000000000000000;
103
	FromWorkspace_2 = if (((__time_step >= FromWorkspace_19_080_time_2_1) or abs_real(__time_step - FromWorkspace_19_080_time_2_1) <= 0.000000000000000027755575615629) and ((__time_step < FromWorkspace_19_080_time_2_2) and abs_real(__time_step - FromWorkspace_19_080_time_2_2) > 0.000000000000000027755575615629)) then
104
		(((FromWorkspace_19_080_data_2_1 * (FromWorkspace_19_080_time_2_2 - __time_step)) + (FromWorkspace_19_080_data_2_2 * (__time_step - FromWorkspace_19_080_time_2_1))) / (FromWorkspace_19_080_time_2_2 - FromWorkspace_19_080_time_2_1))
105
	    else if (((__time_step >= FromWorkspace_19_080_time_2_2) or abs_real(__time_step - FromWorkspace_19_080_time_2_2) <= 0.000000000000000055511151231258) and ((__time_step < FromWorkspace_19_080_time_2_3) and abs_real(__time_step - FromWorkspace_19_080_time_2_3) > 0.000000000000000055511151231258)) then
106
		(((FromWorkspace_19_080_data_2_2 * (FromWorkspace_19_080_time_2_3 - __time_step)) + (FromWorkspace_19_080_data_2_3 * (__time_step - FromWorkspace_19_080_time_2_2))) / (FromWorkspace_19_080_time_2_3 - FromWorkspace_19_080_time_2_2))
107
	    else if (((__time_step >= FromWorkspace_19_080_time_2_3) or abs_real(__time_step - FromWorkspace_19_080_time_2_3) <= 0.000000000000000111022302462516) and ((__time_step < FromWorkspace_19_080_time_2_4) and abs_real(__time_step - FromWorkspace_19_080_time_2_4) > 0.000000000000000111022302462516)) then
108
		(((FromWorkspace_19_080_data_2_3 * (FromWorkspace_19_080_time_2_4 - __time_step)) + (FromWorkspace_19_080_data_2_4 * (__time_step - FromWorkspace_19_080_time_2_3))) / (FromWorkspace_19_080_time_2_4 - FromWorkspace_19_080_time_2_3))
109
	    else if (((__time_step >= FromWorkspace_19_080_time_2_4) or abs_real(__time_step - FromWorkspace_19_080_time_2_4) <= 0.000000000000000111022302462516) and ((__time_step < FromWorkspace_19_080_time_2_5) and abs_real(__time_step - FromWorkspace_19_080_time_2_5) > 0.000000000000000111022302462516)) then
110
		(((FromWorkspace_19_080_data_2_4 * (FromWorkspace_19_080_time_2_5 - __time_step)) + (FromWorkspace_19_080_data_2_5 * (__time_step - FromWorkspace_19_080_time_2_4))) / (FromWorkspace_19_080_time_2_5 - FromWorkspace_19_080_time_2_4))
111
	    else if (((__time_step >= FromWorkspace_19_080_time_2_5) or abs_real(__time_step - FromWorkspace_19_080_time_2_5) <= 0.000000000000000222044604925031) and ((__time_step < FromWorkspace_19_080_time_2_6) and abs_real(__time_step - FromWorkspace_19_080_time_2_6) > 0.000000000000000222044604925031)) then
112
		(((FromWorkspace_19_080_data_2_5 * (FromWorkspace_19_080_time_2_6 - __time_step)) + (FromWorkspace_19_080_data_2_6 * (__time_step - FromWorkspace_19_080_time_2_5))) / (FromWorkspace_19_080_time_2_6 - FromWorkspace_19_080_time_2_5))
113
	    else if (((__time_step >= FromWorkspace_19_080_time_2_6) or abs_real(__time_step - FromWorkspace_19_080_time_2_6) <= 0.000000000000000222044604925031) and ((__time_step < FromWorkspace_19_080_time_2_7) and abs_real(__time_step - FromWorkspace_19_080_time_2_7) > 0.000000000000000222044604925031)) then
114
		(((FromWorkspace_19_080_data_2_6 * (FromWorkspace_19_080_time_2_7 - __time_step)) + (FromWorkspace_19_080_data_2_7 * (__time_step - FromWorkspace_19_080_time_2_6))) / (FromWorkspace_19_080_time_2_7 - FromWorkspace_19_080_time_2_6))
115
	    else if (((__time_step >= FromWorkspace_19_080_time_2_7) or abs_real(__time_step - FromWorkspace_19_080_time_2_7) <= 0.000000000000227373675443232059) and ((__time_step < FromWorkspace_19_080_time_2_8) and abs_real(__time_step - FromWorkspace_19_080_time_2_8) > 0.000000000000227373675443232059)) then
116
		(((FromWorkspace_19_080_data_2_7 * (FromWorkspace_19_080_time_2_8 - __time_step)) + (FromWorkspace_19_080_data_2_8 * (__time_step - FromWorkspace_19_080_time_2_7))) / (FromWorkspace_19_080_time_2_8 - FromWorkspace_19_080_time_2_7))
117
	    else FromWorkspace_19_080_data_2_8;
118
	Out1_1 = FromWorkspace_1;
119
	Out1_2 = FromWorkspace_2;
120
	__time_step = (0.0 -> ((pre __time_step) + 0.100000000000000));
121
	__nb_step = (0 -> ((pre __nb_step) + 1));
122
tel