Deducción: natural y automática

La Lógica de Predicados pone a nuestra disposición un lenguaje que nos permitirá formalizar expresiones del conocimiento humano haciendo explícitos los objetos y las relaciones, así como sus restricciones. Además nos proporciona un método, la deducción matemática, para obtener nuevo conocimiento a partir del antiguo. Es por ello que la lógica se convierte en una asignatura presente en los primeros cursos de distintas titulaciones, especialmente de informática, ya que proporciona una base formal de trabajo. En la actualidad existe un variado número de herramientas que pueden servir de ayuda en el aprendizaje de la lógica. El razonamiento es el proceso cognitivo por medio del cual utilizamos y aplicamos nuestro conocimiento, permitiéndonos pasar de una información a otra relacionada con esta. Sin la posibilidad de hacer inferencias, el sistema de procesamiento de información se vería obligado a tener que definir todas las situaciones puntuales y específicas con las que se tenga que enfrentar. A las sentencias de las cuales partimos en el proceso de razonamiento se les llama premisas y a la sentencia a la cual llegamos se le denomina conclusión. Las premisas junto a la conclusión forman el argumento. El concepto lógico de deducción correcta dice que de premisas verdaderas debemos obtener conclusión verdadera, es decir, no podemos aceptar que las premisas sean verdaderas y la conclusión falsa. La lógica nos proporciona métodos de cálculo que nos permiten inferir, por simple manipulación sintáctica, nuevas fórmulas a partir de las conocidas. Uno de estos métodos es la Deducción Natural , cuyo mecanismo está muy cercano al razonamiento intuitivo del ser humano. Así, de forma sencilla, a partir de las fórmulas dadas como premisas y con el único apoyo de unas reglas básicas, obtenemos determinadas conclusiones. Podemos utilizar una herramienta didáctica diseñada específicamente para enseñar a los estudiantes a realizar deducciones naturales, el Asistente para Deducción Natural (ADN). Además podemos intentar abordar el tema de la automatización de la deducción. Para ello debemos realizar pequeñas modificaciones a esta técnica (de notación, de reglas a aplicar y de estrategia a utilizar) que nos lo permita. Todos estos desarrollos teóricos dieron lugar a la aparición de la programación lógica, como paradigma de resolución de problemas basado en la lógica. Prolog es el lenguaje de programación lógica más utilizado.

Desarrollo de un robot modular para la enseñanza en el Máster en Automática y Robótica

Este trabajo presenta el diseño, construcción y programación de un robot modular para el desarrollo tanto de competencias genéricas como específicas, en las enseñanzas de electrónica, control y programación del Master de Automática y Robótica de la Escuela Politécnica Superior de la Universidad de Alicante. En este trabajo se exponen los diferentes módulos propuestos, así como los objetivos de aprendizaje para cada uno de ellos. Uno de los factores más importantes a destacar en el presente estudio es el posible desarrollo de la creatividad y el aprendizaje autónomo. Para ello, se desarrollará especialmente un módulo de comunicación por bluetooth que servirá para monitorizar, cambiar y adaptar on-line diversos parámetros de control y potencia del robot. Además, dicha herramienta se ha introducido como parte de la metodología en las asignaturas del Máster de Electromecánica y Sistemas de Control Automático. En esta memoria se mostrarán los distintos resultados obtenidos durante y en la finalización de este trabajo.

Coordinación, seguimiento y gestión de calidad del Máster Universitario en Automática y Robótica

En la presente memoria se describe la red docente creada con el objetivo de llevar a cabo el seguimiento y aplicación del sistema interno de garantía de calidad de la Escuela Politécnica Superior de la Universidad de Alicante al Máster Universitario en Automática y Robótica. En esta red han participado todos los profesores con docencia en el Máster y han trabajado coordinadamente con el objetivo de recoger los principales indicadores de calidad del Máster atendiendo a distintos criterios. Estos indicadores han servido, por un lado, para comprobar la existencia o no de deficiencias en la implantación e impartición del Título. Por otro lado, estos indicadores han servido como base para la elaboración de la documentación requerida para la reacreditación del Máster ante la ANECA. En la presente memoria se describe la coordinación llevada a cabo así como las principales conclusiones extraídas de la red así como del propio informe de reacreditación.

Didática da escrita em contextos multilingues : o caso de Moçambique - desafios linguísticos, metodológicos e contextuais

Tese de doutoramento, Linguística (Linguística Aplicada), Universidade de Lisboa, Faculdade de Letras, 2016

