¿Se puede liberar la programación del estilo de von Neumann?

8 de Octubre de 2016, ha tenido 213 vistas

Esta entrada contiene algunas notas extraídas de la charla que dio John Backus (pionero de la computación) al recibir el premio Turing en 1977. El punto más importante de esta charla fue poner de manifiesto que las diferencias entre la programación imperativa y la funcional no responden únicamente a un estilo estético diferente, sino que pueden suponer una diferencia a la hora de tomar caminos más o menos eficientes para resolver un problema.

Etiquetas utilizadas: , ,

Leer mas »

Problemas de Satisfacción de Restricciones

3 de Septiembre de 2016, ha tenido 433 vistas

La resolución de Problemas de Satisfacción de Restricciones (PSR, por sus siglas en español, o CSP por sus siglas en inglés) es un conjunto de técnicas utilizadas para la descripción y posterior resolución efectiva de grandes y complejos problemas, particularmente combinatorios, que aparecen en muchas áreas de la vida real y que se caracterizan porque sus soluciones se pueden expresar por medio de un conjunto de variables que deben verificar algunas restricciones simultáneas. Este tipo de problemas aparecen en áreas como Inteligencia Artificial, Investigación Operativa, Bases de Datos, Sistemas Expertos, Sistemas Económicos, etc. y se aplican a problemas de scheduling, planificación, razonamiento temporal, diseño en la ingeniería, empaquetamiento, criptografía, diagnosis, toma de decisiones, etc. En esta entrada vamos a presentar una introducción de los conceptos y algoritmos fundamentales de PSR.

Etiquetas utilizadas: , , ,

Leer mas »

Programming Mathematical Models ... with NetLogo

18 de Julio de 2016, ha tenido 144 vistas

This post has the goal to serve as guide for the session "Programming Mathematical Models ... with NetLogo" from the 5th International Summer School of Mathematics in Seville, between July 15th and 31st 2016.

For this reason, this post is more like a set of notes to focus our achievements that something to read from outside... sorry for those coming from outside the Summer School, as it can be of little interest for them. We will build a model to experiment with totallistic 2D Cellular Automata from scratch (and provide some optimizations for the Game of Life case).

Etiquetas utilizadas: , , , , ,

Leer mas »

Classical elements in NetLogo: Fire

11 de Junio de 2016, ha tenido 217 vistas

Following with the simulation of Classical Elements in NetLogo, and after Earth and Water, we will address in this post how to simulate some fire features, but taking into account the same goals of decentralized and as simple as possible models.

Fire is formed by a set of incandescent particles or molecules of combustible material capable of emitting visible light. The flames are the parts of the fire that emit visible light, while smoke are physically the same but that no longer emit. Because the most common and graphical picture of fire is the flame, we will be interested in this post in simulate flame productions.

Etiquetas utilizadas: , , , , ,

Leer mas »

Classical elements in NetLogo: Water

23 de Mayo de 2016, ha tenido 390 vistas

After Earth, and to continue with the simulation of Classical Elements in NetLogo, in this post we will give some simple, but very graphical and good looking, models to simulate the behaviour of water.

In this post we will simplify so much the assumptions that the model we will obtain only will be useful to simulate liquids under some conditions, but not gasses. You can find very realistic and nice simulation of different fluids behaviours under several and more general assumptions, but here we will give only a fast and simple way to obtain a behaviour that we visually recognize as a liquid.

Etiquetas utilizadas: , , , , ,

Leer mas »

ALGUNAS ENTRADAS ANTERIORES ... AL AZAR

Autómatas Celulares

29 de Noviembre de 2013, 4923 vistas

Los autómatas celulares (AC) surgen en la década de 1940 con John Von Neumann, que intentaba modelar una maquina que fuera capaz de autoreplicarse, llegando así a un modelo matemático de dicha maquina con reglas complicadas sobre una red rectangular. Inicialmente fueron interpretados como conjunto de células que crecían, se reproducían y morían a medida que pasaba el tiempo. Su nombre se debe a esta similitud con el crecimiento de las células.

Etiquetas utilizadas: , ,

El modelado de problemas

8 de Septiembre de 2013, 1075 vistas

En numerosas ciencias se hace necesario el estudio y análisis de fenómenos del mundo real, y por ello se hace necesaria la aplicación del método científico a este estudio. Como acabamos de ver con anterioridad una de las fases de la aplicación del método científico se basa en la construcción de modelos o formulación de hipótesis. En nuestro caso nos centraremos en la construcción de modelos. 

Etiquetas utilizadas: , , ,