La Web Semántica Como Herramienta para el Apoyo a la Docencia

La web semántica consiste en un nuevo paradigma web para acceder, buscar, compartir y gestionar información a través de la combinación de tecnologías y de estructuras de gestión del conocimiento. El concepto de web semántica proporciona herramientas para el almacenamiento, intercambio y consulta de esta información mediante el desarrollo y la inclusión de metadatos y ontologías del cuerpo de conocimiento. La estructura de los datos que proporciona permite que sea consultada automáticamente por usuarios humanos o sistemas informáticos, mejorando su interoperabilidad. El desarrollo de la web semántica supone una evolución del desarrollo web en general hacia una web más inteligente o web 3.0. Este paradigma puede ser aprovechado en los procesos de docencia-aprendizaje para estructurar, almacenar y compartir los contenidos mediante sistemas automáticos de consultas alojados en web semánticas que tratan sobre los cuerpos de conocimiento de las materias. La disciplina informática es especialmente adecuada para este propósito debido a su complejidad y a la gran variedad de términos que maneja. Por otra parte, su desarrollo en continua evolución propicia la implantación de mecanismos automáticos de mantenimiento y de actualización de los nuevos contenidos.

Soluções globais para sistemas industriais-teste de software

Relatório de estágio apresentada para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Sistemas de Informação Organizacionais

Análise sintagmática aplicada ao processo de sumarização automática de documentos do português brasileiro

This research studies the application of syntagmatic analysis of written texts in the language of Brazilian Portuguese as a methodology for the automatic creation of extractive summaries. The automation of abstracts, while linked to the area of natural language processing (PLN) is studying ways the computer can autonomously construct summaries of texts. For this we use as presupposed the idea that switch to the computer the way a language is structured, in our case the Brazilian Portuguese, it will help in the discovery of the most relevant sentences, and consequently build extractive summaries with higher informativeness. In this study, we propose the definition of a summarization method that automatically perform the syntagmatic analysis of texts and through them, to build an automatic summary. The phrases that make up the syntactic structures are then used to analyze the sentences of the text, so the count of these elements determines whether or not a sentence will compose the summary to be generated

Contribuições para o processo de verificação de satisfatibilidade módulo teoria em Event-B

Event-B is a formal method for modeling and verification of discrete transition systems. Event-B development yields proof obligations that must be verified (i.e. proved valid) in order to keep the produced models consistent. Satisfiability Modulo Theory solvers are automated theorem provers used to verify the satisfiability of logic formulas considering a background theory (or combination of theories). SMT solvers not only handle large firstorder formulas, but can also generate models and proofs, as well as identify unsatisfiable subsets of hypotheses (unsat-cores). Tool support for Event-B is provided by the Rodin platform: an extensible Eclipse based IDE that combines modeling and proving features. A SMT plug-in for Rodin has been developed intending to integrate alternative, efficient verification techniques to the platform. We implemented a series of complements to the SMT solver plug-in for Rodin, namely improvements to the user interface for when proof obligations are reported as invalid by the plug-in. Additionally, we modified some of the plug-in features, such as support for proof generation and unsat-core extraction, to comply with the SMT-LIB standard for SMT solvers. We undertook tests using applicable proof obligations to demonstrate the new features. The contributions described can potentially affect productivity in a positive manner.

Efeito agudo do exercício físico associado a praxias ideomotoras sobre as concentrações séricas de cortisol e memória declarativa em indivíduos com idade entre 51 e 74 anos

Introduction: Several modifications are identified as aging, causing more or less limitation imposed by over the years. Among these, one can highlight the different degrees of cognitive decline, particularly memory that can involve the daily activities and the subject functionality. Studies have shown an association between levels of serum cortisol and stress imposed by the exercise on this. However, there are few studies that references the performance on cognitive aspects of declarative memory and cortisol on the exercise in the water with automatic and práxicos movements and moderate. Objective: Check the effect based on the acute physical exercise and práxicos automatic movements on the performance of visual declarative memory and in serum cortisol in subjects aged between 51 and 74 years. Materials and Methods: It builds a survey characterized as cross with a first sample of 32 physically active subjects aged between 51 and 74 years, divided into two exercise groups (March of Automatic Group - MAG and the March of Praxis Group - MPG). We used a probabilistic and random sampling for sample selection. Used the MMSE (Mini Mental State Examination) to check the general cognitive status, visual acuity test - optotypes chart "E" Rasquin and was even used the declarative visual memory test proposed by Nitrini and collaborators (1994), applying before motor stimulation and immediately after, and the day of blood collection with 2 ml for analysis of cortisol hormone. The normality and homogeneity were verified from the Shapiro-Wilk and Levene tests. Thus we adopted a descriptive statistics to characterize the sample. The Split-Plot ANOVA was used along with the paired t-test to verify the identified differences. We adopted a significance level of p <0.05. Results: It was observed that the groups (MAG and MPG) and the anthropometric variables, perceived exertion, education, cognitive assessment and visual acuity showed no significant differences (p > 0.05), showing that the groups are homogeneous, with variables and similar means. After the stimulation session, lasting 30 min, it was observed that the amount of hits for Δ of declarative memory questionnaire visual images increased, presenting significant for both groups (MAG, p < 0.001; MPG, p = 0.042). The same was observed for cortisol concentration with a reduction in the levels immediately after the stimulus (MAG and MPG, p < 0.001). Conclusion: The results showed that the exercises proposed in its acute effect provide significantly memories of gains and also showed a reduction in cortisol levels.

