O trabalho aqui apresentado observa a possibilidade de liberdade criativa através da interface musical na obra de arte bricolada com meios eletrônicos: a artemídia. Segundo o filósofo Vilém Flusser, perdemos a capacidade de criar e desenvolver o sentimento livre, uma vez introduzida a tecnologia em nossas vidas. Essas caixas pretas, as quais não sabermos ao certo o seu conteúdo, nos obriga a executar sempre a mesma rotina maquínica, nos aprisionando. Com o desenvolvimento da interface musical na artemídia essa realidade muda e, graças a ela, temos a possibilidade e a liberdade criativa restituída. / The work presented here looks at the possibility of creative freedom through the music interface in the art work mixed with electronic media: the artmedia. According to philosopher Vilém Flusser, we lost the ability to create and develop the free feeling once introduced the technology in our lives. These \"black boxes\", which we do not know sure for your inside, require us to always perform the same machined routine, imprisoning us. With the development of musical interface in artmedia that reality changes, and thanks to it, we have the opportunity and creative freedom restored.

As aeronaves do tipo multirrotor são investigadas pela percepção tridimensional, a mobilidade, a estabilidade de voo e baixo custo de construção. Vários tipos de controladores vêm sendo utilizados para garantir a estabilidade da mesma. Cabe destacar o controlador adaptativo, cujo desempenho é definido por um identificador que lhe precede e monitora simultaneamente o processo a controlar. A especificação dos parâmetros do identificador permite estabelecer critérios de conexão entre controlador e o próprio identificador. Portanto, o objetivo deste trabalho de investigação é propor uma metodologia para especificar o identificador e constatar se este atende aos requisitos do controlador adaptativo quando utilizado no controle de propulsores eletromecânicos. O projeto de identificadores é associado às técnicas de modelagem matemática caixa preta, portanto, a metodologia a ser usada consiste em: testes para a coleta de dados, definição da estrutura do modelo, escolha da ordem do modelo, estimação dos parâmetros e validação do modelo. Os identificadores a ser investigados são os métodos de gauss-newton, gauss-newton adaptado, levenberg-marquardt, mínimos quadrados não lineares e gradiente de descida. Por fim, pela comparação da simulação do modelo com os dados da plataforma e a análise residual, o modelo é validado. Diante disso, conclui-se que os modelo propostos são capazes de descrever as características do sistema de propulsão eletromecânico, porém o que apresentou melhor resultado foi o método de gauss-newton adaptado e poderá contribuir para novas técnicas de controle. / 78 f.

As aeronaves do tipo multirrotor têm sido crescentemente investigadas, particularmente o quadrirrotor. Estudos acerca dos VANTs (Veículos Aéreos Não Tripulados) apresentam o quadrirrotor como plataforma padrão, devido aos seus benefícios, tais como: baixo custo de construção, estabilidade de voo, percepção tridimensional e mobilidade, quando comparadas a outros tipos de aeronaves. Logo, caracteriza-se como um desafio na área de controle. Este fato faz com que haja a necessidade da aquisição do modelo matemático do conjunto de propulsão eletromecânico que compõe estas aeronaves. A fim de encontrar um modelo que melhor possa descrever os aspectos referentes ao sistema, utilizam-se de características específicas dos parâmetros do sistema, obtidas por meio de métodos de estimação de parâmetros, baseados nos mínimos quadrados e associados às técnicas de modelagem caixa preta. Nesse contexto, se propõem a obtenção do modelo matemático ARIMAX (AutoRegressive Integrated Moving Average Exogenous inputs) e ARMAX (AutoRegressive Moving Average with Exogenous inputs), a fim de comparar a performance entre os mesmos para cada estimador, utilizando como um dos critérios o menor número de iterações numéricas, pois caracteriza convergência rápida. A determinação dos parâmetros característicos dar-se-á por meio da utilização dos estimadores de Gauss-Newton e de Levenberg-Marquardt. A diretriz metodológica consiste na realização das etapas da Identificação de Sistemas. As simulações computacionais são realizadas no software MatLab, de acordo com a estrutura dos algoritmos de cada estimador proposto, e, as validações dos modelos e de seus parâmetros, se dão por comparação entre os dados do sistema real, obtidos a partir da planta didática (plataforma de testes), análises residuais e entre a performance dos modelos matemáticos. Constata-se que o modelo ARIMAX, através do método de Gauss-Newton, revela-se como o que melhor descreve o comportamento não linear do propulsor eletromecânico. O resultado desta investigação é uma contribuição à comunidade científica que busca modelar matematicamente os VANTs do tipo multirrotor. / 107 f.

