Búscalo aquí:

Liberan código fuente del Apolo 11

Hace 40 años que Neil Armstrong y Buzz Aldrin se convirtieron en los primeros hombres en caminar sobre la luna. Este es uno de los eventos que ha marcado la historia de la humanidad y es en conmemoración del 40 aniversario de la llegada del hombre a la luna que la NASA ha liberado el código fuente del módulo de mando (Comanche054) y módulo lunar (Luminary099) utilizado por el Apolo 11 para lograr su misión.

El módulo de mando y el módulo lunar de la misión Apollo 11 ha sido publicado en Google Code los cuales pueden ser ejecutados usando el emulador del AGC (Apollo Guidance Computer) del proyecto Virtual AGC and AGS.

El proyecto Virtual AGC and AGS también pone su código disponible a la comunidad en Google Code.



Fuente Google Code Blog


Quieres leer más post como éste???...suscribete aquí!!!

800 TFLOPS de potencia para Ray Tracing

El Ray Tracing es una técnica de renderización en la que se utilizan rayos de luz para representar objetos mostrando un gran nivel de detalle así como la reflexión y refracción de la luz sobre los propios objetos, generando escenas de alta calidad (escenas fotorealistas) que necesitan una gran cantidad de recursos computacionales, lo cual ya no será más problema, puesto que, una compañía japonesa ha anunciado poner en el mercado un chip capaz de desplegar 800 teraflops para ray tracing en tiempo real (RTRT).

Teorema de Bayes y Redes Bayesianas de Diagnóstico

El Teorema de Bayes es ampliamente utilizado en diversas áreas del conocimiento debido a su fortaleza garantizado por el alto nivel de flexibilidad con el que cuenta, flexibilidad que permite realizar inferencias a todo nivel, los mismos que, son altamente fidedignos y cercanos al más exhaustivo método riguroso (cómo por ejemplo, comparándo sus resultados con los obtenidos con los de una Tabla de Distribución Conjunta Completa). En lo que respecta a la Inteligencia Artificial, su uso es diverso, siendo lo más común, en la aplicación a sistemas expertos.

Encriptar Imágenes con RSA y Goldwasser-Micali

El RSA es un esquema de cifrado de clave pública propuesto en 1978 por R. Rivest, A. Shamir y L. Adleman, sus creadores y cuyas iniciales forman el nombre de tan conocido algoritmo. RSA basa su seguridad en la intratabilidad del problema de la factorización entera, un problema de tipo NP. Por otro lado, Goldwasser-Micali (GM) es un esquema de cifrado de clave pública de tipo probabilístico presentado en 1984 por Shafi Goldwasser y Silvio Micali, el cual trabaja con los bits del mensaje a cifrar.

Teoría de Flujo Maximo aplicado a la optimización por horarios

Dentro del sistema de transporte urbano, uno de los principales problemas cotidianos en las actuales urbes, es la congestión de las redes viales, principalmente en las áreas céntricas de una ciudad. En este post se presentan algunos detalles del modelado de un sistema para la optimización de una red de tráfico vehícular basado en un método híbrido entre el algoritmo de flujo máximo de Ford-Fulkerson y el de obtención de ruta más óptima (Dijkstra).

Congreso de Inteligencia Computacional Aplicada CICA 2009

El Congreso de Inteligencia Computacional Aplicada CICA 2009 que se realizará en la Universidad de Palermo (UP) el 23 y 24 de julio. El Congreso, tiene por finalidad analizar el estado del arte de esta disciplina, desde un punto de vista de sus aplicaciones prácticas; promover la integración de profesionales, investigadores y empresas e industrias, en un marco en el que prevalecerán las innovaciones tecnológicas encaminadas a buscar el beneficio de la comunidad. Sin dudas un evento que cuenta de un gran respaldo y un comite de lujo, entre los que destacan Noam Chomsky del MIT.

Exposiciones SRAA 2009

El I evento en Reconocimiento Automático del Habla ha sido llevado a cabo con éxito, en el que se expusierón propuestas de modificaciones realizadas sobre los algoritmos de extracción de características de voz, como el MFCC (Coeficientes Cepstrales en Escala de Mel) , propuestas de combinación entre MFCC y MODGDF(Modified Group Delay Function), propuestas de ciertas técnicas especializadas para la inicialización de un modelo oculto de Markov (HMM) para un modelo de lenguaje determinado, así como la presentación de aplicaciones prácticas, entre otros.

Sudoku [código]

El clásico juego del sudoku, mostrado en un tablero (muchas veces frívolo) de 9 x 9, siempre ha sido un reto, tanto desde un punto de vista de jugador, así como desde una visión de matemático, puesto qué, como en un post anterior se trató, el Sudoku es un problema NP completo. Sin embargo, en este post, el objetivo es otro.

Propiedades de las Redes de Petri