Aportaciones a la metodología de diseño basada en Síntesis de Alto Nivel. Aportaciones al diseño de IPs para procesado de eventos complejos y codificación de vídeo

Programa de doctorado: Ingeniería de Telecomunicación Avanzada. La fecha de publicación es la fecha de lectura

Sistema servomotorizado de endireitamento de chapa em banda

O presente trabalho propõe um conjunto de programas para a validação, em fase de projecto, de endireitadores automáticos. O trabalho é composto por vários capítulos onde são abordados aspectos teóricos sobre o comportamento elásto plástico do endireitamento de uma chapa provenientes de bobinas de chapa metalica, bem como as considerações e simplificações utilizadas na elaboração dos programas. Contem ainda uma parte onde são apresentados os programas e são reveladas algumas experiencias realizadas com os mesmos.

Caso de estudio. No me lo cambie

El caso relata la situación vivida por la empresa Publilínea S.A., líder en el mercado de información direccionadora a través de las páginas amarillas. La empresa ha permanecido en el mercado durante más de cuarenta años, en los cuales ha manejado el monopolio de los directorios telefónicos y sus páginas amarillas en las principales ciudades del país. Debido a los desarrollos de los sistemas de información y las comunicaciones, Publilínea ha invertido en actualización tecnológica, pero su esfuerzo no ha bastado y hoy en día enfrenta el ingreso al mercado de una nueva empresa que ha cambiado las condiciones del entorno. Publilínea, consciente de esta situación, ha planteado la alternativa de cambiar el actual ordenamiento de los anuncios en las páginas amarillas, pero dentro de la toma de decisión dede considerar el futuro del negocio desde el esquema de la privatización de los servicios telefónicos, la amenaza de la competencia y los requerimientos tecnológicos de Información.

Sistema supervisor inteligente para procesos de producción de petróleo

Maximizar la producción de pozos de crudo pesado y extra pesado es el principal beneficio que se desea obtener de los sistemas de control que están corrientemente operativos en empresas de petróleo. Dada la naturaleza compleja y cambiante con el tiempo de los métodos existentes de levantamiento artificial para extracción de crudo, se dificulta el cumplimiento de las especificaciones pre establecidas para el procesamiento del crudo por parte de los lazos de control regulatorios. Tomando esto en cuenta, en éste trabajo se propone un sistema de supervisión inteligente que permite detectar cambios en las condiciones de operación del proceso productivo y realizar ajustes automáticos de sus consignas. Además, el sistema supervisor propuesto tiene la capacidad de detectar fallas en los sensores involucrados en los lazos de control, garantizando de esta manera una operación confiable del proceso. La propuesta fue probada en un pozo de petróleo real obteniéndose resultados que superaron las expectativas iniciales.

Fundamentos da deteção automática de incêndios em edifícios - Parte 1.

O fogo, grande elemento de evolução humana, é também, em potencial, um dos seus maiores inimigos. Muitos são os fogos florestais e urbanos, que ocorrem diariamente, provocando mortes, avultados prejuízos materiais, perda de valor patrimonial, assim como perda de valor simbólico. As causas principais dos incêndios em edifícios são a deficiência nas canalizações elétricas, a má utilização de equipamentos elétricos, nomeadamente ferros, fogões, fornos e aquecedores elétricos, bem como a negligência na utilização do fogo. Os Sistemas Automáticos de Deteção de Incêndio (SADI) são hoje encarados um sistema integrante e imprescindível dos edifícios, como elemento de garantia da segurança e do bem-estar das pessoas, e da preservação dos seus bens.

Information Analysis and Databases

Means to automate the fact replace the man in their job functions for a man and machines automatic mechanism, ie documentary specialists in computer and computers are the cornerstone of any modern system of documentation and information. From this point of view immediately raises the problem of deciding what resources should be applied to solve the specific problem in each specific case. We will not let alone to propose quick fixes or recipes in order to decide what to do in any case. The solution depends on repeat for each particular problem. What we want is to move some points that can serve as a basis for reflection to help find the best solution possible, once the problem is defined correctly. The first thing to do before starting any automated system project is to define exactly the domain you want to cover and assess with greater precision possible importance.

Análisis del impacto financiero de la portabilidad númerica en empresas de El Salvador.

