Simulação e estudo experimental de protocolos de encaminhamento seguro com tolerância a intrusões em redes de sensores sem fios de grande escala

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática.

Tolerância a faltas bizantinas em servidores RMI

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Errores en sistemas de procesamiento de datos debido a eventos transitorios en interfaces analógicas: aportes a la mitigación de los mismos. Errors in data processing systems due to single transient events affecting analog interfaces: contributions to their mitigation.

Los eventos transitorios únicos analógicos (ASET, Analog Single Event Transient) se producen debido a la interacción de un ión pesado o un protón de alta energía con un dispositivo sensible de un circuito analógico. La interacción del ión con un transistor bipolar o de efecto de campo MOS induce pares electrón-hueco que provocan picos que pueden propagarse a la salida del componente analógico provocando transitorios que pueden inducir fallas en el nivel sistema. Los problemas más graves debido a este tipo de fenómeno se dan en el medioambiente espacial, muy rico en iones pesados. Casos típicos los constituyen las computadoras de a bordo de satélites y otros artefactos espaciales. Sin embargo, y debido a la continua contracción de dimensiones de los transistores (que trae aparejado un aumento de sensibilidad), este fenómeno ha comenzado a observarse a nivel del mar, provocado fundamentalmente por el impacto de neutrones atmosféricos. Estos efectos pueden provocar severos problemas a los sistemas informáticos con interfaces analógicas desde las que obtienen datos para el procesamiento y se han convertido en uno de los problemas más graves a los que tienen que hacer frente los diseñadores de sistemas de alta escala de integración. Casos típicos son los Sistemas en Chip que incluyen módulos de procesamiento de altas prestaciones como las interfaces analógicas.El proyecto persigue como objetivo general estudiar la susceptibilidad de sistemas informáticos a ASETs en sus secciones analógicas, proponiendo estrategias para la mitigación de los errores.Como objetivos específicos se pretende: -Proponer nuevos modelos de ASETs basados en simulaciones en el nivel dispositivo y resueltas por el método de elementos finitos.-Utilizar los modelos para identificar las secciones más propensas a producir errores y consecuentemente para ser candidatos a la aplicación de técnicas de endurecimiento a radiaciones.-Utilizar estos modelos para estudiar la naturaleza de los errores producidos en sistemas de procesamiento de datos.-Proponer soluciones novedosas para la mitigación de estos efectos en los mismos circuitos analógicos evitando su propagación a las secciones digitales.-Proponer soluciones para la mitigación de los efectos en el nivel sistema.Para llevar a cabo el proyecto se plantea un procedimiento ascendente para las investigaciones a realizar, comenzando por descripciones en el nivel físico para posteriormente aumentar el nivel de abstracción en el que se encuentra modelado el circuito. Se propone el modelado físico de los dispositivos MOS y su resolución mediante el Método de Elementos Finitos. La inyección de cargas en las zonas sensibles de los modelos permitirá determinar los perfiles de los pulsos de corriente que deben inyectarse en el nivel circuito para emular estos efectos. Estos procedimientos se realizarán para los distintos bloques constructivos de las interfaces analógicas, proponiendo estrategias de mitigación de errores en diferentes niveles.Los resultados esperados del presente proyecto incluyen hardware para detección de errores y tolerancia a este tipo de eventos que permitan aumentar la confiabilidad de sistemas de tratamiento de la información, así como también nuevos datos referentes a efectos de la radiación en semiconductores, nuevos modelos de fallas transitorias que permitan una simulación de estos eventos en el nivel circuito y la determinación de zonas sensibles de interfaces analógicas típicas que deben ser endurecidas para radiación.

Aplicació per a la creació de guies d'avaluació de competències als treballs de final d'estudis

Aquest projecte neix per facilitar l’ús de la “Guia per a l’avaluació de competències als treballs de final de grau i màster a les enginyeries” elaborada per un grup de professors de sis universitats públiques catalanes, de tres titulacions d’Enginyeria (Enginyeria Informàtica, Enginyeria de Telecomunicacions i Enginyeria Química). Per facilitar l'ús de la Guia s’ha implementat aquesta aplicació web que permet definir de forma senzilla i efectiva els procediments per a realitzar l'avaluació de competències en els Treballs de Fi de Grau (TFG) i de Fi de Màster (TFM).

