A Formal Design Model for Genetic Algorithms Operators and its Encoding in PVS.
M. Saqib NawazMeng SunPublished in: BDIOT (2018)
Keyphrases
- formal model
- conceptual model
- probabilistic model
- mathematical model
- computational model
- genetic algorithm
- similarity measure
- cost function
- probability distribution
- fuzzy logic
- theoretical framework
- artificial neural networks
- neural network
- management system
- genetic programming
- em algorithm
- vector quantization
- user interface
- genetic algorithm ga
- experimental data
- evolutionary computation
- simulation model