Modelação Computacional e Aplicações

Um modelo computacional é um modelo matemático em ciência computacional que requer vastos recursos computacionais para estudar o comportamento de um sistema complexo por simulação computacional. O sistema em estudo é frequentemente um sistema complexo não linear para o qual não estão prontamente disponíveis soluções analíticas simples e intuitivas. Por outro lado, uma computação reversível é um modelo de computação onde o processo computacional é, até certo ponto, reversível. Num modelo de computação que utiliza transições determinísticas de um estado da máquina abstracta para outro, uma condição necessária para a reversibilidade é que a relação do mapeamento dos estados para os seus sucessores deve ser de um para um. Hoje em dia, o campo tem por trás um corpo substancial de literatura académica. Uma grande variedade de conceitos de dispositivos reversíveis, portões lógicos, circuitos electrónicos, arquitecturas de processador, linguagens de programação e algoritmos de aplicação foram concebidos e analisados por físicos, engenheiros eléctricos e cientistas da computação.