2022-11-16 17:56:16 +01:00
|
|
|
<pre>
|
2022-11-15 14:27:16 +01:00
|
|
|
model Env
|
|
|
|
|
Integer x; // Pulsante premuto dall'utente
|
|
|
|
|
Real r1024;
|
|
|
|
|
Integer state1024[Modelica.Math.Random.Generators.Xorshift1024star.nState];
|
|
|
|
|
algorithm
|
|
|
|
|
when initial() then
|
|
|
|
|
state1024 := Modelica.Math.Random.Generators.Xorshift1024star.initialState(614657, 30020);
|
|
|
|
|
x := 0;
|
|
|
|
|
r1024 := 0;
|
|
|
|
|
elsewhen sample(0,1) then
|
|
|
|
|
(r1024,state1024) := Modelica.Math.Random.Generators.Xorshift1024star.random(pre(state1024));
|
|
|
|
|
if (r1024 >= 0.6) then x := 0; else x := 1; end if;
|
|
|
|
|
end when;
|
2022-11-16 17:56:16 +01:00
|
|
|
end Env;
|
|
|
|
|
</pre>
|
