Consistency and optimality

Assume that the problem Qo is not solvable in polynomial time. For theories T containing a sufficiently rich part of true arithmetic we characterize T U {ConT} as the minimal extension of T proving for some algorithm that it decides Qo as fast as any algorithm B with the property that T proves that B decides Qo. Here, ConT claims the consistency of T. Moreover, we characterize problems with an optimal algorithm in terms of arithmetical theories.

Anàlisi del desenvolupament floral d'un arbust mediterrani, la Globularia alypum, en poblacions costaneres i continentals

En aquest projecte s’ha estudiat la fenologia de floració de nou poblacions de G.alypum, un arbust de fulla perenne típic dels ambients termòfils de l’oest de l’Àrea Mediterrània, situades en diferents localitats de Catalunya. Aquesta espècie té una fenologia de la floració molt variable entre poblacions, ja que poden florir des de l’estiu tardà - tardor primerenca fins a la primavera següent depenent de la població. Es distingeixen dos grups de població, el de floració primerenca i el floració tardana. Les poblacions primerenques creixen, majoritàriament, a les localitats costaneres i floreixen des de setembre fins a novembre. Les poblacions tardanes creixen a les localitats d’interior i floreixen des de febrer fins a abril. En aquest treball es pretén millorar la comprensió sobre les diferències geogràfiques dels patrons de la fenologia floral entre les poblacions de G. alypum. Unes diferències que ja es manifesten al juliol, quan el desenvolupament floral es troba en els seus estadis preliminars. Alhora, en els mesos posteriors, l’increment del desenvolupament floral de les poblacions de G. alypum s’ha correlacionat positivament amb la temperatura mínima del mes de desembre. En aquest projecte també es pretén aprofundir en el coneixement sobre el desenvolupament floral d’aquesta espècie, descriure’n els diferents estadis i trobar un indicador adient per realitzar anàlisis estadístics. Uns aspectes gens banals tenint en compte la importància ecològica de la floració, sobretot en la seva sincronització amb el cicle vital dels pol·linitzadors així com en la seva importància adaptativa.

RADIC: un middleware de tolerancia a fallos que preserva el rendimiento

La tolerancia a fallos es una línea de investigación que ha adquirido una importancia relevante con el aumento de la capacidad de cómputo de los súper-computadores actuales. Esto es debido a que con el aumento del poder de procesamiento viene un aumento en la cantidad de componentes que trae consigo una mayor cantidad de fallos. Las estrategias de tolerancia a fallos actuales en su mayoría son centralizadas y estas no escalan cuando se utiliza una gran cantidad de procesos, dado que se requiere sincronización entre todos ellos para realizar las tareas de tolerancia a fallos. Además la necesidad de mantener las prestaciones en programas paralelos es crucial, tanto en presencia como en ausencia de fallos. Teniendo en cuenta lo citado, este trabajo se ha centrado en una arquitectura tolerante a fallos descentralizada (RADIC – Redundant Array of Distributed and Independant Controllers) que busca mantener las prestaciones iniciales y garantizar la menor sobrecarga posible para reconfigurar el sistema en caso de fallos. La implementación de esta arquitectura se ha llevado a cabo en la librería de paso de mensajes denominada Open MPI, la misma es actualmente una de las más utilizadas en el mundo científico para la ejecución de programas paralelos que utilizan una plataforma de paso de mensajes. Las pruebas iniciales demuestran que el sistema introduce mínima sobrecarga para llevar a cabo las tareas correspondientes a la tolerancia a fallos. MPI es un estándar por defecto fail-stop, y en determinadas implementaciones que añaden cierto nivel de tolerancia, las estrategias más utilizadas son coordinadas. En RADIC cuando ocurre un fallo el proceso se recupera en otro nodo volviendo a un estado anterior que ha sido almacenado previamente mediante la utilización de checkpoints no coordinados y la relectura de mensajes desde el log de eventos. Durante la recuperación, las comunicaciones con el proceso en cuestión deben ser retrasadas y redirigidas hacia la nueva ubicación del proceso. Restaurar procesos en un lugar donde ya existen procesos sobrecarga la ejecución disminuyendo las prestaciones, por lo cual en este trabajo se propone la utilización de nodos spare para la recuperar en ellos a los procesos que fallan, evitando de esta forma la sobrecarga en nodos que ya tienen trabajo. En este trabajo se muestra un diseño propuesto para gestionar de un modo automático y descentralizado la recuperación en nodos spare en un entorno Open MPI y se presenta un análisis del impacto en las prestaciones que tiene este diseño. Resultados iniciales muestran una degradación significativa cuando a lo largo de la ejecución ocurren varios fallos y no se utilizan spares y sin embargo utilizándolos se restablece la configuración inicial y se mantienen las prestaciones.

Jürgen Habermas i Michel Foucault : dues concepcions de racionalitat

Aquest treball vol mostrar que el debat de la raó il·lustrada, ja sigui des d'una posició de relativa defensa (com la que pren l'alemany Jürgen Habermas) o des d'una posició més crítica (personalitzada en aquest cas pel filòsof francès Michel Foucault), encara avui, al començament del segle XXI, determina plenament el debat sobre la racionalitat humana en general. El treball s'emmarca dins l'àmbit de la filosofia contemporània, més concretament dins la problemàtica filosòfica entorn de la raó que es va plantejar amb l'adveniment de la Modernitat, després amb l'anomenada Postmodernitat i actualment amb el corrent del Pensament Únic.