Manual d'informàtica i de tecnologies per a la traducció

Aquest llibre cobreixen la major part dels continguts de l'assignatura Tecnologies de la Traducció que cursara l'alumnat de segon curs del grau en Traducció i Interpretació de la Universitat d’Alacant; també pot ser útil per a assignatures similars en altres universitats (per aixo s’hi ha inclòs material mes avançat que no s'estudia en Tecnologies de la Traducció).

Coordinación y seguimiento del Grado en Ingeniería Informática

El fomento de la calidad universitaria es una dimensión clave en el EEES que se basa en sistemas de garantía y mejora de la calidad internos en las universidades y en procedimientos llevados a cabo por agencias de evaluación y acreditación externas a ellas. Además, se resalta que cada vez es más necesario que estas acreditaciones de calidad nacionales se reconozcan fuera del propio país. En este contexto ha surgido la creación de sellos de calidad europeos que están enfocados a determinados sectores científico-técnicos o profesionales que tienen la ventaja de facilitar la comparación transfronteriza y ofrecer a universidades y egresados la posibilidad de demostrar la calidad de sus titulaciones en el ámbito europeo. En el caso de los Grados en Ingeniería Informática es el sello EURO-INF regulado por la European Quality Assurance Network for Informatics Education (EQANIE) el que garantiza que la calidad de los programas en informática se corresponde con los criterios europeos genéricos establecidos y que sus egresados adquieren las competencias definidas para este sello. En esta memoria se explica el trabajo realizado para el proceso de acreditación y solicitud del sello EURO-INF como un doble proceso aprovechando las sinergias entre ambos procedimientos.

Verificación de Sistemas Basada en Teoría de Tipos

Este proyecto se enmarca en la utlización de métodos formales (más precisamente, en la utilización de teoría de tipos) para garantizar la ausencia de errores en programas. Por un lado se plantea el diseño de nuevos algoritmos de chequeo de tipos. Para ello, se proponen nuevos algoritmos basados en la idea de normalización por evaluación que sean extensibles a otros sistemas de tipos. En el futuro próximo extenderemos resultados que hemos conseguido recientemente [16,17] para obtener: una simplificación de los trabajos realizados para sistemas sin regla eta (acá se estudiarán dos sistemas: a la Martin Löf y a la PTS), la formulación de estos chequeadores para sistemas con variables, generalizar la noción de categoría con familia utilizada para dar semántica a teoría de tipos, obtener una formulación categórica de la noción de normalización por evaluación y finalmente, aplicar estos algoritmos a sistemas con reescrituras. Para los primeros resultados esperados mencionados, nos proponemos como método adaptar las pruebas de [16,17] a los nuevos sistemas. La importancia radica en que permitirán tornar más automatizables (y por ello, más fácilmente utilizables) los asistentes de demostración basados en teoría de tipos. Por otro lado, se utilizará la teoría de tipos para certificar compiladores, intentando llevar adelante la propuesta nunca explorada de [22] de utilizar un enfoque abstracto basado en categorías funtoriales. El método consistirá en certificar el lenguaje "Peal" [29] y luego agregar sucesivamente funcionalidad hasta obtener Forsythe [23]. En este período esperamos poder agregar varias extensiones. La importancia de este proyecto radica en que sólo un compilador certificado garantiza que un programa fuente correcto se compile a un programa objeto correcto. Es por ello, crucial para todo proceso de verificación que se base en verificar código fuente. Finalmente, se abordará la formalización de sistemas con session types. Los mismos han demostrado tener fallas en sus formulaciones [30], por lo que parece conveniente su formalización. Durante la marcha de este proyecto, esperamos tener alguna formalización que dé lugar a un algoritmo de chequeo de tipos y a demostrar las propiedades usuales de los sistemas. La contribución es arrojar un poco de luz sobre estas formulaciones cuyos errores revelan que el tema no ha adquirido aún suficiente madurez o comprensión por parte de la comunidad.

Desarrollo Riguroso de Sistemas Tolerantes a Fallas

Los sistemas críticos son aquellos utilizados en áreas en las cuales las fallas, o los eventos inesperados, pueden ocasionar grandes perdidas de dinero; o quizás peor aún, daños a vidas humanas. Esta clase de sistemas juegan un rol importante en actividades esenciales de la sociedad tales como la medicina y las comunicaciones. Los sistemas críticos, cada vez son más usuales en la vida real, algunos ejemplos de estos son los sistemas de aviones, sistemas para automóviles y sistemas utilizados en telefonia móvil. Para minimizar las fallas, y las perdidas materiales o humanas ocasionadas por el funcionamiento incorrecto de dichos sistemas, se utilizan técnicas de tolerancia a fallas. Estas técnicas permiten que los sistemas continúen funcionando aún bajo la ocurrencia de fallas, o eventos inesperados. Existen diversas técnicas para lograr tolerancia a fallas utilizando, por ejemplo, redundancia a diferentes niveles de abstracción, como, por ejemplo, al nivel de hardware. Sin embargo, estas técnicas dependen fuertemente del sistema, y del contexto en las que se utilizan. Más aún, la mayoría de la técnicas de tolerancia a fallas son usadas a bajo nivel (código fuente o hardware), estimamos que el uso de formalismos rigurosos (con fundamentos matemáticos) pueden llevar al diseño de sistemas tolerantes a fallas y robustos a un nivel de abstracción más alto, a la vez que la utilización de técnicas de verificación que han sido exitosas en la práctica tales como model checking, o la síntesis de controladores, pueden llevar a una verificación y producción automática de sistemas robustos. El objetivo del presente proyecto es estudiar tanto marcos teóricos, que permitan la construcción de sistemas más robustos, como también herramientas automáticas que hagan posible la utilización de estos formalismos en escenarios complejos. Para lograr estos objetivos, será necesario considerar casos de estudios de diferente complejidad, y además que sean relevantes en la práctica. Por ejemplo: bombas de insulina, protocolos de comunicación, sistemas de vuelo y sistemas utilizados con fines médicos. Planeamos obtener prototipos de algunos de estos casos de estudio para evaluar los marcos teóricos propuestos. En los últimos años diferentes formalismos han sido utilizados para razonar sobre sistemas tolerantes a fallas de una forma rigurosa, sin embargo, la mayoría de estos son ad hoc, por lo cual sólo son aplicables a contextos específicos. Planeamos utilizar ciertas lógicas modales, en conjunto con nociones probabilísticas, para obtener un conjunto de herramientas suficientemente generales para que puedan ser utilizadas en diferentes contextos y aplicaciones. Los materiales a utilizar son equipos informáticos, en particular computadoras portátiles para el equipo de trabajo y computadoras más potentes para el testeo y desarrollo del software necesario para lograr los objetivos del proyecto. Para construir los prototipos mencionados se utilizarán equipos de computación estándar (el equipo investigación cuenta con computadoras intel y mac) en conjunto con lenguajes de programación modernos como JAVA o C#. En el caso de que los sistemas de software sean sistemas embebidos; se piensa desarrollar un motor de simulación que permita evaluar el desempeño del software cuando es ejecutado en el dispositivo mencionado. Se espera desarrollar, e investigar, las propiedades de formalismos matemáticos que permitan el desarrollo de sistemas tolerantes a fallas. Además, se desarrollarán herramientas de software para que estos sistemas tolerantes a fallas puedan verificarse, o obtenerse automáticamente. Los resultados obtenidos serán difundidos por medio de publicaciones en revistas del área. El desarrollo de sistemas tolerantes a fallas por medio de técnicas rigurosas, a diferentes niveles de abstracción (captura de requisitos, diseño, implementación y validación), permitirá minimizar los riesgos inherentes en actividades críticas.

Herramienta configurable para la evaluación y autoevaluación de la docencia virtual

En este proyecto se ha creado una aplicación web destinada a la valoración de la calidad de la docencia de asignaturas virtuales. Para ello se utiliza un modelo de evaluación que mide diferentes aspectos o factores que intervienen en la calidad. Este modelo se ha implementado en forma de un conjunto de cuestionarios que pueden ser utilizados tanto por profesores como por evaluadores. El profesor puede utilizarlo para obtener una autoevaluación de la calidad de la asignatura que ha impartido, y el evaluador lo usará en el contexto de comisiones de evaluación de la calidad de la docencia que se crean en las universidades y otras instituciones. La evaluación se realiza de forma manual por el usuario, profesor o evaluador. Sin embargo existe un conjunto de factores de evaluación que son calculados de forma automática por el sistema tomando como entrada datos acerca de la asignatura virtual. El objetivo de esta aplicación no es sólo facilitar al usuario el formulario y obtener la puntación, sino que también se obtenga de forma automática la puntuación de algunas preguntas y así poder completarlo de forma más cómoda y rápida. Los resultados que muestra la aplicación son generados de forma dinámica, así el usuario podrá tener una mejor visión sobre la evaluación.

Personalización de rutas en sistemas de turismo y ocio

El objetivo de este trabajo es proporcionar un marco general y teórico para la personalización de rutas en sistemas de turismo y ocio. Además, se verán técnicas que utilizan Realidad Aumentada para mejorar la experiencia del usuario que recorra esas rutas. Para ello, se introducirán los conceptos necesarios de teoría de grafos, así como los algoritmos para recorrerlos. Posteriormente, describiremos el problema de personalización de rutas para individuos y grupos, proponiendo tres enfoques distintos para su resolución: utilizando el algoritmo A*, el algoritmo voraz, y el razonamiento basado en casos respectivamente. Además, se realizará un análisis sobre Realidad Aumentada, explicando los distintos dispositivos y técnicas que se utilizan en ella. Con el objetivo de ver un ejemplo del marco general definido en este trabajo, estudiaremos dos casos en los que aplicaremos los algoritmos de personalización y técnicas de Realidad Aumentada explicadas anteriormente. Dichos casos de uso estarán centrados en el Museo de Informática García Santesmases y en el ámbito del turismo en Madrid.

Procesos digitales y sistemas de prototipado rápido aditivos aplicados a la creación escultórica de pequeño formato y relieves

La historia del arte está inevitablemente ligada al desarrollo tecnológico. La escultura es una disciplina artística que ha estado presente en toda la historia de la humanidad, desde las venus paleolíticas hechas a mano, hasta esculturas contemporáneas realizadas con tecnologías digitales. Estas últimas son el tema principal de esta tesis. El siglo XX ha sido testigo de la aparición y el desarrollo de la informática. El desarrollo de esta tecnología se debe, fundamentalmente, a su potencial sobre todo en el campo de la ingeniería, pero es un error pensar que el desarrollo de la informática se debe sólo a ingenieros y científi cos. Los artistas han participado en todo el desarrollo de los gráfi cos por ordenador, jugando un papel muy importante en el nacimiento y la evolución de los sistemas de modelado en tres dimensiones. Desde que Charles Babagge conceptualizara la computadora a fi nales del siglo XIX, la informática ha evolucionado a un ritmo vertiginoso...

Relatório de Estágio na Inficon AG e na PT Inovação & Sistemas

This document focuses the projects developed during two independent internships, which were carried out at Inficon AG and PT Inovação & Sistemas. Since the research areas of both internships are unrelated, individual abstracts are presented.

CUDA-MMP - Codificação de imagens com sistemas com múltiplos núcleos

Hoje em dia, a área de codificação de dados é transversal a diversos tipos de engenharias devido à sua grande importância. Com o aumento exponencial na criação de dados digitais, o campo da compressão de dados ganhou uma grande visibilidade nesta área. São constantemente desenvolvidos e melhorados algoritmos de compressão por forma a obter a maior compressão de dados possível seja com ou sem perda de dados, permitindo sustentar o rápido e constante crescimento dos mesmos. Um dos grandes problemas deste tipo de algoritmos deve-se ao grande poder computacional que por vezes é necessário para obter uma boa taxa de compressão mantendo a qualidade dos dados quando descompactados. Este documento descreve uma estratégia para tentar reduzir o impacto do poder computacional necessário à codificação de imagens utilizando uma implementação heterogénea. O objetivo é tentar efetuar a paralelização das secções que requerem elevado poder computacional reduzindo assim o tempo necessário à compressão de dados. Este documento baseia-se na implementação desta estratégia para o algoritmo de codificação de imagens MMP-Intra. Utilizando inicialmente uma análise teórica, demonstramos que é viável efetuar a paralelização do algoritmo, sendo possível obter elevados ganhos de desempenho. Por forma a provar que o algoritmo MMP-Intra era paralelizavel e identificar os ganhos reais foi desenvolvido um protótipo inicial, o qual obteve um desempenho muito inferiore ao do algoritmo original, necessitando de muito mais tempo para obter os mesmo resultados. Utilizando um processo de otimização iterativo o protótipo passou por várias etapas de refinação. O protótipo refinado final obteve resultados muito superiores ao algoritmo sequencial no qual o mesmo foi baseado chegando a obter desempenhos quatro vezes superior ao original.

Reingeniería de servicios para el desarrollo evolutivo de sistemas de información en las administraciones públicas: un enfoque metodológico

Programa de doctorado: Percepción artificial y aplicaciones

Construção das capacidades organizacionais de tecnologia da informação no contexto dos sistemas institucionais integrados de gestão da UFRN

The IT capability is a organizational ability to perform activities of this role more effectively and an important mechanism in creating value. Its building process (stages of creation and development) occurs through management initiatives for improvement in the performance of their activities, using human resources and IT assets complementary responsible for the evolution of their organizational routines. This research deals with the IT capabilities related to SIG (integrated institutional management systems), built and deployed in UFRN (Universidade Federal do Rio Grande do Norte) to realization and control of administrative, academic and human resources activities. Since 2009, through cooperative agreements with federal and educational institutions of direct administration, UFRN has supported the implementation of these systems, currently involving more than 30 institutions. The present study aims to understand how IT capabilities, relevant in the design, implementation and dissemination of SIG, were built over time. This is a single case study of qualitative and longitudinal nature, performed by capturing, coding and analysis from secondary data and from semi-structured interviews conducted primarily with members of Superintenência de Informática, organizational unit responsible for SIG systems in UFRN. As a result, the technical, of internal relationship and external cooperation capabilities were identified as relevant in the successful trajectory of SIG systems, which have evolved in different ways. The technical capacity, initiated in 2004, toured the stages of creation and development until it reached the stage of stability in 2013, due to technological limits. Regarding the internal relationship capability, begun in 2006, it toured the stages of creation and development, having extended its scope of activities in 2009, being in development since then. Unlike the standard life cycle observed in the literature, the external cooperation capability was initiated by an intensity of initiatives and developments in the routines in 2009, which were decreasing to cease in 2013 in order to stabilize the technological infrastructure already created for cooperative institutions. It was still identified the start of cooperation in 2009 as an important event selection, responsible for changing or creating trajectories of evolution in all three capacities. The most frequent improvements initiatives were of organizational nature and the internal planning activity has been transformed over the routines of the three capabilities. Important resources and complementary assets have been identified as important for the realization of initiatives, such as human resources technical knowledge to the technical capabilities and external cooperation, and business knowledge, for all of them, as well as IT assets: the iproject application for control of development processes, and the document repository wiki. All these resources and complementary assets grew along the capacities, demonstrating its strategic value to SINFO/UFRN

Sistemas de gerenciamento de bibliotecas: riscos decorrentes do processo de migração de dados

This work aims to analyze risks related to information technology (IT) in procedures related to data migration. This is done considering ALEPH, Integrated Libray System (ILS) that migrated data to the Library Module present in the software called Sistema Integrado de Gestão de Atividades Acadêmicas (SIGAA) at the Zila Mamede Central Library at the Federal University of Rio Grande do Norte (UFRN) in Natal/Brazil. The methodological procedure used was of a qualitative exploratory research with the realization of case study at the referred library in order to better understand this phenomenon. Data collection was able once there was use of a semi-structured interview that was applied with (11) subjects that are employed at the library as well as in the Technology Superintendence at UFRN. In order to examine data Content analysis as well as thematic review process was performed. After data migration the results of the interview were then linked to both analysis units and their system register with category correspondence. The main risks detected were: data destruction; data loss; data bank communication failure; user response delay; data inconsistency and duplicity. These elements point out implication and generate disorders that affect external and internal system users and lead to stress, work duplicity and hassles. Thus, some measures were taken related to risk management such as adequate planning, central management support, and pilot test simulations. For the advantages it has reduced of: risk, occurrence of problems and possible unforeseen costs, and allows achieving organizational objectives, among other. It is inferred therefore that the risks present in data bank conversion in libraries exist and some are predictable, however, it is seen that librarians do not know or ignore and are not very worried in the identification risks in data bank conversion, their acknowledge would minimize or even extinguish them. Another important aspect to consider is the existence of few empirical research that deal specifically with this subject and thus presenting the new of new approaches in order to promote better understanding of the matter in the corporate environment of the information units

O Contributo dos Sistemas de Informação para a Eficácia da Liderança e para a Mudança do Comportamento Organizacional

O presente trabalho debruça-se sobre os constructos da liderança e do comportamento de auto-eficácia da liderança nas organizações. Reflecte-se sobre a importância dos sistemas de informação no clima organizacional, com efeitos sobre a eficácia na liderança. Trata-se de uma perspetiva pertinente na conjuntura organizacional atual, dado que incide sobre valores patrimoniais intangíveis que, quando dinamizados, dão suporte à performance organizacional. A nossa preocupação central é a auto-eficácia. Através dela pretende-se melhorar a eficiência organizacional, porque minimiza prejuízos e desperdícios. Também se relaciona a eficácia com o desempenho da liderança organizacional e com o capital ‘confiança’. Dessa forma, os novos caminhos passam por auscultar a percepção dos colaboradores sobre a importância da cultura organizacional face ao desempenho e à eficácia de longo prazo na organização. Com a presente reflexão, evidencia-se que a espiritualidade no local de trabalho é um factor de apoio ao desenvolvimento holístico dos colaboradores. Fica sublinhado que é fundamental que os líderes tenham noção e consciência de “si” e dos seus papéis, e como estes se reflectem no seu comportamento quotidiano na organização. O estudo assenta num trabalho de campo, elaborado numa organização intensiva em informação e que presta serviços de consultoria e informática. Os resultados apurados tentam dizer que, globalmente, no estudo longitudinal das hetero-percepções dos gestores directos e indirectos, o gap cultural diminuiu em todas as dimensões relativas às competências dos papéis, sendo vital destacar o quadrante designado por Apoio. As hetero-percepções dos gestores directos demonstram que o menor gap cultural mantem-se no quadrante de Objectivos Racionais e Competir no modelo de CVF, caracterizado por uma cultura de mercado, e relacionado com a fase da Combinação no modelo de SECI (processos que fomentam os relacionamentos e intercâmbios informais – conversão do conhecimento explícito para o explícito). Enquanto que o maior gap cultural reside no quadrante Apoio e Colaborar no modelo CVF, relacionado com a fase da Socialização no modelo de SECI (processos que fomentam os relacionamentos e intercâmbios informais – conhecimento tácito para tácito). Como o gap cultural diminuiu em todas as dimensões, pode realçar uma melhoria das percepções do desempenho organizacional. Contudo, um resultado inesperado está associado ao quadrante Apoio com a cultura de clã, uma vez que são os gestores indirectos na empresa em estudo que fomentam esta cultura, e não os gestores directos, conforme seria desejável. Um resultado favorável para o estudo da auto-eficácia da liderança demonstra que as médias são mais elevadas para atributos de Gestão e Resolução de Problemas. Os resultados que não corresponderam às expectativas iniciais estão associados às médias baixas relativamente aos atributos Sociais/de Comunicação, o que pode ser uma debilidade porque seria desejável que a equipa de gestão tivesse maior sensibilidade perante os capitais sociais, emocionais e espirituais, os quais estão relacionados com estes atributos.

The virtual class as a knowledge democratization model

This paper presents the conceptualization and use of a virtual classroom in the course EIF-200 Fundamentos de Informática, first course in the Information Systems Engineering career of the Universidad Nacional of Costa Rica. The virtual classroom is seen as a complement to the class and is conceived as a space that allows to centralize teaching resources, thereby promoting the  democratization of knowledge among students and teachers. Furthermore, this concept of virtual classroom helps to reduce the culture of individualism, present many times in university teaching practices, and contributes to create new opportunities to learn from other colleagues within a culture of reflection, analysis and respectful dialogue aimed to improve the teaching practices.