Investigación sobre la herramienta Jif que permite crear restricciones de seguridad a la hora de programar una herramienta en lenguaje JAVA

Más información sobre JIF http://www.cs.cornell.edu/jif/doc/jif-3.3.0/manual.html

Y en nuestra forja:

http://forge.morfeo-project.org/projects/cusljif/

Una de las dificultades de la realidad aumentada es que no se fusionan de forma adecuada los objetos virtuales con la escena real.
El ser humano obtiene una imagen desde una perspectiva con el ojo derecho y otra con el ojo izquierdo consiguiendo una visión estereoscópica .
Gracias a este tipo de visión, el ser humano puede saber la profundidad de los objetos en un
entorno dado y la distancia real a la que están unos de otros.
Otro factor complementario que ayuda a la percepción de la profundidad es el uso de sombras. Esto es crítico cuando renderizamos una única imagen, ya que si dicha imagen no tuviese sombras, surgirán ambigüedades acerca del tamaño, posición, profundidad,etc.
Con la inclusión de sombras en una imagen, el ser humano puede percibir dichas propiedades consiguiendo un entorno más realista.
Para conseguir una correcta integración de la imagen 3D con el mundo real es necesario
un estudio previo de la iluminación.
El problema se debe a que la iluminación de la escena real no afecta a la del objeto virtual, ya que son elementos independientes, por lo que dicho objeto no se integra en la escena y no se consigue una imagen realista.
El objetivo final de este proyecto de fin de carrera es la obtención de métodos de representación realista de modelos tridimiensionales en el ámbito de la realidad aumentada.

OBJETIVOS DEL PROYECTO
Este objetivo principal se desarrollará teniendo en cuenta los siguientes subobjetivos funcionales:

* Estudio de la iluminación del mundo real.
En este subobjetivo se analizará la imagen capturada por la cámara y se calculará la posición, intensidad y grado de componente difusa de la luz real.
* Precálculo de iluminación (baking o precálculo de texturas).
Consistirá en crear un repositorio de modelos con iluminación precalculada para elegir el más próximo a las características de iluminación actuales.
*Clasificación.
Se desarrollarán métodos para clasificar la iluminación de la escena real y obtener el modelo que más se ajuste a la configuración actual.
*Adaptabilidad del modelo precalculado.
Será necesario ajustar la iluminación precalculada a las características reales de la escena.
*Ajuste en tiempo real.
En esta etapa se posicionarán luces interactivas en el entorno virtual para conseguir el mayor grado de realismo.

http://forge.morfeo-project.org/projects/cuslanalisis/

WifiStorer es una aplicación diseñada para el sistema operativo Android, con ella se puede hacer un mapa de cobertura de wifis, para estudiarlas y encontrar posibles puntos de sombra.

Cuando se encuentran activados el servicio de GPS y el de Wifi, WifiStorer realiza barridos periódicos cada 3 metros en los que almacena datos sobre las redes encontradas y sobre la posición geográfica de las mismas.
A modo de organización, WifiStorer almacena los datos por días, creando una tabla nueva en la base de datos para hacer más fácil el estudio de las redes.

También es capaz de exportar los datos de una tabla a un archivo .kml, y luego enviarlo por email, para su posterior análisis con la herramienta Google Earth.

Por último, WifiStorer es capaz de situar una de las redes guardadas en la base de datos en un mapa de Google Maps completamente integrado.

http://forge.morfeo-project.org/projects/cuslwifistorer/

El proyecto se centra en la comida y la salud, todo ello unido a la actividad física. El sistema poseerá la capacidad de cálculo de calorías totales consumidas y adquiridas aproximadamente por cada individuo a lo largo del día, a partir de datos procedentes del usuario como alimentos ingeridos y tiempo de práctica de determinadas actividades físicas (andar, nadar, jugar al fútbol…). Todo ello se aplicará a partir de baremos incluidos en la misma aplicación, como por ejemplo, incluyendo calorías adquiridas por cada 100 g. de alimento, o calorías consumidas por cada minuto en la práctica de una determinada actividad física. Permitirán todos estos datos automatizar los cálculos aproximados.
El sistema también valorará diferentes perfiles, elaborando recomendaciones y dietas adecuadas y personalizadas a través de los datos introducidos por el usuario, que permitirá mostrar al mismo muchas de las deficiencias alimenticias que él o ella posea. Se utilizará una interfaz sencilla e intuitiva, ya que dicha aplicación está dirigida a edades y sectores sociales muy amplios y diversos.

Además, también habrá un soporte para actividades culinarias: recetas recomendadas por usuarios, registro de recetas personales, aportación por parte del sistema de las calorías adjuntas a cada recenta, etc. Es muy importante tener concepciones básicas en la cocina y tener en cuenta algunos detalles para la realización de recetas saludables y correctas
Como conclusión, el objetivo principal de este proyecto es mejorar los hábitos alimenticios de las personas, influido directamente por la mejora también de los hábitos deportivos. La salud alimenticia es un término al que hoy en día muchas veces no mostramos la suficiente importancia, y adquirimos hábitos y prejuicios que nos provocarán problemas indeseados en nuestro organismo a corto o largo plazo. Esos son los problemas que nosotros podemos evitar, y por ello la importancia de cuidarnos y atender a todo ello que comemos y que no comemos. Entendemos que ya de por sí pueden ocurrir muchos problemas que no son evitables, y por tanto no deberíamos ampliar esas probabilidades con una incorrecta alimentación. De esta manera completaremos una parte muy importante dentro de una vida plena y saludable.

http://forge.morfeo-project.org/projects/cuslfoodie/

Estudio sobre la inmersión en videojuegos usando realidad virtual. Se usará el lenguaje abierto Ogre y Code::Blocks.
http://forge.morfeo-project.org/projects/cuslfpsogre/