Análisis de terminación para una plataforma de verificación de programas

De entre una serie de métodos estudiados acerca de la terminación de algoritmos, tales como Size-Change Termination o Isabelle, elegimos el método de RANK como instrumento para desarrollar nuestro propio programa de detección de terminación sobre el lenguaje de la IR. Esta decisión se basa en el coste polinómico de este método (frente a costes en PSPACE como el Size-Change Termination)y la posibilidad de obtener una herramienta asociada al mismo que además nos da la posibilidad de conocer un tiempo de ejecución aproximado. La herramienta asociada a RANK es compleja y va de la mano de una segunda herramienta (ASPIC). Hemos estudiado varios ejemplos, tales como el Mergesort o el Quicksort, para explicar la utilización de estas dos herramientas y a su vez ponernos en situación de los diferentes problemas que nos podemos encontrar a la hora de estudiar un programa. Partiendo del proceso que hemos usado para construir los automátas de los ejemplos anteriores, hemos diseñado e implementado en Java un algoritmo para transformar programas en el lenguaje de la IR al formato de entrada de RANK. Los resultados han sido satisfactorios, puesto que con los autómatas generados somos capaces de detectar de forma automatizada la terminación de, entre otros, los algoritmos recursivos antes mencionados.

Nuevo instrumento para medir la sensibilidad al contraste sin y con deslumbramiento

Objetivo/Método: Valorar la sensibilidad al contraste fotópica, sin y con deslumbramiento con un nuevo instrumento. Se estudiaron 78 ojos derechos de 49 adultos jóvenes y de 29 adultos entre 35 y 55 años. La sensibilidad al contraste se midió con el Contrast Glaretester CGT-1000 mediante una estrategia automatizada de reconocimiento para seis frecuencias espaciales. Resultados/Conclusiones: Los valores de sensibilidad al contraste fueron semejantes a los obtenidos con otros tests clínicos. El aumento de la edad disminuyó significativamente la sensibilidad al contraste sin y con deslumbramiento. Sin embargo, el deslumbramiento no modificó la sensibilidad al contraste fotópica.

GesInv: portal de ayuda a la gestión de la investigación

En la actualidad, la gestión de proyectos de investigación en la Universidad Complutense de Madrid se encuentra parcialmente automatizada o soportada mediante el uso de aplicaciones informáticas. No obstante, los procesos de justificación más habituales en la gestión económica de los proyectos de investigación (gestión de pagos / compras, gestión y justificación de viajes y gestión de material inventariable) se lleva a cabo en papel y manualmente. GesInv nace con objeto de facilitar y agilizar estos procesos que suponen una gran carga de trabajo a los investigadores y al personal administrativo debido a la gran cantidad de trámites que se gestionan en la UCM. GesInv proporciona un portal web que integra a todos los actores que están involucrados en los mencionados procedimientos, permitiendo la tramitación electrónica que disminuye los tiempos de tramitación y disminuye los errores cometidos al trasladar la información del papel a digital (como en la actualidad se lleva a cabo).

Modelo de gestión financiera basado en la optimización de las necesidades operativas de fondos: el caso de las empresas farmacéuticas en España

Este trabajo de investigación pretende poner de manifiesto la necesidad de gestionar de forma adecuada la tesorería que genera el ciclo de explotación de la empresa. Esta teso-rería es garantía de continuidad de la empresa, porque permite disponer de liquidez y obtener financiación a partir de la optimización de los elementos del negocio, especial-mente, en situaciones de crisis, con estancamiento o caída de las cifras de negocio, con recortes en el gasto público que afectan a la cadena de valor, con limitaciones al acceso al crédito externo, con socios y accionistas que buscan rentabilidad para sus inversiones sin tener que realizar nuevas aportaciones. Síntesis Para gestionar de forma adecuada la tesorería que genera el ciclo de explotación, es ne-cesario disponer de un modelo de optimización de las Necesidades Operativas de Fon-dos (NOF). Ante la ausencia de este tipo de modelos, este trabajo de investigación pre-tende construir y probar uno, como herramienta automatizada que simule y mida el im-pacto que tiene la inversión en las NOF sobre la solvencia, la rentabilidad y el valor de una empresa, para corregir un problema de indisponibilidad o de insuficiencia de liqui-dez. Para construir el modelo, se ha elegido Excel como software informático soporte. A partir de este software, se ha planteado la construcción del modelo siguiendo los si-guientes pasos: 1. Automatización del paso de los estados financieros contables a unos estados finan-cieros funcionales a partir la utilización de plantillas de toma de datos que permitan identificar y cuantificar las NOF. 2. Diseño de unas plantillas de simulación con alternativas generadoras de impactos sobre los estados financieros. Estas alternativas incluyen tanto elementos sin coste explícito como elementos con dicho coste. 3. Emisión automática de informes comparativos de la posición de la empresa antes y después de los impactos simulados sobre los estados financieros, para analizar la si-tuación de la misma en términos de equilibrio financiero, de solvencia, de rentabili-dad y de valor generado, incluyendo ratios que relacionan distintas magnitudes y permiten observar la gestión y la eficiencia operativa..