lntroducció de tècniques d'aprenentatge col·laboratiu en I'àmbit de bases de dades amb el suport de les tecnologies de la informació

Els canvi recents en els plans d’estudis de la UPC i la UOC tenen en compte el nou espai europeu d’educació superior (EEES). Una de les conseqüències directes a aquests canvis es la necessitat d'aprofitar i optimitzar el temps dedicat a les activitats d'aprenentatge que requereixen la participació activa de l’estudiant i que es realitzen de manera continuada durant el semestre. A més, I'EEES destaca la importància de les pràctiques, les relacions interpersonals i la capacitat per treballar en equip, suggerint la reducció de classes magistrals i l’augment d’activitats que fomentin tant el treball personal de l’estudiant com el cooperatiu. En l’àmbit de la docència informàtica d’assignatures de bases de dades el problema és especialment complex degut a que els enunciats de les proves no acostumen a tenir una solució única. Nosaltres hem desenvolupat una eina anomenada LEARN-SQL, l’objectiu de la qual és corregir automàticament qualsevol tipus de sentència SQL (consultes, actualitzacions, procediments emmagatzemats, disparadors, etc.) i discernir si la resposta aportada per l’estudiant és o no és correcta amb independència de la solució concreta que aquest proposi. D’aquesta manera potenciem l’autoaprenentatge i l’autoavaluació, fent possible la semi-presencialitat supervisada i facilitant l’aprenentatge individualitzat segons les necessitats de cada estudiant. Addicionalment, aquesta eina ajuda als professors a dissenyar les proves d’avaluació, permetent també la opció de revisar qualitativament les solucions aportades pels estudiants. Per últim, el sistema proporciona ajuda als estudiants per a que aprenguin dels seus propis errors, proporcionant retroalimentació de qualitat.

Statmedia 3 : activitats on-line individualitzades d'estadística i matemàtiques als ensenyaments de Ciències Experimentals i Socials

El projecte Statmedia 3 ha consolidat definitivament la proposta de les assignatures Bioestadística de Biologia, Anàlisi de dades de Ciències Ambientals i d’Estadística Matemàtica de la Diplomatura renovant una part del material creat amb Statmedia 2. S’han inclòs a més Matemàtiques d’Ambientals i Introducció a la Probabilitat del Grau d’Estadística. L’anterior MQD abastava només pràctiques mentre que aquest projecte permet una oferta diversa d’activitats individualitzades. La individualització consisteix en que cada estudiant rep una proposta de cas personalitzada amb dades diferents. Les activitats poden ser programades presencialment o no, però la clau de l’èxit de l’activitat és que l’alumne obtingui reconeixement del seu treball en l’avaluació continuada. La valoració que fan als alumnes de Statmedia és molt bo, i observem que es produeix una millora en els resultats acadèmics. Statmedia 3 ha implicat un important esforç en la vessant informàtica del projecte, la barreja de tecnologies que utilitzem son punteres: Ajax, servlets i applets Java... Hem posat a punt un assistent on-line per dissenyar documents i planificar activitats que facilita la tasca dels professors. La nostre participació en primera línea del procés de convergència a l’EEES ens ha permès anticipar alguns canvis, i s’ha traduït en que el claustre del Departament d’Estadística assumís que Statmedia és una metodologia essencial dels seus plans docents. El projecte continua en un quart projecte MQD consecutiu, on desplegarem la nova tecnologia implementada. L’objectiu principal serà dotar a les assignatures dels 7 graus on participa el departament d’activitats individualitzades en forma de casos pràctics, problemes i proves diverses. La col·lecció de material emmagatzemada en la nostra biblioteca, forjada després de quasi deu anys de treball continuat, juntament amb l’experiència acumulada de com utilitzar Statmedia de la forma més eficient han començat a ser explotades en els nous graus aquest mateix curs 2009-2010.

Als Marie Bonaparte sich taub stellte ...

Between 1927 and 1931 Marie Bonaparte had herself operated upon her clitoris three times. She did so against Freud's advice with whom she was in analysis. Among psychoanalysts these operations are still often regarded as "errors" or aberrations. But for Marie Bonaparte, who was in various ways familiar with physics and a somatic approach, surgery was the first choice, psychoanalysis only a possible alternative. She was not impressed by the skepticism of her colleagues, and adhered even more emphatically to her own strategy

