Plataforma distribuida para la clasificación de clases de isomorfia de curvas hiperelípticas de género 2 sobre cuerpos finitos de característica 2

Análisis, desarrollo e implementación de una plataforma distribuida constituida por varios ordenadores de una red local en un sistema Grid, utilizando la técnica de Harvesting. De forma concreta lo que se calculará con la plataforma será un problema matemático consistente en la clasificación de curvas hiperelípticas de género 2 sobre cuerpos binarios. Los resultados de este proyecto pueden ser válidos con fines criptográficos de forma general. Se pretende separar el cálculo matemático de la plataforma, para que ésta sea reutilizable.

Caracterización y comparación de las propiedades mecánicas de dos chapas de acero avanzado de alta resistencia (AHSS): TRIP800 y DP800

En el presente trabajo, se lleva a cabo un estudio sobre las propiedades mecánicas de chapa de dos aceros avanzado de alta resistencia. La búsqueda de un modelo teórico que defina su comportamiento en régimen plástico, así como la comparativa de sus resultados con el fin de predecir su comportamiento en etapas de conformado, y ayudar a optimizar los resultados en simulación mediante elementos finitos. También se añade un ejemplo de simulación para ver la importancia de la precisión del cálculo de las propiedades mecánicas en este campo.

Implementación de un criptosistema de clave pública basado en estrellas de isogenias

Uno de los problemas en los que se basa la seguridad de los criptosistemas de clave pública es el problema del logaritmo discreto. Para ello es necesario buscar conjuntos finitos con una estructura de grupo abeliano y determinar su orden. El problema del logaritmo discreto puede ser resuelto en tiempo polinomial usando el algoritmo de Shar para un ordenador cuántico. La mayoria de los criptosistemas actuales se volveran inseguros cuando el tamaño del registro cuántico sea suficiente. Se propone un problema matemático que hipotéticamente es fuerte frente a ordenadores cuánticos. Consiste en la búsqueda de una isogenia entre curvas elípticas sobre un cuerpo finito.

Estudio y evaluación de una herramienta para representar máquinas de estado finitas

En este artículo se presentan los resultados y conclusiones del trabajo deinvestigación llevado a cabo sobre herramientas informáticas para representación de grafos de autómatas de estado finitos. El principal resultado de esta investigación es el desarrollo de una nueva herramienta, que permita dibujar el grafo de forma totalmente automática, partiendo de una tabla de transiciones donde se describe al autómata en cuestión.

Fichte: La acusación de solipsismo y el preludio del paradigma intersubjetivo

El presente trabajo pretende mostrar el panorama bipolar en el que se mueve el sistema fichteano, entre la exigencia de un radical solipsismo fundado en el "yo", y la primera configuración del paradigma intersubjetivo, al como se indica en el título. Se ve cómo, por un lado, existe la exigencia de que no es posible salir del campo del sujeto, aunque, sin embargo, y esto es lo que se pretende estudiar, muy especialmente en la "Filosofía del derecho" para Fichte no hay auténtica autoconciencia y libertad, si no es mediante el recurso a la intersubjetividad. En efecto, como es bien sabido, si, por un lado, un ser racional finito no puede ponerse a sí mismo, sin atribuirse una causalidad radicalmente libre, por otro lado, no es posible atribuirse tal causalidad en el mundo sensible, sin aceptar la acción recíproca con otros "yo", es decir, sin admitir que hay otros seres racionales finitos fuera del propio "yo", por los que estoy afectado mediante una especial llamada exhortativa, que implica comunicación, sin pérdida de libertad.

Cubrición parcial - Gran Via Barcelona

Partiendo de la base del proyecto: Remodelación de Gran Via de les Corts Catalanes en Barcelona, entre Plaça de les Glòries y Carrer Extremadura, el trabajo es un estudio de adecuación constructiva que propone una alternativa para la cubrición parcial de la Gran Vía, losa maciza en el proyecto original, por otra con losas ortotrópicas, sistema semiprefabricado pretensado. Consistirá en el estudio comparativo de las dos alternativas (isotrópica y ortotrópica), su cálculo mediante programa informático y el análisis y verificación general de las estructuras de barras y elementos finitos, señalando las principales diferencias encontradas y justificando la opción escogida según la ejecución de la obra, el estado de mediciones y el presupuesto. El pliego de condiciones incluido tiene como objeto principal la enumeración y el detalle de las condiciones de tipo técnico de control y ejecución que han ceñir la construcción de cada una de las alternativas

Disseny amforal i canvi tecnològic al voltant del canvi d'era: L'aportació de l'Anàlisi d'Elements Finits

[spa] Mediante el Análisis de Elementos Finitos es posible evaluar un diseño cerámico en función de su tipologia y de las propiedades mecánicas del material. Su aplicación permite considerar los factores tecnológicos que puedan haber condicionado el cambio de una tipologia cerámica. Este análisis se ilustra con los primeros tipos anfóricos romanos producidos en la actual Cataluña (Dressel 1, Tarraconense 1 y Pascuai 7).