It is possible to execute the model checking directly in the command line without using the dialog box, if a batch-file *. bda exists in the directory. For this you have to change to the directory in which the calculation is to be executed. The input of dadia and confirming with the Enter key starts the model checking. The default file name is dadia.bda. This file is searched in the directory.

To use another batch file, type dadia file name (the extension ".bda" is automatically attached). Batch files can be created, viewed and modified with the help of any text editor.

 

Example of a batch file of the model checking (3D model)

out.d # Output file

transport_3d_mitalles.net # 2D input file

# Additional 2D file

transport_3d_mitalles.3d # 3D input file

# Additional 3D file

0 0.01 # detailed data check (1-yes/0-no), z-coord. equal?

0 # detailed protocol (1-yes/0-no)

0 # with mining subsidence (1-yes/0-no)

1 # autom. additional assignm. for initial potentials EICH (1-yes/0-no)

1 # autom. additional assignm. for hydr. cond. (1-yes/0-no)

1 # autom. additional assignm. for min./max. hydr. cond. (1-yes/0-no)

1 # autom. additional assignm. for dispersivities (1-yes/0-no)

1 # autom. additional assignm. for porosities (1-yes/0-no)

1 # autom. additional assignm. for storage coefficients (1-yes/0-no)

1 # autom. additional assignm. for initial concentr. (1-yes/0-no)

transport_3d_mitalles.dim # Special dimensioning file

 

The program ignores the characters behind the sign `#'. This space can be used for individual remarks.

 

The presented batch file for the model checking can be downloaded on our Homepage.

 

Here you find a detailed