Modélisation et applications informatiques

Un modèle de calcul est un modèle mathématique en informatique qui nécessite des ressources informatiques importantes pour étudier le comportement d'un système complexe par simulation informatique. Le système étudié est souvent un système non linéaire complexe pour lequel des solutions analytiques simples et intuitives ne sont pas facilement disponibles. D'autre part, l'informatique réversible est un modèle de calcul où le processus de calcul est, dans une certaine mesure, réversible. Dans un modèle de calcul qui utilise des transitions déterministes d'un état de la machine abstraite à un autre, une condition nécessaire à la réversibilité est que la relation du mappage des états à leurs successeurs doit être biunivoque. Aujourd'hui, le domaine dispose d'un important corpus de littérature académique. Une grande variété de concepts de dispositifs réversibles, de portes logiques, de circuits électroniques, d'architectures de processeurs, de langages de programmation et d'algorithmes d'application ont été conçus et analysés par des physiciens, des ingénieurs électriques et des informaticiens.