O trabalho aqui apresentado observa a possibilidade de liberdade criativa através da interface musical na obra de arte bricolada com meios eletrônicos: a artemídia. Segundo o filósofo Vilém Flusser, perdemos a capacidade de criar e desenvolver o sentimento livre, uma vez introduzida a tecnologia em nossas vidas. Essas caixas pretas, as quais não sabermos ao certo o seu conteúdo, nos obriga a executar sempre a mesma rotina maquínica, nos aprisionando. Com o desenvolvimento da interface musical na artemídia essa realidade muda e, graças a ela, temos a possibilidade e a liberdade criativa restituída. / The work presented here looks at the possibility of creative freedom through the music interface in the art work mixed with electronic media: the artmedia. According to philosopher Vilém Flusser, we lost the ability to create and develop the free feeling once introduced the technology in our lives. These \"black boxes\", which we do not know sure for your inside, require us to always perform the same machined routine, imprisoning us. With the development of musical interface in artmedia that reality changes, and thanks to it, we have the opportunity and creative freedom restored.

Made available in DSpace on 2014-06-12T15:57:23Z (GMT). No. of bitstreams: 2 arquivo3187_1.pdf: 2434276 bytes, checksum: df6b126c4802eed8524aba0d3cb25af9 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2009 / Boudox Peres, Glaucia; Cabral Mota, Alexandre. A black-box testing technique for the detection of crashes based on automated test scenarios. 2009. Dissertação (Mestrado). Programa de Pós-Graduação em Ciência da Computação, Universidade Federal de Pernambuco, Recife, 2009.

[pt] Diversos estudos apontam que desenvolvimento orientado a serviços terá, em alguns anos, grande influência sobre o desenvolvimento de sistemas. Esta dissertação discute o que realmente o desenvolvimento orientado a serviços apresenta como novidade tecnológica, através da discussão de todas suas características consideradas relevantes para construção de uma aplicação baseada no conceito de serviços. Características como reuso caixa-preta, distribuição e suporte a heterogeneidade ambiental, entre outras, são discutidas no intuito de identificar suas vantagens e funcionalidades, e principalmente, sua importância para o desenvolvimento orientado a serviços. É discutido, também, o conceito representado pelo termo serviço, que possui interpretações distintas na indústria e em publicações acadêmicas. São apresentados também alguns frameworks que dão suporte ao desenvolvimento orientado a serviços, como Vinci, Jini e os XML Web Services. Finalmente, é apresentada uma proposta para um novo framework que oferece suporte ao desenvolvimento orientado a serviços, e que tem como diferencial a opção de se basear na extensão da infra-estrutura de um servidor de aplicações J2EE. / [en] Several studies point that service-oriented development will have, in some years, great influence on the development of systems. This work shows what service- oriented development actually presents as technological innovation, through the discussion of all its relevant characteristics for construction of an application based on the concept of services. Characteristics as black-box reuse, distribution and environment heterogeneity support, among others, are discussed in intention to identify its advantages and features, and mainly, its importance for the service-oriented development. It is also discussed the concept represented for the term service, that have distinct interpretations in the industry and academic publications. In addition some frameworks are presented that support derviceoriented Development, such as Vinci, Jini and the XML Web Services. Finally, a proposal for a new framework is presented which offers support for Service- Oriented Development. Unlike the others frameworks previously mentioned, this is based on the extension of J2EE application server infrastructure.