Vantagem competitiva no mercado de geração distribuída de energia solar fotovoltaica

O mercado de geração distribuída de energia solar fotovoltaica apresenta-se em estágio inicial de desenvolvimento no Brasil. A recente conjuntura regulatória, entretanto, aponta para a mudança deste cenário: as últimas revisões da regulação aplicável trouxeram aumento na viabilidade econômica de projetos no setor. Isto, somado à presença abundante de recurso solar no Brasil e ao presente estágio de desenvolvimento da tecnologia fotovoltaica indicam um possível crescimento da penetração da fonte no país nos próximos anos. Nesse contexto, o presente estudo tem como objetivo analisar quais recursos e capacidades a empresa Axis Renováveis deve possuir para alcançar uma posição de vantagem competitiva, à luz do RBT. A empresa selecionada para a condução do estudo de caso único é uma start-up atuante no setor. Espera-se que, ao final do trabalho, as conclusões tenham implicação direta na estratégia da empresa e possam servir como ponto de partida para outras empresas do setor.

Desenvolvimento de um sistema de baixo custo para contagem automática de ovos de Aedes Aegypti utilizando técnicas de processamento de imagem

O objetivo deste trabalho é prover um aplicativo de celular e um protocolo para aquisição de imagens para contagem dos ovos de Aedes aegypti com as seguintes características: facilidade de uso, alta acurácia e custo baixo. O mosquito Ae. aegypti, popularmente conhecido como mosquito da dengue, é um importante vetor de arboviroses como a própria dengue, a chikungunya, a zika e a febre amarela em seu ciclo urbano. O monitoramento entomológico é uma maneira de melhorar a capacidade de predição e na detecção precoce de epidemias das doenças mencionadas. Este monitoramento é majoritariamente baseado no índice larvário, o qual lista a quantidade de casas infectadas, ou a quantidade de ovos de Aedes coletados em palhetas em ovitrampas. Estas palhetas são normalmente de eucatex, mas existem pesquisas atuais testando o algodão.A contagem dos ovos coletados em ovitrampas é feita manualmente, a qual demanda tempo, profissionais qualificados para o manuseio de equipamento laboratorial (lupas e microscópios) e conhecimento entomológico. Buscou-se criar um método para acelerar o trabalho feito pelos profissionais em controle entomológico. A metodologia contou com a criação de um aplicativo e com um processo de contagem dos ovos, o qual consiste em quatro passos: a) Fotografar as palhetas em ovitrampas utilizando de uma câmera de celular; b) Transformar as fotos em uma imagem binarizada, removendo todos os elementos que não são ovos; c) Contar a área de cada elemento; d) A partir do uso de um classificador especialmente desenvolvido, estimar a quantidade de ovos baseado na área de cada elemento. Nos resultados, foi possível notar que houve uma disparidade na contagem de ovos em palhetas de algodão, a qual teve um erro médio próximo a zero, em relação às palhetas de eucatex, as quais tiveram erro médio acima de 5\%. Dos pontos mais importantes das conclusões, destacam-se a possibilidade de melhoria contínua do aplicativo por permanecer na nuvem, com possibilidade de avanços conforme novas descobertas, assim como o excelente custo-benefício obtido, por conseguir operar com baixo custo monetário.

O SENTIDO DO TRABALHO PARA A GERAÇÃO Y: UM ESTUDO A PARTIR DO JOVEM EXECUTIVO

O presente trabalho tem como objetivo construir conhecimentos e saberes em relação ao perfil do jovem executivo pertencente à geração Y e identificar o que esse jovem valoriza na construção de vínculos com a organização, qual o significado do trabalho para esta geração que vive num novo cenário mundial constituído a partir da globalização e do avanço da tecnologia. Para atender a este objetivo foi utilizada uma pesquisa exploratória a partir de uma amostra indicativa e intencional sendo o objeto de interesse deste estudo, jovens executivos nascidos após 1978 que ocupam posições de liderança. Utilizaram-se dois instrumentos para coleta de dados: a entrevista em profundidade e a aplicação de uma ferramenta para reconhecimento do perfil cognitivo, denominado MEP Mapa Estratégia Profissional. Às análises dos instrumentos foram acrescidas de um referencial teórico e de estudos publicados no campo da ciência da administração, da psicologia e da sociologia. O diálogo interdisciplinar entre a teoria e os dados de campo evidenciou que esta geração expressa o comportamento de forma diferente das gerações anteriores visto terem nascido e terem sido criados num contexto de mudanças constantes e aceleradas e que o trabalho, para este grupo, é só um meio para alcançar seus objetivos pessoais e não o fim. Demonstram comprometimento com as organizações desde que reconheçam nesta a presença de valores como justiça e lealdade praticados por uma liderança legitimada, que tem em sua pauta, a orientação e o acompanhamento destes jovens.(AU)