Errors sintàctics del gènere gramatical durant la cirurgia de gliomes cerebrals

Les bases neurals del processament sintàctic del gènere no han estat gairebé estudiades. En aquest estudi hem utilitzat el mapeig cerebral, durant la cirurgia de gliomes cerebrals per a estudiar les estructures cortico-subcorticals implicades en el processament del gènere i determinar si aquestes són comunes a altres àrees de la producció del llenguatge. Amb l’estimulació cerebral directa hem observat alteracions sintàctiques del gènere, al estimular la circumvolució frontal inferior, la part posterior circumvolució temporal mitja, i en el nucli caudat. També hem pogut observar, una doble dissociació entre el gènere gramatical i la producció de la paraula, corroborant les teories d’un model independent en la producció del llenguatge.

Cuadro de mando : control de ventas

La empresa Eatout quiere crear un Cuadro de Mando desde el que llevar el control de ventas de los restaurantes. Actualmente se comprueba qué locales faltan por cerrar la jornada de ventas y se lleva un registro de los errores desde una hoja de cálculo. Con este proyecto se pretende agilizar y facilitar la gestión de ventas, y analizar las posibles causas de esas faltas. Para ello, se creará una aplicación en .NET desde la que gestionarán los cierres que falten por realizar en una jornada indicando cuál ha sido el motivo. Después se analizarán estos datos a través de la herramienta de Business Objects de SAP creando un Cuadro de Mando.

LittleProc 2.0. : l'evolució als 16 bits, amb arquitectura superescalar i amb pipeline

Aquest projecte consisteix en evolucionar el LittleProc 1.0, un processador simple dissenyat per ser destinat al món de la docència per tres professors de la UAB. Aquestes evolucions consisteixen en aplicar diversos mètodes i arquitectures diferents per tal d’obtenir un millor rendiment del processador, arribant a executar programes amb la meitat de temps que tardava el LittleProc 1.0. Un cop implementades les diferents arquitectures per tal de millorar el rendiment, es realitzarà un estudi de quin tant per cent de millora ha sigut aquest rendiment.

Avaluació de l'estàndard SQL : 1999 respecte les característiques orientades a l'objecte que suporta i la seva implementació als SGBD object-relacional

En aquest treball s'intenta fer una síntesi de les especificacions aportades per l'estàndard definit com a SQL: 1999, tot analitzant les ampliacions que fan referència a la nova orientació a l'objecte i a la incorporació de l'herència com a principal element diferenciador.

Control d'Accés d'Usuaris als Serveis de Xarxa CAUSiX

L'objectiu final d'aquest treball és l'obtenció d'un sistema que permeti regular l'accés de manera fàcil i flexible a determinats serveis de xarxa per a un conjunt d'usuaris que tenen necessitats i atributs diferents d'ús de la xarxa segons el seu perfil i segons el moment.

Framework para la capa de presentación de aplicaciones web

El framework dissenyat, denominat magis, ajuda als desenvolupadors organitzant la presentació de continguts, l'accés a les funcions i serveis de negoci, el flux de pàgines, el processament de formularis, el maneig d'errors i la gestió d'estat.

Introducció als Sistemes d'Informació Geogràfica

Amb aquest projecte es vol donar una visó global dels sistemes d'informació geogràfica (SIG), cada vegada més implantats a qualsevol àrea de la nostra societat (urbanisme, climatologia, medi ambient, hidrologia, vies de comunicació, cadastre, etc.). De fet, "qualsevol cosa" (riu, canal, camí, pont, contenidor, cotxe, tren, casa, fanal, senyal de trànsit, oficina, avió, vaixell, etc.) que hi ha a terra (a sota o a sobre) és candidata a ser georeferenciada.

Introducció als Sistemes d'Informació Geogràfica

Aquest treball té dues parts, una de teòrica i una de pràctica: la primera part és una introducció als sistemes d'informació geogràfica, amb una descripció però també amb una explicació de la implementació interna; la segona part és un plantejament general d'un projecte SIG, consistent en la representació de la xarxa d'aigua potable d'una població qualsevol.