logo NEO

 

JGDS:SAT Configuration File





####################################################################
## MAIN PARAMETERS : ##
####################################################################

BASE_PORTS =6200                    # Where to start the ports of islands
SYNC_PORT =1500                      # Port to synchronize the island

NUM_ISLANDS =8                  # Total number of islands

HOST_1 =192.168.198.224
HOST_2 =192.168.198.223
HOST_3 =192.168.198.222
HOST_4 =192.168.198.221
HOST_5 =192.168.198.220
HOST_6 =192.168.198.216
HOST_7 =192.168.198.218
HOST_8 =192.168.198.217

####################################################################
## PROBLEM PARAMETERS: ##
####################################################################

PROBLEM_TYPE =1            # 1=SAT, 2=Radio Network Design

FITNESS_FUNCTION =1             # If SAT 1:Default function
SOLUTION_FITNESS =0.98        #  max. 1 if SAT

NUM_GENES =250               # Number of variables if SAT
GENE_LENGTH =1               # 1 if SAT. Bits to represent a literal
CHROM_LENGTH =250        # Length of chromosome:NUM_GENES*GENE_LENGTH

NUM_CLAUSULES =1065      # Number of clausules (only for SAT)
LIT_IN_CLAUSULE =3            # Number of literals per clausule
NUM_LITERALS =250            # Number of variables

####################################################################
## ALGORITHM PARAMETERS ##
####################################################################

ALG_TYPE =1# 1:Steady State GA, 2:Celular GA, 3:Simulated Annealing

NUM_MAX_EVAL =100000000      # Maximum number of evaluations

MIGRATION_FREQ =2048          # Frequency of migrations (# of evaluations)
MIGRATION_TYPE =3                # 1:best indiv, 2:worst indiv, 3:random indiv

PROB_CROSS =0.5         # Probability of applying crossover
PROB_MUT =0.05           # Probability of applying mutation

CROSS_TYPE =3           # 0:NONE, 1:SPX, 2:AX, 3:UX, 4:DPX, 5:SPX2
MUTATION_TYPE =1    # 1:Binary mutation

POP_V_SIZE =5               # Number of cols and rows of population
POP_H_SIZE =5               # Size of population on each island:POP_V_SIZE*POP_H_SIZE
POPSIZE =25

REPLACEMENT_TYPE =1      # 1:worst indiv
SELECTION_TYPE =1             # 1:Roulette wheel

####################################################################
## MISCELLANEOUS : ##
####################################################################

NUM_MIG =1            # Number of migrate individuals
UX_RATIO =0.5      # Ratio for UX cross operator: [0,1)

Click here to download SAT configuration file



[Previous][Index][Next]
Our Software

orangebox Mallba

orangebox DLOPT

orangebox epiGA

orangebox epiGApy

orangebox ssGA

orangebox JGDS

orangebox xxGA

orangebox JCell

orangebox MHTB

orangebox DEME

orangebox JMetal

orangebox More...

orangebox Go Back



J. Cabello Galisteo 2008