Aplicação de modelos de defeitos na geração de conjuntos de teste completos a partir de Sistemas de Transição com Entrada/Saída

O Teste Baseado em Modelos (TBM) emergiu como uma estratégia promissora para minimizar problemas relacionados à falta de tempo e recursos em teste de software e visa verificar se a implementação sob teste está em conformidade com sua especificação. Casos de teste são gerados automaticamente a partir de modelos comportamentais produzidos durante o ciclo de desenvolvimento de software. Entre as técnicas de modelagem existentes, Sistemas de Transição com Entrada/Saída (do inglês, Input/Output Transition Systems - IOTSs), são modelos amplamente utilizados no TBM por serem mais expressivos do que Máquinas de Estado Finito (MEFs). Apesar dos métodos existentes para geração de testes a partir de IOTSs, o problema da seleção de casos de testes é um tópico difícil e importante. Os métodos existentes para IOTS são não-determinísticos, ao contrário da teoria existente para MEFs, que fornece garantia de cobertura completa com base em um modelo de defeitos. Esta tese investiga a aplicação de modelos de defeitos em métodos determinísticos de geração de testes a partir de IOTSs. Foi proposto um método para geração de conjuntos de teste com base no método W para MEFs. O método gera conjuntos de teste de forma determinística além de satisfazer condições de suficiência de cobertura da especificação e de todos os defeitos do domínio de defeitos definido. Estudos empíricos avaliaram a aplicabilidade e eficácia do método proposto: resultados experimentais para analisar o custo de geração de conjuntos de teste utilizando IOTSs gerados aleatoriamente e um estudo de caso com especificações da indústria mostram a efetividade dos conjuntos gerados em relação ao método tradicional de Tretmans.

Arranjos de sensores orientados à missão para a geração automática de mapas temáticos em VANTs

O uso de veículos aéreos não tripulados (VANTs) tem se tornado cada vez mais comum, principalmente em aplicações de uso civil. No cenário militar, o uso de VANTs tem focado o cumprimento de missões específicas que podem ser divididas em duas grandes categorias: sensoriamento remoto e transporte de material de emprego militar. Este trabalho se concentra na categoria do sensoriamento remoto. O trabalho foca a definição de um modelo e uma arquitetura de referência para o desenvolvimento de sensores inteligentes orientados a missões específicas. O principal objetivo destas missões é a geração de mapas temáticos. Neste trabalho são investigados processos e mecanismos que possibilitem a geração desta categoria de mapas. Neste sentido, o conceito de MOSA (Mission Oriented Sensor Array) é proposto e modelado. Como estudos de caso dos conceitos apresentados são propostos dois sistemas de mapeamento automático de fontes sonoras, um para o caso civil e outro para o caso militar. Essas fontes podem ter origem no ruído gerado por grandes animais (inclusive humanos), por motores de combustão interna de veículos ou por atividade de artilharia (incluindo caçadores). Os MOSAs modelados para esta aplicação são baseados na integração de dados provenientes de um sensor de imageamento termal e uma rede de sensores acústicos em solo. A integração das informações de posicionamento providas pelos sensores utilizados, em uma base cartográfica única, é um dos aspectos importantes tratados neste trabalho. As principais contribuições do trabalho são a proposta de sistemas MOSA, incluindo conceitos, modelos, arquitetura e a implementação de referência representada pelo sistema de mapeamento automático de fontes sonoras.

Modelagem e análise de desempenho de sistema para geração de energia elétrica através de ondas marítimas.

Mediante a crescente necessidade de aumento na oferta de energia elétrica devido à constante elevação na demanda mundial, esta dissertação avalia o desempenho de um sistema conversor de energia de ondas marítimas em energia elétrica. O sistema em análise é o de coluna de água oscilante com turbina de dupla ação instalado na costa. Utiliza-se um modelo regular de ondas como perturbação à dinâmica de uma câmara semi-submersa gerando fluxo de ar através de uma turbina à ar de dupla ação. O sistema final é não linear e com parâmetros variantes no tempo. A dissertação investiga possibilidades para o aumento do rendimento da turbina em diferentes condições de mar através do método de simulação numérica. Após a modelagem física e matemática do sistema escolhido, inicia-se a síntese de um controlador proporcional derivativo para controle da pressão de ar na turbina em torno da pressão ideal de trabalho da mesma. A análise inclui o comparativo entre os resultados do sistema com e sem controlador e a avaliação de robustez utilizando ondas com amplitude variável. O trabalho apresenta ainda propostas de otimização do sistema para trabalhar em condições similares a região de Pecém no Brasil. Pelos resultados obtidos nas simulações, conclui-se que o rendimento e a robustez do sistema podem melhorar utilizando um sistema controlado. O rendimento do sistema poderá ainda ser otimizado para a região de instalação.

Avaliação do desempenho do sistema de mini-geração fotovoltaico na Faculdade de Ciências

Tese de mestrado integrado, Engenharia da Energia e do Ambiente, Universidade de Lisboa, Faculdade de Ciências, 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.

Llave nueva y universal para aprender con brevedad y perfeccion la lengua francesa, sin auxilio de maestro ... : dispuesta en tres colunas ... /

Aguilar,

Porras ilustrado y cartilla de examen para cirujanos latinos y ramancistas: dividido en dos colunas [sic], en idioma latino una y en idioma español otra ... : añadido con anathomias modernas y un breve vocabulario medicinal ... /

Mode of access: Internet.

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.

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

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.

Controle em modo dual adaptativo robusto aplicado a um sistema de geração de energia elétrica

Synchronous machines, widely used in energy generation systems, require constant voltage and frequency to obtain good quality of energy. However, for large load variati- ons, it is difficult to maintain outputs on nominal values due to parametric uncertainties, nonlinearities and coupling among variables. Then, we propose to apply the Dual Mode Adaptive Robust Controller (DMARC) in the field flux control loop, replacing the tradi- tional PI controller. The DMARC links a Model Reference Adaptive Controller (MRAC) and a Variable Structure Model Reference Adaptive Controller (VS-MRAC), incorpora- ting transient performance advantages from VS-MRAC and steady state properties from MRAC. Moreover, simulation results are included to corroborate the theoretical studies.