La portabilidad numérica es un tema de importancia en los últimos meses en El Salvador, el cual trata sobre el servicio que permite a las personas mantener sus números de teléfonos, cuando ellos cambian de un operador de telefonía a otro, esto genera a su vez mayor competencia para los proveedores, los cuales se ven forzados a ofrecer precios más accesibles por medio de mejores promociones y acaparar así el mayor número de clientes. Es por ello que ha sido necesaria la reforma a la “Ley de Telecomunicaciones, en su Artículo 29, literal j)”, el cual está referido a la portabilidad numérica y la creación del “Reglamento de Portabilidad del Número Telefónico” para la regulación del proceso que conlleva. La aprobación de dicha reforma entró en vigencia el 24 de agosto de 2015 y con ello se inició el proceso de portación numérica en el país y cada día incrementa el número de clientes que hacen valer su derecho y eligen el proveedor de telefonía que consideran más conveniente. Bajo ese contexto se desarrolla la investigación, en la cual se busca responder si el impacto financiero de la portabilidad numérica en el país es relevante y por ende, si tiene impacto en el sector empresarial (enfocado en la pequeña, mediana y gran empresa que son clientes de los operadores telefónicos), así también busca presentar la recopilación de las diferentes ofertas que ofrecen los operadores de telefonía (Claro, Tigo, Digicel y Telefónica) y los elementos de mayor relevancia en cada una de ellas, todo ello sustentado con base a referencias fidedignas que garantizan los resultados.

Aplicação de Ligas com Memória de Forma como Dispositivos de Segurança

As ligas com memória de forma Ni-Ti apresentam diversas características bastante úteis, das quais podemos realçar a sua elevada resistência à corrosão, às vibrações e geração de forças superiores quando comparadas com outros atuadores. Estas ligas apresentam diversas áreas de aplicabilidade em diferentes aéreas de pesquisa, como a metalomecânica, a robótica, aplicações espaciais, sendo mais relevante para este trabalho a sua aplicação em mecanismos de segurança para portas e acessos. Com este trabalho, pretendemos contribuir para uma forma eficaz de combate e contenção de incêndios em navios, através da apresentação de um mecanismo que vai permitir o corte de ventilação e isolamento no local do incêndio, permitindo criar uma fronteira de fumos que levará ao combate do incêndio por asfixia. O trabalho descreve um mecanismo idealizado com a utilização de ligas com memória de forma, que vai proceder à libertação de um flap, para isolamento da ventilação, na presença de temperatura proveniente do incêndio. Descreve também ensaios termomecânicos realizados, para determinação das características das molas e seu comportamento em determinadas situações chave. Para isto, irão ser utilizadas duas molas com diferentes gamas de temperatura, com o intuito de demonstrar a eficácia na utilização de diversos atuadores de ligas com memória de forma. Todos os testes foram feitos na presença de gamas de temperatura que se assemelham aos valores de atuação dos sistemas automáticos de extinção por água, pelo que os resultados obtidos, ilustram a verdadeira eficácia e utilidade do mecanismo, em casos reais.

A Formação dos Oficiais de Artilharia nos países OTAN : Os casos português e norte-americano

O presente Trabalho de Investigação Aplicada no âmbito do ciclo de estudos do Mestrado Integrado em Ciências Militares na especialidade de Artilharia, subordinado ao tema: A Formação dos Oficiais de Artilharia nos países OTAN: os casos português e norte-americano, estuda o modelo de formação específica de Artilharia no Exército Português e num dos exércitos cuja Artilharia tem marcado presença nos Teatros de Operações contemporâneos, o dos Estados Unidos da América. Tendo por objetivo retirar ilações que concorram para identificar e mitigar eventuais lacunas na formação técnica e tática em Artilharia de Campanha dos futuros oficiais de Artilharia do Exército Português, a investigação realizada analisou os detalhes de formação inicial dos futuros oficiais de Artilharia dos dois Exércitos por forma a compará-los e a obter contributos do Exército Norte-americano que possam vir a ser aplicados ao caso nacional. Assim sendo chegou-se à conclusão que o contributo do modelo de formação dos futuros oficiais de Artilharia de Campanha do Exército dos Estados Unidos da América para a formação dos futuros oficiais de Artilharia do Exército Português, no que diz respeito à componente técnica e tática em Artilharia de Campanha, traduz-se na necessidade de aprofundar nas áreas dos Sistemas Automáticos, Observação Avançada e Apoio de Fogos.

Variables sociodemográficas y permanencia de diferentes tipos de voluntariado

El objetivo de la presente investigación es estudiar la relación existente entre las variables sociodemográficas y la permanencia de distintos tipos de voluntariado, y analizar la posible influencia de la edad en dicha relación. Para ello un total de 419 voluntarios contestaron a un cuestionario y participaron en dos seguimientos telefónicos a los seis meses y al año. Los resultados muestran que la edad modificaba la significación de las diferencias halladas y que a pesar de encontrarse discrepancias concretas en función del tipo de voluntariado, se pueden identificar una serie de tendencias generales respecto al papel de las variables sociodemográficas en la permanencia de los voluntarios: los voluntarios varones, de edad media, empleados a jornada completa y casados tienden a permanecer durante más tiempo en las organizaciones estudiadas. En algunos casos las relaciones entre la permanencia y las variables sociodemográficas tienen un carácter no lineal.