Las redes de Petri, introducidas por Carl Adam Petri a principios de los años 60, son una herramienta gráfica y matemática para el estudio de un gran número de sistemas: son uno de los formalismos más ampliamente aceptados para modelar sistemas concurrentes y distribuidos. Con una red de Petri pueden estudiarse dos tipos de propiedades: las que dependen del marcado inicial (propiedades de comportamiento) y las que son independientes del marcado inicial (propiedades estructurales).


Propiedades de Comportamiento
Las principales propiedades de comportamiento son la alcanzabilidad, la acotabilidad, la vivacidad, la reversibilidad, la cobertura y la persistencia.

Definición (Marcado Alcanzable): Un marcado Mn se dice alcanzable desde un marcado si existe una secuencia de disparos que transforma M0 en Mn . Una secuencia de disparo (ver imagen superior) se denota por Ro={t1t2...tn}. En este caso, Mn es alcanzable desde M0 mediante Ro. El conjunto de todos los posibles marcados alcanzables desde M0 en una red (N, M0) se denota por R(N, M0) o simplemente por R( M0).


Definición (Problema de Alcanzabilidad): El problema de la alcanzabilidad para las redes de Petri será el problema de encontrar si M pertenece a R(M0) en una red dada (N,M0).

Definición (Red de Petri Acotada): Una red de Petri (N,M0) se dice k-acotada o acotada si el número de tokens en cada lugar no es superior a un número finito k para cualquier marcado alcanzable desde M, es decir, M(p)<= k para todo lugar p y todo marcado M que pertenece a R(M0).


Definición (Red de Petri Segura): Una red de Petri (N,M0) se dice segura si está 1-acotada.


Definición (Interbloqueo): Se dice que en una red de Petri ocurre un interbloqueo cuando se alcanza un marcado desde el que no se puede disparar ninguna transición.


Definición (Red de Petri Viva): Una red de Petri (N,M0) se dice que está viva (o equivalentemente se dice que es un marcado vivo para N) si, sea cual sea el marcado que se alcance desde , existe una secuencia disparable que permite disparar cualquier transición de la red. La vivacidad garantiza, por tanto, la ausencia de interbloqueos. Esto implica que cualquier transición es eventualmente disparable en alguna secuencia de disparo. Esta es una propiedad muy fuerte y, a menudo, muy difícil de verificar. Por ello, se habla se grados de disparo denominados niveles.


Propiedades Estructurales
Las propiedades estructurales son aquellas que dependen de la estructura topológica de las redes de Petri. Son independientes del marcado inicial en el sentido de que dichas propiedades se cumplen para cualquier marcado inicial. Son propiedades estructurales la acotabilidad estructural, la vivacidad estructural, la controlabilidad, la conservatividad, la repetitividad y la consistencia.

Definición (Red de Petri Acotada Estructuralmente): Una red de Petri está acotada estructuralmente si está acotada para cualquier marcado inicial finito.


Definición (Lugar No Acotado Estructuralmente): Un lugar p en una red de Petri se dice no acotado estructuralmente si existe un marcado M y una secuencia de disparo Ro desde M tal que p no esté acotado.


Definición (Red de Petri Estructuralmente Viva): Una red de Petri está estructuralmente viva si existe algún marcado inicial para el que está viva.


Definición (Red de Petri Completamente Controlable): Una red de Petri se dice completamente controlable si cualquier marcado es alcanzable desde cualquier otro marcado.


Definición (Red de Petri Estructuralmente Conservativa): Una red de Petri es estructuralmente conservativa si, para cualquier marcado inicial M0 y un marcado alcanzable M que pertenece a R(M0), existe un vector x(n × 1) tal que xi sea diferente que cero, para cualquier i = 1,...,n, y (x^{t})M = (x^{t})M0.


Definición (Red de Petri (parcialmente) Repetitiva): Una red de Petri es (parcialmente) repetitiva si existe un marcado finito M0 y una secuencia de disparo s tal que (alguna) toda transición ocurre un número infinito de veces en Ro.


Definición (Red de Petri (parcialmente) Consistente): Una red de Petri es (parcialmente) consistente si existe un marcado finito M0 y una secuencia de disparo s cíclica (desde a tal que (alguna) toda transición ocurre al menos una vez en Ro.



Quieres leer más post como éste???...suscribete aquí!!!

Convertidor de Expresiones Regulares hacia Autómata Finito

Los lenguajes regulares se llaman así porque sus palabras contienen “regularidades” o repeticiones de los mismos componentes, como por ejemplo en el lenguaje L={abc, abcabc, abcabcabc, …}. La regularidad de la palabra “abc” en el lenguaje L permite definir muchos otros lenguajes basados en la idea de repetir esquemas simples. Esta es la idea básica para formar los lenguajes regulares. Por otro lado, las expresiones regulares (ER) son simplemente fórmulas cuyo propósito es representar un lenguaje.

Related Posts Plugin for WordPress, Blogger...