[pt] Atualmente nos veículos terrestres a melhora de seu desempenho é permanente. Esta melhora, em grande parte está relacionada com seus sistemas de controle. Para o desenho de sistema de controle, tais como, sistema eletrônico de estabilidade ou controle anti-capotagem é preciso prever o comportamento do veículo sob certas condições dinâmicas. Esta predição do comportamento dinâmico do veículo é feita por meio de modelos matemáticos que dependem diretamente de seus parâmetros, tais como a massa, a posição do centro da gravidade, os momentos de inércia entre outros. Tendo em consideração o contexto apresentado, os parâmetros dinâmicos do veículo tem um papel fundamental na melhora do desempenho do veículo, assim como a otimização de seus subsistemas. Esta dissertação apresenta o desenvolvimento de um procedimento de estimação dos parâmetros dinâmicos do veículo e a calibração do modelo matemático desenvolvido. Para o processo de estimação se desenvolvem dois modelos do veículo, um feito em MATLAB com 4 graus de liberdade (GDL) e ou outro é trabalhado como uma caixa preta (black-box), que é obtida por meio da biblioteca de ligações dinâmicas (DLL) de um programa de simulação veicular. Métodos de otimização, tais como Evolução Diferencial, Generalized Pattern Serach, Mesh Adaptative Pattern Search e Nelder Mead, são utilizados para estimar os parâmetros dinâmicos do veículo, isto por meio da minimização de um objetivo definido como a diferença entre a resposta real do veículo (obtida do programa de simulação veicular) e a calculada por cada método de otimização. Os parâmetros dinâmicos estimados com o melhor método de otimização, são inseridos no modelo matemático feito em MATLAB para calibrar o modelo. Finalmente, o modelo já calibrado é simulado com diferentes manobras para comprovar a robustez do método e a coerência dos parâmetros estimados. / [en] Nowadays, performance improvement on ground vehicles is prefominant. This improvement is highly correlated with its control systems. To design its control system, with parts as electronic system for stabilization or anti-rollover control, it is necessary to provide the behavior of the vehicle in certain dynamics conditions. This prediction, of the dynamics behavior of the vehicle, is done by mathematical models that depend directly on its dynamics parameters such as gravity center position, inertia moments, among others. Taking into account the actual background, dynamics parameters of the vehicle have an importante role in the improvement of vehicle s performance, as well as in the optimization of its subsystems. This thesis presentes the vehicle and calibration of the mathematical model developed. For the estimation step, two vehicle models were developed, the first one was done in MATLAB with 4 DOF and the other was treated as a black box, which is obtained by Dynamic-Link Libraries (DLLs) from the free vehicular simulation software. Optimization methods, such as Differential Evolution, Generalized Pattern Search, Mesh Adaptive Pattern Search and Nelder Mead, were used to estimate vehicle s dynamics parameters. The fitness function is defined as a difference between the real response of the vehicle (given by vehicular simulation software) and one calculated with each optimization method. The dynamics parameters estimated with the best optimization method are input for the mathematical model developed in MATLAB to calibrate the model. Finally, the calibrated model is simulated with different maneuvers, this is done to test the robustness of the method and the coherence of estimated parameters.

Made available in DSpace on 2014-12-17T15:47:51Z (GMT). No. of bitstreams: 1 ClevertonHA.pdf: 1775580 bytes, checksum: 9e49f67c9b7fbb459e2b24f568db691b (MD5) Previous issue date: 2010-03-01 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior / Some programs may have their entry data specified by formalized context-free grammars. This formalization facilitates the use of tools in the systematization and the rise of the quality of their test process. This category of programs, compilers have been the first to use this kind of tool for the automation of their tests. In this work we present an approach for definition of tests from the formal description of the entries of the program. The generation of the sentences is performed by taking into account syntactic aspects defined by the specification of the entries, the grammar. For optimization, their coverage criteria are used to limit the quantity of tests without diminishing their quality. Our approach uses these criteria to drive generation to produce sentences that satisfy a specific coverage criterion. The approach presented is based on the use of Lua language, relying heavily on its resources of coroutines and dynamic construction of functions. With these resources, we propose a simple and compact implementation that can be optimized and controlled in different ways, in order to seek satisfaction the different implemented coverage criteria. To make the use of our tool simpler, the EBNF notation for the specification of the entries was adopted. Its parser was specified in the tool Meta-Environment for rapid prototyping / Alguns programas podem ter sua entrada formalizada atrav?s de gram?ticas livres de contexto. Esta formaliza??o facilita a utiliza??o de ferramentas na sistematiza??o e na eleva??o da qualidade do seu processo de teste. Dentro desta categoria de programas os compiladores foram os primeiros a utilizar este tipo de ferramenta para a automa??o de seus testes. Neste trabalho apresentamos uma abordagem para a defini??o de testes a partir da descri??o formal das entradas do programa. A gera??o das senten?as ? realizada levando em considera??o aspectos sint?ticos definidos pela especifica??o da entrada, a gram?tica. Por quest?es de otimiza??o s?o utilizados crit?rios de cobertura para limitar a quantidade de testes sem diminuir a sua qualidade. Nossa abordagem utiliza estes crit?rios no direcionamento da gera??o de maneira a produzir senten?as que satisfa?am um crit?rio de cobertura especifico. A abordagem apresentada se baseia na utiliza??o da linguagem Lua, se apoiando fortemente em seus recursos de corotinas e constru??o din?mica de fun??es. Com estes recursos, propomos uma implementa??o compacta e simples que pode ser otimizada e controlada de formas variadas, com o intuito de buscar a satisfa??o dos diferentes crit?rios de cobertura implementados. Para tornar simples o uso de nossa ferramenta foi adotada a nota??o EBNF para a especifica??o das entradas. O seu parser foi especificado na ferramenta Meta-Environment por esta favorecer a r?pida prototipa??o

