domingo, 11 de septiembre de 2011

Formalización Tercera

FORMALIZACIÓN EN LENGUAJE FORMAL

Podemos asociar cada dato con una letra.Por ejemplo:

F(forestales),A(agricolas),E(aeronauticos),I(informatica),N(industriales)//R(hab. roja),Z(hab. azul),M(hab. amarilla),V(hab. verde),B(hab. blanca)//P(primera hab.),S(segunda hab.),T(tercera hab.),C(cuarta hab.),Q(quinta hab.)//U(tuenti),W(twiter),K(facebook),G(google+),L(linkedin)//Rg(rugby),Ba(baloncesto),Tn(tenis),Cu(curling),Pt(petanca).

Con los datos que nos dan podemos asociar las diferentes letras entre sí mediante símbolos del lenguaje formal:
^(y),v(o),  ¬(no),  ®(si...entonces)

Como sabemos que el de informática vive en la primera habitación y que vive al lado de la habitación azul, entonces sabemos que la habitación azul está al lado de la primera, es decir, que es la segunda.Estas deducciones se pondrían en lenguaje formal de la siguiente manera:

(I^P) ®Z=S
(V^B) ®V¬Q
(M^R) ®G¬M

Hacerlo de esta manera tendría muchas complicaciones, porque habría que pasar por alto la situación espacial de las habitaciones, lo que causaría confusión a la hora de colocar los datos, pasando por alto el hecho de que con tantos datos como disponemos nos quedaríamos sin letras por los que sustituirlos.

sábado, 10 de septiembre de 2011

Tiempo de Exposición

Bueno aquí os dejo el tiempo de la presentación del lunes por apartados:

Presentación e Introducción (2 ó 3 min) - Javier.

Teoría de la Formalización (4 min) - Sergio y Pablo.

1ª Formalización (3 min) - Tamara y Daniel.

2ª Formalización (3 min) - Emilio y Fernando.

Formalización Final (6 min) - David y Álvaro.

Clausura de la Presentación - Zuo Ke.

Nota: Sobra un minuto, que bien se podría utilizar para la presentación si va apurada de tiempo o bien como margen por si alguno nos extendemos más de la cuenta.

Formalización con ecuaciones

Tenemos las siguientes incógnitas planteadas en el enigma:
- Cantante: X
- Red Social: Y
- Deporte: Z
- Color de la habitación: T

Podriamos asociarlo a los siguientes parámetros:
- Estudiante de Informática: A
- Estudiante de Aeronáutica: B
- Estudiante de Forestales: C
- Estudainte de Agrícolas: D
- Estudiante de Industriales: E

Cada estudiante del enigma (informática, aeronáutica, forestales, industriales y agrícolas) está asociado a un cantante (incógnita X), a una red social (incógnita Y), a un deporte (incógnita Z) y a un color de habitación (incógnita T).
Por lo tanto el cantante asociado al estudiante de informática sería AX, el del estudiante de aeronáutica BX y así sucesivamente con el resto de estudiantes.
Así tenemos que, la resolución de AX + AY + AZ + AT sería igual al conjunto del: cantante, red social, deporte y color de la habitación del informático, BX + BY + BZ + BT, sería del estudiante de aeronáutica y así con los demás.
Aunque con todo esto, está formalización no se puede resolver ya que el enigma plantea situaciones espaciales como por ejemplo: "la habitación verde está a la izquierda de la habitación blanca".

Formalización Final - Vídeo

viernes, 9 de septiembre de 2011

Making Off

En esta entrada iremos actualizando el progreso de la animación que presentaremos para la solución del problema en la exposición del lunes. Se trata de la Formalización Gráfica, cuya síntesis ya ha sido publicada en nuestro blog. A día de hoy (sábado) la animación esta completada aproximadamente al 100 %, siendo de tal modo que:

-Modelado y texturizado 100 %




-Secuenciado y renderizado de la animación 100 %




-Montaje del vídeo 100 %