No description available.

No description available.

No description available.

No description available.

No description available.

Las redes neuronales evolutivas son un caso particular de redes neuronales artificiales en donde los pesos de las conexiones no son determinados por un método de entrenamiento sino por la aplicación de un proceso evolutivo. El método propuesto en esta tesis, NeSR, evoluciona tanto los pesos de conexión como la estructura de la red neuronal. Este método se basa en una codificación indirecta, es decir, no evoluciona redes neuronales sino sistemas de reescritura denominados Sistemas L. Esta representación permite construir una red neuronal, la cual será evaluada en el problema a resolver. Este método tiene la virtud de brindar una poderosa flexibilidad en la estructura de las redes generadas a partir de estos sistemas, aunque requiere un costo de procesamiento extra en el paso de convertir un genotivo (Sistema L) en su fenotipo (Red Neuronal). Las mediciones realizadas demuestran su capacidad para resolver distintos tipos de problemas en forma similar a otros métodos neuroevolutivos.

No description available.

No description available.

Se especificará formalmente un modelo de seguridad multi-nivel, más concretamente, el modelo Bell-LaPadula, en el contexto de un módulo de control de acceso para un servidor de aplicaciones. Se implementará, además, un mecanismo de control de acceso discrecionario basado en Listas de Control de Acceso (ACL). El objetivo de la especificación es la posterior prueba formal de algunas propiedades de seguridad del módulo. La especificación se escribirá en Z, y para las pruebas se utilizará el asistente de pruebas Z/EVES 2.1. Con éste se verificarán algunas propiedades de la especificación, y en particular se probará que una de las operaciones del módulo preserva las propiedades de seguridad deseadas.

No description available.