diff options
| author | stainer_t <thomas.stainer@oecd-nea.org> | 2025-09-08 13:48:49 +0200 |
|---|---|---|
| committer | stainer_t <thomas.stainer@oecd-nea.org> | 2025-09-08 13:48:49 +0200 |
| commit | 7dfcc480ba1e19bd3232349fc733caef94034292 (patch) | |
| tree | 03ee104eb8846d5cc1a981d267687a729185d3f3 /Trivac/data/Ktests_proc | |
Initial commit from Polytechnique Montreal
Diffstat (limited to 'Trivac/data/Ktests_proc')
50 files changed, 4099 insertions, 0 deletions
diff --git a/Trivac/data/Ktests_proc/assertS2.c2m b/Trivac/data/Ktests_proc/assertS2.c2m new file mode 100755 index 0000000..2066d84 --- /dev/null +++ b/Trivac/data/Ktests_proc/assertS2.c2m @@ -0,0 +1,32 @@ +* +* Assert procedure for non-regression testing +* Recover a value from a real array +* Author: A. Hebert +* +PARAMETER LCMNAM :: ::: LINKED_LIST LCMNAM ; ; +CHARACTER KEY ; +INTEGER ISET IPOS ; +REAL REFVALUE ; +:: >>KEY<< >>IPOS<< >>REFVALUE<< ; +INTEGER ITYLCM ; +REAL VALUE DELTA ; +MODULE GREP: ABORT: END: ; +* +GREP: LCMNAM :: TYPE <<KEY>> >>ITYLCM<< ; +IF ITYLCM 2 = THEN + GREP: LCMNAM :: GETVAL <<KEY>> <<IPOS>> >>VALUE<< ; +ELSE + PRINT "assertS2: INVALID TYPE=" ITYLCM ; + ABORT: ; +ENDIF ; +EVALUATE DELTA := VALUE REFVALUE - REFVALUE / ABS ; +IF DELTA 5.0E-3 < THEN + PRINT "TEST SUCCESSFUL; DELTA=" DELTA ; +ELSE + PRINT "------------" ; + PRINT "TEST FAILURE" ; + PRINT "------------" ; + PRINT "REFERENCE=" REFVALUE " CALCULATED=" VALUE ; + ABORT: ; +ENDIF ; +END: ; diff --git a/Trivac/data/Ktests_proc/dual12_biv.c2m b/Trivac/data/Ktests_proc/dual12_biv.c2m new file mode 100755 index 0000000..0ada58d --- /dev/null +++ b/Trivac/data/Ktests_proc/dual12_biv.c2m @@ -0,0 +1,144 @@ +*---- +* TEST CASE ene6103 +* +* REF: A. Hebert, "Applied Reactor Physics", Presses Internationales +* Polytechnique, Problem 5.12 (2009). +* +*---- +* Define STRUCTURES and MODULES used +*---- +LINKED_LIST GEOM MACRO MACROP TRACK SYSTEM SYSTEMP FLUX EDIT KINET ; +MODULE GEO: MAC: BIVACT: BIVACA: FLUD: OUT: INIKIN: KINSOL: DELETE: + GREP: END: ; +REAL FNORM ; +REAL TIME := 0.0 ; +PROCEDURE assertS assertS2 ; +* +GEOM := GEO: :: CAR1D 4 + X- ZERO X+ ZERO + MIX 2 1 3 2 + MESHX 0.0 40.0 350.0 660.0 700.0 + SPLITX 1 4 4 1 + ; +*---- +* Macroscopic cross sections +*---- +MACRO := MAC: :: + EDIT 2 NGRO 2 NMIX 3 NIFI 1 + READ INPUT + MIX 1 + DIFF 1.264E+00 0.9328E+00 + TOTAL 8.154E-03 4.1000E-03 + NUSIGF 0.000E+00 4.5620E-03 + CHI 1.000E+00 0.000E+00 + H-FACTOR 0.000E+00 4.5620E-03 + SCAT 1 1 0.0 2 2 0.0 7.368E-03 + OVERV 1.000E-07 5.000E-06 + MIX 2 + DIFF 1.310E+00 0.8695E+00 + TOTAL 1.018E-02 2.1170E-04 + SCAT 1 1 0.0 2 2 0.0 1.0180E-02 + OVERV 1.000E-07 5.000E-06 + MIX 3 + DIFF 1.264E+00 0.9328E+00 + TOTAL 8.154E-03 4.1000E-03 + NUSIGF 0.000E+00 4.5620E-03 + CHI 1.000E+00 0.000E+00 + H-FACTOR 0.000E+00 4.5620E-03 + SCAT 1 1 0.0 2 2 0.0 7.368E-03 + OVERV 1.000E-07 5.000E-06 + ; +*---- +* Steady-state calculation +*---- +MACROP := MAC: MACRO :: + EDIT 2 + READ INPUT + MIX 1 + TOTAL 8.154E-03 4.0800E-03 + ; +TRACK := BIVACT: GEOM :: + TITLE 'BENCHMARK ENE6103' + EDIT 99 MAXR 18 DUAL 1 2 ; +SYSTEM := BIVACA: MACRO TRACK :: EDIT 5 UNIT ; +FLUX := FLUD: SYSTEM TRACK :: EDIT 2 EXTE 5.0E-7 ; +GREP: FLUX :: STEP UP FLUX GETVAL 2 10 >>FNORM<< ; +assertS FLUX :: 'K-EFFECTIVE' 1 0.9977701 ; +EVALUATE FNORM := 1.0 FNORM / ; +ECHO "Flux normalization factor=" FNORM ; +EDIT := OUT: FLUX TRACK MACRO GEOM :: EDIT 2 INTG IN ; +SYSTEMP := BIVACA: MACROP TRACK :: EDIT 5 UNIT ; +*---- +* Implicit space-time kinetics +*---- +KINET := INIKIN: MACRO TRACK SYSTEM FLUX :: EDIT 6 + NDEL 6 + BETA 0.000266 0.001491 0.001316 + 0.002849 0.000896 0.000182 + LAMBDA 0.0127 0.0317 0.1150 + 0.3110 1.4000 3.8700 + CHID 1.0 1.0 1.0 1.0 1.0 1.0 + 0.0 0.0 0.0 0.0 0.0 0.0 + NORM <<FNORM>> ; +WHILE TIME 10.0 <= DO + KINET := KINSOL: KINET MACROP TRACK SYSTEMP :: + EDIT 5 DELTA 0.1 + SCHEME FLUX IMPLIC PREC IMPLIC EXTE 5.0E-7 ; + GREP: KINET :: GETVAL 'TOTAL-TIME' 1 >>TIME<< ; + ECHO "TIME=" TIME "S" ; + IF TIME 0.1 - ABS 1.0E-3 < THEN + assertS2 KINET :: 'CTRL-FLUX' 1 1.188076 ; + assertS2 KINET :: 'CTRL-PREC' 1 9.578693E-05 ; + ELSEIF TIME 0.5 - ABS 1.0E-3 < THEN + assertS2 KINET :: 'CTRL-FLUX' 1 1.566191 ; + assertS2 KINET :: 'CTRL-PREC' 1 9.600593E-05 ; + ELSEIF TIME 1.0 - ABS 1.0E-3 < THEN + assertS2 KINET :: 'CTRL-FLUX' 1 1.785692 ; + assertS2 KINET :: 'CTRL-PREC' 1 9.643316E-05 ; + ELSEIF TIME 5.0 - ABS 1.0E-3 < THEN + assertS2 KINET :: 'CTRL-FLUX' 1 2.910200 ; + assertS2 KINET :: 'CTRL-PREC' 1 1.028781E-04 ; + ELSEIF TIME 10.0 - ABS 1.0E-3 < THEN + assertS2 KINET :: 'CTRL-FLUX' 1 4.719470 ; + assertS2 KINET :: 'CTRL-PREC' 1 1.188469E-04 ; + ENDIF ; +ENDWHILE ; +KINET := DELETE: KINET ; +*---- +* Crank-Nicholson space-time kinetics +*---- +EVALUATE TIME := 0.0 ; +KINET := INIKIN: MACRO TRACK SYSTEM FLUX :: EDIT 6 + NDEL 6 + BETA 0.000266 0.001491 0.001316 + 0.002849 0.000896 0.000182 + LAMBDA 0.0127 0.0317 0.1150 + 0.3110 1.4000 3.8700 + CHID 1.0 1.0 1.0 1.0 1.0 1.0 + 0.0 0.0 0.0 0.0 0.0 0.0 + NORM <<FNORM>> ; +WHILE TIME 10.0 <= DO + KINET := KINSOL: KINET MACROP TRACK SYSTEMP :: + EDIT 5 DELTA 0.1 + SCHEME FLUX CRANK PREC CRANK EXTE 5.0E-7 ; + GREP: KINET :: GETVAL 'TOTAL-TIME' 1 >>TIME<< ; + ECHO "TIME=" TIME "S" ; + IF TIME 0.1 - ABS 1.0E-3 < THEN + assertS2 KINET :: 'CTRL-FLUX' 1 1.225747 ; + assertS2 KINET :: 'CTRL-PREC' 1 9.577780E-05 ; + ELSEIF TIME 0.5 - ABS 1.0E-3 < THEN + assertS2 KINET :: 'CTRL-FLUX' 1 1.594242 ; + assertS2 KINET :: 'CTRL-PREC' 1 9.598913E-05 ; + ELSEIF TIME 1.0 - ABS 1.0E-3 < THEN + assertS2 KINET :: 'CTRL-FLUX' 1 1.795113 ; + assertS2 KINET :: 'CTRL-PREC' 1 9.641382E-05 ; + ELSEIF TIME 5.0 - ABS 1.0E-3 < THEN + assertS2 KINET :: 'CTRL-FLUX' 1 2.905498 ; + assertS2 KINET :: 'CTRL-PREC' 1 1.027946E-04 ; + ELSEIF TIME 10.0 - ABS 1.0E-3 < THEN + assertS2 KINET :: 'CTRL-FLUX' 1 4.702715 ; + assertS2 KINET :: 'CTRL-PREC' 1 1.186118E-04 ; + ENDIF ; +ENDWHILE ; +ECHO "test dual12_biv completed" ; +END: ; diff --git a/Trivac/data/Ktests_proc/dual12_tri.c2m b/Trivac/data/Ktests_proc/dual12_tri.c2m new file mode 100755 index 0000000..ee8c061 --- /dev/null +++ b/Trivac/data/Ktests_proc/dual12_tri.c2m @@ -0,0 +1,181 @@ +*---- +* TEST CASE ene6103 +* +* REF: A. Hebert, "Applied Reactor Physics", Presses Internationales +* Polytechnique, Problem 5.12 (2009). +* +*---- +* Define STRUCTURES and MODULES used +*---- +LINKED_LIST GEOM MACRO MACROP TRACK SYSTEM SYSTEMP FLUX EDIT KINET ; +MODULE GEO: MAC: TRIVAT: TRIVAA: FLUD: OUT: INIKIN: KINSOL: DELETE: + GREP: END: ; +REAL FNORM ; +REAL TIME := 0.0 ; +PROCEDURE assertS assertS2 ; +* +GEOM := GEO: :: CAR1D 4 + X- ZERO X+ ZERO + MIX 2 1 3 2 + MESHX 0.0 40.0 350.0 660.0 700.0 + SPLITX 1 4 4 1 + ; +*---- +* Macroscopic cross sections +*---- +MACRO := MAC: :: + EDIT 2 NGRO 2 NMIX 3 NIFI 1 + READ INPUT + MIX 1 + DIFF 1.264E+00 0.9328E+00 + TOTAL 8.154E-03 4.1000E-03 + NUSIGF 0.000E+00 4.5620E-03 + CHI 1.000E+00 0.000E+00 + H-FACTOR 0.000E+00 4.5620E-03 + SCAT 1 1 0.0 2 2 0.0 7.368E-03 + OVERV 1.000E-07 5.000E-06 + MIX 2 + DIFF 1.310E+00 0.8695E+00 + TOTAL 1.018E-02 2.1170E-04 + SCAT 1 1 0.0 2 2 0.0 1.0180E-02 + OVERV 1.000E-07 5.000E-06 + MIX 3 + DIFF 1.264E+00 0.9328E+00 + TOTAL 8.154E-03 4.1000E-03 + NUSIGF 0.000E+00 4.5620E-03 + CHI 1.000E+00 0.000E+00 + H-FACTOR 0.000E+00 4.5620E-03 + SCAT 1 1 0.0 2 2 0.0 7.368E-03 + OVERV 1.000E-07 5.000E-06 + ; +*---- +* Steady-state calculation +*---- +MACROP := MAC: MACRO :: + EDIT 2 + READ INPUT + MIX 1 + TOTAL 8.154E-03 4.0800E-03 + ; +TRACK := TRIVAT: GEOM :: + TITLE 'BENCHMARK ENE6103' + EDIT 99 MAXR 18 DUAL 1 2 ; +SYSTEM := TRIVAA: MACRO TRACK :: EDIT 5 UNIT ; +FLUX := FLUD: SYSTEM TRACK :: EDIT 2 EXTE 5.0E-7 ; +GREP: FLUX :: STEP UP FLUX GETVAL 2 5 >>FNORM<< ; +assertS FLUX :: 'K-EFFECTIVE' 1 0.9977700 ; +EVALUATE FNORM := 1.0 FNORM / ; +ECHO "Flux normalization factor=" FNORM ; +EDIT := OUT: FLUX TRACK MACRO GEOM :: EDIT 2 INTG IN ; +SYSTEMP := TRIVAA: MACROP TRACK :: EDIT 5 UNIT ; +*---- +* Implicit space-time kinetics +*---- +KINET := INIKIN: MACRO TRACK SYSTEM FLUX :: EDIT 6 + NDEL 6 + BETA 0.000266 0.001491 0.001316 + 0.002849 0.000896 0.000182 + LAMBDA 0.0127 0.0317 0.1150 + 0.3110 1.4000 3.8700 + CHID 1.0 1.0 1.0 1.0 1.0 1.0 + 0.0 0.0 0.0 0.0 0.0 0.0 + NORM <<FNORM>> ; +WHILE TIME 10.0 <= DO + KINET := KINSOL: KINET MACROP TRACK SYSTEMP :: + EDIT 5 DELTA 0.1 + SCHEME FLUX IMPLIC PREC IMPLIC EXTE 1.0E-6 ; + GREP: KINET :: GETVAL 'TOTAL-TIME' 1 >>TIME<< ; + ECHO "TIME=" TIME "S" ; + IF TIME 0.1 - ABS 1.0E-3 < THEN + assertS2 KINET :: 'CTRL-FLUX' 1 1.188061 ; + assertS2 KINET :: 'CTRL-PREC' 1 9.578695E-05 ; + ELSEIF TIME 0.5 - ABS 1.0E-3 < THEN + assertS2 KINET :: 'CTRL-FLUX' 1 1.566028 ; + assertS2 KINET :: 'CTRL-PREC' 1 9.600593E-05 ; + ELSEIF TIME 1.0 - ABS 1.0E-3 < THEN + assertS2 KINET :: 'CTRL-FLUX' 1 1.785574 ; + assertS2 KINET :: 'CTRL-PREC' 1 9.643309E-05 ; + ELSEIF TIME 5.0 - ABS 1.0E-3 < THEN + assertS2 KINET :: 'CTRL-FLUX' 1 2.910440 ; + assertS2 KINET :: 'CTRL-PREC' 1 1.028784E-04 ; + ELSEIF TIME 10.0 - ABS 1.0E-3 < THEN + assertS2 KINET :: 'CTRL-FLUX' 1 4.719877 ; + assertS2 KINET :: 'CTRL-PREC' 1 1.188491E-04 ; + ENDIF ; +ENDWHILE ; +KINET := DELETE: KINET ; +*---- +* Crank-Nicholson space-time kinetics +*---- +EVALUATE TIME := 0.0 ; +KINET := INIKIN: MACRO TRACK SYSTEM FLUX :: EDIT 6 + NDEL 6 + BETA 0.000266 0.001491 0.001316 + 0.002849 0.000896 0.000182 + LAMBDA 0.0127 0.0317 0.1150 + 0.3110 1.4000 3.8700 + CHID 1.0 1.0 1.0 1.0 1.0 1.0 + 0.0 0.0 0.0 0.0 0.0 0.0 + NORM <<FNORM>> ; +WHILE TIME 10.0 <= DO + KINET := KINSOL: KINET MACROP TRACK SYSTEMP :: + EDIT 5 DELTA 0.1 + SCHEME FLUX CRANK PREC CRANK EXTE 1.0E-6 ; + GREP: KINET :: GETVAL 'TOTAL-TIME' 1 >>TIME<< ; + ECHO "TIME=" TIME "S" ; + IF TIME 0.1 - ABS 1.0E-3 < THEN + assertS2 KINET :: 'CTRL-FLUX' 1 1.225754 ; + assertS2 KINET :: 'CTRL-PREC' 1 9.577782E-05 ; + ELSEIF TIME 0.5 - ABS 1.0E-3 < THEN + assertS2 KINET :: 'CTRL-FLUX' 1 1.5943015 ; + assertS2 KINET :: 'CTRL-PREC' 1 9.598914E-05 ; + ELSEIF TIME 1.0 - ABS 1.0E-3 < THEN + assertS2 KINET :: 'CTRL-FLUX' 1 1.795137 ; + assertS2 KINET :: 'CTRL-PREC' 1 9.641384E-05 ; + ELSEIF TIME 5.0 - ABS 1.0E-3 < THEN + assertS2 KINET :: 'CTRL-FLUX' 1 2.905773 ; + assertS2 KINET :: 'CTRL-PREC' 1 1.027955E-04 ; + ELSEIF TIME 10.0 - ABS 1.0E-3 < THEN + assertS2 KINET :: 'CTRL-FLUX' 1 4.703376 ; + assertS2 KINET :: 'CTRL-PREC' 1 1.186155E-04 ; + ENDIF ; +ENDWHILE ; +KINET := DELETE: KINET ; +*---- +* Crank-Nicholson space-time kinetics with exponential transformation +*---- +EVALUATE TIME := 0.0 ; +KINET := INIKIN: MACRO TRACK SYSTEM FLUX :: EDIT 6 + NDEL 6 + BETA 0.000266 0.001491 0.001316 + 0.002849 0.000896 0.000182 + LAMBDA 0.0127 0.0317 0.1150 + 0.3110 1.4000 3.8700 + CHID 1.0 1.0 1.0 1.0 1.0 1.0 + 0.0 0.0 0.0 0.0 0.0 0.0 + NORM <<FNORM>> ; +WHILE TIME 10.0 <= DO + KINET := KINSOL: KINET MACROP TRACK SYSTEMP :: + EDIT 5 DELTA 0.1 + SCHEME FLUX TEXP CRANK PREC CRANK EXTE 1.0E-6 ; + GREP: KINET :: GETVAL 'TOTAL-TIME' 1 >>TIME<< ; + ECHO "TIME=" TIME "S" ; + IF TIME 0.1 - ABS 1.0E-3 < THEN + assertS2 KINET :: 'CTRL-FLUX' 1 1.225750 ; + assertS2 KINET :: 'CTRL-PREC' 1 9.577782E-05 ; + ELSEIF TIME 0.5 - ABS 1.0E-3 < THEN + assertS2 KINET :: 'CTRL-FLUX' 1 1.541330 ; + assertS2 KINET :: 'CTRL-PREC' 1 9.597840E-05 ; + ELSEIF TIME 1.0 - ABS 1.0E-3 < THEN + assertS2 KINET :: 'CTRL-FLUX' 1 1.761252 ; + assertS2 KINET :: 'CTRL-PREC' 1 9.637990E-05 ; + ELSEIF TIME 5.0 - ABS 1.0E-3 < THEN + assertS2 KINET :: 'CTRL-FLUX' 1 2.854255 ; + assertS2 KINET :: 'CTRL-PREC' 1 1.025769E-04 ; + ELSEIF TIME 10.0 - ABS 1.0E-3 < THEN + assertS2 KINET :: 'CTRL-FLUX' 1 4.593970 ; + assertS2 KINET :: 'CTRL-PREC' 1 1.179521E-04 ; + ENDIF ; +ENDWHILE ; +ECHO "test dual12_tri completed" ; +END: ; diff --git a/Trivac/data/Ktests_proc/dual13_biv.c2m b/Trivac/data/Ktests_proc/dual13_biv.c2m new file mode 100755 index 0000000..39111df --- /dev/null +++ b/Trivac/data/Ktests_proc/dual13_biv.c2m @@ -0,0 +1,144 @@ +*---- +* TEST CASE ene6103 +* +* REF: A. Hebert, "Applied Reactor Physics", Presses Internationales +* Polytechnique, Problem 5.12 (2009). +* +*---- +* Define STRUCTURES and MODULES used +*---- +LINKED_LIST GEOM MACRO MACROP TRACK SYSTEM SYSTEMP FLUX EDIT KINET ; +MODULE GEO: MAC: BIVACT: BIVACA: FLUD: OUT: INIKIN: KINSOL: DELETE: + GREP: END: ; +REAL FNORM ; +REAL TIME := 0.0 ; +PROCEDURE assertS assertS2 ; +* +GEOM := GEO: :: CAR1D 4 + X- ZERO X+ ZERO + MIX 2 1 3 2 + MESHX 0.0 40.0 350.0 660.0 700.0 + SPLITX 1 4 4 1 + ; +*---- +* Macroscopic cross sections +*---- +MACRO := MAC: :: + EDIT 2 NGRO 2 NMIX 3 NIFI 1 + READ INPUT + MIX 1 + DIFF 1.264E+00 0.9328E+00 + TOTAL 8.154E-03 4.1000E-03 + NUSIGF 0.000E+00 4.5620E-03 + CHI 1.000E+00 0.000E+00 + H-FACTOR 0.000E+00 4.5620E-03 + SCAT 1 1 0.0 2 2 0.0 7.368E-03 + OVERV 1.000E-07 5.000E-06 + MIX 2 + DIFF 1.310E+00 0.8695E+00 + TOTAL 1.018E-02 2.1170E-04 + SCAT 1 1 0.0 2 2 0.0 1.0180E-02 + OVERV 1.000E-07 5.000E-06 + MIX 3 + DIFF 1.264E+00 0.9328E+00 + TOTAL 8.154E-03 4.1000E-03 + NUSIGF 0.000E+00 4.5620E-03 + CHI 1.000E+00 0.000E+00 + H-FACTOR 0.000E+00 4.5620E-03 + SCAT 1 1 0.0 2 2 0.0 7.368E-03 + OVERV 1.000E-07 5.000E-06 + ; +*---- +* Steady-state calculation +*---- +MACROP := MAC: MACRO :: + EDIT 2 + READ INPUT + MIX 1 + TOTAL 8.154E-03 4.0800E-03 + ; +TRACK := BIVACT: GEOM :: + TITLE 'BENCHMARK ENE6103' + EDIT 99 MAXR 18 DUAL 1 3 ; +SYSTEM := BIVACA: MACRO TRACK :: EDIT 5 UNIT ; +FLUX := FLUD: SYSTEM TRACK :: EDIT 2 EXTE 5.0E-7 ; +GREP: FLUX :: STEP UP FLUX GETVAL 2 10 >>FNORM<< ; +assertS FLUX :: 'K-EFFECTIVE' 1 0.9976777 ; +EVALUATE FNORM := 1.0 FNORM / ; +ECHO "Flux normalization factor=" FNORM ; +EDIT := OUT: FLUX TRACK MACRO GEOM :: EDIT 2 INTG IN ; +SYSTEMP := BIVACA: MACROP TRACK :: EDIT 5 UNIT ; +*---- +* Implicit space-time kinetics +*---- +KINET := INIKIN: MACRO TRACK SYSTEM FLUX :: EDIT 6 + NDEL 6 + BETA 0.000266 0.001491 0.001316 + 0.002849 0.000896 0.000182 + LAMBDA 0.0127 0.0317 0.1150 + 0.3110 1.4000 3.8700 + CHID 1.0 1.0 1.0 1.0 1.0 1.0 + 0.0 0.0 0.0 0.0 0.0 0.0 + NORM <<FNORM>> ; +WHILE TIME 10.0 <= DO + KINET := KINSOL: KINET MACROP TRACK SYSTEMP :: + EDIT 5 DELTA 0.1 + SCHEME FLUX IMPLIC PREC IMPLIC EXTE 5.0E-7 ; + GREP: KINET :: GETVAL 'TOTAL-TIME' 1 >>TIME<< ; + ECHO "TIME=" TIME "S" ; + IF TIME 0.1 - ABS 1.0E-3 < THEN + assertS2 KINET :: 'CTRL-FLUX' 1 1.177870 ; + assertS2 KINET :: 'CTRL-PREC' 1 9.579441E-05 ; + ELSEIF TIME 0.5 - ABS 1.0E-3 < THEN + assertS2 KINET :: 'CTRL-FLUX' 1 1.544497 ; + assertS2 KINET :: 'CTRL-PREC' 1 9.600461E-05 ; + ELSEIF TIME 1.0 - ABS 1.0E-3 < THEN + assertS2 KINET :: 'CTRL-FLUX' 1 1.756687 ; + assertS2 KINET :: 'CTRL-PREC' 1 9.641601E-05 ; + ELSEIF TIME 5.0 - ABS 1.0E-3 < THEN + assertS2 KINET :: 'CTRL-FLUX' 1 2.834703 ; + assertS2 KINET :: 'CTRL-PREC' 1 1.026161E-04 ; + ELSEIF TIME 10.0 - ABS 1.0E-3 < THEN + assertS2 KINET :: 'CTRL-FLUX' 1 4.549758 ; + assertS2 KINET :: 'CTRL-PREC' 1 1.178988E-04 ; + ENDIF ; +ENDWHILE ; +KINET := DELETE: KINET ; +*---- +* Crank-Nicholson space-time kinetics +*---- +EVALUATE TIME := 0.0 ; +KINET := INIKIN: MACRO TRACK SYSTEM FLUX :: EDIT 6 + NDEL 6 + BETA 0.000266 0.001491 0.001316 + 0.002849 0.000896 0.000182 + LAMBDA 0.0127 0.0317 0.1150 + 0.3110 1.4000 3.8700 + CHID 1.0 1.0 1.0 1.0 1.0 1.0 + 0.0 0.0 0.0 0.0 0.0 0.0 + NORM <<FNORM>> ; +WHILE TIME 10.0 <= DO + KINET := KINSOL: KINET MACROP TRACK SYSTEMP :: + EDIT 5 DELTA 0.1 + SCHEME FLUX CRANK PREC CRANK EXTE 5.0E-7 ; + GREP: KINET :: GETVAL 'TOTAL-TIME' 1 >>TIME<< ; + ECHO "TIME=" TIME "S" ; + IF TIME 0.1 - ABS 1.0E-3 < THEN + assertS2 KINET :: 'CTRL-FLUX' 1 1.210341 ; + assertS2 KINET :: 'CTRL-PREC' 1 9.578560E-05 ; + ELSEIF TIME 0.5 - ABS 1.0E-3 < THEN + assertS2 KINET :: 'CTRL-FLUX' 1 1.571491 ; + assertS2 KINET :: 'CTRL-PREC' 1 9.598836E-05 ; + ELSEIF TIME 1.0 - ABS 1.0E-3 < THEN + assertS2 KINET :: 'CTRL-FLUX' 1 1.765748 ; + assertS2 KINET :: 'CTRL-PREC' 1 9.639743E-05 ; + ELSEIF TIME 5.0 - ABS 1.0E-3 < THEN + assertS2 KINET :: 'CTRL-FLUX' 1 2.830195 ; + assertS2 KINET :: 'CTRL-PREC' 1 1.025364E-04 ; + ELSEIF TIME 10.0 - ABS 1.0E-3 < THEN + assertS2 KINET :: 'CTRL-FLUX' 1 4.534057 ; + assertS2 KINET :: 'CTRL-PREC' 1 1.176772E-04 ; + ENDIF ; +ENDWHILE ; +ECHO "test dual13_biv completed" ; +END: ; diff --git a/Trivac/data/Ktests_proc/lmw2D.c2m b/Trivac/data/Ktests_proc/lmw2D.c2m new file mode 100755 index 0000000..b79b180 --- /dev/null +++ b/Trivac/data/Ktests_proc/lmw2D.c2m @@ -0,0 +1,134 @@ +*---- +* TEST CASE LMW 2D +* +* REF: G. Greenman, "A Quasi-Static Flux Synthesis Temporal Integration +* Scheme for an Analytic Nodal Method," Nuclear Engineer's Thesis, +* Massachusetts Institute of Technology, Department of Nuclear +* Engineering (May 1980). +* +*---- +* Define STRUCTURES and MODULES used +*---- +LINKED_LIST LMW TRACK MACRO1 SYSTEM1 MACRO2 SYSTEM2 FLUX KINET ; +MODULE GEO: MAC: TRIVAT: TRIVAA: FLUD: INIKIN: KINSOL: GREP: DELETE: + END: ; +REAL fnorm sigt1 sigt2 ; +REAL TIME := 0.0 ; +PROCEDURE assertS assertS2 ; +* +LMW := GEO: :: CAR2D 6 6 + X- REFL X+ ZERO + Y- REFL Y+ ZERO + MIX 1 1 1 2 3 4 + 1 1 1 1 3 4 + 1 1 5 1 3 4 + 6 1 1 3 3 4 + 3 3 3 3 4 4 + 4 4 4 4 4 0 + MESHX 0.0 10. 30. 50. 70. 90. 110. + MESHY 0.0 10. 30. 50. 70. 90. 110. + SPLITX 2 2 2 2 2 2 + SPLITY 2 2 2 2 2 2 + ; +MACRO1 := MAC: :: + EDIT 0 NGRO 2 NMIX 6 + READ INPUT + MIX 1 + DIFF 1.423910E+00 3.563060E-01 + TOTAL 2.795756E-02 8.766216E-02 + NUSIGF 6.477691E-03 1.127328E-01 + H-FACTOR 2.591070E-03 4.509310E-02 + SCAT 1 1 0.0 2 2 0.0 0.175555E-01 + OVERV 0.800E-07 4.000E-06 + MIX 2 + DIFF 1.423910E+00 3.563060E-01 + TOTAL 2.850756E-02 9.146219E-02 + NUSIGF 6.477691E-03 1.127328E-01 + H-FACTOR 2.591070E-03 4.509310E-02 + SCAT 1 1 0.0 2 2 0.0 0.175555E-01 + OVERV 0.800E-07 4.000E-06 + MIX 3 + DIFF 1.425610E+00 3.505740E-01 + TOTAL 2.817031E-02 9.925634E-02 + NUSIGF 7.503282E-03 1.378004E-01 + H-FACTOR 3.001310E-03 5.512106E-02 + SCAT 1 1 0.0 2 2 0.0 0.171777E-01 + OVERV 0.800E-07 4.000E-06 + MIX 4 + DIFF 1.634220E+00 2.640020E-01 + TOTAL 3.025750E-02 4.936351E-02 + SCAT 1 1 0.0 2 2 0.0 0.275969E-01 + OVERV 0.800E-07 4.000E-06 + MIX 5 + DIFF 1.423910E+00 3.563060E-01 + TOTAL 2.795756E-02 8.766216E-02 + NUSIGF 6.477691E-03 1.127328E-01 + H-FACTOR 2.591070E-03 4.509310E-02 + SCAT 1 1 0.0 2 2 0.0 0.175555E-01 + OVERV 0.800E-07 4.000E-06 + MIX 6 + DIFF 1.423910E+00 3.563060E-01 + TOTAL 2.850756E-02 9.146217E-02 + NUSIGF 6.477691E-03 1.127328E-01 + H-FACTOR 2.591070E-03 4.509310E-02 + SCAT 1 1 0.0 2 2 0.0 0.175555E-01 + OVERV 0.800E-07 4.000E-06 + ; +TRACK := TRIVAT: LMW :: + TITLE 'LMW 2-D BENCHMARK' + EDIT 1 MAXR 144 MCFD 2 ; +SYSTEM1 := TRIVAA: MACRO1 TRACK :: + EDIT 1 UNIT ; +FLUX := FLUD: SYSTEM1 TRACK :: + EDIT 1 EXTE 5.0E-7 ; +assertS FLUX :: 'K-EFFECTIVE' 1 1.014803 ; +*---- +* Crank-Nicholson space-time kinetics +*---- +EVALUATE TIME := 0.0 ; +KINET := INIKIN: MACRO1 TRACK SYSTEM1 FLUX :: EDIT 1 + NDEL 6 + BETA 0.000247 0.0013845 0.001222 0.0026455 0.000832 0.000169 + LAMBDA 0.0127 0.0317 0.115 0.311 1.40 3.87 + CHID 1.0 1.0 1.0 1.0 1.0 1.0 + 0.0 0.0 0.0 0.0 0.0 0.0 + NORM POWER-INI 1.0E4 ; +EVALUATE sigt1 := 2.850756E-02 ; +EVALUATE sigt2 := 9.146217E-02 ; +WHILE TIME 26.7 <= DO + EVALUATE sigt1 := sigt1 5.5E-4 0.1 26.7 / * - ; + EVALUATE sigt2 := sigt2 3.8E-3 0.1 26.7 / * - ; + MACRO2 := MAC: MACRO1 :: + EDIT 0 + READ INPUT + MIX 6 + TOTAL <<sigt1>> <<sigt2>> + ; + SYSTEM2 := TRIVAA: MACRO2 TRACK :: + EDIT 1 UNIT ; + KINET := KINSOL: KINET MACRO2 TRACK SYSTEM2 MACRO1 SYSTEM1 :: + EDIT 5 DELTA 0.1 + SCHEME FLUX CRANK PREC CRANK EXTE 1.0E-6 ; + GREP: KINET :: GETVAL 'TOTAL-TIME' 1 >>TIME<< ; + ECHO "TIME=" TIME "S" "sigt=" sigt1 sigt2 ; + IF TIME 1.0 - ABS 1.0E-3 < THEN + assertS2 KINET :: 'E-POW' 1 1.008753E+04 ; + ELSEIF TIME 5.0 - ABS 1.0E-3 < THEN + assertS2 KINET :: 'E-POW' 1 1.063990E+04 ; + ELSEIF TIME 10.0 - ABS 1.0E-3 < THEN + assertS2 KINET :: 'E-POW' 1 1.176902E+04 ; + ELSEIF TIME 15.0 - ABS 1.0E-3 < THEN + assertS2 KINET :: 'E-POW' 1 1.352433E+04 ; + ELSEIF TIME 20.0 - ABS 1.0E-3 < THEN + assertS2 KINET :: 'E-POW' 1 1.621938E+04 ; + ELSEIF TIME 25.0 - ABS 1.0E-3 < THEN + assertS2 KINET :: 'E-POW' 1 2.047011E+04 ; + ELSEIF TIME 26.7 - ABS 1.0E-3 < THEN + assertS2 KINET :: 'E-POW' 1 2.245449E+04 ; + ENDIF ; + MACRO1 SYSTEM1 := DELETE: MACRO1 SYSTEM1 ; + MACRO1 := MACRO2 ; + SYSTEM1 := SYSTEM2 ; + MACRO2 SYSTEM2 := DELETE: MACRO2 SYSTEM2 ; +ENDWHILE ; +ECHO "test lmw2D completed" ; diff --git a/Trivac/data/Ktests_proc/mcfd1.c2m b/Trivac/data/Ktests_proc/mcfd1.c2m new file mode 100755 index 0000000..c6d6dc3 --- /dev/null +++ b/Trivac/data/Ktests_proc/mcfd1.c2m @@ -0,0 +1,144 @@ +*---- +* TEST CASE ene6103 +* +* REF: A. Hebert, "Applied Reactor Physics", Presses Internationales +* Polytechnique, Problem 5.12 (2009). +* +*---- +* Define STRUCTURES and MODULES used +*---- +LINKED_LIST GEOM MACRO MACROP TRACK SYSTEM SYSTEMP FLUX EDIT KINET ; +MODULE GEO: MAC: TRIVAT: TRIVAA: FLUD: OUT: INIKIN: KINSOL: DELETE: + GREP: END: ; +REAL FNORM ; +REAL TIME := 0.0 ; +PROCEDURE assertS assertS2 ; +* +GEOM := GEO: :: CAR1D 4 + X- ZERO X+ ZERO + MIX 2 1 3 2 + MESHX 0.0 40.0 350.0 660.0 700.0 + SPLITX 1 4 4 1 + ; +*---- +* Macroscopic cross sections +*---- +MACRO := MAC: :: + EDIT 2 NGRO 2 NMIX 3 NIFI 1 + READ INPUT + MIX 1 + DIFF 1.264E+00 0.9328E+00 + TOTAL 8.154E-03 4.1000E-03 + NUSIGF 0.000E+00 4.5620E-03 + CHI 1.000E+00 0.000E+00 + H-FACTOR 0.000E+00 4.5620E-03 + SCAT 1 1 0.0 2 2 0.0 7.368E-03 + OVERV 1.000E-07 5.000E-06 + MIX 2 + DIFF 1.310E+00 0.8695E+00 + TOTAL 1.018E-02 2.1170E-04 + SCAT 1 1 0.0 2 2 0.0 1.0180E-02 + OVERV 1.000E-07 5.000E-06 + MIX 3 + DIFF 1.264E+00 0.9328E+00 + TOTAL 8.154E-03 4.1000E-03 + NUSIGF 0.000E+00 4.5620E-03 + CHI 1.000E+00 0.000E+00 + H-FACTOR 0.000E+00 4.5620E-03 + SCAT 1 1 0.0 2 2 0.0 7.368E-03 + OVERV 1.000E-07 5.000E-06 + ; +*---- +* Steady-state calculation +*---- +MACROP := MAC: MACRO :: + EDIT 2 + READ INPUT + MIX 1 + TOTAL 8.154E-03 4.0800E-03 + ; +TRACK := TRIVAT: GEOM :: + TITLE 'BENCHMARK ENE6103' + EDIT 99 MAXR 18 MCFD 1 ; +SYSTEM := TRIVAA: MACRO TRACK :: EDIT 5 UNIT ; +FLUX := FLUD: SYSTEM TRACK :: EDIT 2 EXTE 5.0E-7 ; +GREP: FLUX :: STEP UP FLUX GETVAL 2 5 >>FNORM<< ; +assertS FLUX :: 'K-EFFECTIVE' 1 0.9977700 ; +EVALUATE FNORM := 1.0 FNORM / ; +ECHO "Flux normalization factor=" FNORM ; +EDIT := OUT: FLUX TRACK MACRO GEOM :: EDIT 2 INTG IN ; +SYSTEMP := TRIVAA: MACROP TRACK :: EDIT 5 UNIT ; +*---- +* Implicit space-time kinetics +*---- +KINET := INIKIN: MACRO TRACK SYSTEM FLUX :: EDIT 6 + NDEL 6 + BETA 0.000266 0.001491 0.001316 + 0.002849 0.000896 0.000182 + LAMBDA 0.0127 0.0317 0.1150 + 0.3110 1.4000 3.8700 + CHID 1.0 1.0 1.0 1.0 1.0 1.0 + 0.0 0.0 0.0 0.0 0.0 0.0 + NORM <<FNORM>> ; +WHILE TIME 10.0 <= DO + KINET := KINSOL: KINET MACROP TRACK SYSTEMP :: + EDIT 5 DELTA 0.1 + SCHEME FLUX IMPLIC PREC IMPLIC EXTE 1.0E-6 ; + GREP: KINET :: GETVAL 'TOTAL-TIME' 1 >>TIME<< ; + ECHO "TIME=" TIME "S" ; + IF TIME 0.1 - ABS 1.0E-3 < THEN + assertS2 KINET :: 'CTRL-FLUX' 1 1.188090 ; + assertS2 KINET :: 'CTRL-PREC' 1 9.578696E-05 ; + ELSEIF TIME 0.5 - ABS 1.0E-3 < THEN + assertS2 KINET :: 'CTRL-FLUX' 1 1.566190 ; + assertS2 KINET :: 'CTRL-PREC' 1 9.600596E-05 ; + ELSEIF TIME 1.0 - ABS 1.0E-3 < THEN + assertS2 KINET :: 'CTRL-FLUX' 1 1.785799 ; + assertS2 KINET :: 'CTRL-PREC' 1 9.643324E-05 ; + ELSEIF TIME 5.0 - ABS 1.0E-3 < THEN + assertS2 KINET :: 'CTRL-FLUX' 1 2.910452 ; + assertS2 KINET :: 'CTRL-PREC' 1 1.028794E-04 ; + ELSEIF TIME 10.0 - ABS 1.0E-3 < THEN + assertS2 KINET :: 'CTRL-FLUX' 1 4.720171 ; + assertS2 KINET :: 'CTRL-PREC' 1 1.188520E-04 ; + ENDIF ; +ENDWHILE ; +KINET := DELETE: KINET ; +*---- +* Crank-Nicholson space-time kinetics +*---- +EVALUATE TIME := 0.0 ; +KINET := INIKIN: MACRO TRACK SYSTEM FLUX :: EDIT 6 + NDEL 6 + BETA 0.000266 0.001491 0.001316 + 0.002849 0.000896 0.000182 + LAMBDA 0.0127 0.0317 0.1150 + 0.3110 1.4000 3.8700 + CHID 1.0 1.0 1.0 1.0 1.0 1.0 + 0.0 0.0 0.0 0.0 0.0 0.0 + NORM <<FNORM>> ; +WHILE TIME 10.0 <= DO + KINET := KINSOL: KINET MACROP TRACK SYSTEMP :: + EDIT 5 DELTA 0.1 + SCHEME FLUX CRANK PREC CRANK EXTE 1.0E-6 ; + GREP: KINET :: GETVAL 'TOTAL-TIME' 1 >>TIME<< ; + ECHO "TIME=" TIME "S" ; + IF TIME 0.1 - ABS 1.0E-3 < THEN + assertS2 KINET :: 'CTRL-FLUX' 1 1.225784 ; + assertS2 KINET :: 'CTRL-PREC' 1 9.577782E-05 ; + ELSEIF TIME 0.5 - ABS 1.0E-3 < THEN + assertS2 KINET :: 'CTRL-FLUX' 1 1.594336 ; + assertS2 KINET :: 'CTRL-PREC' 1 9.598917E-05 ; + ELSEIF TIME 1.0 - ABS 1.0E-3 < THEN + assertS2 KINET :: 'CTRL-FLUX' 1 1.795216 ; + assertS2 KINET :: 'CTRL-PREC' 1 9.641390E-05 ; + ELSEIF TIME 5.0 - ABS 1.0E-3 < THEN + assertS2 KINET :: 'CTRL-FLUX' 1 2.905920 ; + assertS2 KINET :: 'CTRL-PREC' 1 1.027960E-04 ; + ELSEIF TIME 10.0 - ABS 1.0E-3 < THEN + assertS2 KINET :: 'CTRL-FLUX' 1 4.703890 ; + assertS2 KINET :: 'CTRL-PREC' 1 1.186170E-04 ; + ENDIF ; +ENDWHILE ; +ECHO "test mcfd1 completed" ; +END: ; diff --git a/Trivac/data/Ktests_proc/pbivac1.c2m b/Trivac/data/Ktests_proc/pbivac1.c2m new file mode 100755 index 0000000..c35d70f --- /dev/null +++ b/Trivac/data/Ktests_proc/pbivac1.c2m @@ -0,0 +1,53 @@ +********************************************* +* Procedure : pbivac1.c2m * +* Author : D. Sekki (04/2008) * +********************************************* +PARAMETER MACRO TRACK SYSTEM FLUX :: + ::: LINKED_LIST MACRO TRACK SYSTEM FLUX ; ; +MODULE GEO: MAC: BIVACT: BIVACA: FLUD: DELETE: END: ; +LINKED_LIST GEOM ; +INTEGER MaxReg degre quadr ; +STRING method ; +REAL precf ; + :: >>MaxReg<< >>method<< >>degre<< + >>quadr<< >>precf<< ; +GEOM := GEO: :: CAR1D 10 EDIT 0 + X- ZERO X+ ZERO + MIX 2 1 1 1 1 3 3 3 3 2 + MESHX 0.0 40.0 117.5 195.0 272.5 + 350.0 427.5 505.0 582.5 660.0 700.0 ; +MACRO := MAC: :: + EDIT 0 NGRO 2 NMIX 3 NIFI 1 READ INPUT + MIX 1 + DIFF 1.264E+00 9.328E-01 + TOTAL 8.154E-03 4.100E-03 + NUSIGF 0.000E+00 4.562E-03 + SCAT 1 1 0.0 2 2 0.0 7.368E-03 + OVERV 1.000E-07 5.000E-06 + CHI 1.000E+00 0.000E+00 + MIX 2 + DIFF 1.310E+00 8.695E-01 + TOTAL 1.018E-02 2.117E-04 + SCAT 1 1 0.0 2 2 0.0 1.018E-02 + OVERV 1.000E-07 5.000E-06 + CHI 0.000E+00 0.000E+00 + MIX 3 + DIFF 1.264E+00 9.328E-01 + TOTAL 8.154E-03 4.100E-03 + NUSIGF 0.000E+00 4.562E-03 + SCAT 1 1 0.0 2 2 0.0 7.368E-03 + OVERV 1.000E-07 5.000E-06 + CHI 1.000E+00 0.000E+00 ; +IF method "PRIM" = THEN + TRACK := BIVACT: GEOM :: EDIT 0 + MAXR <<MaxReg>> PRIM <<degre>> <<quadr>> ; +ELSEIF method "DUAL" = THEN + TRACK := BIVACT: GEOM :: EDIT 0 + MAXR <<MaxReg>> DUAL <<degre>> <<quadr>> ; +ENDIF ; +GEOM := DELETE: GEOM ; +SYSTEM := BIVACA: MACRO TRACK :: EDIT 0 UNIT ; +FLUX := FLUD: SYSTEM TRACK :: EDIT 1 + EXTE <<precf>> ; +END: ; +QUIT . diff --git a/Trivac/data/Ktests_proc/pdrive1.c2m b/Trivac/data/Ktests_proc/pdrive1.c2m new file mode 100755 index 0000000..43757a2 --- /dev/null +++ b/Trivac/data/Ktests_proc/pdrive1.c2m @@ -0,0 +1,64 @@ +********************************************* +* Procedure : pdrive1.c2m * +* Author : D. Sekki (04/2008) * +********************************************* +PARAMETER MACRO TRACK SYSTEM FLUX :: + ::: LINKED_LIST MACRO TRACK SYSTEM FLUX ; ; +LINKED_LIST KINET ; +PROCEDURE assertS pkinet1 pkinet2 pkinet3 pkinet4 ; +MODULE DELETE: GREP: END: ; +STRING fTemp pTemp ; +INTEGER maxItr nadi ; +REAL precf ttf ttp ; + :: >>maxItr<< >>precf<< >>nadi<< ; +ECHO " ***** TEST01 *****" ; +EVALUATE fTemp pTemp := "IMPLIC" "IMPLIC" ; +KINET := pkinet1 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4904582 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST02 *****" ; +EVALUATE fTemp pTemp := "CRANK" "CRANK" ; +KINET := pkinet1 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4904598 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST03 *****" ; +EVALUATE fTemp pTemp := "CRANK" "EXPON" ; +KINET := pkinet1 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4904598 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST04 *****" ; +EVALUATE fTemp pTemp := "THETA" "IMPLIC" ; +EVALUATE ttf := 0.75 ; +KINET := pkinet2 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttf>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4904586 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST05 *****" ; +EVALUATE fTemp pTemp := "THETA" "EXPON" ; +KINET := pkinet2 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttf>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4904587 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST06 *****" ; +EVALUATE fTemp pTemp := "CRANK" "THETA" ; +EVALUATE ttp := 0.75 ; +KINET := pkinet3 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttp>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4904593 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST07 *****" ; +EVALUATE fTemp pTemp := "THETA" "THETA" ; +EVALUATE ttf ttp := 0.8 0.6 ; +KINET := pkinet4 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttf>> <<ttp>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4904587 ; +KINET := DELETE: KINET ; +END: ; +QUIT . diff --git a/Trivac/data/Ktests_proc/pdrive10.c2m b/Trivac/data/Ktests_proc/pdrive10.c2m new file mode 100755 index 0000000..39123f8 --- /dev/null +++ b/Trivac/data/Ktests_proc/pdrive10.c2m @@ -0,0 +1,64 @@ +********************************************** +* Procedure : pdrive10.c2m * +* Author : D. Sekki (04/2008) * +********************************************** +PARAMETER MACRO TRACK SYSTEM FLUX :: + ::: LINKED_LIST MACRO TRACK SYSTEM FLUX ; ; +LINKED_LIST KINET ; +PROCEDURE assertS pkinet1 pkinet2 pkinet3 pkinet4 ; +MODULE DELETE: GREP: END: ; +STRING fTemp pTemp ; +INTEGER maxItr nadi ; +REAL precf ttf ttp ; + :: >>maxItr<< >>precf<< >>nadi<< ; +ECHO " ***** TEST01 *****" ; +EVALUATE fTemp pTemp := "IMPLIC" "IMPLIC" ; +KINET := pkinet1 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4888216 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST02 *****" ; +EVALUATE fTemp pTemp := "CRANK" "CRANK" ; +KINET := pkinet1 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4888180 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST03 *****" ; +EVALUATE fTemp pTemp := "CRANK" "EXPON" ; +KINET := pkinet1 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4888175 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST04 *****" ; +EVALUATE fTemp pTemp := "THETA" "IMPLIC" ; +EVALUATE ttf := 0.75 ; +KINET := pkinet2 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttf>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4888201 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST05 *****" ; +EVALUATE fTemp pTemp := "THETA" "EXPON" ; +KINET := pkinet2 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttf>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4888203 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST06 *****" ; +EVALUATE fTemp pTemp := "CRANK" "THETA" ; +EVALUATE ttp := 0.75 ; +KINET := pkinet3 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttp>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4888177 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST07 *****" ; +EVALUATE fTemp pTemp := "THETA" "THETA" ; +EVALUATE ttf ttp := 0.8 0.6 ; +KINET := pkinet4 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttf>> <<ttp>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4888206 ; +KINET := DELETE: KINET ; +END: ; +QUIT . diff --git a/Trivac/data/Ktests_proc/pdrive11.c2m b/Trivac/data/Ktests_proc/pdrive11.c2m new file mode 100755 index 0000000..b0258f9 --- /dev/null +++ b/Trivac/data/Ktests_proc/pdrive11.c2m @@ -0,0 +1,64 @@ +********************************************** +* Procedure : pdrive11.c2m * +* Author : D. Sekki (04/2008) * +********************************************** +PARAMETER MACRO TRACK SYSTEM FLUX :: + ::: LINKED_LIST MACRO TRACK SYSTEM FLUX ; ; +LINKED_LIST KINET ; +PROCEDURE assertS pkinet1 pkinet2 pkinet3 pkinet4 ; +MODULE DELETE: GREP: END: ; +STRING fTemp pTemp ; +INTEGER maxItr nadi ; +REAL precf ttf ttp ; + :: >>maxItr<< >>precf<< >>nadi<< ; +ECHO " ***** TEST01 *****" ; +EVALUATE fTemp pTemp := "IMPLIC" "IMPLIC" ; +KINET := pkinet1 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4889244 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST02 *****" ; +EVALUATE fTemp pTemp := "CRANK" "CRANK" ; +KINET := pkinet1 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4889208 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST03 *****" ; +EVALUATE fTemp pTemp := "CRANK" "EXPON" ; +KINET := pkinet1 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4889203 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST04 *****" ; +EVALUATE fTemp pTemp := "THETA" "IMPLIC" ; +EVALUATE ttf := 0.75 ; +KINET := pkinet2 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttf>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4889230 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST05 *****" ; +EVALUATE fTemp pTemp := "THETA" "EXPON" ; +KINET := pkinet2 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttf>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4889232 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST06 *****" ; +EVALUATE fTemp pTemp := "CRANK" "THETA" ; +EVALUATE ttp := 0.75 ; +KINET := pkinet3 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttp>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4889208 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST07 *****" ; +EVALUATE fTemp pTemp := "THETA" "THETA" ; +EVALUATE ttf ttp := 0.8 0.6 ; +KINET := pkinet4 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttf>> <<ttp>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4889234 ; +KINET := DELETE: KINET ; +END: ; +QUIT . diff --git a/Trivac/data/Ktests_proc/pdrive12.c2m b/Trivac/data/Ktests_proc/pdrive12.c2m new file mode 100755 index 0000000..d47a0a3 --- /dev/null +++ b/Trivac/data/Ktests_proc/pdrive12.c2m @@ -0,0 +1,64 @@ +********************************************** +* Procedure : pdrive12.c2m * +* Author : D. Sekki (04/2008) * +********************************************** +PARAMETER MACRO TRACK SYSTEM FLUX :: + ::: LINKED_LIST MACRO TRACK SYSTEM FLUX ; ; +LINKED_LIST KINET ; +PROCEDURE assertS pkinet1 pkinet2 pkinet3 pkinet4 ; +MODULE DELETE: GREP: END: ; +STRING fTemp pTemp ; +INTEGER maxItr nadi ; +REAL precf ttf ttp ; + :: >>maxItr<< >>precf<< >>nadi<< ; +ECHO " ***** TEST01 *****" ; +EVALUATE fTemp pTemp := "IMPLIC" "IMPLIC" ; +KINET := pkinet1 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4889977 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST02 *****" ; +EVALUATE fTemp pTemp := "CRANK" "CRANK" ; +KINET := pkinet1 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4889953 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST03 *****" ; +EVALUATE fTemp pTemp := "CRANK" "EXPON" ; +KINET := pkinet1 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4889949 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST04 *****" ; +EVALUATE fTemp pTemp := "THETA" "IMPLIC" ; +EVALUATE ttf := 0.75 ; +KINET := pkinet2 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttf>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4889967 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST05 *****" ; +EVALUATE fTemp pTemp := "THETA" "EXPON" ; +KINET := pkinet2 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttf>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4889967 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST06 *****" ; +EVALUATE fTemp pTemp := "CRANK" "THETA" ; +EVALUATE ttp := 0.75 ; +KINET := pkinet3 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttp>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4889951 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST07 *****" ; +EVALUATE fTemp pTemp := "THETA" "THETA" ; +EVALUATE ttf ttp := 0.8 0.6 ; +KINET := pkinet4 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttf>> <<ttp>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4889971 ; +KINET := DELETE: KINET ; +END: ; +QUIT . diff --git a/Trivac/data/Ktests_proc/pdrive13.c2m b/Trivac/data/Ktests_proc/pdrive13.c2m new file mode 100755 index 0000000..5eb7df5 --- /dev/null +++ b/Trivac/data/Ktests_proc/pdrive13.c2m @@ -0,0 +1,64 @@ +********************************************** +* Procedure : pdrive12.c2m * +* Author : D. Sekki (04/2008) * +********************************************** +PARAMETER MACRO TRACK SYSTEM FLUX :: + ::: LINKED_LIST MACRO TRACK SYSTEM FLUX ; ; +LINKED_LIST KINET ; +PROCEDURE assertS pkinet1 pkinet2 pkinet3 pkinet4 ; +MODULE DELETE: GREP: END: ; +STRING fTemp pTemp ; +INTEGER maxItr nadi ; +REAL precf ttf ttp ; + :: >>maxItr<< >>precf<< >>nadi<< ; +ECHO " ***** TEST01 *****" ; +EVALUATE fTemp pTemp := "IMPLIC" "IMPLIC" ; +KINET := pkinet1 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4888332 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST02 *****" ; +EVALUATE fTemp pTemp := "CRANK" "CRANK" ; +KINET := pkinet1 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4888304 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST03 *****" ; +EVALUATE fTemp pTemp := "CRANK" "EXPON" ; +KINET := pkinet1 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4888303 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST04 *****" ; +EVALUATE fTemp pTemp := "THETA" "IMPLIC" ; +EVALUATE ttf := 0.75 ; +KINET := pkinet2 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttf>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4888320 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST05 *****" ; +EVALUATE fTemp pTemp := "THETA" "EXPON" ; +KINET := pkinet2 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttf>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4888321 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST06 *****" ; +EVALUATE fTemp pTemp := "CRANK" "THETA" ; +EVALUATE ttp := 0.75 ; +KINET := pkinet3 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttp>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4888303 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST07 *****" ; +EVALUATE fTemp pTemp := "THETA" "THETA" ; +EVALUATE ttf ttp := 0.8 0.6 ; +KINET := pkinet4 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttf>> <<ttp>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4888323 ; +KINET := DELETE: KINET ; +END: ; +QUIT . diff --git a/Trivac/data/Ktests_proc/pdrive14.c2m b/Trivac/data/Ktests_proc/pdrive14.c2m new file mode 100755 index 0000000..3e451ac --- /dev/null +++ b/Trivac/data/Ktests_proc/pdrive14.c2m @@ -0,0 +1,64 @@ +*********************************************** +* Procedure : pdrive14.c2m * +* Author : D. Sekki (04/2008) * +*********************************************** +PARAMETER MACRO TRACK SYSTEM FLUX :: + ::: LINKED_LIST MACRO TRACK SYSTEM FLUX ; ; +LINKED_LIST KINET ; +PROCEDURE assertS pkinet1 pkinet2 pkinet3 pkinet4 ; +MODULE DELETE: GREP: END: ; +STRING fTemp pTemp ; +INTEGER maxItr nadi ; +REAL precf ttf ttp ; + :: >>maxItr<< >>precf<< >>nadi<< ; +ECHO " ***** TEST01 *****" ; +EVALUATE fTemp pTemp := "IMPLIC" "IMPLIC" ; +KINET := pkinet1 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4845584 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST02 *****" ; +EVALUATE fTemp pTemp := "CRANK" "CRANK" ; +KINET := pkinet1 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4845590 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST03 *****" ; +EVALUATE fTemp pTemp := "CRANK" "EXPON" ; +KINET := pkinet1 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4845584 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST04 *****" ; +EVALUATE fTemp pTemp := "THETA" "IMPLIC" ; +EVALUATE ttf := 0.75 ; +KINET := pkinet2 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttf>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4845588 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST05 *****" ; +EVALUATE fTemp pTemp := "THETA" "EXPON" ; +KINET := pkinet2 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttf>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4845586 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST06 *****" ; +EVALUATE fTemp pTemp := "CRANK" "THETA" ; +EVALUATE ttp := 0.75 ; +KINET := pkinet3 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttp>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4845586 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST07 *****" ; +EVALUATE fTemp pTemp := "THETA" "THETA" ; +EVALUATE ttf ttp := 0.8 0.6 ; +KINET := pkinet4 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttf>> <<ttp>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4845585 ; +KINET := DELETE: KINET ; +END: ; +QUIT . diff --git a/Trivac/data/Ktests_proc/pdrive15.c2m b/Trivac/data/Ktests_proc/pdrive15.c2m new file mode 100755 index 0000000..94532b2 --- /dev/null +++ b/Trivac/data/Ktests_proc/pdrive15.c2m @@ -0,0 +1,64 @@ +*********************************************** +* Procedure : pdrive15.c2m * +* Author : D. Sekki (04/2008) * +*********************************************** +PARAMETER MACRO TRACK SYSTEM FLUX :: + ::: LINKED_LIST MACRO TRACK SYSTEM FLUX ; ; +LINKED_LIST KINET ; +PROCEDURE assertS pkinet1 pkinet2 pkinet3 pkinet4 ; +MODULE DELETE: GREP: END: ; +STRING fTemp pTemp ; +INTEGER maxItr nadi ; +REAL precf ttf ttp ; + :: >>maxItr<< >>precf<< >>nadi<< ; +ECHO " ***** TEST01 *****" ; +EVALUATE fTemp pTemp := "IMPLIC" "IMPLIC" ; +KINET := pkinet1 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4829199 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST02 *****" ; +EVALUATE fTemp pTemp := "CRANK" "CRANK" ; +KINET := pkinet1 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4829211 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST03 *****" ; +EVALUATE fTemp pTemp := "CRANK" "EXPON" ; +KINET := pkinet1 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4829207 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST04 *****" ; +EVALUATE fTemp pTemp := "THETA" "IMPLIC" ; +EVALUATE ttf := 0.75 ; +KINET := pkinet2 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttf>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4829203 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST05 *****" ; +EVALUATE fTemp pTemp := "THETA" "EXPON" ; +KINET := pkinet2 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttf>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4829202 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST06 *****" ; +EVALUATE fTemp pTemp := "CRANK" "THETA" ; +EVALUATE ttp := 0.75 ; +KINET := pkinet3 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttp>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4829209 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST07 *****" ; +EVALUATE fTemp pTemp := "THETA" "THETA" ; +EVALUATE ttf ttp := 0.8 0.6 ; +KINET := pkinet4 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttf>> <<ttp>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4829203 ; +KINET := DELETE: KINET ; +END: ; +QUIT . diff --git a/Trivac/data/Ktests_proc/pdrive16.c2m b/Trivac/data/Ktests_proc/pdrive16.c2m new file mode 100755 index 0000000..c15f5ae --- /dev/null +++ b/Trivac/data/Ktests_proc/pdrive16.c2m @@ -0,0 +1,64 @@ +*********************************************** +* Procedure : pdrive16.c2m * +* Author : D. Sekki (04/2008) * +*********************************************** +PARAMETER MACRO TRACK SYSTEM FLUX :: + ::: LINKED_LIST MACRO TRACK SYSTEM FLUX ; ; +LINKED_LIST KINET ; +PROCEDURE assertS pkinet1 pkinet2 pkinet3 pkinet4 ; +MODULE DELETE: GREP: END: ; +STRING fTemp pTemp ; +INTEGER maxItr nadi ; +REAL precf ttf ttp ; + :: >>maxItr<< >>precf<< >>nadi<< ; +ECHO " ***** TEST01 *****" ; +EVALUATE fTemp pTemp := "IMPLIC" "IMPLIC" ; +KINET := pkinet1 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4859930 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST02 *****" ; +EVALUATE fTemp pTemp := "CRANK" "CRANK" ; +KINET := pkinet1 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4859936 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST03 *****" ; +EVALUATE fTemp pTemp := "CRANK" "EXPON" ; +KINET := pkinet1 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4859936 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST04 *****" ; +EVALUATE fTemp pTemp := "THETA" "IMPLIC" ; +EVALUATE ttf := 0.75 ; +KINET := pkinet2 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttf>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4859934 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST05 *****" ; +EVALUATE fTemp pTemp := "THETA" "EXPON" ; +KINET := pkinet2 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttf>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4859930 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST06 *****" ; +EVALUATE fTemp pTemp := "CRANK" "THETA" ; +EVALUATE ttp := 0.75 ; +KINET := pkinet3 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttp>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4859934 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST07 *****" ; +EVALUATE fTemp pTemp := "THETA" "THETA" ; +EVALUATE ttf ttp := 0.8 0.6 ; +KINET := pkinet4 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttf>> <<ttp>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4859930 ; +KINET := DELETE: KINET ; +END: ; +QUIT . diff --git a/Trivac/data/Ktests_proc/pdrive17.c2m b/Trivac/data/Ktests_proc/pdrive17.c2m new file mode 100755 index 0000000..0574acb --- /dev/null +++ b/Trivac/data/Ktests_proc/pdrive17.c2m @@ -0,0 +1,64 @@ +*********************************************** +* Procedure : pdrive17.c2m * +* Author : D. Sekki (04/2008) * +*********************************************** +PARAMETER MACRO TRACK SYSTEM FLUX :: + ::: LINKED_LIST MACRO TRACK SYSTEM FLUX ; ; +LINKED_LIST KINET ; +PROCEDURE assertS pkinet1 pkinet2 pkinet3 pkinet4 ; +MODULE DELETE: GREP: END: ; +STRING fTemp pTemp ; +INTEGER maxItr nadi ; +REAL precf ttf ttp ; + :: >>maxItr<< >>precf<< >>nadi<< ; +ECHO " ***** TEST01 *****" ; +EVALUATE fTemp pTemp := "IMPLIC" "IMPLIC" ; +KINET := pkinet1 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4882090 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST02 *****" ; +EVALUATE fTemp pTemp := "CRANK" "CRANK" ; +KINET := pkinet1 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4882090 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST03 *****" ; +EVALUATE fTemp pTemp := "CRANK" "EXPON" ; +KINET := pkinet1 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4882049 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST04 *****" ; +EVALUATE fTemp pTemp := "THETA" "IMPLIC" ; +EVALUATE ttf := 0.75 ; +KINET := pkinet2 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttf>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4882074 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST05 *****" ; +EVALUATE fTemp pTemp := "THETA" "EXPON" ; +KINET := pkinet2 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttf>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4882075 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST06 *****" ; +EVALUATE fTemp pTemp := "CRANK" "THETA" ; +EVALUATE ttp := 0.75 ; +KINET := pkinet3 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttp>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4882053 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST07 *****" ; +EVALUATE fTemp pTemp := "THETA" "THETA" ; +EVALUATE ttf ttp := 0.8 0.6 ; +KINET := pkinet4 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttf>> <<ttp>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4882078 ; +KINET := DELETE: KINET ; +END: ; +QUIT . diff --git a/Trivac/data/Ktests_proc/pdrive18.c2m b/Trivac/data/Ktests_proc/pdrive18.c2m new file mode 100755 index 0000000..c28dd8e --- /dev/null +++ b/Trivac/data/Ktests_proc/pdrive18.c2m @@ -0,0 +1,64 @@ +*********************************************** +* Procedure : pdrive18.c2m * +* Author : D. Sekki (04/2008) * +*********************************************** +PARAMETER MACRO TRACK SYSTEM FLUX :: + ::: LINKED_LIST MACRO TRACK SYSTEM FLUX ; ; +LINKED_LIST KINET ; +PROCEDURE assertS pkinet1 pkinet2 pkinet3 pkinet4 ; +MODULE DELETE: GREP: END: ; +STRING fTemp pTemp ; +INTEGER maxItr nadi ; +REAL precf ttf ttp ; + :: >>maxItr<< >>precf<< >>nadi<< ; +ECHO " ***** TEST01 *****" ; +EVALUATE fTemp pTemp := "IMPLIC" "IMPLIC" ; +KINET := pkinet1 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4876639 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST02 *****" ; +EVALUATE fTemp pTemp := "CRANK" "CRANK" ; +KINET := pkinet1 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4876589 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST03 *****" ; +EVALUATE fTemp pTemp := "CRANK" "EXPON" ; +KINET := pkinet1 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4876586 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST04 *****" ; +EVALUATE fTemp pTemp := "THETA" "IMPLIC" ; +EVALUATE ttf := 0.75 ; +KINET := pkinet2 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttf>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4876618 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST05 *****" ; +EVALUATE fTemp pTemp := "THETA" "EXPON" ; +KINET := pkinet2 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttf>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4876619 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST06 *****" ; +EVALUATE fTemp pTemp := "CRANK" "THETA" ; +EVALUATE ttp := 0.75 ; +KINET := pkinet3 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttp>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4876589 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST07 *****" ; +EVALUATE fTemp pTemp := "THETA" "THETA" ; +EVALUATE ttf ttp := 0.8 0.6 ; +KINET := pkinet4 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttf>> <<ttp>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4876623 ; +KINET := DELETE: KINET ; +END: ; +QUIT . diff --git a/Trivac/data/Ktests_proc/pdrive19.c2m b/Trivac/data/Ktests_proc/pdrive19.c2m new file mode 100755 index 0000000..992e43b --- /dev/null +++ b/Trivac/data/Ktests_proc/pdrive19.c2m @@ -0,0 +1,64 @@ +*********************************************** +* Procedure : pdrive19.c2m * +* Author : D. Sekki (04/2008) * +*********************************************** +PARAMETER MACRO TRACK SYSTEM FLUX :: + ::: LINKED_LIST MACRO TRACK SYSTEM FLUX ; ; +LINKED_LIST KINET ; +PROCEDURE assertS pkinet1 pkinet2 pkinet3 pkinet4 ; +MODULE DELETE: GREP: END: ; +STRING fTemp pTemp ; +INTEGER maxItr nadi ; +REAL precf ttf ttp ; + :: >>maxItr<< >>precf<< >>nadi<< ; +ECHO " ***** TEST01 *****" ; +EVALUATE fTemp pTemp := "IMPLIC" "IMPLIC" ; +KINET := pkinet1 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4888009 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST02 *****" ; +EVALUATE fTemp pTemp := "CRANK" "CRANK" ; +KINET := pkinet1 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4888015 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST03 *****" ; +EVALUATE fTemp pTemp := "CRANK" "EXPON" ; +KINET := pkinet1 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4888014 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST04 *****" ; +EVALUATE fTemp pTemp := "THETA" "IMPLIC" ; +EVALUATE ttf := 0.75 ; +KINET := pkinet2 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttf>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4888016 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST05 *****" ; +EVALUATE fTemp pTemp := "THETA" "EXPON" ; +KINET := pkinet2 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttf>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4888013 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST06 *****" ; +EVALUATE fTemp pTemp := "CRANK" "THETA" ; +EVALUATE ttp := 0.75 ; +KINET := pkinet3 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttp>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4888015 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST07 *****" ; +EVALUATE fTemp pTemp := "THETA" "THETA" ; +EVALUATE ttf ttp := 0.8 0.6 ; +KINET := pkinet4 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttf>> <<ttp>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4888013 ; +KINET := DELETE: KINET ; +END: ; +QUIT . diff --git a/Trivac/data/Ktests_proc/pdrive2.c2m b/Trivac/data/Ktests_proc/pdrive2.c2m new file mode 100755 index 0000000..76325b8 --- /dev/null +++ b/Trivac/data/Ktests_proc/pdrive2.c2m @@ -0,0 +1,64 @@ +********************************************* +* Procedure : pdrive2.c2m * +* Author : D. Sekki (04/2008) * +********************************************* +PARAMETER MACRO TRACK SYSTEM FLUX :: + ::: LINKED_LIST MACRO TRACK SYSTEM FLUX ; ; +LINKED_LIST KINET ; +PROCEDURE assertS pkinet1 pkinet2 pkinet3 pkinet4 ; +MODULE DELETE: GREP: END: ; +STRING fTemp pTemp ; +INTEGER maxItr nadi ; +REAL precf ttf ttp ; + :: >>maxItr<< >>precf<< >>nadi<< ; +ECHO " ***** TEST01 *****" ; +EVALUATE fTemp pTemp := "IMPLIC" "IMPLIC" ; +KINET := pkinet1 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4897438 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST02 *****" ; +EVALUATE fTemp pTemp := "CRANK" "CRANK" ; +KINET := pkinet1 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4897424 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST03 *****" ; +EVALUATE fTemp pTemp := "CRANK" "EXPON" ; +KINET := pkinet1 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4897425 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST04 *****" ; +EVALUATE fTemp pTemp := "THETA" "IMPLIC" ; +EVALUATE ttf := 0.75 ; +KINET := pkinet2 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttf>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4897434 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST05 *****" ; +EVALUATE fTemp pTemp := "THETA" "EXPON" ; +KINET := pkinet2 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttf>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4897432 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST06 *****" ; +EVALUATE fTemp pTemp := "CRANK" "THETA" ; +EVALUATE ttp := 0.75 ; +KINET := pkinet3 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttp>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4897423 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST07 *****" ; +EVALUATE fTemp pTemp := "THETA" "THETA" ; +EVALUATE ttf ttp := 0.8 0.6 ; +KINET := pkinet4 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttf>> <<ttp>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4897433 ; +KINET := DELETE: KINET ; +END: ; +QUIT . diff --git a/Trivac/data/Ktests_proc/pdrive20.c2m b/Trivac/data/Ktests_proc/pdrive20.c2m new file mode 100755 index 0000000..9e53e8f --- /dev/null +++ b/Trivac/data/Ktests_proc/pdrive20.c2m @@ -0,0 +1,64 @@ +*********************************************** +* Procedure : pdrive20.c2m * +* Author : D. Sekki (04/2008) * +*********************************************** +PARAMETER MACRO TRACK SYSTEM FLUX :: + ::: LINKED_LIST MACRO TRACK SYSTEM FLUX ; ; +LINKED_LIST KINET ; +PROCEDURE assertS pkinet1 pkinet2 pkinet3 pkinet4 ; +MODULE DELETE: GREP: END: ; +STRING fTemp pTemp ; +INTEGER maxItr nadi ; +REAL precf ttf ttp ; + :: >>maxItr<< >>precf<< >>nadi<< ; +ECHO " ***** TEST01 *****" ; +EVALUATE fTemp pTemp := "IMPLIC" "IMPLIC" ; +KINET := pkinet1 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4887055 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST02 *****" ; +EVALUATE fTemp pTemp := "CRANK" "CRANK" ; +KINET := pkinet1 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4887069 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST03 *****" ; +EVALUATE fTemp pTemp := "CRANK" "EXPON" ; +KINET := pkinet1 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4887065 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST04 *****" ; +EVALUATE fTemp pTemp := "THETA" "IMPLIC" ; +EVALUATE ttf := 0.75 ; +KINET := pkinet2 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttf>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4887059 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST05 *****" ; +EVALUATE fTemp pTemp := "THETA" "EXPON" ; +KINET := pkinet2 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttf>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4887061 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST06 *****" ; +EVALUATE fTemp pTemp := "CRANK" "THETA" ; +EVALUATE ttp := 0.75 ; +KINET := pkinet3 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttp>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4887066 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST07 *****" ; +EVALUATE fTemp pTemp := "THETA" "THETA" ; +EVALUATE ttf ttp := 0.8 0.6 ; +KINET := pkinet4 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttf>> <<ttp>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4887059 ; +KINET := DELETE: KINET ; +END: ; +QUIT . diff --git a/Trivac/data/Ktests_proc/pdrive21.c2m b/Trivac/data/Ktests_proc/pdrive21.c2m new file mode 100755 index 0000000..8f38853 --- /dev/null +++ b/Trivac/data/Ktests_proc/pdrive21.c2m @@ -0,0 +1,64 @@ +*********************************************** +* Procedure : pdrive21.c2m * +* Author : D. Sekki (04/2008) * +*********************************************** +PARAMETER MACRO TRACK SYSTEM FLUX :: + ::: LINKED_LIST MACRO TRACK SYSTEM FLUX ; ; +LINKED_LIST KINET ; +PROCEDURE assertS pkinet1 pkinet2 pkinet3 pkinet4 ; +MODULE DELETE: GREP: END: ; +STRING fTemp pTemp ; +INTEGER maxItr nadi ; +REAL precf ttf ttp ; + :: >>maxItr<< >>precf<< >>nadi<< ; +ECHO " ***** TEST01 *****" ; +EVALUATE fTemp pTemp := "IMPLIC" "IMPLIC" ; +KINET := pkinet1 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4886411 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST02 *****" ; +EVALUATE fTemp pTemp := "CRANK" "CRANK" ; +KINET := pkinet1 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4886402 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST03 *****" ; +EVALUATE fTemp pTemp := "CRANK" "EXPON" ; +KINET := pkinet1 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4886402 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST04 *****" ; +EVALUATE fTemp pTemp := "THETA" "IMPLIC" ; +EVALUATE ttf := 0.75 ; +KINET := pkinet2 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttf>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4886408 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST05 *****" ; +EVALUATE fTemp pTemp := "THETA" "EXPON" ; +KINET := pkinet2 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttf>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4886408 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST06 *****" ; +EVALUATE fTemp pTemp := "CRANK" "THETA" ; +EVALUATE ttp := 0.75 ; +KINET := pkinet3 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttp>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4886404 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST07 *****" ; +EVALUATE fTemp pTemp := "THETA" "THETA" ; +EVALUATE ttf ttp := 0.8 0.6 ; +KINET := pkinet4 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttf>> <<ttp>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4886409 ; +KINET := DELETE: KINET ; +END: ; +QUIT . diff --git a/Trivac/data/Ktests_proc/pdrive22.c2m b/Trivac/data/Ktests_proc/pdrive22.c2m new file mode 100755 index 0000000..2808361 --- /dev/null +++ b/Trivac/data/Ktests_proc/pdrive22.c2m @@ -0,0 +1,64 @@ +*********************************************** +* Procedure : pdrive22.c2m * +* Author : D. Sekki (04/2008) * +*********************************************** +PARAMETER MACRO TRACK SYSTEM FLUX :: + ::: LINKED_LIST MACRO TRACK SYSTEM FLUX ; ; +LINKED_LIST KINET ; +PROCEDURE assertS pkinet1 pkinet2 pkinet3 pkinet4 ; +MODULE DELETE: GREP: END: ; +STRING fTemp pTemp ; +INTEGER maxItr nadi ; +REAL precf ttf ttp ; + :: >>maxItr<< >>precf<< >>nadi<< ; +ECHO " ***** TEST01 *****" ; +EVALUATE fTemp pTemp := "IMPLIC" "IMPLIC" ; +KINET := pkinet1 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4888202 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST02 *****" ; +EVALUATE fTemp pTemp := "CRANK" "CRANK" ; +KINET := pkinet1 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4888218 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST03 *****" ; +EVALUATE fTemp pTemp := "CRANK" "EXPON" ; +KINET := pkinet1 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4888215 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST04 *****" ; +EVALUATE fTemp pTemp := "THETA" "IMPLIC" ; +EVALUATE ttf := 0.75 ; +KINET := pkinet2 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttf>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4888207 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST05 *****" ; +EVALUATE fTemp pTemp := "THETA" "EXPON" ; +KINET := pkinet2 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttf>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4888209 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST06 *****" ; +EVALUATE fTemp pTemp := "CRANK" "THETA" ; +EVALUATE ttp := 0.75 ; +KINET := pkinet3 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttp>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4888222 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST07 *****" ; +EVALUATE fTemp pTemp := "THETA" "THETA" ; +EVALUATE ttf ttp := 0.8 0.6 ; +KINET := pkinet4 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttf>> <<ttp>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4888206 ; +KINET := DELETE: KINET ; +END: ; +QUIT . diff --git a/Trivac/data/Ktests_proc/pdrive23.c2m b/Trivac/data/Ktests_proc/pdrive23.c2m new file mode 100755 index 0000000..47a55d9 --- /dev/null +++ b/Trivac/data/Ktests_proc/pdrive23.c2m @@ -0,0 +1,64 @@ +*********************************************** +* Procedure : pdrive23.c2m * +* Author : D. Sekki (04/2008) * +*********************************************** +PARAMETER MACRO TRACK SYSTEM FLUX :: + ::: LINKED_LIST MACRO TRACK SYSTEM FLUX ; ; +LINKED_LIST KINET ; +PROCEDURE assertS pkinet1 pkinet2 pkinet3 pkinet4 ; +MODULE DELETE: GREP: END: ; +STRING fTemp pTemp ; +INTEGER maxItr nadi ; +REAL precf ttf ttp ; + :: >>maxItr<< >>precf<< >>nadi<< ; +ECHO " ***** TEST01 *****" ; +EVALUATE fTemp pTemp := "IMPLIC" "IMPLIC" ; +KINET := pkinet1 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4892994 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST02 *****" ; +EVALUATE fTemp pTemp := "CRANK" "CRANK" ; +KINET := pkinet1 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4892987 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST03 *****" ; +EVALUATE fTemp pTemp := "CRANK" "EXPON" ; +KINET := pkinet1 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4892987 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST04 *****" ; +EVALUATE fTemp pTemp := "THETA" "IMPLIC" ; +EVALUATE ttf := 0.75 ; +KINET := pkinet2 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttf>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4892992 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST05 *****" ; +EVALUATE fTemp pTemp := "THETA" "EXPON" ; +KINET := pkinet2 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttf>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4892991 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST06 *****" ; +EVALUATE fTemp pTemp := "CRANK" "THETA" ; +EVALUATE ttp := 0.75 ; +KINET := pkinet3 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttp>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4892991 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST07 *****" ; +EVALUATE fTemp pTemp := "THETA" "THETA" ; +EVALUATE ttf ttp := 0.8 0.6 ; +KINET := pkinet4 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttf>> <<ttp>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4892993 ; +KINET := DELETE: KINET ; +END: ; +QUIT . diff --git a/Trivac/data/Ktests_proc/pdrive24.c2m b/Trivac/data/Ktests_proc/pdrive24.c2m new file mode 100755 index 0000000..287de96 --- /dev/null +++ b/Trivac/data/Ktests_proc/pdrive24.c2m @@ -0,0 +1,64 @@ +*********************************************** +* Procedure : pdrive24.c2m * +* Author : D. Sekki (04/2008) * +*********************************************** +PARAMETER MACRO TRACK SYSTEM FLUX :: + ::: LINKED_LIST MACRO TRACK SYSTEM FLUX ; ; +LINKED_LIST KINET ; +PROCEDURE assertS pkinet1 pkinet2 pkinet3 pkinet4 ; +MODULE DELETE: GREP: END: ; +STRING fTemp pTemp ; +INTEGER maxItr nadi ; +REAL precf ttf ttp ; + :: >>maxItr<< >>precf<< >>nadi<< ; +ECHO " ***** TEST01 *****" ; +EVALUATE fTemp pTemp := "IMPLIC" "IMPLIC" ; +KINET := pkinet1 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4904588 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST02 *****" ; +EVALUATE fTemp pTemp := "CRANK" "CRANK" ; +KINET := pkinet1 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4904595 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST03 *****" ; +EVALUATE fTemp pTemp := "CRANK" "EXPON" ; +KINET := pkinet1 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4904588 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST04 *****" ; +EVALUATE fTemp pTemp := "THETA" "IMPLIC" ; +EVALUATE ttf := 0.75 ; +KINET := pkinet2 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttf>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4904592 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST05 *****" ; +EVALUATE fTemp pTemp := "THETA" "EXPON" ; +KINET := pkinet2 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttf>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4904591 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST06 *****" ; +EVALUATE fTemp pTemp := "CRANK" "THETA" ; +EVALUATE ttp := 0.75 ; +KINET := pkinet3 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttp>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4904591 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST07 *****" ; +EVALUATE fTemp pTemp := "THETA" "THETA" ; +EVALUATE ttf ttp := 0.8 0.6 ; +KINET := pkinet4 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttf>> <<ttp>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4904593 ; +KINET := DELETE: KINET ; +END: ; +QUIT . diff --git a/Trivac/data/Ktests_proc/pdrive25.c2m b/Trivac/data/Ktests_proc/pdrive25.c2m new file mode 100755 index 0000000..363bf35 --- /dev/null +++ b/Trivac/data/Ktests_proc/pdrive25.c2m @@ -0,0 +1,64 @@ +*********************************************** +* Procedure : pdrive25.c2m * +* Author : D. Sekki (04/2008) * +*********************************************** +PARAMETER MACRO TRACK SYSTEM FLUX :: + ::: LINKED_LIST MACRO TRACK SYSTEM FLUX ; ; +LINKED_LIST KINET ; +PROCEDURE assertS pkinet1 pkinet2 pkinet3 pkinet4 ; +MODULE DELETE: GREP: END: ; +STRING fTemp pTemp ; +INTEGER maxItr nadi ; +REAL precf ttf ttp ; + :: >>maxItr<< >>precf<< >>nadi<< ; +ECHO " ***** TEST01 *****" ; +EVALUATE fTemp pTemp := "IMPLIC" "IMPLIC" ; +KINET := pkinet1 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4859924 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST02 *****" ; +EVALUATE fTemp pTemp := "CRANK" "CRANK" ; +KINET := pkinet1 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4859906 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST03 *****" ; +EVALUATE fTemp pTemp := "CRANK" "EXPON" ; +KINET := pkinet1 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4859906 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST04 *****" ; +EVALUATE fTemp pTemp := "THETA" "IMPLIC" ; +EVALUATE ttf := 0.75 ; +KINET := pkinet2 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttf>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4859921 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST05 *****" ; +EVALUATE fTemp pTemp := "THETA" "EXPON" ; +KINET := pkinet2 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttf>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4859920 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST06 *****" ; +EVALUATE fTemp pTemp := "CRANK" "THETA" ; +EVALUATE ttp := 0.75 ; +KINET := pkinet3 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttp>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4859912 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST07 *****" ; +EVALUATE fTemp pTemp := "THETA" "THETA" ; +EVALUATE ttf ttp := 0.8 0.6 ; +KINET := pkinet4 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttf>> <<ttp>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4859923 ; +KINET := DELETE: KINET ; +END: ; +QUIT . diff --git a/Trivac/data/Ktests_proc/pdrive26.c2m b/Trivac/data/Ktests_proc/pdrive26.c2m new file mode 100755 index 0000000..0642bfa --- /dev/null +++ b/Trivac/data/Ktests_proc/pdrive26.c2m @@ -0,0 +1,64 @@ +*********************************************** +* Procedure : pdrive26.c2m * +* Author : D. Sekki (04/2008) * +*********************************************** +PARAMETER MACRO TRACK SYSTEM FLUX :: + ::: LINKED_LIST MACRO TRACK SYSTEM FLUX ; ; +LINKED_LIST KINET ; +PROCEDURE assertS pkinet1 pkinet2 pkinet3 pkinet4 ; +MODULE DELETE: GREP: END: ; +STRING fTemp pTemp ; +INTEGER maxItr nadi ; +REAL precf ttf ttp ; + :: >>maxItr<< >>precf<< >>nadi<< ; +ECHO " ***** TEST01 *****" ; +EVALUATE fTemp pTemp := "IMPLIC" "IMPLIC" ; +KINET := pkinet1 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4893553 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST02 *****" ; +EVALUATE fTemp pTemp := "CRANK" "CRANK" ; +KINET := pkinet1 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4893517 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST03 *****" ; +EVALUATE fTemp pTemp := "CRANK" "EXPON" ; +KINET := pkinet1 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4893513 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST04 *****" ; +EVALUATE fTemp pTemp := "THETA" "IMPLIC" ; +EVALUATE ttf := 0.75 ; +KINET := pkinet2 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttf>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4893538 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST05 *****" ; +EVALUATE fTemp pTemp := "THETA" "EXPON" ; +KINET := pkinet2 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttf>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4893540 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST06 *****" ; +EVALUATE fTemp pTemp := "CRANK" "THETA" ; +EVALUATE ttp := 0.75 ; +KINET := pkinet3 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttp>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4893517 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST07 *****" ; +EVALUATE fTemp pTemp := "THETA" "THETA" ; +EVALUATE ttf ttp := 0.8 0.6 ; +KINET := pkinet4 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttf>> <<ttp>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4893543 ; +KINET := DELETE: KINET ; +END: ; +QUIT . diff --git a/Trivac/data/Ktests_proc/pdrive27.c2m b/Trivac/data/Ktests_proc/pdrive27.c2m new file mode 100755 index 0000000..305207c --- /dev/null +++ b/Trivac/data/Ktests_proc/pdrive27.c2m @@ -0,0 +1,64 @@ +*********************************************** +* Procedure : pdrive27.c2m * +* Author : D. Sekki (04/2008) * +*********************************************** +PARAMETER MACRO TRACK SYSTEM FLUX :: + ::: LINKED_LIST MACRO TRACK SYSTEM FLUX ; ; +LINKED_LIST KINET ; +PROCEDURE assertS pkinet1 pkinet2 pkinet3 pkinet4 ; +MODULE DELETE: GREP: END: ; +STRING fTemp pTemp ; +INTEGER maxItr nadi ; +REAL precf ttf ttp ; + :: >>maxItr<< >>precf<< >>nadi<< ; +ECHO " ***** TEST01 *****" ; +EVALUATE fTemp pTemp := "IMPLIC" "IMPLIC" ; +KINET := pkinet1 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4897433 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST02 *****" ; +EVALUATE fTemp pTemp := "CRANK" "CRANK" ; +KINET := pkinet1 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4897431 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST03 *****" ; +EVALUATE fTemp pTemp := "CRANK" "EXPON" ; +KINET := pkinet1 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4897434 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST04 *****" ; +EVALUATE fTemp pTemp := "THETA" "IMPLIC" ; +EVALUATE ttf := 0.75 ; +KINET := pkinet2 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttf>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4897430 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST05 *****" ; +EVALUATE fTemp pTemp := "THETA" "EXPON" ; +KINET := pkinet2 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttf>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4897431 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST06 *****" ; +EVALUATE fTemp pTemp := "CRANK" "THETA" ; +EVALUATE ttp := 0.75 ; +KINET := pkinet3 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttp>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4897433 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST07 *****" ; +EVALUATE fTemp pTemp := "THETA" "THETA" ; +EVALUATE ttf ttp := 0.8 0.6 ; +KINET := pkinet4 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttf>> <<ttp>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4897431 ; +KINET := DELETE: KINET ; +END: ; +QUIT . diff --git a/Trivac/data/Ktests_proc/pdrive28.c2m b/Trivac/data/Ktests_proc/pdrive28.c2m new file mode 100755 index 0000000..cbb867c --- /dev/null +++ b/Trivac/data/Ktests_proc/pdrive28.c2m @@ -0,0 +1,64 @@ +*********************************************** +* Procedure : pdrive28.c2m * +* Author : D. Sekki (04/2008) * +*********************************************** +PARAMETER MACRO TRACK SYSTEM FLUX :: + ::: LINKED_LIST MACRO TRACK SYSTEM FLUX ; ; +LINKED_LIST KINET ; +PROCEDURE assertS pkinet1 pkinet2 pkinet3 pkinet4 ; +MODULE DELETE: GREP: END: ; +STRING fTemp pTemp ; +INTEGER maxItr nadi ; +REAL precf ttf ttp ; + :: >>maxItr<< >>precf<< >>nadi<< ; +ECHO " ***** TEST01 *****" ; +EVALUATE fTemp pTemp := "IMPLIC" "IMPLIC" ; +KINET := pkinet1 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4888221 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST02 *****" ; +EVALUATE fTemp pTemp := "CRANK" "CRANK" ; +KINET := pkinet1 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4888187 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST03 *****" ; +EVALUATE fTemp pTemp := "CRANK" "EXPON" ; +KINET := pkinet1 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4888183 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST04 *****" ; +EVALUATE fTemp pTemp := "THETA" "IMPLIC" ; +EVALUATE ttf := 0.75 ; +KINET := pkinet2 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttf>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4888206 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST05 *****" ; +EVALUATE fTemp pTemp := "THETA" "EXPON" ; +KINET := pkinet2 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttf>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4888207 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST06 *****" ; +EVALUATE fTemp pTemp := "CRANK" "THETA" ; +EVALUATE ttp := 0.75 ; +KINET := pkinet3 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttp>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4888189 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST07 *****" ; +EVALUATE fTemp pTemp := "THETA" "THETA" ; +EVALUATE ttf ttp := 0.8 0.6 ; +KINET := pkinet4 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttf>> <<ttp>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4888212 ; +KINET := DELETE: KINET ; +END: ; +QUIT . diff --git a/Trivac/data/Ktests_proc/pdrive29.c2m b/Trivac/data/Ktests_proc/pdrive29.c2m new file mode 100755 index 0000000..6809b75 --- /dev/null +++ b/Trivac/data/Ktests_proc/pdrive29.c2m @@ -0,0 +1,64 @@ +*********************************************** +* Procedure : pdrive29.c2m * +* Author : D. Sekki (04/2008) * +*********************************************** +PARAMETER MACRO TRACK SYSTEM FLUX :: + ::: LINKED_LIST MACRO TRACK SYSTEM FLUX ; ; +LINKED_LIST KINET ; +PROCEDURE assertS pkinet1 pkinet2 pkinet3 pkinet4 ; +MODULE DELETE: GREP: END: ; +STRING fTemp pTemp ; +INTEGER maxItr nadi ; +REAL precf ttf ttp ; + :: >>maxItr<< >>precf<< >>nadi<< ; +ECHO " ***** TEST01 *****" ; +EVALUATE fTemp pTemp := "IMPLIC" "IMPLIC" ; +KINET := pkinet1 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4889259 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST02 *****" ; +EVALUATE fTemp pTemp := "CRANK" "CRANK" ; +KINET := pkinet1 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4889212 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST03 *****" ; +EVALUATE fTemp pTemp := "CRANK" "EXPON" ; +KINET := pkinet1 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4889212 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST04 *****" ; +EVALUATE fTemp pTemp := "THETA" "IMPLIC" ; +EVALUATE ttf := 0.75 ; +KINET := pkinet2 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttf>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4889241 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST05 *****" ; +EVALUATE fTemp pTemp := "THETA" "EXPON" ; +KINET := pkinet2 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttf>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4889243 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST06 *****" ; +EVALUATE fTemp pTemp := "CRANK" "THETA" ; +EVALUATE ttp := 0.75 ; +KINET := pkinet3 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttp>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4889215 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST07 *****" ; +EVALUATE fTemp pTemp := "THETA" "THETA" ; +EVALUATE ttf ttp := 0.8 0.6 ; +KINET := pkinet4 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttf>> <<ttp>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4889245 ; +KINET := DELETE: KINET ; +END: ; +QUIT . diff --git a/Trivac/data/Ktests_proc/pdrive3.c2m b/Trivac/data/Ktests_proc/pdrive3.c2m new file mode 100755 index 0000000..0fd2626 --- /dev/null +++ b/Trivac/data/Ktests_proc/pdrive3.c2m @@ -0,0 +1,64 @@ +********************************************* +* Procedure : pdrive3.c2m * +* Author : D. Sekki (04/2008) * +********************************************* +PARAMETER MACRO TRACK SYSTEM FLUX :: + ::: LINKED_LIST MACRO TRACK SYSTEM FLUX ; ; +LINKED_LIST KINET ; +PROCEDURE assertS pkinet1 pkinet2 pkinet3 pkinet4 ; +MODULE DELETE: GREP: END: ; +STRING fTemp pTemp ; +INTEGER maxItr nadi ; +REAL precf ttf ttp ; + :: >>maxItr<< >>precf<< >>nadi<< ; +ECHO " ***** TEST01 *****" ; +EVALUATE fTemp pTemp := "IMPLIC" "IMPLIC" ; +KINET := pkinet1 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4829195 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST02 *****" ; +EVALUATE fTemp pTemp := "CRANK" "CRANK" ; +KINET := pkinet1 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4829196 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST03 *****" ; +EVALUATE fTemp pTemp := "CRANK" "EXPON" ; +KINET := pkinet1 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4829195 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST04 *****" ; +EVALUATE fTemp pTemp := "THETA" "IMPLIC" ; +EVALUATE ttf := 0.75 ; +KINET := pkinet2 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttf>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4829198 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST05 *****" ; +EVALUATE fTemp pTemp := "THETA" "EXPON" ; +KINET := pkinet2 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttf>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4829197 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST06 *****" ; +EVALUATE fTemp pTemp := "CRANK" "THETA" ; +EVALUATE ttp := 0.75 ; +KINET := pkinet3 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttp>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4829203 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST07 *****" ; +EVALUATE fTemp pTemp := "THETA" "THETA" ; +EVALUATE ttf ttp := 0.8 0.6 ; +KINET := pkinet4 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttf>> <<ttp>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4829195 ; +KINET := DELETE: KINET ; +END: ; +QUIT . diff --git a/Trivac/data/Ktests_proc/pdrive30.c2m b/Trivac/data/Ktests_proc/pdrive30.c2m new file mode 100755 index 0000000..59f4b12 --- /dev/null +++ b/Trivac/data/Ktests_proc/pdrive30.c2m @@ -0,0 +1,64 @@ +*********************************************** +* Procedure : pdrive30.c2m * +* Author : D. Sekki (04/2008) * +*********************************************** +PARAMETER MACRO TRACK SYSTEM FLUX :: + ::: LINKED_LIST MACRO TRACK SYSTEM FLUX ; ; +LINKED_LIST KINET ; +PROCEDURE assertS pkinet1 pkinet2 pkinet3 pkinet4 ; +MODULE DELETE: GREP: END: ; +STRING fTemp pTemp ; +INTEGER maxItr nadi ; +REAL precf ttf ttp ; + :: >>maxItr<< >>precf<< >>nadi<< ; +ECHO " ***** TEST01 *****" ; +EVALUATE fTemp pTemp := "IMPLIC" "IMPLIC" ; +KINET := pkinet1 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4889975 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST02 *****" ; +EVALUATE fTemp pTemp := "CRANK" "CRANK" ; +KINET := pkinet1 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4889945 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST03 *****" ; +EVALUATE fTemp pTemp := "CRANK" "EXPON" ; +KINET := pkinet1 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4889942 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST04 *****" ; +EVALUATE fTemp pTemp := "THETA" "IMPLIC" ; +EVALUATE ttf := 0.75 ; +KINET := pkinet2 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttf>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4889964 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST05 *****" ; +EVALUATE fTemp pTemp := "THETA" "EXPON" ; +KINET := pkinet2 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttf>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4889964 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST06 *****" ; +EVALUATE fTemp pTemp := "CRANK" "THETA" ; +EVALUATE ttp := 0.75 ; +KINET := pkinet3 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttp>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4889945 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST07 *****" ; +EVALUATE fTemp pTemp := "THETA" "THETA" ; +EVALUATE ttf ttp := 0.8 0.6 ; +KINET := pkinet4 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttf>> <<ttp>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4889967 ; +KINET := DELETE: KINET ; +END: ; +QUIT . diff --git a/Trivac/data/Ktests_proc/pdrive31.c2m b/Trivac/data/Ktests_proc/pdrive31.c2m new file mode 100755 index 0000000..b0a4141 --- /dev/null +++ b/Trivac/data/Ktests_proc/pdrive31.c2m @@ -0,0 +1,64 @@ +*********************************************** +* Procedure : pdrive31.c2m * +* Author : D. Sekki (04/2008) * +*********************************************** +PARAMETER MACRO TRACK SYSTEM FLUX :: + ::: LINKED_LIST MACRO TRACK SYSTEM FLUX ; ; +LINKED_LIST KINET ; +PROCEDURE assertS pkinet1 pkinet2 pkinet3 pkinet4 ; +MODULE DELETE: GREP: END: ; +STRING fTemp pTemp ; +INTEGER maxItr nadi ; +REAL precf ttf ttp ; + :: >>maxItr<< >>precf<< >>nadi<< ; +ECHO " ***** TEST01 *****" ; +EVALUATE fTemp pTemp := "IMPLIC" "IMPLIC" ; +KINET := pkinet1 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4888332 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST02 *****" ; +EVALUATE fTemp pTemp := "CRANK" "CRANK" ; +KINET := pkinet1 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4888293 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST03 *****" ; +EVALUATE fTemp pTemp := "CRANK" "EXPON" ; +KINET := pkinet1 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4888293 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST04 *****" ; +EVALUATE fTemp pTemp := "THETA" "IMPLIC" ; +EVALUATE ttf := 0.75 ; +KINET := pkinet2 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttf>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4888316 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST05 *****" ; +EVALUATE fTemp pTemp := "THETA" "EXPON" ; +KINET := pkinet2 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttf>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4888316 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST06 *****" ; +EVALUATE fTemp pTemp := "CRANK" "THETA" ; +EVALUATE ttp := 0.75 ; +KINET := pkinet3 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttp>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4888293 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST07 *****" ; +EVALUATE fTemp pTemp := "THETA" "THETA" ; +EVALUATE ttf ttp := 0.8 0.6 ; +KINET := pkinet4 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttf>> <<ttp>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4888321 ; +KINET := DELETE: KINET ; +END: ; +QUIT . diff --git a/Trivac/data/Ktests_proc/pdrive4.c2m b/Trivac/data/Ktests_proc/pdrive4.c2m new file mode 100755 index 0000000..690f3c2 --- /dev/null +++ b/Trivac/data/Ktests_proc/pdrive4.c2m @@ -0,0 +1,64 @@ +********************************************* +* Procedure : pdrive4.c2m * +* Author : D. Sekki (04/2008) * +********************************************* +PARAMETER MACRO TRACK SYSTEM FLUX :: + ::: LINKED_LIST MACRO TRACK SYSTEM FLUX ; ; +LINKED_LIST KINET ; +PROCEDURE assertS pkinet1 pkinet2 pkinet3 pkinet4 ; +MODULE DELETE: GREP: END: ; +STRING fTemp pTemp ; +INTEGER maxItr nadi ; +REAL precf ttf ttp ; + :: >>maxItr<< >>precf<< >>nadi<< ; +ECHO " ***** TEST01 *****" ; +EVALUATE fTemp pTemp := "IMPLIC" "IMPLIC" ; +KINET := pkinet1 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4876611 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST02 *****" ; +EVALUATE fTemp pTemp := "CRANK" "CRANK" ; +KINET := pkinet1 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4876562 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST03 *****" ; +EVALUATE fTemp pTemp := "CRANK" "EXPON" ; +KINET := pkinet1 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4876555 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST04 *****" ; +EVALUATE fTemp pTemp := "THETA" "IMPLIC" ; +EVALUATE ttf := 0.75 ; +KINET := pkinet2 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttf>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4876591 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST05 *****" ; +EVALUATE fTemp pTemp := "THETA" "EXPON" ; +KINET := pkinet2 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttf>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4876590 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST06 *****" ; +EVALUATE fTemp pTemp := "CRANK" "THETA" ; +EVALUATE ttp := 0.75 ; +KINET := pkinet3 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttp>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4876561 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST07 *****" ; +EVALUATE fTemp pTemp := "THETA" "THETA" ; +EVALUATE ttf ttp := 0.8 0.6 ; +KINET := pkinet4 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttf>> <<ttp>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4876594 ; +KINET := DELETE: KINET ; +END: ; +QUIT . diff --git a/Trivac/data/Ktests_proc/pdrive5.c2m b/Trivac/data/Ktests_proc/pdrive5.c2m new file mode 100755 index 0000000..5e68502 --- /dev/null +++ b/Trivac/data/Ktests_proc/pdrive5.c2m @@ -0,0 +1,64 @@ +********************************************* +* Procedure : pdrive5.c2m * +* Author : D. Sekki (04/2008) * +********************************************* +PARAMETER MACRO TRACK SYSTEM FLUX :: + ::: LINKED_LIST MACRO TRACK SYSTEM FLUX ; ; +LINKED_LIST KINET ; +PROCEDURE assertS pkinet1 pkinet2 pkinet3 pkinet4 ; +MODULE DELETE: GREP: END: ; +STRING fTemp pTemp ; +INTEGER maxItr nadi ; +REAL precf ttf ttp ; + :: >>maxItr<< >>precf<< >>nadi<< ; +ECHO " ***** TEST01 *****" ; +EVALUATE fTemp pTemp := "IMPLIC" "IMPLIC" ; +KINET := pkinet1 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4892997 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST02 *****" ; +EVALUATE fTemp pTemp := "CRANK" "CRANK" ; +KINET := pkinet1 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4892993 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST03 *****" ; +EVALUATE fTemp pTemp := "CRANK" "EXPON" ; +KINET := pkinet1 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4892992 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST04 *****" ; +EVALUATE fTemp pTemp := "THETA" "IMPLIC" ; +EVALUATE ttf := 0.75 ; +KINET := pkinet2 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttf>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4892995 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST05 *****" ; +EVALUATE fTemp pTemp := "THETA" "EXPON" ; +KINET := pkinet2 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttf>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4892994 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST06 *****" ; +EVALUATE fTemp pTemp := "CRANK" "THETA" ; +EVALUATE ttp := 0.75 ; +KINET := pkinet3 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttp>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4892995 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST07 *****" ; +EVALUATE fTemp pTemp := "THETA" "THETA" ; +EVALUATE ttf ttp := 0.8 0.6 ; +KINET := pkinet4 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttf>> <<ttp>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4892998 ; +KINET := DELETE: KINET ; +END: ; +QUIT . diff --git a/Trivac/data/Ktests_proc/pdrive6.c2m b/Trivac/data/Ktests_proc/pdrive6.c2m new file mode 100755 index 0000000..0703d1f --- /dev/null +++ b/Trivac/data/Ktests_proc/pdrive6.c2m @@ -0,0 +1,64 @@ +********************************************* +* Procedure : pdrive6.c2m * +* Author : D. Sekki (04/2008) * +********************************************* +PARAMETER MACRO TRACK SYSTEM FLUX :: + ::: LINKED_LIST MACRO TRACK SYSTEM FLUX ; ; +LINKED_LIST KINET ; +PROCEDURE assertS pkinet1 pkinet2 pkinet3 pkinet4 ; +MODULE DELETE: GREP: END: ; +STRING fTemp pTemp ; +INTEGER maxItr nadi ; +REAL precf ttf ttp ; + :: >>maxItr<< >>precf<< >>nadi<< ; +ECHO " ***** TEST01 *****" ; +EVALUATE fTemp pTemp := "IMPLIC" "IMPLIC" ; +KINET := pkinet1 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4904578 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST02 *****" ; +EVALUATE fTemp pTemp := "CRANK" "CRANK" ; +KINET := pkinet1 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4904590 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST03 *****" ; +EVALUATE fTemp pTemp := "CRANK" "EXPON" ; +KINET := pkinet1 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4904584 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST04 *****" ; +EVALUATE fTemp pTemp := "THETA" "IMPLIC" ; +EVALUATE ttf := 0.75 ; +KINET := pkinet2 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttf>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4904582 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST05 *****" ; +EVALUATE fTemp pTemp := "THETA" "EXPON" ; +KINET := pkinet2 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttf>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4904583 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST06 *****" ; +EVALUATE fTemp pTemp := "CRANK" "THETA" ; +EVALUATE ttp := 0.75 ; +KINET := pkinet3 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttp>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4904590 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST07 *****" ; +EVALUATE fTemp pTemp := "THETA" "THETA" ; +EVALUATE ttf ttp := 0.8 0.6 ; +KINET := pkinet4 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttf>> <<ttp>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4904582 ; +KINET := DELETE: KINET ; +END: ; +QUIT . diff --git a/Trivac/data/Ktests_proc/pdrive7.c2m b/Trivac/data/Ktests_proc/pdrive7.c2m new file mode 100755 index 0000000..dad9c52 --- /dev/null +++ b/Trivac/data/Ktests_proc/pdrive7.c2m @@ -0,0 +1,64 @@ +********************************************* +* Procedure : pdrive7.c2m * +* Author : D. Sekki (04/2008) * +********************************************* +PARAMETER MACRO TRACK SYSTEM FLUX :: + ::: LINKED_LIST MACRO TRACK SYSTEM FLUX ; ; +LINKED_LIST KINET ; +PROCEDURE assertS pkinet1 pkinet2 pkinet3 pkinet4 ; +MODULE DELETE: GREP: END: ; +STRING fTemp pTemp ; +INTEGER maxItr nadi ; +REAL precf ttf ttp ; + :: >>maxItr<< >>precf<< >>nadi<< ; +ECHO " ***** TEST01 *****" ; +EVALUATE fTemp pTemp := "IMPLIC" "IMPLIC" ; +KINET := pkinet1 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4859928 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST02 *****" ; +EVALUATE fTemp pTemp := "CRANK" "CRANK" ; +KINET := pkinet1 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4859923 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST03 *****" ; +EVALUATE fTemp pTemp := "CRANK" "EXPON" ; +KINET := pkinet1 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4859924 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST04 *****" ; +EVALUATE fTemp pTemp := "THETA" "IMPLIC" ; +EVALUATE ttf := 0.75 ; +KINET := pkinet2 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttf>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4859927 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST05 *****" ; +EVALUATE fTemp pTemp := "THETA" "EXPON" ; +KINET := pkinet2 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttf>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4859926 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST06 *****" ; +EVALUATE fTemp pTemp := "CRANK" "THETA" ; +EVALUATE ttp := 0.75 ; +KINET := pkinet3 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttp>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4859923 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST07 *****" ; +EVALUATE fTemp pTemp := "THETA" "THETA" ; +EVALUATE ttf ttp := 0.8 0.6 ; +KINET := pkinet4 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttf>> <<ttp>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4859928 ; +KINET := DELETE: KINET ; +END: ; +QUIT . diff --git a/Trivac/data/Ktests_proc/pdrive8.c2m b/Trivac/data/Ktests_proc/pdrive8.c2m new file mode 100755 index 0000000..68e5d34 --- /dev/null +++ b/Trivac/data/Ktests_proc/pdrive8.c2m @@ -0,0 +1,64 @@ +********************************************* +* Procedure : pdrive8.c2m * +* Author : D. Sekki (04/2008) * +********************************************* +PARAMETER MACRO TRACK SYSTEM FLUX :: + ::: LINKED_LIST MACRO TRACK SYSTEM FLUX ; ; +LINKED_LIST KINET ; +PROCEDURE assertS pkinet1 pkinet2 pkinet3 pkinet4 ; +MODULE DELETE: GREP: END: ; +STRING fTemp pTemp ; +INTEGER maxItr nadi ; +REAL precf ttf ttp ; + :: >>maxItr<< >>precf<< >>nadi<< ; +ECHO " ***** TEST01 *****" ; +EVALUATE fTemp pTemp := "IMPLIC" "IMPLIC" ; +KINET := pkinet1 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4893550 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST02 *****" ; +EVALUATE fTemp pTemp := "CRANK" "CRANK" ; +KINET := pkinet1 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4893501 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST03 *****" ; +EVALUATE fTemp pTemp := "CRANK" "EXPON" ; +KINET := pkinet1 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4893495 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST04 *****" ; +EVALUATE fTemp pTemp := "THETA" "IMPLIC" ; +EVALUATE ttf := 0.75 ; +KINET := pkinet2 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttf>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4893531 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST05 *****" ; +EVALUATE fTemp pTemp := "THETA" "EXPON" ; +KINET := pkinet2 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttf>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4893532 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST06 *****" ; +EVALUATE fTemp pTemp := "CRANK" "THETA" ; +EVALUATE ttp := 0.75 ; +KINET := pkinet3 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttp>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4893501 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST07 *****" ; +EVALUATE fTemp pTemp := "THETA" "THETA" ; +EVALUATE ttf ttp := 0.8 0.6 ; +KINET := pkinet4 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttf>> <<ttp>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4893536 ; +KINET := DELETE: KINET ; +END: ; +QUIT . diff --git a/Trivac/data/Ktests_proc/pdrive9.c2m b/Trivac/data/Ktests_proc/pdrive9.c2m new file mode 100755 index 0000000..4d37325 --- /dev/null +++ b/Trivac/data/Ktests_proc/pdrive9.c2m @@ -0,0 +1,64 @@ +********************************************* +* Procedure : pdrive9.c2m * +* Author : D. Sekki (04/2008) * +********************************************* +PARAMETER MACRO TRACK SYSTEM FLUX :: + ::: LINKED_LIST MACRO TRACK SYSTEM FLUX ; ; +LINKED_LIST KINET ; +PROCEDURE assertS pkinet1 pkinet2 pkinet3 pkinet4 ; +MODULE DELETE: GREP: END: ; +STRING fTemp pTemp ; +INTEGER maxItr nadi ; +REAL precf ttf ttp ; + :: >>maxItr<< >>precf<< >>nadi<< ; +ECHO " ***** TEST01 *****" ; +EVALUATE fTemp pTemp := "IMPLIC" "IMPLIC" ; +KINET := pkinet1 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4897435 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST02 *****" ; +EVALUATE fTemp pTemp := "CRANK" "CRANK" ; +KINET := pkinet1 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4897433 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST03 *****" ; +EVALUATE fTemp pTemp := "CRANK" "EXPON" ; +KINET := pkinet1 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4897433 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST04 *****" ; +EVALUATE fTemp pTemp := "THETA" "IMPLIC" ; +EVALUATE ttf := 0.75 ; +KINET := pkinet2 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttf>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4897435 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST05 *****" ; +EVALUATE fTemp pTemp := "THETA" "EXPON" ; +KINET := pkinet2 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttf>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4897435 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST06 *****" ; +EVALUATE fTemp pTemp := "CRANK" "THETA" ; +EVALUATE ttp := 0.75 ; +KINET := pkinet3 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttp>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4897431 ; +KINET := DELETE: KINET ; +ECHO " ***** TEST07 *****" ; +EVALUATE fTemp pTemp := "THETA" "THETA" ; +EVALUATE ttf ttp := 0.8 0.6 ; +KINET := pkinet4 MACRO TRACK SYSTEM FLUX :: <<fTemp>> + <<pTemp>> <<maxItr>> <<ttf>> <<ttp>> + <<precf>> <<nadi>> ; +assertS KINET :: 'CTRL-FLUX' 1 0.4897436 ; +KINET := DELETE: KINET ; +END: ; +QUIT . diff --git a/Trivac/data/Ktests_proc/pkinet1.c2m b/Trivac/data/Ktests_proc/pkinet1.c2m new file mode 100755 index 0000000..e4b79ac --- /dev/null +++ b/Trivac/data/Ktests_proc/pkinet1.c2m @@ -0,0 +1,45 @@ +*********************************************** +* Procedure : pkinet1.c2m * +* Author : D. Sekki (04/08) * +*********************************************** +PARAMETER KINET2 MACRO TRACK SYSTEM FLUX :: + ::: LINKED_LIST KINET2 MACRO TRACK SYSTEM FLUX ; ; +MODULE INIKIN: KINSOL: BIVACA: TRIVAA: GREP: DELETE: END: ; +LINKED_LIST SYSTEMP KINET1 ; +INTEGER itr iedit nDel := 0 0 6 ; +REAL delta := 0.01 ; +INTEGER ity maxItr nadi ; +STRING fTemp pTemp ; +REAL precf ; + :: >>fTemp<< >>pTemp<< >>maxItr<< + >>precf<< >>nadi<< ; +GREP: SYSTEM :: GETVAL 'STATE-VECTOR' 4 >>ity<< ; +KINET1 := INIKIN: MACRO TRACK SYSTEM FLUX :: EDIT 1 + NDEL <<nDel>> + BETA 0.000266 0.001491 0.001316 + 0.002849 0.000896 0.000182 + LAMBDA 0.0127 0.0317 0.1150 + 0.3110 1.4000 3.8700 + CHID 1.0 1.0 1.0 1.0 1.0 1.0 + 0.0 0.0 0.0 0.0 0.0 0.0 ; +IF ity 1 = THEN + SYSTEMP := BIVACA: MACRO TRACK :: EDIT 0 UNIT ; +ELSEIF ity 2 = ity 3 = + THEN + SYSTEMP := TRIVAA: MACRO TRACK :: EDIT 0 UNIT ; +ELSE + ECHO "Unknown type=" ity ; +ENDIF ; +WHILE itr maxItr < DO + EVALUATE itr := itr 1 + ; + IF itr maxItr = THEN + EVALUATE iedit := 1 ; + ENDIF ; + KINET1 := KINSOL: KINET1 MACRO TRACK SYSTEMP :: + EDIT <<iedit>> DELTA <<delta>> + SCHEME FLUX <<fTemp>> PREC <<pTemp>> + EXTE <<precf>> ADI <<nadi>> ; +ENDWHILE ; +KINET2 := KINET1 ; +KINET1 SYSTEMP := DELETE: KINET1 SYSTEMP ; +END: ; +QUIT . diff --git a/Trivac/data/Ktests_proc/pkinet2.c2m b/Trivac/data/Ktests_proc/pkinet2.c2m new file mode 100755 index 0000000..188a4ba --- /dev/null +++ b/Trivac/data/Ktests_proc/pkinet2.c2m @@ -0,0 +1,45 @@ +*********************************************** +* Procedure : pkinet2.c2m * +* Author : D. Sekki (04/08) * +*********************************************** +PARAMETER KINET2 MACRO TRACK SYSTEM FLUX :: + ::: LINKED_LIST KINET2 MACRO TRACK SYSTEM FLUX ; ; +MODULE INIKIN: KINSOL: BIVACA: TRIVAA: GREP: DELETE: END: ; +LINKED_LIST SYSTEMP KINET1 ; +INTEGER itr iedit nDel := 0 0 6 ; +REAL delta := 0.01 ; +INTEGER ity maxItr nadi ; +STRING fTemp pTemp ; +REAL precf ttf ; + :: >>fTemp<< >>pTemp<< >>maxItr<< + >>ttf<< >>precf<< >>nadi<< ; +GREP: SYSTEM :: GETVAL 'STATE-VECTOR' 4 >>ity<< ; +KINET1 := INIKIN: MACRO TRACK SYSTEM FLUX :: EDIT 1 + NDEL <<nDel>> + BETA 0.000266 0.001491 0.001316 + 0.002849 0.000896 0.000182 + LAMBDA 0.0127 0.0317 0.1150 + 0.3110 1.4000 3.8700 + CHID 1.0 1.0 1.0 1.0 1.0 1.0 + 0.0 0.0 0.0 0.0 0.0 0.0 ; +IF ity 1 = THEN + SYSTEMP := BIVACA: MACRO TRACK :: EDIT 0 UNIT ; +ELSEIF ity 2 = ity 3 = + THEN + SYSTEMP := TRIVAA: MACRO TRACK :: EDIT 0 UNIT ; +ELSE + ECHO "Unknown type=" ity ; +ENDIF ; +WHILE itr maxItr < DO + EVALUATE itr := itr 1 + ; + IF itr maxItr = THEN + EVALUATE iedit := 1 ; + ENDIF ; + KINET1 := KINSOL: KINET1 MACRO TRACK SYSTEMP :: + EDIT <<iedit>> DELTA <<delta>> + SCHEME FLUX <<fTemp>> <<ttf>> PREC <<pTemp>> + EXTE <<precf>> ADI <<nadi>> ; +ENDWHILE ; +KINET2 := KINET1 ; +KINET1 SYSTEMP := DELETE: KINET1 SYSTEMP ; +END: ; +QUIT . diff --git a/Trivac/data/Ktests_proc/pkinet3.c2m b/Trivac/data/Ktests_proc/pkinet3.c2m new file mode 100755 index 0000000..69ee2aa --- /dev/null +++ b/Trivac/data/Ktests_proc/pkinet3.c2m @@ -0,0 +1,45 @@ +*********************************************** +* Procedure : pkinet3.c2m * +* Author : D. Sekki (04/08) * +*********************************************** +PARAMETER KINET2 MACRO TRACK SYSTEM FLUX :: + ::: LINKED_LIST KINET2 MACRO TRACK SYSTEM FLUX ; ; +MODULE INIKIN: KINSOL: BIVACA: TRIVAA: GREP: DELETE: END: ; +LINKED_LIST SYSTEMP KINET1 ; +INTEGER itr iedit nDel := 0 0 6 ; +REAL delta := 0.01 ; +INTEGER ity maxItr nadi ; +STRING fTemp pTemp ; +REAL precf ttp ; + :: >>fTemp<< >>pTemp<< >>maxItr<< + >>ttp<< >>precf<< >>nadi<< ; +GREP: SYSTEM :: GETVAL 'STATE-VECTOR' 4 >>ity<< ; +KINET1 := INIKIN: MACRO TRACK SYSTEM FLUX :: EDIT 1 + NDEL <<nDel>> + BETA 0.000266 0.001491 0.001316 + 0.002849 0.000896 0.000182 + LAMBDA 0.0127 0.0317 0.1150 + 0.3110 1.4000 3.8700 + CHID 1.0 1.0 1.0 1.0 1.0 1.0 + 0.0 0.0 0.0 0.0 0.0 0.0 ; +IF ity 1 = THEN + SYSTEMP := BIVACA: MACRO TRACK :: EDIT 0 UNIT ; +ELSEIF ity 2 = ity 3 = + THEN + SYSTEMP := TRIVAA: MACRO TRACK :: EDIT 0 UNIT ; +ELSE + ECHO "Unknown type=" ity ; +ENDIF ; +WHILE itr maxItr < DO + EVALUATE itr := itr 1 + ; + IF itr maxItr = THEN + EVALUATE iedit := 1 ; + ENDIF ; + KINET1 := KINSOL: KINET1 MACRO TRACK SYSTEMP :: + EDIT <<iedit>> DELTA <<delta>> + SCHEME FLUX <<fTemp>> PREC <<pTemp>> <<ttp>> + EXTE <<precf>> ADI <<nadi>> ; +ENDWHILE ; +KINET2 := KINET1 ; +KINET1 SYSTEMP := DELETE: KINET1 SYSTEMP ; +END: ; +QUIT . diff --git a/Trivac/data/Ktests_proc/pkinet4.c2m b/Trivac/data/Ktests_proc/pkinet4.c2m new file mode 100755 index 0000000..773794d --- /dev/null +++ b/Trivac/data/Ktests_proc/pkinet4.c2m @@ -0,0 +1,45 @@ +*********************************************** +* Procedure : pkinet4.c2m * +* Author : D. Sekki (04/08) * +*********************************************** +PARAMETER KINET2 MACRO TRACK SYSTEM FLUX :: + ::: LINKED_LIST KINET2 MACRO TRACK SYSTEM FLUX ; ; +MODULE INIKIN: KINSOL: BIVACA: TRIVAA: GREP: DELETE: END: ; +LINKED_LIST SYSTEMP KINET1 ; +INTEGER itr iedit nDel := 0 0 6 ; +REAL delta := 0.01 ; +INTEGER ity maxItr nadi ; +STRING fTemp pTemp ; +REAL precf ttf ttp ; + :: >>fTemp<< >>pTemp<< >>maxItr<< + >>ttf<< >>ttp<< >>precf<< >>nadi<< ; +GREP: SYSTEM :: GETVAL 'STATE-VECTOR' 4 >>ity<< ; +KINET1 := INIKIN: MACRO TRACK SYSTEM FLUX :: EDIT 1 + NDEL <<nDel>> + BETA 0.000266 0.001491 0.001316 + 0.002849 0.000896 0.000182 + LAMBDA 0.0127 0.0317 0.1150 + 0.3110 1.4000 3.8700 + CHID 1.0 1.0 1.0 1.0 1.0 1.0 + 0.0 0.0 0.0 0.0 0.0 0.0 ; +IF ity 1 = THEN + SYSTEMP := BIVACA: MACRO TRACK :: EDIT 0 UNIT ; +ELSEIF ity 2 = ity 3 = + THEN + SYSTEMP := TRIVAA: MACRO TRACK :: EDIT 0 UNIT ; +ELSE + ECHO "Unknown type=" ity ; +ENDIF ; +WHILE itr maxItr < DO + EVALUATE itr := itr 1 + ; + IF itr maxItr = THEN + EVALUATE iedit := 1 ; + ENDIF ; + KINET1 := KINSOL: KINET1 MACRO TRACK SYSTEMP :: + EDIT <<iedit>> DELTA <<delta>> + SCHEME FLUX <<fTemp>> <<ttf>> PREC <<pTemp>> <<ttp>> + EXTE <<precf>> ADI <<nadi>> ; +ENDWHILE ; +KINET2 := KINET1 ; +KINET1 SYSTEMP := DELETE: KINET1 SYSTEMP ; +END: ; +QUIT . diff --git a/Trivac/data/Ktests_proc/prim12_biv.c2m b/Trivac/data/Ktests_proc/prim12_biv.c2m new file mode 100755 index 0000000..9ed15cb --- /dev/null +++ b/Trivac/data/Ktests_proc/prim12_biv.c2m @@ -0,0 +1,144 @@ +*---- +* TEST CASE ene6103 +* +* REF: A. Hebert, "Applied Reactor Physics", Presses Internationales +* Polytechnique, Problem 5.12 (2009). +* +*---- +* Define STRUCTURES and MODULES used +*---- +LINKED_LIST GEOM MACRO MACROP TRACK SYSTEM SYSTEMP FLUX EDIT KINET ; +MODULE GEO: MAC: BIVACT: BIVACA: FLUD: OUT: INIKIN: KINSOL: DELETE: + GREP: END: ; +REAL FNORM ; +REAL TIME := 0.0 ; +PROCEDURE assertS assertS2 ; +* +GEOM := GEO: :: CAR1D 4 + X- ZERO X+ ZERO + MIX 2 1 3 2 + MESHX 0.0 40.0 350.0 660.0 700.0 + SPLITX 1 4 4 1 + ; +*---- +* Macroscopic cross sections +*---- +MACRO := MAC: :: + EDIT 2 NGRO 2 NMIX 3 NIFI 1 + READ INPUT + MIX 1 + DIFF 1.264E+00 0.9328E+00 + TOTAL 8.154E-03 4.1000E-03 + NUSIGF 0.000E+00 4.5620E-03 + CHI 1.000E+00 0.000E+00 + H-FACTOR 0.000E+00 4.5620E-03 + SCAT 1 1 0.0 2 2 0.0 7.368E-03 + OVERV 1.000E-07 5.000E-06 + MIX 2 + DIFF 1.310E+00 0.8695E+00 + TOTAL 1.018E-02 2.1170E-04 + SCAT 1 1 0.0 2 2 0.0 1.0180E-02 + OVERV 1.000E-07 5.000E-06 + MIX 3 + DIFF 1.264E+00 0.9328E+00 + TOTAL 8.154E-03 4.1000E-03 + NUSIGF 0.000E+00 4.5620E-03 + CHI 1.000E+00 0.000E+00 + H-FACTOR 0.000E+00 4.5620E-03 + SCAT 1 1 0.0 2 2 0.0 7.368E-03 + OVERV 1.000E-07 5.000E-06 + ; +*---- +* Steady-state calculation +*---- +MACROP := MAC: MACRO :: + EDIT 2 + READ INPUT + MIX 1 + TOTAL 8.154E-03 4.0800E-03 + ; +TRACK := BIVACT: GEOM :: + TITLE 'BENCHMARK ENE6103' + EDIT 99 MAXR 18 PRIM 1 2 ; +SYSTEM := BIVACA: MACRO TRACK :: EDIT 5 UNIT ; +FLUX := FLUD: SYSTEM TRACK :: EDIT 2 EXTE 5.0E-7 ; +GREP: FLUX :: STEP UP FLUX GETVAL 2 14 >>FNORM<< ; +assertS FLUX :: 'K-EFFECTIVE' 1 0.9979773 ; +EVALUATE FNORM := 1.0 FNORM / ; +ECHO "Flux normalization factor=" FNORM ; +EDIT := OUT: FLUX TRACK MACRO GEOM :: EDIT 2 INTG IN ; +SYSTEMP := BIVACA: MACROP TRACK :: EDIT 5 UNIT ; +*---- +* Implicit space-time kinetics +*---- +KINET := INIKIN: MACRO TRACK SYSTEM FLUX :: EDIT 6 + NDEL 6 + BETA 0.000266 0.001491 0.001316 + 0.002849 0.000896 0.000182 + LAMBDA 0.0127 0.0317 0.1150 + 0.3110 1.4000 3.8700 + CHID 1.0 1.0 1.0 1.0 1.0 1.0 + 0.0 0.0 0.0 0.0 0.0 0.0 + NORM <<FNORM>> ; +WHILE TIME 10.0 <= DO + KINET := KINSOL: KINET MACROP TRACK SYSTEMP :: + EDIT 5 DELTA 0.1 + SCHEME FLUX IMPLIC PREC IMPLIC EXTE 1.0E-6 ; + GREP: KINET :: GETVAL 'TOTAL-TIME' 1 >>TIME<< ; + ECHO "TIME=" TIME "S" ; + IF TIME 0.1 - ABS 1.0E-3 < THEN + assertS2 KINET :: 'CTRL-FLUX' 1 1.177547 ; + assertS2 KINET :: 'CTRL-PREC' 1 9.576650E-05 ; + ELSEIF TIME 0.5 - ABS 1.0E-3 < THEN + assertS2 KINET :: 'CTRL-FLUX' 1 1.546373 ; + assertS2 KINET :: 'CTRL-PREC' 1 9.597720E-05 ; + ELSEIF TIME 1.0 - ABS 1.0E-3 < THEN + assertS2 KINET :: 'CTRL-FLUX' 1 1.760290 ; + assertS2 KINET :: 'CTRL-PREC' 1 9.639034E-05 ; + ELSEIF TIME 5.0 - ABS 1.0E-3 < THEN + assertS2 KINET :: 'CTRL-FLUX' 1 2.849041 ; + assertS2 KINET :: 'CTRL-PREC' 1 1.026313E-04 ; + ELSEIF TIME 10.0 - ABS 1.0E-3 < THEN + assertS2 KINET :: 'CTRL-FLUX' 1 4.586319 ; + assertS2 KINET :: 'CTRL-PREC' 1 1.180539E-04 ; + ENDIF ; +ENDWHILE ; +KINET := DELETE: KINET ; +*---- +* Crank-Nicholson space-time kinetics +*---- +EVALUATE TIME := 0.0 ; +KINET := INIKIN: MACRO TRACK SYSTEM FLUX :: EDIT 6 + NDEL 6 + BETA 0.000266 0.001491 0.001316 + 0.002849 0.000896 0.000182 + LAMBDA 0.0127 0.0317 0.1150 + 0.3110 1.4000 3.8700 + CHID 1.0 1.0 1.0 1.0 1.0 1.0 + 0.0 0.0 0.0 0.0 0.0 0.0 + NORM <<FNORM>> ; +WHILE TIME 10.0 <= DO + KINET := KINSOL: KINET MACROP TRACK SYSTEMP :: + EDIT 5 DELTA 0.1 + SCHEME FLUX CRANK PREC CRANK EXTE 1.0E-6 ; + GREP: KINET :: GETVAL 'TOTAL-TIME' 1 >>TIME<< ; + ECHO "TIME=" TIME "S" ; + IF TIME 0.1 - ABS 1.0E-3 < THEN + assertS2 KINET :: 'CTRL-FLUX' 1 1.208907 ; + assertS2 KINET :: 'CTRL-PREC' 1 9.575763E-05 ; + ELSEIF TIME 0.5 - ABS 1.0E-3 < THEN + assertS2 KINET :: 'CTRL-FLUX' 1 1.572505 ; + assertS2 KINET :: 'CTRL-PREC' 1 9.596084E-05 ; + ELSEIF TIME 1.0 - ABS 1.0E-3 < THEN + assertS2 KINET :: 'CTRL-FLUX' 1 1.770055 ; + assertS2 KINET :: 'CTRL-PREC' 1 9.637151E-05 ; + ELSEIF TIME 5.0 - ABS 1.0E-3 < THEN + assertS2 KINET :: 'CTRL-FLUX' 1 2.844549 ; + assertS2 KINET :: 'CTRL-PREC' 1 1.025502E-04 ; + ELSEIF TIME 10.0 - ABS 1.0E-3 < THEN + assertS2 KINET :: 'CTRL-FLUX' 1 4.570360 ; + assertS2 KINET :: 'CTRL-PREC' 1 1.178262E-04 ; + ENDIF ; +ENDWHILE ; +ECHO "test prim12_biv completed" ; +END: ; diff --git a/Trivac/data/Ktests_proc/prim12_tri.c2m b/Trivac/data/Ktests_proc/prim12_tri.c2m new file mode 100755 index 0000000..26caf9b --- /dev/null +++ b/Trivac/data/Ktests_proc/prim12_tri.c2m @@ -0,0 +1,144 @@ +*---- +* TEST CASE ene6103 +* +* REF: A. Hebert, "Applied Reactor Physics", Presses Internationales +* Polytechnique, Problem 5.12 (2009). +* +*---- +* Define STRUCTURES and MODULES used +*---- +LINKED_LIST GEOM MACRO MACROP TRACK SYSTEM SYSTEMP FLUX EDIT KINET ; +MODULE GEO: MAC: TRIVAT: TRIVAA: FLUD: OUT: INIKIN: KINSOL: DELETE: + GREP: END: ; +REAL FNORM ; +REAL TIME := 0.0 ; +PROCEDURE assertS assertS2 ; +* +GEOM := GEO: :: CAR1D 4 + X- ZERO X+ ZERO + MIX 2 1 3 2 + MESHX 0.0 40.0 350.0 660.0 700.0 + SPLITX 1 4 4 1 + ; +*---- +* Macroscopic cross sections +*---- +MACRO := MAC: :: + EDIT 2 NGRO 2 NMIX 3 NIFI 1 + READ INPUT + MIX 1 + DIFF 1.264E+00 0.9328E+00 + TOTAL 8.154E-03 4.1000E-03 + NUSIGF 0.000E+00 4.5620E-03 + CHI 1.000E+00 0.000E+00 + H-FACTOR 0.000E+00 4.5620E-03 + SCAT 1 1 0.0 2 2 0.0 7.368E-03 + OVERV 1.000E-07 5.000E-06 + MIX 2 + DIFF 1.310E+00 0.8695E+00 + TOTAL 1.018E-02 2.1170E-04 + SCAT 1 1 0.0 2 2 0.0 1.0180E-02 + OVERV 1.000E-07 5.000E-06 + MIX 3 + DIFF 1.264E+00 0.9328E+00 + TOTAL 8.154E-03 4.1000E-03 + NUSIGF 0.000E+00 4.5620E-03 + CHI 1.000E+00 0.000E+00 + H-FACTOR 0.000E+00 4.5620E-03 + SCAT 1 1 0.0 2 2 0.0 7.368E-03 + OVERV 1.000E-07 5.000E-06 + ; +*---- +* Steady-state calculation +*---- +MACROP := MAC: MACRO :: + EDIT 2 + READ INPUT + MIX 1 + TOTAL 8.154E-03 4.0800E-03 + ; +TRACK := TRIVAT: GEOM :: + TITLE 'BENCHMARK ENE6103' + EDIT 99 MAXR 18 PRIM 1 ; +SYSTEM := TRIVAA: MACRO TRACK :: EDIT 5 UNIT ; +FLUX := FLUD: SYSTEM TRACK :: EDIT 2 EXTE 5.0E-7 ; +GREP: FLUX :: STEP UP FLUX GETVAL 2 14 >>FNORM<< ; +assertS FLUX :: 'K-EFFECTIVE' 1 0.9979773 ; +EVALUATE FNORM := 1.0 FNORM / ; +ECHO "Flux normalization factor=" FNORM ; +EDIT := OUT: FLUX TRACK MACRO GEOM :: EDIT 2 INTG IN ; +SYSTEMP := TRIVAA: MACROP TRACK :: EDIT 5 UNIT ; +*---- +* Implicit space-time kinetics +*---- +KINET := INIKIN: MACRO TRACK SYSTEM FLUX :: EDIT 6 + NDEL 6 + BETA 0.000266 0.001491 0.001316 + 0.002849 0.000896 0.000182 + LAMBDA 0.0127 0.0317 0.1150 + 0.3110 1.4000 3.8700 + CHID 1.0 1.0 1.0 1.0 1.0 1.0 + 0.0 0.0 0.0 0.0 0.0 0.0 + NORM <<FNORM>> ; +WHILE TIME 10.0 <= DO + KINET := KINSOL: KINET MACROP TRACK SYSTEMP :: + EDIT 5 DELTA 0.1 + SCHEME FLUX IMPLIC PREC IMPLIC EXTE 1.0E-6 ; + GREP: KINET :: GETVAL 'TOTAL-TIME' 1 >>TIME<< ; + ECHO "TIME=" TIME "S" ; + IF TIME 0.1 - ABS 1.0E-3 < THEN + assertS2 KINET :: 'CTRL-FLUX' 1 1.177440 ; + assertS2 KINET :: 'CTRL-PREC' 1 9.576575E-05 ; + ELSEIF TIME 0.5 - ABS 1.0E-3 < THEN + assertS2 KINET :: 'CTRL-FLUX' 1 1.545814 ; + assertS2 KINET :: 'CTRL-PREC' 1 9.597623E-05 ; + ELSEIF TIME 1.0 - ABS 1.0E-3 < THEN + assertS2 KINET :: 'CTRL-FLUX' 1 1.759351 ; + assertS2 KINET :: 'CTRL-PREC' 1 9.638877E-05 ; + ELSEIF TIME 5.0 - ABS 1.0E-3 < THEN + assertS2 KINET :: 'CTRL-FLUX' 1 2.845741 ; + assertS2 KINET :: 'CTRL-PREC' 1 1.026191E-04 ; + ELSEIF TIME 10.0 - ABS 1.0E-3 < THEN + assertS2 KINET :: 'CTRL-FLUX' 1 4.577717 ; + assertS2 KINET :: 'CTRL-PREC' 1 1.180071E-04 ; + ENDIF ; +ENDWHILE ; +KINET := DELETE: KINET ; +*---- +* Crank-Nicholson space-time kinetics +*---- +EVALUATE TIME := 0.0 ; +KINET := INIKIN: MACRO TRACK SYSTEM FLUX :: EDIT 6 + NDEL 6 + BETA 0.000266 0.001491 0.001316 + 0.002849 0.000896 0.000182 + LAMBDA 0.0127 0.0317 0.1150 + 0.3110 1.4000 3.8700 + CHID 1.0 1.0 1.0 1.0 1.0 1.0 + 0.0 0.0 0.0 0.0 0.0 0.0 + NORM <<FNORM>> ; +WHILE TIME 10.0 <= DO + KINET := KINSOL: KINET MACROP TRACK SYSTEMP :: + EDIT 5 DELTA 0.1 + SCHEME FLUX CRANK PREC CRANK EXTE 1.0E-6 ; + GREP: KINET :: GETVAL 'TOTAL-TIME' 1 >>TIME<< ; + ECHO "TIME=" TIME "S" ; + IF TIME 0.1 - ABS 1.0E-3 < THEN + assertS2 KINET :: 'CTRL-FLUX' 1 1.208721 ; + assertS2 KINET :: 'CTRL-PREC' 1 9.575688E-05 ; + ELSEIF TIME 0.5 - ABS 1.0E-3 < THEN + assertS2 KINET :: 'CTRL-FLUX' 1 1.571855 ; + assertS2 KINET :: 'CTRL-PREC' 1 9.595987E-05 ; + ELSEIF TIME 1.0 - ABS 1.0E-3 < THEN + assertS2 KINET :: 'CTRL-FLUX' 1 1.769088 ; + assertS2 KINET :: 'CTRL-PREC' 1 9.637003E-05 ; + ELSEIF TIME 5.0 - ABS 1.0E-3 < THEN + assertS2 KINET :: 'CTRL-FLUX' 1 2.841198 ; + assertS2 KINET :: 'CTRL-PREC' 1 1.025387E-04 ; + ELSEIF TIME 10.0 - ABS 1.0E-3 < THEN + assertS2 KINET :: 'CTRL-FLUX' 1 4.561928 ; + assertS2 KINET :: 'CTRL-PREC' 1 1.177817E-04 ; + ENDIF ; +ENDWHILE ; +ECHO "test prim12_tri completed" ; +END: ; diff --git a/Trivac/data/Ktests_proc/prim13_biv.c2m b/Trivac/data/Ktests_proc/prim13_biv.c2m new file mode 100755 index 0000000..da77802 --- /dev/null +++ b/Trivac/data/Ktests_proc/prim13_biv.c2m @@ -0,0 +1,144 @@ +*---- +* TEST CASE ene6103 +* +* REF: A. Hebert, "Applied Reactor Physics", Presses Internationales +* Polytechnique, Problem 5.12 (2009). +* +*---- +* Define STRUCTURES and MODULES used +*---- +LINKED_LIST GEOM MACRO MACROP TRACK SYSTEM SYSTEMP FLUX EDIT KINET ; +MODULE GEO: MAC: BIVACT: BIVACA: FLUD: OUT: INIKIN: KINSOL: DELETE: + GREP: END: ; +REAL FNORM ; +REAL TIME := 0.0 ; +PROCEDURE assertS assertS2 ; +* +GEOM := GEO: :: CAR1D 4 + X- ZERO X+ ZERO + MIX 2 1 3 2 + MESHX 0.0 40.0 350.0 660.0 700.0 + SPLITX 1 4 4 1 + ; +*---- +* Macroscopic cross sections +*---- +MACRO := MAC: :: + EDIT 2 NGRO 2 NMIX 3 NIFI 1 + READ INPUT + MIX 1 + DIFF 1.264E+00 0.9328E+00 + TOTAL 8.154E-03 4.1000E-03 + NUSIGF 0.000E+00 4.5620E-03 + CHI 1.000E+00 0.000E+00 + H-FACTORS 0.000E+00 4.5620E-03 + SCAT 1 1 0.0 2 2 0.0 7.368E-03 + OVERV 1.000E-07 5.000E-06 + MIX 2 + DIFF 1.310E+00 0.8695E+00 + TOTAL 1.018E-02 2.1170E-04 + SCAT 1 1 0.0 2 2 0.0 1.0180E-02 + OVERV 1.000E-07 5.000E-06 + MIX 3 + DIFF 1.264E+00 0.9328E+00 + TOTAL 8.154E-03 4.1000E-03 + NUSIGF 0.000E+00 4.5620E-03 + CHI 1.000E+00 0.000E+00 + H-FACTORS 0.000E+00 4.5620E-03 + SCAT 1 1 0.0 2 2 0.0 7.368E-03 + OVERV 1.000E-07 5.000E-06 + ; +*---- +* Steady-state calculation +*---- +MACROP := MAC: MACRO :: + EDIT 2 + READ INPUT + MIX 1 + TOTAL 8.154E-03 4.0800E-03 + ; +TRACK := BIVACT: GEOM :: + TITLE 'BENCHMARK ENE6103' + EDIT 99 MAXR 18 PRIM 1 3 ; +SYSTEM := BIVACA: MACRO TRACK :: EDIT 5 UNIT ; +FLUX := FLUD: SYSTEM TRACK :: EDIT 2 EXTE 5.0E-7 ; +GREP: FLUX :: STEP UP FLUX GETVAL 2 14 >>FNORM<< ; +assertS FLUX :: 'K-EFFECTIVE' 1 0.9976777 ; +EVALUATE FNORM := 1.0 FNORM / ; +ECHO "Flux normalization factor=" FNORM ; +EDIT := OUT: FLUX TRACK MACRO GEOM :: EDIT 2 INTG IN ; +SYSTEMP := BIVACA: MACROP TRACK :: EDIT 5 UNIT ; +*---- +* Implicit space-time kinetics +*---- +KINET := INIKIN: MACRO TRACK SYSTEM FLUX :: EDIT 6 + NDEL 6 + BETA 0.000266 0.001491 0.001316 + 0.002849 0.000896 0.000182 + LAMBDA 0.0127 0.0317 0.1150 + 0.3110 1.4000 3.8700 + CHID 1.0 1.0 1.0 1.0 1.0 1.0 + 0.0 0.0 0.0 0.0 0.0 0.0 + NORM <<FNORM>> ; +WHILE TIME 10.0 <= DO + KINET := KINSOL: KINET MACROP TRACK SYSTEMP :: + EDIT 5 DELTA 0.1 + SCHEME FLUX IMPLIC PREC IMPLIC EXTE 5.0E-7 ; + GREP: KINET :: GETVAL 'TOTAL-TIME' 1 >>TIME<< ; + ECHO "TIME=" TIME "S" ; + IF TIME 0.1 - ABS 1.0E-3 < THEN + assertS2 KINET :: 'CTRL-FLUX' 1 1.177896 ; + assertS2 KINET :: 'CTRL-PREC' 1 9.579482E-05 ; + ELSEIF TIME 0.5 - ABS 1.0E-3 < THEN + assertS2 KINET :: 'CTRL-FLUX' 1 1.544617 ; + assertS2 KINET :: 'CTRL-PREC' 1 9.600674E-05 ; + ELSEIF TIME 1.0 - ABS 1.0E-3 < THEN + assertS2 KINET :: 'CTRL-FLUX' 1 1.756835 ; + assertS2 KINET :: 'CTRL-PREC' 1 9.642089E-05 ; + ELSEIF TIME 5.0 - ABS 1.0E-3 < THEN + assertS2 KINET :: 'CTRL-FLUX' 1 2.834877 ; + assertS2 KINET :: 'CTRL-PREC' 1 1.026524E-04 ; + ELSEIF TIME 10.0 - ABS 1.0E-3 < THEN + assertS2 KINET :: 'CTRL-FLUX' 1 4.550276 ; + assertS2 KINET :: 'CTRL-PREC' 1 1.179992E-04 ; + ENDIF ; +ENDWHILE ; +KINET := DELETE: KINET ; +*---- +* Crank-Nicholson space-time kinetics +*---- +EVALUATE TIME := 0.0 ; +KINET := INIKIN: MACRO TRACK SYSTEM FLUX :: EDIT 6 + NDEL 6 + BETA 0.000266 0.001491 0.001316 + 0.002849 0.000896 0.000182 + LAMBDA 0.0127 0.0317 0.1150 + 0.3110 1.4000 3.8700 + CHID 1.0 1.0 1.0 1.0 1.0 1.0 + 0.0 0.0 0.0 0.0 0.0 0.0 + NORM <<FNORM>> ; +WHILE TIME 10.0 <= DO + KINET := KINSOL: KINET MACROP TRACK SYSTEMP :: + EDIT 5 DELTA 0.1 + SCHEME FLUX CRANK PREC CRANK EXTE 5.0E-7 ; + GREP: KINET :: GETVAL 'TOTAL-TIME' 1 >>TIME<< ; + ECHO "TIME=" TIME "S" ; + IF TIME 0.1 - ABS 1.0E-3 < THEN + assertS2 KINET :: 'CTRL-FLUX' 1 1.210350 ; + assertS2 KINET :: 'CTRL-PREC' 1 9.578590E-05 ; + ELSEIF TIME 0.5 - ABS 1.0E-3 < THEN + assertS2 KINET :: 'CTRL-FLUX' 1 1.571531 ; + assertS2 KINET :: 'CTRL-PREC' 1 9.599043E-05 ; + ELSEIF TIME 1.0 - ABS 1.0E-3 < THEN + assertS2 KINET :: 'CTRL-FLUX' 1 1.765806 ; + assertS2 KINET :: 'CTRL-PREC' 1 9.640217E-05 ; + ELSEIF TIME 5.0 - ABS 1.0E-3 < THEN + assertS2 KINET :: 'CTRL-FLUX' 1 2.830335 ; + assertS2 KINET :: 'CTRL-PREC' 1 1.025722E-04 ; + ELSEIF TIME 10.0 - ABS 1.0E-3 < THEN + assertS2 KINET :: 'CTRL-FLUX' 1 4.534404 ; + assertS2 KINET :: 'CTRL-PREC' 1 1.177749E-04 ; + ENDIF ; +ENDWHILE ; +ECHO "test prim13_biv completed" ; +END: ; diff --git a/Trivac/data/Ktests_proc/pspn_bivac.c2m b/Trivac/data/Ktests_proc/pspn_bivac.c2m new file mode 100755 index 0000000..1982a10 --- /dev/null +++ b/Trivac/data/Ktests_proc/pspn_bivac.c2m @@ -0,0 +1,165 @@ +*********************************************** +* Procedure : pspn_bivac.c2m * +* Author : D. Sekki (04/08) * +*********************************************** +PROCEDURE assertS assertS2 ; +LINKED_LIST GEOM MACRO TRACK SYSTEM FLUX KINET ; +MODULE GEO: MAC: BIVACT: BIVACA: FLUD: END: + DELETE: INIKIN: KINSOL: ; +REAL epsf prec := 1.E-5 1.E-5 ; +REAL delta := 0.01 ; +INTEGER itr maxItr edit := 0 5 0 ; +* +ECHO " ***** test SPN_bivac *****" ; +GEOM := GEO: :: CAR1D 10 + EDIT 1 + X- ZERO X+ ZERO + MIX 2 1 1 1 1 3 3 3 3 2 + MESHX 0.0 40.0 117.5 195.0 272.5 350.0 + 427.5 505.0 582.5 660.0 700.0 + ; +MACRO := MAC: :: + EDIT 1 NGRO 2 NMIX 3 NIFI 1 READ INPUT + MIX 1 + DIFF 1.264E+00 9.328E-01 + NTOT0 2.63713E-01 3.57347E-01 + NUSIGF 0.000E+00 4.562E-03 + SCAT 1 1 2.55559E-1 2 2 3.53247E-1 7.368E-03 + CHI 1.000E+00 0.000E+00 + OVERV 1.000E-07 5.000E-06 + MIX 2 + DIFF 1.310E+00 8.695E-01 + NTOT0 2.54453E-01 3.83362E-01 + SCAT 1 1 2.44273E-2 2 2 3.8315E-1 1.018E-02 + CHI 0.000E+00 0.000E+00 + OVERV 1.000E-07 5.000E-06 + MIX 3 + DIFF 1.264E+00 9.328E-01 + NTOT0 2.63713E-01 3.57347E-01 + NUSIGF 0.000E+00 4.562E-03 + SCAT 1 1 2.55559E-1 2 2 3.53247E-1 7.368E-03 + CHI 1.000E+00 0.000E+00 + OVERV 1.000E-07 5.000E-06 + ; +ECHO " ** TEST01 **" ; +TRACK := BIVACT: GEOM :: EDIT 0 + MAXR 1000 DUAL 1 2 ; +SYSTEM := BIVACA: MACRO TRACK :: EDIT 0 UNIT ; +FLUX := FLUD: SYSTEM TRACK :: EDIT 1 + EXTE <<epsf>> ; +assertS FLUX :: 'K-EFFECTIVE' 1 0.9973652 ; +KINET := INIKIN: MACRO TRACK SYSTEM FLUX :: + EDIT 1 NDEL 6 + BETA 0.000266 0.001491 0.001316 + 0.002849 0.000896 0.000182 + LAMBDA 0.0127 0.0317 0.1150 + 0.3110 1.4000 3.8700 + CHID 1.0 1.0 1.0 1.0 1.0 1.0 + 0.0 0.0 0.0 0.0 0.0 0.0 ; +FLUX SYSTEM := DELETE: FLUX SYSTEM ; +SYSTEM := BIVACA: MACRO TRACK :: EDIT 0 UNIT ; +WHILE itr maxItr < DO + EVALUATE itr := itr 1 + ; + IF itr maxItr = THEN + EVALUATE edit := 1 ; + ENDIF ; + KINET := KINSOL: KINET MACRO TRACK SYSTEM :: + EDIT <<edit>> DELTA <<delta>> + SCHEME FLUX IMPLIC PREC IMPLIC + EXTE <<prec>> ; +ENDWHILE ; +assertS2 KINET :: 'CTRL-FLUX' 1 0.4998629 ; +TRACK SYSTEM KINET := DELETE: TRACK SYSTEM KINET ; +ECHO " ** TEST02 **" ; +TRACK := BIVACT: GEOM :: EDIT 0 + MAXR 1000 DUAL 1 2 SPN 1 ; +SYSTEM := BIVACA: MACRO TRACK :: EDIT 0 UNIT ; +FLUX := FLUD: SYSTEM TRACK :: EDIT 1 + EXTE <<epsf>> ; +assertS FLUX :: 'K-EFFECTIVE' 1 0.9973654 ; +KINET := INIKIN: MACRO TRACK SYSTEM FLUX :: + EDIT 99 NDEL 6 + BETA 0.000266 0.001491 0.001316 + 0.002849 0.000896 0.000182 + LAMBDA 0.0127 0.0317 0.1150 + 0.3110 1.4000 3.8700 + CHID 1.0 1.0 1.0 1.0 1.0 1.0 + 0.0 0.0 0.0 0.0 0.0 0.0 ; +FLUX SYSTEM := DELETE: FLUX SYSTEM ; +SYSTEM := BIVACA: MACRO TRACK :: EDIT 0 UNIT ; +EVALUATE itr edit := 0 0 ; +WHILE itr maxItr < DO + EVALUATE itr := itr 1 + ; + IF itr maxItr = THEN + EVALUATE edit := 1 ; + ENDIF ; + KINET := KINSOL: KINET MACRO TRACK SYSTEM :: + EDIT 99 DELTA <<delta>> + SCHEME FLUX IMPLIC PREC IMPLIC + EXTE <<prec>> ; +ENDWHILE ; +assertS2 KINET :: 'CTRL-FLUX' 1 0.4998600 ; +TRACK SYSTEM KINET := DELETE: TRACK SYSTEM KINET ; +ECHO " ** TEST03 **" ; +TRACK := BIVACT: GEOM :: EDIT 0 + MAXR 1000 DUAL 1 2 SPN 3 ; +SYSTEM := BIVACA: MACRO TRACK :: EDIT 0 UNIT ; +FLUX := FLUD: SYSTEM TRACK :: EDIT 1 + EXTE <<epsf>> ; +assertS FLUX :: 'K-EFFECTIVE' 1 0.9973683 ; +KINET := INIKIN: MACRO TRACK SYSTEM FLUX :: + EDIT 1 NDEL 6 + BETA 0.000266 0.001491 0.001316 + 0.002849 0.000896 0.000182 + LAMBDA 0.0127 0.0317 0.1150 + 0.3110 1.4000 3.8700 + CHID 1.0 1.0 1.0 1.0 1.0 1.0 + 0.0 0.0 0.0 0.0 0.0 0.0 ; +FLUX SYSTEM := DELETE: FLUX SYSTEM ; +SYSTEM := BIVACA: MACRO TRACK :: EDIT 0 UNIT ; +EVALUATE itr edit := 0 0 ; +WHILE itr maxItr < DO + EVALUATE itr := itr 1 + ; + IF itr maxItr = THEN + EVALUATE edit := 1 ; + ENDIF ; + KINET := KINSOL: KINET MACRO TRACK SYSTEM :: + EDIT <<edit>> DELTA <<delta>> + SCHEME FLUX IMPLIC PREC IMPLIC + EXTE <<prec>> ; +ENDWHILE ; +assertS2 KINET :: 'CTRL-FLUX' 1 0.4998046 ; +TRACK SYSTEM KINET := DELETE: TRACK SYSTEM KINET ; +ECHO " ** TEST04 **" ; +TRACK := BIVACT: GEOM :: EDIT 0 + MAXR 1000 DUAL 1 2 SPN 5 ; +SYSTEM := BIVACA: MACRO TRACK :: EDIT 0 UNIT ; +FLUX := FLUD: SYSTEM TRACK :: EDIT 1 + EXTE <<epsf>> ; +assertS FLUX :: 'K-EFFECTIVE' 1 0.9973684 ; +KINET := INIKIN: MACRO TRACK SYSTEM FLUX :: + EDIT 1 NDEL 6 + BETA 0.000266 0.001491 0.001316 + 0.002849 0.000896 0.000182 + LAMBDA 0.0127 0.0317 0.1150 + 0.3110 1.4000 3.8700 + CHID 1.0 1.0 1.0 1.0 1.0 1.0 + 0.0 0.0 0.0 0.0 0.0 0.0 ; +FLUX SYSTEM := DELETE: FLUX SYSTEM ; +SYSTEM := BIVACA: MACRO TRACK :: EDIT 0 UNIT ; +EVALUATE itr edit := 0 0 ; +WHILE itr maxItr < DO + EVALUATE itr := itr 1 + ; + IF itr maxItr = THEN + EVALUATE edit := 1 ; + ENDIF ; + KINET := KINSOL: KINET MACRO TRACK SYSTEM :: + EDIT <<edit>> DELTA <<delta>> + SCHEME FLUX IMPLIC PREC IMPLIC + EXTE <<prec>> ; +ENDWHILE ; +assertS2 KINET :: 'CTRL-FLUX' 1 0.4998035 ; +TRACK SYSTEM KINET := DELETE: TRACK SYSTEM KINET ; +ECHO "test pspn_bivac completed" ; +END: ; +QUIT . diff --git a/Trivac/data/Ktests_proc/pspn_trivac.c2m b/Trivac/data/Ktests_proc/pspn_trivac.c2m new file mode 100755 index 0000000..5b69558 --- /dev/null +++ b/Trivac/data/Ktests_proc/pspn_trivac.c2m @@ -0,0 +1,165 @@ +*********************************************** +* Procedure : pspn_trivac.c2m * +* Author : D. Sekki (04/08) * +*********************************************** +PROCEDURE assertS assertS2 ; +LINKED_LIST GEOM MACRO TRACK SYSTEM FLUX KINET ; +MODULE GEO: MAC: TRIVAT: TRIVAA: FLUD: END: + DELETE: INIKIN: KINSOL: ; +REAL epsf prec := 1.E-5 1.E-5 ; +REAL delta := 0.01 ; +INTEGER itr maxItr edit := 0 5 0 ; +* +ECHO " ***** test SPN_trivac *****" ; +GEOM := GEO: :: CAR1D 10 + EDIT 1 + X- ZERO X+ ZERO + MIX 2 1 1 1 1 3 3 3 3 2 + MESHX 0.0 40.0 117.5 195.0 272.5 350.0 + 427.5 505.0 582.5 660.0 700.0 + ; +MACRO := MAC: :: + EDIT 1 NGRO 2 NMIX 3 NIFI 1 READ INPUT + MIX 1 + DIFF 1.264E+00 9.328E-01 + NTOT0 2.63713E-01 3.57347E-01 + NUSIGF 0.000E+00 4.562E-03 + SCAT 1 1 2.55559E-1 2 2 3.53247E-1 7.368E-03 + CHI 1.000E+00 0.000E+00 + OVERV 1.000E-07 5.000E-06 + MIX 2 + DIFF 1.310E+00 8.695E-01 + NTOT0 2.54453E-01 3.83362E-01 + SCAT 1 1 2.44273E-2 2 2 3.8315E-1 1.018E-02 + CHI 0.000E+00 0.000E+00 + OVERV 1.000E-07 5.000E-06 + MIX 3 + DIFF 1.264E+00 9.328E-01 + NTOT0 2.63713E-01 3.57347E-01 + NUSIGF 0.000E+00 4.562E-03 + SCAT 1 1 2.55559E-1 2 2 3.53247E-1 7.368E-03 + CHI 1.000E+00 0.000E+00 + OVERV 1.000E-07 5.000E-06 + ; +ECHO " ** TEST01 **" ; +TRACK := TRIVAT: GEOM :: EDIT 0 + MAXR 1000 DUAL 1 2 ; +SYSTEM := TRIVAA: MACRO TRACK :: EDIT 0 UNIT ; +FLUX := FLUD: SYSTEM TRACK :: EDIT 1 + EXTE <<epsf>> ; +assertS FLUX :: 'K-EFFECTIVE' 1 0.9973652 ; +KINET := INIKIN: MACRO TRACK SYSTEM FLUX :: + EDIT 1 NDEL 6 + BETA 0.000266 0.001491 0.001316 + 0.002849 0.000896 0.000182 + LAMBDA 0.0127 0.0317 0.1150 + 0.3110 1.4000 3.8700 + CHID 1.0 1.0 1.0 1.0 1.0 1.0 + 0.0 0.0 0.0 0.0 0.0 0.0 ; +FLUX SYSTEM := DELETE: FLUX SYSTEM ; +SYSTEM := TRIVAA: MACRO TRACK :: EDIT 0 UNIT ; +WHILE itr maxItr < DO + EVALUATE itr := itr 1 + ; + IF itr maxItr = THEN + EVALUATE edit := 1 ; + ENDIF ; + KINET := KINSOL: KINET MACRO TRACK SYSTEM :: + EDIT <<edit>> DELTA <<delta>> + SCHEME FLUX IMPLIC PREC IMPLIC + EXTE <<prec>> ADI 1 ; +ENDWHILE ; +assertS2 KINET :: 'CTRL-FLUX' 1 0.4998574 ; +TRACK SYSTEM KINET := DELETE: TRACK SYSTEM KINET ; +ECHO " ** TEST02 **" ; +TRACK := TRIVAT: GEOM :: EDIT 0 + MAXR 1000 DUAL 1 2 SPN 1 ; +SYSTEM := TRIVAA: MACRO TRACK :: EDIT 0 UNIT ; +FLUX := FLUD: SYSTEM TRACK :: EDIT 1 + EXTE <<epsf>> ; +assertS FLUX :: 'K-EFFECTIVE' 1 0.9973654 ; +KINET := INIKIN: MACRO TRACK SYSTEM FLUX :: + EDIT 1 NGRP 2 NDEL 6 + BETA 0.000266 0.001491 0.001316 + 0.002849 0.000896 0.000182 + LAMBDA 0.0127 0.0317 0.1150 + 0.3110 1.4000 3.8700 + CHID 1.0 1.0 1.0 1.0 1.0 1.0 + 0.0 0.0 0.0 0.0 0.0 0.0 ; +FLUX SYSTEM := DELETE: FLUX SYSTEM ; +EVALUATE itr edit := 0 0 ; +SYSTEM := TRIVAA: MACRO TRACK :: EDIT 0 UNIT ; +WHILE itr maxItr < DO + EVALUATE itr := itr 1 + ; + IF itr maxItr = THEN + EVALUATE edit := 1 ; + ENDIF ; + KINET := KINSOL: KINET MACRO TRACK SYSTEM :: + EDIT <<edit>> DELTA <<delta>> + SCHEME FLUX IMPLIC PREC IMPLIC + EXTE <<prec>> ADI 1 ; +ENDWHILE ; +assertS2 KINET :: 'CTRL-FLUX' 1 0.4998592 ; +TRACK SYSTEM KINET := DELETE: TRACK SYSTEM KINET ; +ECHO " ** TEST03 **" ; +TRACK := TRIVAT: GEOM :: EDIT 0 + MAXR 1000 DUAL 1 2 SPN 3 ; +SYSTEM := TRIVAA: MACRO TRACK :: EDIT 0 UNIT ; +FLUX := FLUD: SYSTEM TRACK :: EDIT 1 + EXTE <<epsf>> ; +assertS FLUX :: 'K-EFFECTIVE' 1 0.9973683 ; +KINET := INIKIN: MACRO TRACK SYSTEM FLUX :: + EDIT 1 NDEL 6 + BETA 0.000266 0.001491 0.001316 + 0.002849 0.000896 0.000182 + LAMBDA 0.0127 0.0317 0.1150 + 0.3110 1.4000 3.8700 + CHID 1.0 1.0 1.0 1.0 1.0 1.0 + 0.0 0.0 0.0 0.0 0.0 0.0 ; +FLUX SYSTEM := DELETE: FLUX SYSTEM ; +EVALUATE itr edit := 0 0 ; +SYSTEM := TRIVAA: MACRO TRACK :: EDIT 0 UNIT ; +WHILE itr maxItr < DO + EVALUATE itr := itr 1 + ; + IF itr maxItr = THEN + EVALUATE edit := 1 ; + ENDIF ; + KINET := KINSOL: KINET MACRO TRACK SYSTEM :: + EDIT <<edit>> DELTA <<delta>> + SCHEME FLUX IMPLIC PREC IMPLIC + EXTE <<prec>> ADI 1 ; +ENDWHILE ; +assertS2 KINET :: 'CTRL-FLUX' 1 0.4997817 ; +TRACK SYSTEM KINET := DELETE: TRACK SYSTEM KINET ; +ECHO " ** TEST04 **" ; +TRACK := TRIVAT: GEOM :: EDIT 0 + MAXR 1000 DUAL 1 2 SPN 5 ; +SYSTEM := TRIVAA: MACRO TRACK :: EDIT 0 UNIT ; +FLUX := FLUD: SYSTEM TRACK :: EDIT 1 + EXTE <<epsf>> ; +assertS FLUX :: 'K-EFFECTIVE' 1 0.9973685 ; +KINET := INIKIN: MACRO TRACK SYSTEM FLUX :: + EDIT 1 NGRP 2 NDEL 6 + BETA 0.000266 0.001491 0.001316 + 0.002849 0.000896 0.000182 + LAMBDA 0.0127 0.0317 0.1150 + 0.3110 1.4000 3.8700 + CHID 1.0 1.0 1.0 1.0 1.0 1.0 + 0.0 0.0 0.0 0.0 0.0 0.0 ; +FLUX SYSTEM := DELETE: FLUX SYSTEM ; +EVALUATE itr edit := 0 0 ; +SYSTEM := TRIVAA: MACRO TRACK :: EDIT 0 UNIT ; +WHILE itr maxItr < DO + EVALUATE itr := itr 1 + ; + IF itr maxItr = THEN + EVALUATE edit := 1 ; + ENDIF ; + KINET := KINSOL: KINET MACRO TRACK SYSTEM :: + EDIT <<edit>> DELTA <<delta>> + SCHEME FLUX IMPLIC PREC IMPLIC + EXTE <<prec>> ADI 1 ; +ENDWHILE ; +assertS2 KINET :: 'CTRL-FLUX' 1 0.4997701 ; +TRACK SYSTEM KINET := DELETE: TRACK SYSTEM KINET ; +ECHO "test pspn_trivac completed" ; +END: ; +QUIT . diff --git a/Trivac/data/Ktests_proc/ptrack1.c2m b/Trivac/data/Ktests_proc/ptrack1.c2m new file mode 100755 index 0000000..cb925a6 --- /dev/null +++ b/Trivac/data/Ktests_proc/ptrack1.c2m @@ -0,0 +1,56 @@ +********************************************* +* Procedure : ptrack1.c2m * +* Author : D. Sekki (04/2008) * +********************************************* +PARAMETER MACRO TRACK SYSTEM FLUX :: + ::: LINKED_LIST MACRO TRACK SYSTEM FLUX ; ; +MODULE GEO: MAC: TRIVAT: TRIVAA: FLUD: DELETE: END: ; +LINKED_LIST GEOM ; +INTEGER MaxReg degre quadr ; +STRING method ; +REAL precf ; + :: >>MaxReg<< >>method<< >>degre<< + >>quadr<< >>precf<< ; +GEOM := GEO: :: CAR1D 10 EDIT 0 + X- ZERO X+ ZERO + MIX 2 1 1 1 1 3 3 3 3 2 + MESHX 0.0 40.0 117.5 195.0 272.5 + 350.0 427.5 505.0 582.5 660.0 700.0 ; +MACRO := MAC: :: + EDIT 0 NGRO 2 NMIX 3 NIFI 1 READ INPUT + MIX 1 + DIFF 1.264E+00 9.328E-01 + TOTAL 8.154E-03 4.100E-03 + NUSIGF 0.000E+00 4.562E-03 + SCAT 1 1 0.0 2 2 0.0 7.368E-03 + OVERV 1.000E-07 5.000E-06 + CHI 1.000E+00 0.000E+00 + MIX 2 + DIFF 1.310E+00 8.695E-01 + TOTAL 1.018E-02 2.117E-04 + SCAT 1 1 0.0 2 2 0.0 1.018E-02 + OVERV 1.000E-07 5.000E-06 + CHI 0.000E+00 0.000E+00 + MIX 3 + DIFF 1.264E+00 9.328E-01 + TOTAL 8.154E-03 4.100E-03 + NUSIGF 0.000E+00 4.562E-03 + SCAT 1 1 0.0 2 2 0.0 7.368E-03 + OVERV 1.000E-07 5.000E-06 + CHI 1.000E+00 0.000E+00 ; +IF method "MCFD" = THEN + TRACK := TRIVAT: GEOM :: EDIT 0 + MAXR <<MaxReg>> MCFD <<degre>> ; +ELSEIF method "PRIM" = THEN + TRACK := TRIVAT: GEOM :: EDIT 0 + MAXR <<MaxReg>> PRIM <<degre>> ; +ELSEIF method "DUAL" = THEN + TRACK := TRIVAT: GEOM :: EDIT 0 + MAXR <<MaxReg>> DUAL <<degre>> <<quadr>> ; +ENDIF ; +GEOM := DELETE: GEOM ; +SYSTEM := TRIVAA: MACRO TRACK :: EDIT 0 UNIT ; +FLUX := FLUD: SYSTEM TRACK :: EDIT 1 + EXTE <<precf>> ; +END: ; +QUIT . diff --git a/Trivac/data/Ktests_proc/spn12_biv.c2m b/Trivac/data/Ktests_proc/spn12_biv.c2m new file mode 100755 index 0000000..f71d22a --- /dev/null +++ b/Trivac/data/Ktests_proc/spn12_biv.c2m @@ -0,0 +1,144 @@ +*---- +* TEST CASE ene6103 +* +* REF: A. Hebert, "Applied Reactor Physics", Presses Internationales +* Polytechnique, Problem 5.12 (2009). +* +*---- +* Define STRUCTURES and MODULES used +*---- +LINKED_LIST GEOM MACRO MACROP TRACK SYSTEM SYSTEMP FLUX EDIT KINET ; +MODULE GEO: MAC: BIVACT: BIVACA: FLUD: OUT: INIKIN: KINSOL: DELETE: + ABORT: GREP: END: ; +REAL FNORM ; +REAL TIME := 0.0 ; +PROCEDURE assertS assertS2 ; +* +GEOM := GEO: :: CAR1D 4 + X- ZERO X+ ZERO + MIX 2 1 3 2 + MESHX 0.0 40.0 350.0 660.0 700.0 + SPLITX 1 4 4 1 + ; +*---- +* Macroscopic cross sections +*---- +MACRO := MAC: :: + EDIT 2 NGRO 2 NMIX 3 NIFI 1 + READ INPUT + MIX 1 + DIFF 1.264E+00 0.9328E+00 + TOTAL 0.26371308 0.357347055 + NUSIGF 0.000E+00 4.5620E-03 + CHI 1.000E+00 0.000E+00 + H-FACTOR 0.000E+00 4.5620E-03 + SCAT 1 1 0.2555591 2 2 0.353247055 7.368E-03 + OVERV 1.000E-07 5.000E-06 + MIX 2 + DIFF 1.310E+00 0.8695E+00 + TOTAL 0.25445293 0.383362085 + SCAT 1 1 0.244272926 2 2 0.383150385 1.0180E-02 + OVERV 1.000E-07 5.000E-06 + MIX 3 + DIFF 1.264E+00 0.9328E+00 + TOTAL 0.26371308 0.357347055 + NUSIGF 0.000E+00 4.5620E-03 + CHI 1.000E+00 0.000E+00 + H-FACTOR 0.000E+00 4.5620E-03 + SCAT 1 1 0.2555591 2 2 0.353247055 7.368E-03 + OVERV 1.000E-07 5.000E-06 + ; +*---- +* Steady-state calculation +*---- +MACROP := MAC: MACRO :: + EDIT 2 + READ INPUT + MIX 1 + SCAT 1 1 0.2555591 2 2 0.353267055 7.368E-03 + ; +TRACK := BIVACT: GEOM :: + TITLE 'BENCHMARK ENE6103' + EDIT 99 MAXR 18 SPN 5 DUAL 1 2 ; +SYSTEM := BIVACA: MACRO TRACK :: EDIT 5 UNIT ; +FLUX := FLUD: SYSTEM TRACK :: EDIT 2 EXTE 5.0E-7 ; +GREP: FLUX :: STEP UP FLUX GETVAL 2 10 >>FNORM<< ; +assertS FLUX :: 'K-EFFECTIVE' 1 0.9977710 ; +EVALUATE FNORM := 1.0 FNORM / ; +ECHO "Flux normalization factor=" FNORM ; +EDIT := OUT: FLUX TRACK MACRO GEOM :: EDIT 2 INTG IN ; +SYSTEMP := BIVACA: MACROP TRACK :: EDIT 5 UNIT ; +*---- +* Implicit space-time kinetics +*---- +KINET := INIKIN: MACRO TRACK SYSTEM FLUX :: EDIT 6 + NDEL 6 + BETA 0.000266 0.001491 0.001316 + 0.002849 0.000896 0.000182 + LAMBDA 0.0127 0.0317 0.1150 + 0.3110 1.4000 3.8700 + CHID 1.0 1.0 1.0 1.0 1.0 1.0 + 0.0 0.0 0.0 0.0 0.0 0.0 + NORM <<FNORM>> ; +WHILE TIME 10.0 <= DO + KINET := KINSOL: KINET MACROP TRACK SYSTEMP :: + EDIT 5 DELTA 0.1 + SCHEME FLUX IMPLIC PREC IMPLIC EXTE 1.0E-6 ; + GREP: KINET :: GETVAL 'TOTAL-TIME' 1 >>TIME<< ; + ECHO "TIME=" TIME "S" ; + IF TIME 0.1 - ABS 1.0E-3 < THEN + assertS2 KINET :: 'CTRL-FLUX' 1 1.188082 ; + assertS2 KINET :: 'CTRL-PREC' 1 9.578685E-05 ; + ELSEIF TIME 0.5 - ABS 1.0E-3 < THEN + assertS2 KINET :: 'CTRL-FLUX' 1 1.565907 ; + assertS2 KINET :: 'CTRL-PREC' 1 9.600578E-05 ; + ELSEIF TIME 1.0 - ABS 1.0E-3 < THEN + assertS2 KINET :: 'CTRL-FLUX' 1 1.785577 ; + assertS2 KINET :: 'CTRL-PREC' 1 9.643291E-05 ; + ELSEIF TIME 5.0 - ABS 1.0E-3 < THEN + assertS2 KINET :: 'CTRL-FLUX' 1 2.910073 ; + assertS2 KINET :: 'CTRL-PREC' 1 1.028769E-04 ; + ELSEIF TIME 10.0 - ABS 1.0E-3 < THEN + assertS2 KINET :: 'CTRL-FLUX' 1 4.718225 ; + assertS2 KINET :: 'CTRL-PREC' 1 1.188425E-04 ; + ENDIF ; +ENDWHILE ; +KINET := DELETE: KINET ; +*---- +* Crank-Nicholson space-time kinetics +*---- +EVALUATE TIME := 0.0 ; +KINET := INIKIN: MACRO TRACK SYSTEM FLUX :: EDIT 6 + NDEL 6 + BETA 0.000266 0.001491 0.001316 + 0.002849 0.000896 0.000182 + LAMBDA 0.0127 0.0317 0.1150 + 0.3110 1.4000 3.8700 + CHID 1.0 1.0 1.0 1.0 1.0 1.0 + 0.0 0.0 0.0 0.0 0.0 0.0 + NORM <<FNORM>> ; +WHILE TIME 10.0 <= DO + KINET := KINSOL: KINET MACROP TRACK SYSTEMP :: + EDIT 5 DELTA 0.1 + SCHEME FLUX CRANK PREC CRANK EXTE 1.0E-6 ; + GREP: KINET :: GETVAL 'TOTAL-TIME' 1 >>TIME<< ; + ECHO "TIME=" TIME "S" ; + IF TIME 0.1 - ABS 1.0E-3 < THEN + assertS2 KINET :: 'CTRL-FLUX' 1 1.225744 ; + assertS2 KINET :: 'CTRL-PREC' 1 9.577772E-05 ; + ELSEIF TIME 0.5 - ABS 1.0E-3 < THEN + assertS2 KINET :: 'CTRL-FLUX' 1 1.594166 ; + assertS2 KINET :: 'CTRL-PREC' 1 9.598901E-05 ; + ELSEIF TIME 1.0 - ABS 1.0E-3 < THEN + assertS2 KINET :: 'CTRL-FLUX' 1 1.795070 ; + assertS2 KINET :: 'CTRL-PREC' 1 9.641363E-05 ; + ELSEIF TIME 5.0 - ABS 1.0E-3 < THEN + assertS2 KINET :: 'CTRL-FLUX' 1 2.905173 ; + assertS2 KINET :: 'CTRL-PREC' 1 1.027936E-04 ; + ELSEIF TIME 10.0 - ABS 1.0E-3 < THEN + assertS2 KINET :: 'CTRL-FLUX' 1 4.701928 ; + assertS2 KINET :: 'CTRL-PREC' 1 1.186075E-04 ; + ENDIF ; +ENDWHILE ; +ECHO "test spn12_biv completed" ; +END: ; diff --git a/Trivac/data/Ktests_proc/spn12_tri.c2m b/Trivac/data/Ktests_proc/spn12_tri.c2m new file mode 100755 index 0000000..7a309f1 --- /dev/null +++ b/Trivac/data/Ktests_proc/spn12_tri.c2m @@ -0,0 +1,141 @@ +*---- +* TEST CASE ene6103 +* +* REF: A. Hebert, "Applied Reactor Physics", Presses Internationales +* Polytechnique, Problem 5.12 (2009). +* +*---- +* Define STRUCTURES and MODULES used +*---- +LINKED_LIST GEOM MACRO MACROP TRACK SYSTEM SYSTEMP FLUX EDIT KINET ; +MODULE GEO: MAC: TRIVAT: TRIVAA: FLUD: OUT: INIKIN: KINSOL: DELETE: + GREP: END: ; +REAL FNORM ; +REAL TIME := 0.0 ; +PROCEDURE assertS assertS2 ; +* +GEOM := GEO: :: CAR1D 4 + X- ZERO X+ ZERO + MIX 2 1 3 2 + MESHX 0.0 40.0 350.0 660.0 700.0 + SPLITX 1 4 4 1 + ; +*---- +* Macroscopic cross sections +*---- +MACRO := MAC: :: + EDIT 2 NGRO 2 NMIX 3 NIFI 1 + READ INPUT + MIX 1 + TOTAL 0.26371308 0.357347055 + NUSIGF 0.000E+00 4.5620E-03 + CHI 1.000E+00 0.000E+00 + H-FACTOR 0.000E+00 4.5620E-03 + SCAT 1 1 0.2555591 2 2 0.353247055 7.368E-03 + OVERV 1.000E-07 5.000E-06 + MIX 2 + TOTAL 0.25445293 0.383362085 + SCAT 1 1 0.244272926 2 2 0.383150385 1.0180E-02 + OVERV 1.000E-07 5.000E-06 + MIX 3 + TOTAL 0.26371308 0.357347055 + NUSIGF 0.000E+00 4.5620E-03 + CHI 1.000E+00 0.000E+00 + H-FACTOR 0.000E+00 4.5620E-03 + SCAT 1 1 0.2555591 2 2 0.353247055 7.368E-03 + OVERV 1.000E-07 5.000E-06 + ; +*---- +* Steady-state calculation +*---- +MACROP := MAC: MACRO :: + EDIT 2 + READ INPUT + MIX 1 + SCAT 1 1 0.2555591 2 2 0.353267055 7.368E-03 + ; +TRACK := TRIVAT: GEOM :: + TITLE 'BENCHMARK ENE6103' + EDIT 99 MAXR 18 SPN 5 DUAL 1 2 ; +SYSTEM := TRIVAA: MACRO TRACK :: EDIT 5 UNIT ; +FLUX := FLUD: SYSTEM TRACK :: EDIT 2 EXTE 5.0E-7 ; +GREP: FLUX :: STEP UP FLUX GETVAL 2 5 >>FNORM<< ; +assertS FLUX :: 'K-EFFECTIVE' 1 0.9977710 ; +EVALUATE FNORM := 1.0 FNORM / ; +ECHO "Flux normalization factor=" FNORM ; +EDIT := OUT: FLUX TRACK MACRO GEOM :: EDIT 2 INTG IN ; +SYSTEMP := TRIVAA: MACROP TRACK :: EDIT 5 UNIT ; +*---- +* Implicit space-time kinetics +*---- +KINET := INIKIN: MACRO TRACK SYSTEM FLUX :: EDIT 6 + NDEL 6 + BETA 0.000266 0.001491 0.001316 + 0.002849 0.000896 0.000182 + LAMBDA 0.0127 0.0317 0.1150 + 0.3110 1.4000 3.8700 + CHID 1.0 1.0 1.0 1.0 1.0 1.0 + 0.0 0.0 0.0 0.0 0.0 0.0 + NORM <<FNORM>> ; +WHILE TIME 10.0 <= DO + KINET := KINSOL: KINET MACROP TRACK SYSTEMP :: + EDIT 5 DELTA 0.1 + SCHEME FLUX IMPLIC PREC IMPLIC EXTE 1.0E-6 ; + GREP: KINET :: GETVAL 'TOTAL-TIME' 1 >>TIME<< ; + ECHO "TIME=" TIME "S" ; + IF TIME 0.1 - ABS 1.0E-3 < THEN + assertS2 KINET :: 'CTRL-FLUX' 1 1.188039 ; + assertS2 KINET :: 'CTRL-PREC' 1 9.578685E-05 ; + ELSEIF TIME 0.5 - ABS 1.0E-3 < THEN + assertS2 KINET :: 'CTRL-FLUX' 1 1.566022 ; + assertS2 KINET :: 'CTRL-PREC' 1 9.600580E-05 ; + ELSEIF TIME 1.0 - ABS 1.0E-3 < THEN + assertS2 KINET :: 'CTRL-FLUX' 1 1.785571 ; + assertS2 KINET :: 'CTRL-PREC' 1 9.643299E-05 ; + ELSEIF TIME 5.0 - ABS 1.0E-3 < THEN + assertS2 KINET :: 'CTRL-FLUX' 1 2.910040 ; + assertS2 KINET :: 'CTRL-PREC' 1 1.028771E-04 ; + ELSEIF TIME 10.0 - ABS 1.0E-3 < THEN + assertS2 KINET :: 'CTRL-FLUX' 1 4.718654 ; + assertS2 KINET :: 'CTRL-PREC' 1 1.188432E-04 ; + ENDIF ; +ENDWHILE ; +KINET := DELETE: KINET ; +*---- +* Crank-Nicholson space-time kinetics +*---- +EVALUATE TIME := 0.0 ; +KINET := INIKIN: MACRO TRACK SYSTEM FLUX :: EDIT 6 + NDEL 6 + BETA 0.000266 0.001491 0.001316 + 0.002849 0.000896 0.000182 + LAMBDA 0.0127 0.0317 0.1150 + 0.3110 1.4000 3.8700 + CHID 1.0 1.0 1.0 1.0 1.0 1.0 + 0.0 0.0 0.0 0.0 0.0 0.0 + NORM <<FNORM>> ; +WHILE TIME 10.0 <= DO + KINET := KINSOL: KINET MACROP TRACK SYSTEMP :: + EDIT 5 DELTA 0.1 + SCHEME FLUX CRANK PREC CRANK EXTE 1.0E-6 ; + GREP: KINET :: GETVAL 'TOTAL-TIME' 1 >>TIME<< ; + ECHO "TIME=" TIME "S" ; + IF TIME 0.1 - ABS 1.0E-3 < THEN + assertS2 KINET :: 'CTRL-FLUX' 1 1.225741 ; + assertS2 KINET :: 'CTRL-PREC' 1 9.577772E-05 ; + ELSEIF TIME 0.5 - ABS 1.0E-3 < THEN + assertS2 KINET :: 'CTRL-FLUX' 1 1.594181 ; + assertS2 KINET :: 'CTRL-PREC' 1 9.598901E-05 ; + ELSEIF TIME 1.0 - ABS 1.0E-3 < THEN + assertS2 KINET :: 'CTRL-FLUX' 1 1.795036 ; + assertS2 KINET :: 'CTRL-PREC' 1 9.641365E-05 ; + ELSEIF TIME 5.0 - ABS 1.0E-3 < THEN + assertS2 KINET :: 'CTRL-FLUX' 1 2.905191 ; + assertS2 KINET :: 'CTRL-PREC' 1 1.027933E-04 ; + ELSEIF TIME 10.0 - ABS 1.0E-3 < THEN + assertS2 KINET :: 'CTRL-FLUX' 1 4.702049 ; + assertS2 KINET :: 'CTRL-PREC' 1 1.186075E-04 ; + ENDIF ; +ENDWHILE ; +ECHO "test spn12_tri completed" ; +END: ; |