User Tools

Site Tools



This shows you the differences between two versions of the page.

Link to this comparison view

experimenting:parameters [Wednesday, 29 August 2007 : 15:09:10] (current)
Line 1: Line 1:
 +====== Simulation model parameters ======
 +Often, each experiment has different values for the simulation. These values can be given to the Chi simulation by means of model parameters, as in
 +<code chi>
 +model M(val x: nat, r: real) =
 +|[ !! "​x+r=",​ x+r, "​\n"​
 +This model outputs the sum of two input variables ''​x''​ and ''​r''​.
 +You can give values for these variables as parameters of startmodel, as in
 +$ startmodel 1 2.5
 +$ startmodel 10 1.2
experimenting/parameters.txt · Last modified: Wednesday, 29 August 2007 : 15:09:10 (external edit)