Displaying similar documents to “Approximate Model Checking of Real-Time Systems for Linear Duration Invariants”

Advances in parallel heterogeneous genetic algorithms for continuous optimization

Enrique Alba, Francisco Luna, Antonio Nebro (2004)

International Journal of Applied Mathematics and Computer Science

Similarity:

In this paper we address an extension of a very efficient genetic algorithm (GA) known as Hy3, a physical parallelization of the gradual distributed real-coded GA (GD-RCGA). This search model relies on a set of eight subpopulations residing in a cube topology having two faces for promoting exploration and exploitation. The resulting technique has been shown to yield very accurate results in continuous optimization by using crossover operators tuned to explore and exploit the solutions...

Parameter Identification of a Fed-Batch Cultivation of S. Cerevisiae using Genetic Algorithms

Angelova, Maria, Tzonkov, Stoyan, Pencheva, Tania (2010)

Serdica Journal of Computing

Similarity:

Fermentation processes as objects of modelling and high-quality control are characterized with interdependence and time-varying of process variables that lead to non-linear models with a very complex structure. This is why the conventional optimization methods cannot lead to a satisfied solution. As an alternative, genetic algorithms, like the stochastic global optimization method, can be applied to overcome these limitations. The application of genetic algorithms is a precondition for...

The island model as a Markov dynamic system

Robert Schaefer, Aleksander Byrski, Maciej Smołka (2012)

International Journal of Applied Mathematics and Computer Science

Similarity:

Parallel multi-deme genetic algorithms are especially advantageous because they allow reducing the time of computations and can perform a much broader search than single-population ones. However, their formal analysis does not seem to have been studied exhaustively enough. In this paper we propose a mathematical framework describing a wide class of island-like strategies as a stationary Markov chain. Our approach uses extensively the modeling principles introduced by Vose, Rudolph and...

Application of the Rasch model in categorical pedigree analysis using MCEM: I binary data

G. Qian, R. M. Huggins, D. Z. Loesch (2004)

Discussiones Mathematicae Probability and Statistics

Similarity:

An extension of the Rasch model with correlated latent variables is proposed to model correlated binary data within families. The latent variables have the classical correlation structure of Fisher (1918) and the model parameters thus have genetic interpretations. The proposed model is fitted to data using a hybrid of the Metropolis-Hastings algorithm and the MCEM modification of the EM-algorithm and is illustrated using genotype-phenotype data on a psychological subtest in families...