[pt] Atuadores baseados em materiais piezelétricos apresentam características ideais para aplicações como transmissão acústica e micromanipulação. No entanto, não-linearidades inerentes a estes atuadores, como histerese e fluência, aumentam o desafio de controla-los. Além disso, a crescente necessidade de atuadores mais precisos e rápidos aliada a frequentes mudanças nas condições ambientais e operacionais agravam ainda mais o problema. Modelagens analíticas são específicas ao sistema ao qual foram feitas, o que significa que elas não são facilmente escalonáveis e eficientes para todos os tipos de sistemas. Adicionalmente, com o aumento da complexidade, os fenômenos que regem a física do sistema não são totalmente conhecidos, tornando difícil o desenvolvimento destes modelos. Este trabalho investiga esses desafios do ponto de vista da metodologia de identificação de sistemas e modelos baseados em dados para atuadores piezelétricos. A abordagem de modelagem caixa preta foi testada com dados experimentais adquiridos em um ambiente de laboratório para os estudos de caso de micromanipulação e transmissão acústica. Sinais de uso geral foram empregados como entrada de excitação do sistema de modo a acelerar a aquisição e estimação dos parâmetros. Parte dos modelos desenvolvidos foram validados com um conjunto de dados separado. Em ambos os casos foi necessário pré-processamento para otimização da quantidade de dados. Os modelos testados incluem a Média Móvel AutoRegressiva com entradas eXógenas (ARMAX), AutoRegressiva Não Linear com entradas eXógenas (NARX) com uma estrutura de rede neural artificial e Média Móvel AutoRegressiva Não Linear com entradas eXógenas (NARMAX). Os resultados mostram uma boa capacidade de prever as não-linearidades do micro manipulador e, portanto, a histerese em diferentes frequências de entrada. O sistema de transmissão acústica foi modelado com sucesso. Embora os resultados mostrem que ainda há espaço para melhorias, eles fornecem informações importantes sobre possíveis otimizações para o sistema uma vez que os modelos apresentados são uteis para janelas de predição curtas. / [en] Actuators based on piezoelectric materials have ideal characteristics for applications such as acoustic transmission and micromanipulation. However, the inherent nonlinearities of those actuators, such as hysteresis and creep, greatly increase the challenge to control such devices. Furthermore, the increasing need for more precise and faster actuators, allied with frequent changes in the environmental and operational conditions, further worsens the problem. Analytical models are application-specific, meaning that they are not easily and efficiently scalable to all systems. Also, with increased complexity, the understating of underlying phenomena is not fully documented, making it difficult to develop such models. This work investigates those challenges from the perspective of the system identification methodology and data-driven models for piezoelectric actuators. The black-box approach is tested with experimental data acquired in a laboratory setting for micromanipulator and acoustic transmission case studies. In some datasets, general-purpose signals were employed as the excitation input of the system to accelerate the data acquisition of the whole system dynamic and estimation process. Additionally, some models were validated on a separate dataset. In both cases, preprocessing was employed to optimize the amount of data. The tested models include the AutoRegressive Moving Average with eXogenous inputs (ARMAX), Nonlinear AutoRegressive with eXogenous inputs (NARX) with an artificial neural network structure, and Nonlinear AutoRegressive Moving Average with eXogenous inputs (NARMAX). The results show a good ability to predict the nonlinearities of the micromanipulator and, therefore, the hysteresis at different input frequencies. The acoustic transmission system was successfully modeled. Although the results show that there is still room for improvements, it provides insights into possible optimizations for the setup as the models here devised are useful for short prediction windows.