A GERAÇÃO Y E A PUBLICIDADE NA MÍDIA IMPRESSA REVISTA: UMA CONEXÃO POSSÍVEL

A conexão que se estabelece entre a publicidade veiculada na mídia impressa revista e os jovens da chamada Geração Y é o principal foco deste trabalho. Estes jovens, nascidos entre 1980 e meados da década de 90, no século XX, se desenvolveram juntamente com as novas tecnologias da comunicação, cresceram com um computador ligado ao mundo pela internet, com o telefone celular e jogos interativos, mas continuam sendo assediados pelas revistas. Com o objetivo de conhecer melhor esta conexão, saber como a Geração Y se comporta diante das mensagens publicitárias e verificar se existe um padrão de consumo entre estes jovens foram realizadas investigações exploratórias em fontes primárias e secundárias complementada por um estudo conclusivo descritivo. Depois de uma revisão da literatura que trata dos conceitos de geração até o perfil da Geração Y, e de uma análise histórica da mídia revista, a realização de pesquisas aplicadas em forma de grupos focais e de um estudo descritivo, nos permitiu concluir que existe uma sobrevida para a mídia impressa revista, e ainda por muito tempo. Aspectos como a tangibilidade, portabilidade e a tradição são os pilares que garantem às revistas uma sólida confiabilidade por parte dos jovens da Geração Y, sobrepondo-se à mídia eletrônica, volátil e pouco confiável para eles.

Sistema de Apoio à Geração e Automatização de Tarefas

As tecnologias para automatização de tarefas são ferramentas valiosas para garantir a correta execução de processos bem como a obtenção dos resultados esperados. Este projeto visa desenvolver uma solução para a automatização de tarefas recorrendo à captura de imagens do ecrã, à elaboração de uma sequência de ações/tarefas definidas pelo utilizador de modo a detetar falhas e garantir a obtenção dos resultados esperados no fim da execução da tarefa. Este projeto pretende apoiar a realização de testes de software, servindo de apoio à análise do nível de qualidade e fiabilidade de software, permitindo a redução do tempo despendido por parte dos utilizadores/programadores na realização dos testes ou mesmo em tarefas que se pretendam fazer.

Uma abordagem para evolução e reconciliação de linhas de produtos de software clonadas

Software product line engineering promotes large software reuse by developing a system family that shares a set of developed core features, and enables the selection and customization of a set of variabilities that distinguish each software product family from the others. In order to address the time-to-market, the software industry has been using the clone-and-own technique to create and manage new software products or product lines. Despite its advantages, the clone-and-own approach brings several difficulties for the evolution and reconciliation of the software product lines, especially because of the code conflicts generated by the simultaneous evolution of the original software product line, called Source, and its cloned products, called Target. This thesis proposes an approach to evolve and reconcile cloned products based on mining software repositories and code conflict analysis techniques. The approach provides support to the identification of different kinds of code conflicts – lexical, structural and semantics – that can occur during development task integration – bug correction, enhancements and new use cases – from the original evolved software product line to the cloned product line. We have also conducted an empirical study of characterization of the code conflicts produced during the evolution and merging of two large-scale web information system product lines. The results of our study demonstrate the approach potential to automatically or semi-automatically solve several existing code conflicts thus contributing to reduce the complexity and costs of the reconciliation of cloned software product lines.

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

Prospecção tecnológica para geração de energia eólica

The acceleration of technological change and the process of globalization has intensified competition and the need for new products (goods and services), resulting in growing concern for organizations in the development of technological, economic and social advances. This work presents an overview of the development of wind energy-related technologies and design trends. To conduct this research, it is (i) a literature review on technological innovation, technological forecasting methods and fundamentals of wind power; (ii) the analysis of patents, with the current technology landscape studied by means of finding information in patent databases; and (iii) the preparation of the map of technological development and construction of wind turbines of the future trend information from the literature and news from the sector studied. Step (ii) allowed the study of 25 644 patents between the years 2003-2012, in which the US and China lead the ranking of depositors and the American company General Electric and the Japanese Mitsubishi stand as the largest holder of wind technology. Step (iii) analyzed and identified that most of the innovations presented in the technological evolution of wind power are incremental product innovations to market. The proposed future trends shows that the future wind turbines tend to have a horizontal synchronous shaft, which with the highest diameter of 194m and 164m rotor nacelle top, the top having 7,5MW generation. The materials used for the blades are new materials with characteristics of low density and high strength. The towers are trend with hybrid materials, uniting the steel to the concrete. This work tries to cover the existing gap in the gym on the use of technological forecasting techniques for the wind energy industry, through the recognition that utilize the patent analysis, analysis of scientific articles and stories of the area, provide knowledge about the industry and influencing the quality of investment decisions in R & D and hence improves the efficiency and effectiveness of wind power generation

Técnica para segmentação automática de imagens microscópicas de componentes sanguíneos e classificação diferencial de leucócitos baseada em lógica fuzzy

Automatic detection of blood components is an important topic in the field of hematology. The segmentation is an important stage because it allows components to be grouped into common areas and processed separately and leukocyte differential classification enables them to be analyzed separately. With the auto-segmentation and differential classification, this work is contributing to the analysis process of blood components by providing tools that reduce the manual labor and increasing its accuracy and efficiency. Using techniques of digital image processing associated with a generic and automatic fuzzy approach, this work proposes two Fuzzy Inference Systems, defined as I and II, for autosegmentation of blood components and leukocyte differential classification, respectively, in microscopic images smears. Using the Fuzzy Inference System I, the proposed technique performs the segmentation of the image in four regions: the leukocyte’s nucleus and cytoplasm, erythrocyte and plasma area and using the Fuzzy Inference System II and the segmented leukocyte (nucleus and cytoplasm) classify them differentially in five types: basophils, eosinophils, lymphocytes, monocytes and neutrophils. Were used for testing 530 images containing microscopic samples of blood smears with different methods. The images were processed and its accuracy indices and Gold Standards were calculated and compared with the manual results and other results found at literature for the same problems. Regarding segmentation, a technique developed showed percentages of accuracy of 97.31% for leukocytes, 95.39% to erythrocytes and 95.06% for blood plasma. As for the differential classification, the percentage varied between 92.98% and 98.39% for the different leukocyte types. In addition to promoting auto-segmentation and differential classification, the proposed technique also contributes to the definition of new descriptors and the construction of an image database using various processes hematological staining

A geração de 27 e o barroco: la mirada exuberante

From the context of the degree‘s creation of Spanish literature and language‘s course, at UFRN, came the motivation to make this research, that presents a literary study of a poet‘s group known as Generación del 27, that came in to light at Spain, on 1920. A lot of aspects of this study are themes of many others disciplines, of this degree (Spanish Literature II, IberianAmerican Literature, Spanish Culture, Translation in Spanish Language). This work will also serve as inspiration to new reflections and proposes of translations, as bridges between the language that goes and the other that comes. It is the Translation as comprehension‘s negotiation between languages, it is the decir casi lo mismo, here in poem‘s form (ECO, 2007), in the attempt to conclude new learning, that will be shared with undergraduate and graduate students, being at teaching area, extension or new researches. To contextualize this generation‘s studies, were elected the anthologies organized by Gerardo Diego, called Poesía Española (Antologías), published on 2007, by Ediciones Cátedras, and the Antología Comentada de La Generación del 27, wrote by Víctor García de La Concha, published on 2006, by Editorial Espasa Calpe. The research took Generacion Del 27 as their object of research and - from many others critical reading about the poetry made by those young poets, their creative vocation of aesthetics and vanguard – wanted to understand the context of literary‘s creation of those poets del 27. We form our foundation with contributions by Antonio Maravall (2009), Eugenio D‘ors (s.d) Severo Sarduy (1999), Lezama Lima (2011), Alfonso Reyes (1958) e Deleuze (2005) among others that brought the comprehension of the baroque‘s language, giving emphasis to pluridirectional movement, deconstructing it‘s linearity, creating others new forms, as returns, circles, spirals favoring encounters, detachment or equal points of departure and arrivals. In this way, the poets del 27 approached the baroque of six hundred on a re-reading, and made of the third centenary‘s celebration of the Góngora‘s a Mirada exuberante death, to the return of baroque‘s spirit. Alfonso Reyes e Rubén Darío said that real lights highlighted the paths of this poets generation: The light that desdobra scintillates on García Lorca, Jorge Gullén, Dámaso Alonso, Gerardo Diego and the bullfighter Ignacio Sánchez Mejías, poets that expressed tributes in big style to Soledades author, at Madrid‘s Caffe and all Spain.