• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 76
  • 1
  • Tagged with
  • 78
  • 78
  • 70
  • 54
  • 38
  • 37
  • 34
  • 34
  • 33
  • 25
  • 20
  • 18
  • 17
  • 17
  • 16
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
61

An?lise comparativa do desempenho de um Controlador Fuzzy acoplado a um PID Neural sintonizado por um Algoritmo Gen?tico com Controladores Inteligentes Convencionais

Vale, Marcelo Roberto Bastos Guerra 05 December 2007 (has links)
Made available in DSpace on 2014-12-17T14:55:04Z (GMT). No. of bitstreams: 1 MarceloRBGV.pdf: 514846 bytes, checksum: f54178f2d4a2cb1b74a993d664aad1b3 (MD5) Previous issue date: 2007-12-05 / On this paper, it is made a comparative analysis among a controller fuzzy coupled to a PID neural adjusted by an AGwith several traditional control techniques, all of them applied in a system of tanks (I model of 2nd order non lineal). With the objective of making possible the techniques involved in the comparative analysis and to validate the control to be compared, simulations were accomplished of some control techniques (conventional PID adjusted by GA, Neural PID (PIDN) adjusted by GA, Fuzzy PI, two Fuzzy attached to a PID Neural adjusted by GA and Fuzzy MISO (3 inputs) attached to a PIDN adjusted by GA) to have some comparative effects with the considered controller. After doing, all the tests, some control structures were elected from all the tested techniques on the simulating stage (conventional PID adjusted by GA, Fuzzy PI, two Fuzzy attached to a PIDN adjusted by GA and Fuzzy MISO (3 inputs) attached to a PIDN adjusted by GA), to be implemented at the real system of tanks. These two kinds of operation, both the simulated and the real, were very important to achieve a solid basement in order to establish the comparisons and the possible validations show by the results / Neste trabalho ?realizado uma an?lise comparativa entre um controlador fuzzy acoplado aum PID neural ajustado por um AGcom diversas t?cnicas de controle tradicionais, todas elas aplicadas em um sistema de tanques (modelo de 2a ordem n?o linear). Com o objetivo de viabilizar as t?cnicas envolvidas nas an?lises comparativas e validar o controle a ser comparado, foram realizadas simula??es de algumas t?cnicas de controle (PID convencional ajustado por AG, PID Neural (PIDN) ajustado por AG, Fuzzy PI, Fuzzy cascata acoplado a um PIDN ajustado por AG e Fuzzy MISO (3 entradas) acoplado a um PIDN ajustado por AG) para efeitos comparativos com o controlador proposto. Depois de realizar todos os testes simulados, foram eleitas, dentre as t?cnicas testadas na fase de simula??o, algumas estruturas de controle (PID convencional ajustado por AG, Fuzzy PI, Fuzzy cascata acoplado aum PIDN ajustado por AGeFuzzy MISO (3entradas) acoplado a um PIDN ajustado por AG) para serem implementadas no sistema real de tanques. Esses dois modos de opera??o, tanto o simulado como o real, se fizeram importantes para um embasamento s?lido para fazer as compara??es e valida??es poss?veis mostradas nos resultados
62

Arquitetura de controladores fuzzy em redes foundation fieldbus

Martins, Daniel Lopes 14 February 2011 (has links)
Made available in DSpace on 2014-12-17T14:55:49Z (GMT). No. of bitstreams: 1 DanielLM_DISSERT.pdf: 2854264 bytes, checksum: 7dab37a82a8722342102681fd9fbdda2 (MD5) Previous issue date: 2011-02-14 / Conselho Nacional de Desenvolvimento Cient?fico e Tecnol?gico / Foundation Fieldbus Industrial networks are the high standard technology which allows users to create complex control logic and totally decentralized. Although being so advanced, they still have some limitations imposed by their own technology. Attempting to solve one of these limitations, this paper describes how to design a Fuzzy controller in a Foundation Fieldbus network using their basic elements of programming, the functional blocks, so that the network remains fully independent of other devices other than the same instruments that constitute it. Moreover, in this work was developed a tool that aids this process of building the Fuzzy controller, setting the internal parameters of functional blocks and informing how many and which blocks should be used for a given structure. The biggest challenge in creating this controller is exactly the choice of blocks and how to arrange them in order to effectuate the same functions of a Fuzzy controller implemented in other kind of environment. The methodology adopted was to divide each one of the phases of a traditional Fuzzy controller and then create simple structures with the functional blocks to implement them. At the end of the work, the developed controller is compared with a Fuzzy controller implemented in a mathematical program that it has a proper tool for the development and implementation of Fuzzy controllers, obtaining comparatives graphics of performance between both / As redes industriais Foundation Fieldbus s?o redes com alto padr?o de tecnologia que permitem que usu?rios criem l?gicas de controle complexas e totalmente descentralizadas. Mesmo sendo t?o avan?adas, elas ainda possuem algumas limita??es impostas pela sua pr?pria tecnologia. Tentando solucionar uma destas limita??es, este trabalho descreve como estruturar um controlador Fuzzy dentro de uma rede Foundation Fieldbus utilizando seus elementos b?sicos de programa??o, os blocos funcionais, de forma que a rede continue sendo totalmente independente de qualquer outro dispositivo que n?o os pr?prios instrumentos que a constituem. Al?m disso, no decorrer do trabalho foi desenvolvida uma ferramenta que auxilia este processo de constru??o do controlador Fuzzy, configurando os par?metros internos aos blocos funcionais e informando quantos e quais blocos devem ser utilizados para determinada estrutura. O maior desafio em criar este controlador est? justamente na escolha dos blocos e em como arranj?-los de forma a efetuarem as mesmas fun??es de um controlador Fuzzy implementado em outro tipo de ambiente. A metodologia adotada foi dividir cada uma das fases de um controlador Fuzzy tradicional e ent?o criar estruturas simples com os blocos funcionais para implement?-las. Ao final do trabalho, o controlador desenvolvido ? comparado com um controlador Fuzzy implementado em uma programa matem?tico que possui uma ferramenta pr?pria para cria??o e execu??o de controladores Fuzzy, obtendo gr?ficos comparativos de desempenho entre ambos
63

Sistema automatizado para o aproveitamento de ?gua cinza e azul, com controle de PH utilizando l?gica fuzzy

Lima, F?bio Ara?jo de 31 August 2011 (has links)
Made available in DSpace on 2014-12-17T14:55:51Z (GMT). No. of bitstreams: 1 FabioAL_DISSERT.pdf: 3109230 bytes, checksum: c3a4e73bfea10d6796f79168cb83b21d (MD5) Previous issue date: 2011-08-31 / Every day, water scarcity becomes a more serious problem and, directly affects global society. Studies are directed in order to raise awareness of the rational use of this natural asset that is essential to our survival. Only 0.007% of the water available in the world have easy access and can be consumed by humans, it can be found in rivers, lakes, etc... To better take advantage of the water used in homes and small businesses, reuse projects are often implemented, resulting in savings for customers of water utilities. The reuse projects involve several areas of engineering, like Environmental, Chemical, Electrical and Computer Engineering. The last two are responsible for the control of the process, which aims to make gray water (soapy water), and clear blue water (rain water), ideal for consumption, or for use in watering gardens, flushing, among others applications. Water has several features that should be taken into consideration when it comes to working its reuse. Some of the features are, turbidity, temperature, electrical conductivity and, pH. In this document there is a proposal to control the pH (potential Hydrogen) through a microcontroller, using the fuzzy logic as strategy of control. The controller was developed in the fuzzy toolbox of Matlab? / A cada dia a escassez de ?gua se torna um problema mais grave e que atinge diretamente a sociedade mundial. Estudos s?o dirigidos no intuito de conscientizar a popula??o do uso racional desse bem natural que ? imprescind?vel ? sobreviv?ncia. Somente 0,007% das ?guas dispon?veis no globo apresentam acesso f?cil e podem ser consumidas por seres humanos, sendo encontradas em rios, lagos, etc. Para melhor proveito das ?guas utilizadas em resid?ncias e pequenos estabelecimentos, projetos de reuso s?o muitas vezes implementados, implicando, em economia para os clientes das concession?rias de ?gua. Os projetos de reuso envolvem as mais diversas ?reas da engenharia, podendo ser citadas a Engenharia Ambiental, Engenharia Qu?mica e tamb?m a Engenharia El?trica e de Computa??o, essas ?ltimas, respons?veis pelo controle dos processos, que tem por objetivo tornar a ?gua cinza, ou seja, ?guas com sab?o e ?guas azuis, mais conhecidas como ?guas de chuva, ideais para o consumo, ou apenas para utiliza??o em regas de jardins, descargas sanit?rias, entre outros. A ?gua possui v?rias caracter?sticas que devem ser levadas em considera??o, em se tratando do seu reuso. Algumas delas s?o, turbidez, temperatura, condutividade el?trica, pH. Nesse documento ? feita uma proposta de controle de pH (potencial hidrogeni?nico), atrav?s de microcontrolador, utilizando-se como estrat?gia de controle a l?gica fuzzy. O controlador foi desenvolvido no toolbox fuzzy do software Matlab?
64

Sistema para detec??o e diagn?stico de falhas em motores el?tricos de indu??o utilizando l?gica fuzzy

Pinheiro, H?lio Henrique Cunha 22 December 2011 (has links)
Made available in DSpace on 2014-12-17T14:55:56Z (GMT). No. of bitstreams: 1 HelioHCP_DISSERT.pdf: 2649090 bytes, checksum: 4af294fb0fbf94f5f1ce08428f01d668 (MD5) Previous issue date: 2011-12-22 / Induction motors are one of the most important equipment of modern industry. However, in many situations, are subject to inadequate conditions as high temperatures and pressures, load variations and constant vibrations, for example. Such conditions, leaving them more susceptible to failures, either external or internal in nature, unwanted in the industrial process. In this context, predictive maintenance plays an important role, where the detection and diagnosis of faults in a timely manner enables the increase of time of the engine and the possibiity of reducing costs, caused mainly by stopping the production and corrective maintenance the motor itself. In this juncture, this work proposes the design of a system that is able to detect and diagnose faults in induction motors, from the collection of electrical line voltage and current, and also the measurement of engine speed. This information will use as input to a fuzzy inference system based on rules that find and classify a failure from the variation of thess quantities / Os motores de indu??o constituem-se em um dos equipamentos mais importantes da ind?stria moderna. Contudo, em muitas situa??es, ficam sujeitos a condi??es inadequadas como temperaturas e press?es elevadas, varia??es de carga e vibra??es constantes, por exemplo. Tais condi??es, os deixam mais suscept?veis a falhas, seja de natureza externa ou interna, indesejadas no processo industrial. Neste contexto, a manuten??o preditiva desempenha um papel relevante, onde a detec??o e o diagn?stico de falhas conseguidos em tempo h?bil possibilita o aumento do tempo de uso do motor e a possibilidade de diminui??o de custos, causados principalmente, com a parada da produ??o e com a manuten??o corretiva do motor. Diante desta conjuntura, este trabalho prop?e a concep??o de um sistema que seja capaz de detectar e de diagnosticar falhas em motores de indu??o a partir da leitura e da interpreta??o de diagramas fasoriais de tens?o e de corrente de linha e da velocidade do motor, executados por um sistema inteligente baseado em l?gica fuzzy
65

Controle inteligente de press?o para uma rede sem reservat?rio de abastecimento urbano de ?gua

Oliveira, Jos? Kleber Costa de 04 May 2012 (has links)
Made available in DSpace on 2014-12-17T14:56:01Z (GMT). No. of bitstreams: 1 JoseKCO_DISSERT.pdf: 2360607 bytes, checksum: ad43aaed1b6651cd3d8e3ffe4e2f5b67 (MD5) Previous issue date: 2012-05-04 / The sanitation companies from Brazil has a great challenge for the XXI century: seek to mitigate the rate of physical waste (water, chemicals and electricity) and financial waste caused by inefficient operating systems drinking water supply, considering that currently we already face, in some cases, the scarcity of water resources. The supply systems are increasingly complex as they seek to minimize waste and at the same time better serve the growing number of users. However, this technological change is to reduce the complexity of the challenges posed by the need to include users with higher quality and efficiency in services. A major challenge for companies of water supplies is to provide a good quality service contemplating reducing expenditure on electricity. In this situation we developed a research by a method that seeks to control the pressure of the distribution systems that do not have the tank in your setup and the water comes out of the well directly to the distribution system. The method of pressure control (intelligent control) uses fuzzy logic to eliminate the waste of electricity and the leaks from the production of pumps that inject directly into the distribution system, which causes waste of energy when the consumption of households is reduced causing the saturation of the distribution system. This study was conducted at Green Club II condominium, located in the city of Parnamirim, state of Rio Grande do Norte, in order to study the pressure behavior of the output of the pump that injects water directly into the distribution system. The study was only possible because of the need we had to find a solution to some leaks in the existing distribution system and the extensions of the respective condominium residences, which sparked interest in developing a job in order to carry out the experiments contained in this research / As empresas de saneamento do Brasil t?m um grande desafio para o s?culo XXI, procurar diminuir o ?ndice de desperd?cios f?sicos (?gua, produtos qu?micos e energia el?trica) e financeiros causados pela inefici?ncia operacional dos sistemas de abastecimento de ?gua pot?vel, levando-se em considera??o que atualmente j? se enfrenta, em alguns casos, a escassez dos recursos h?dricos. Os sistemas de abastecimento est?o cada vez mais complexos porque buscam minimizar os desperd?cios e ao mesmo tempo atender melhor ao crescente n?mero de usu?rios. Contudo, a evolu??o tecnol?gica est? presente para diminuir a complexidade dos desafios hora impostos pela necessidade de contemplar os usu?rios com maior qualidade e efici?ncia nos servi?os. Um dos grandes desafios para as empresas de abastecimento de ?gua est? em proporcionar um servi?o de boa qualidade contemplando a diminui??o das despesas com energia el?trica. Diante disso, desenvolveu-se um trabalho de pesquisa atrav?s de um m?todo que busca controlar a press?o da rede de distribui??o em sistemas que n?o apresentam na sua configura??o o reservat?rio e, por isso a ?gua sai do po?o diretamente para a rede de distribui??o. O m?todo de controle da press?o (controle inteligente) utiliza a l?gica fuzzy para eliminar o desperd?cio de energia el?trica e os vazamentos provocados pela produ??o das bombas que injetam diretamente na rede de distribui??o, provocando desperd?cio de energia quando o consumo das resid?ncias ? reduzido causando o saturamento da rede. Esse trabalho foi realizado no condom?nio Green Club II, situado na cidade de Parnamirim - RN, com o objetivo de estudar o comportamento da press?o da bomba que injeta diretamente na rede de distribui??o. O estudo s? foi poss?vel em virtude da necessidade que havia de se encontrar uma solu??o para alguns vazamentos existentes na rede de distribui??o e nos ramais das resid?ncias do respectivo condom?nio, fato que despertou o interesse em desenvolver um trabalho com o intuito de realizar as experi?ncias contidas nesta pesquisa
66

O tr?gico em lavoura arcaica

Ribeiro, Rochele Kalini de Melo 12 May 2011 (has links)
Made available in DSpace on 2014-12-17T15:06:52Z (GMT). No. of bitstreams: 1 RocheleKMR_DISSERT.pdf: 775886 bytes, checksum: cd9c2aac64a121d970644f8c6d3e33d5 (MD5) Previous issue date: 2011-05-12 / El escritor de S?o Paulo Raduan Nassar, lanza en 1975, su primera novela intitulado Lavoura arcaica. En su narrativa de estreno, el escritor nos trae la historia de un adolescente, Andr?, que intenta destruir la plantaci?n de su padre, Ioh?na. A trav?s de sus sermones, el patriarca predicaba la moderaci?n, la disciplina y la obediencia a las leyes impuestas por ?l, construyendo as?, un mundo de ilusiones, donde el amor era una m?scara para la hipocres?a. En esta tensa relaci?n, padre e hijo, representaciones m?sticas de Apolo y Dionisio, emprenden una contienda discursiva sobre la negaci?n y la afirmaci?n de la existencia. De ese modo, considerando la relaci?n de lucha e integridad entre el impulso apol?neo y dionisiaco existentes en el romanticismo nassariano, la propuesta de este trabajo es presentar una lectura de lo tr?gico en Lavoura arcaica a partir de la perspectiva nietzscheana sobre el g?nero tr?gico. Para eso, recorrimos al concepto desarrollado por Nietzsche en su obra, desde su primer libro O nascimento da trag?dia (2007a), A vis?o dionis?aca do mundo (2005 a) y Ecce homo (2008 b). / O escritor paulista Raduan Nassar, lan?a em 1975, o seu primeiro romance intitulado Lavoura arcaica. Em sua narrativa de estr?ia, o escritor nos traz a hist?ria de um adolescente, Andr?, que tenta desconstruir a lavoura de seu pai, Ioh?na. Atrav?s de seus serm?es, o patriarca pregava o comedimento, a disciplina e a obedi?ncia as leis impostas por ele, construindo assim, um mundo de ilus?es, em que o amor servia de m?scara para hipocrisia. Nessa rela??o de tens?o, pai e filho, representa??es m?ticas de Apolo e Dioniso, travam um embate discursivo sobre a nega??o e a afirma??o da exist?ncia. Desse modo, considerando a rela??o de luta e completude entre o impulso apol?neo e dionis?aco existentes no romance nassariano, a proposta desta pesquisa ? apresentar uma leitura do tr?gico em Lavoura arcaica a partir da perspectiva nietzscheana sobre o g?nero tr?gico. Para tanto, recorremos ao conceito desenvolvido por Nietzsche em sua obra, partindo de seu livro de estr?ia O nascimento da trag?dia (2007a), A vis?o dionis?aca do mundo (2005 a) e Ecce homo (2008 b)
67

Controle de sistemas eletro-hidr?ulicos via lineariza??o por realimenta??o com compensa??o inteligente de incertezas

Azevedo, George Oliveira de Ara?jo 25 November 2016 (has links)
Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2017-04-04T18:57:08Z No. of bitstreams: 1 GeorgeOliveiraDeAraujoAzevedo_DISSERT.pdf: 13409798 bytes, checksum: 2b80da129a9eaf742197ec7d854bc74b (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2017-04-12T22:17:49Z (GMT) No. of bitstreams: 1 GeorgeOliveiraDeAraujoAzevedo_DISSERT.pdf: 13409798 bytes, checksum: 2b80da129a9eaf742197ec7d854bc74b (MD5) / Made available in DSpace on 2017-04-12T22:17:49Z (GMT). No. of bitstreams: 1 GeorgeOliveiraDeAraujoAzevedo_DISSERT.pdf: 13409798 bytes, checksum: 2b80da129a9eaf742197ec7d854bc74b (MD5) Previous issue date: 2016-11-25 / Com o surgimento de t?cnicas de controle que utilizam estrat?gias n?o lineares combinadas com algoritmos da intelig?ncia artificial, tem sido poss?vel em diversas ?rea da engenharia o controle eficaz de sistemas n?o lineares, mesmo na presen?a de elevado grau de incertezas. A l?gica difusa (fuzzy) se destaca dentre as t?cnicas de intelig?ncia artificial tanto pela facilidade de sua implementa??o quanto pela semelhan?a entre o seu processo de infer?ncia e o racioc?nio humano. Outra vantagem reside no fato da l?gica difusa n?o necessitar de conhecimento pr?vio do modelo do sistema, quando aplicada ao controle de sistemas din?micos. No que tange ?s estrat?gias de controle n?o linear, a principal limita??o da t?cnica de lineariza??o por realimenta??o, por exemplo, est? na necessidade do conhecimento do modelo do sistema. Os sistemas eletro-hidr?ulicos, por sua vez, possuem modelo n?o linear de dif?cil controle pelas t?cnicas tradicionais e s?o utilizados em diversas ?reas da engenharia, como por exemplo nos setores industrial e aeroespacial. Desta forma, mostra-se extremamente importante que seu controle seja realizado de maneira eficiente, tanto por quest?es de economia quanto de seguran?a. Partindo das dificuldades apresentadas ao tentar controlar esse tipo de sistema, s?o apresentadas propostas de utiliza??o da t?cnica de controle de lineariza??o por realimenta??o em conjunto com a l?gica difusa para compensar a n?o linearidade de zona morta e demais incertezas inerentes a este tipo de sistema. Para avaliar o desempenho das estrat?gias de controle propostas s?o realizadas simula??es num?ricas utilizando um modelo n?o linear simplificado desse sistema e tamb?m s?o desenvolvidos testes experimentais em um atuador eletro-hidr?ulico de bancada.
68

A formally founded framework for dynamic software architectures / Um framework formal para arquiteturas de software din?micas

Cavalcante, Everton Ranielly de Sousa 10 June 2016 (has links)
Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2017-08-14T11:29:03Z No. of bitstreams: 1 EvertonRaniellyDeSousaCavalcante_TESE.pdf: 7986753 bytes, checksum: c7cc344a4f7c9cbaa61e56bb4d270735 (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2017-08-14T11:41:59Z (GMT) No. of bitstreams: 1 EvertonRaniellyDeSousaCavalcante_TESE.pdf: 7986753 bytes, checksum: c7cc344a4f7c9cbaa61e56bb4d270735 (MD5) / Made available in DSpace on 2017-08-14T11:42:00Z (GMT). No. of bitstreams: 1 EvertonRaniellyDeSousaCavalcante_TESE.pdf: 7986753 bytes, checksum: c7cc344a4f7c9cbaa61e56bb4d270735 (MD5) Previous issue date: 2016-06-10 / Conselho Nacional de Desenvolvimento Cient?fico e Tecnol?gico (CNPq) / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior (CAPES) / Arquiteturas de software exercem um papel significativo no desenvolvimento de sistemas intensivos de software a fim de permitir satisfazer tanto requisitos funcionais quanto n?ofuncionais. Em particular, arquiteturas de software din?micas t?m surgido para endere?ar caracter?sticas dos sistemas contempor?neos que operam em ambientes din?micos e consequentemente sujeitos a mudan?as em tempo de execu??o. Linguagens de descri??o arquitetural (ADLs) s?o utilizadas para representar arquiteturas de software, produzindo modelos que podem ser utilizados tanto em tempo de projeto quanto em tempo de execu??o. Contudo, a maioria das ADLs existentes possui limita??es em diversos aspectos: (i) possui enfoque em aspectos estruturais, topol?gicos da arquitetura; (ii) n?o prov? um suporte adequado ? representa??o de aspectos comportamentais da arquitetura; (iii) n?o permite descrever aspectos avan?ados relativos ? din?mica da arquitetura; (iv) ? limitada com rela??o ? verifica??o de propriedades arquiteturais e restri??es, e; (v) ? desconectada do n?vel de implementa??o, resultando em inconsist?ncias entre arquitetura e implementa??o. No intuito de endere?ar esses problemas, esta tese prop?e um framework formal para arquiteturas de software din?micas. Tal framework envolve: (i) ?-ADL, uma linguagem formal para descrever arquiteturas de software sob as perspectivas estrutural e comportamental; (ii) a especifica??o de opera??es de reconfigura??o din?mica programada; (iii) a gera??o autom?tica de c?digo fonte a partir de descri??es arquiteturais, e; (iv) uma abordagem baseada em verifica??o estat?stica (SMC) para expressar e verificar formalmente propriedades em arquiteturas de software din?micas. As principais contribui??es trazidas pelo framework proposto s?o quatro. Primeiro, a linguagem ?-ADL passou a ser dotada de primitivas de n?vel arquitetural para descrever reconfigura??es din?micas programadas. Segundo, descri??es arquiteturais em ?-ADL s?o traduzidas para c?digo fonte de implementa??o na linguagem de programa??o Go, contribuindo assim para minimizar desvios arquiteturais. Terceiro, uma nova l?gica chamada DynBLTL ? utilizada para expressar formalmente propriedades em arquiteturas de software din?micas. Quarto, um ferramental baseado em SMC foi constru?do para automatizar verifica??o de propriedades arquiteturais enquanto busca reduzir esfor?o, recursos computacionais e tempo para realizar essa tarefa. Neste trabalho, dois sistemas baseados em redes de sensores sem fio s?o utilizados para validar os elementos do framework. / Software architectures play a significant role in the development of software-intensive systems in order to allow satisfying both functional and non-functional requirements. In particular, dynamic software architectures have emerged to address characteristics of the contemporary systems that operate on dynamic environments and consequently subjected to changes at runtime. Architecture description languages (ADLs) are used to represent software architectures, producing models that can be used at design time and/or runtime. However, most existing ADLs have limitations in several facets: (i) they are focused on structural, topological aspects of the architecture; (ii) they do not provide an adequate support for representing behavioral aspects of the architecture; (iii) they do not allow describing advanced aspects regarding the dynamics of the architecture; (iv) they are limited with respect to the automated verification of architectural properties and constraints; and (v) they are disconnected from the implementation level, thus entailing inconsistencies between architecture and implementation. In order to tackle these problems, this thesis proposes formally founded framework for dynamic software architectures. Such a framework comprises: (i) ?-ADL, a formal language for describing software architectures under both structural and behavioral viewpoints; (ii) the specification of programmed dynamic reconfiguration operations; (iii) the automated generation of source code from architecture descriptions; and (iv) an approach based on statistical model checking (SMC) to formally express and verify properties in dynamic software architectures. The main contributions brought by the proposed framework are fourfold. First, the ?-ADL language was endowed with architectural-level primitives for describing programmed dynamic reconfigurations. Second, architecture descriptions in ?- ADL are translated towards implementation source code in the Go programming language, thereby contributing to minimize architectural drifts. Third, a novel logic, called DynBLTL, is used to formally express properties in dynamic software architectures. Fourth, a toolchain relying on SMC was built to automate the verification of architectural properties while striving to reduce effort, computational resources, and time for performing such a task. In this work, two wireless sensor network-based systems are used to validate the framework elements.
69

Proposta para classifica??o do n?vel de efici?ncia energ?tica individual / Proposal for classification of individual energy efficiency level

Paim Neto, Jos? Roberto 03 February 2015 (has links)
Made available in DSpace on 2016-04-04T18:31:45Z (GMT). No. of bitstreams: 1 Jose Roberto Paim Neto.pdf: 12512704 bytes, checksum: 6bcf82095a1d2623487ef1d1c987b7f0 (MD5) Previous issue date: 2015-02-03 / The Brazilian electric sector has already presented signs of exhaustion that culminated in power rationing. It is estimated that the Brazilian population shows an increase by 2050 about 50%, so the generation and distribution of more energy becomes a concern. There is a great evolution on the process of evaluating equipment and buildings for their energy efficiency, however it is known that human behavior and consumer habits have huge influence on the energy efficiency of a building. Energy efficiency provided by the deployment of smart grids, suggests an intelligent and efficient city, which depend more and more on human behavior to improve the rational use of electricity. This paper presents a proposal for classification of individual energy efficiency, based on the Brazilian Labeling Program, the research of equipment possession and usage habits in the residential class, held by Eletrobras, and the application of fuzzy logic. / O setor el?trico brasileiro j? apresentou sinais de esgotamento que culminaram em racionamento de energia. Estima-se que popula??o brasileira apresente um crescimento at? 2050 de cerca de 50%, dessa forma a gera??o e a distribui??o de mais energia el?trica torna-se uma preocupa??o. Verifica-se um grande avan?o na avalia??o de equipamentos e constru??es quanto ? sua efici?ncia energ?tica, entretanto sabe-se que o comportamento humano e os h?bitos de consumo t?m grande influ?ncia no resultado final da efici?ncia energ?tica de uma edifica??o. A efici?ncia energ?tica proporcionada pela implanta??o das redes inteligentes, sugere uma cidade inteligente e eficiente, a qual depender? cada vez mais do comportamento do ser humano para melhorar o uso racional da energia el?trica. Este trabalho apresenta uma proposta de classifica??o da efici?ncia energ?tica individual, tendo como base o Programa Brasileiro de etiquetagem, a pesquisa de posse de equipamentos e h?bitos de uso na classe residencial, realizada pela Eletrobras, e a aplica??o da l?gica nebulosa.
70

Tramas da (ir)racionalidade contempor?nea para a composi??o do mito-tecno-l?gico

Pires, Jo?o Maria 06 August 2004 (has links)
Made available in DSpace on 2014-12-17T14:35:45Z (GMT). No. of bitstreams: 1 JoaoMP.pdf: 572426 bytes, checksum: 3eb2abb81c860d59d686cd34cb63726a (MD5) Previous issue date: 2004-08-06 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior / The plot myth-techno-logic, contemporary, was developed starting from the dualism myth-reason. In this study, we deepened the alluded dualism taking as reference the historical contexts of the Renaissance and of the Enlightenment, emphasizing the discussion of the economical rationalization as conductive thread of the western development, in which we identified the game of the rational and of the irrational, for assure the superiority of the reason. In the context of that game, we analyzed the implications of the modernization, for the education, in function of the instrumental rationality, responsible for the environment of adaptation of the technological instruments to the scenery of the contemporary modernization. The new context is constituted by points of union and of ruptures among the technique, the science and the myth. Through our analysis, we noticed that the basic needs for the contemporary society were linked to the changes in the production means, for which the machine determine the rhythm of the work and the quality of the product. However, the changes in the productive processes promoted the appearance of the commercial marks that, as we see it, they represented the synthesis of the perfect harmony of the myth, of the technique, of the science and of the technology, in the conduction of the economical rationalization to the contemporary modernization. Thus, the contemporary modernization it arrives us for the economical rationalization, developed with the support of the technician-scientific knowledge and communicated by the articulations of the myth-techno-logical / A trama mito-tecno-l?gica, contempor?nea, foi desenvolvida a partir da dicotomia mito-raz?o. Neste estudo, aprofundamos a referida dicotomia tomando como refer?ncia os contextos hist?ricos do Renascimento e do Iluminismo, ressaltando a discuss?o da racionaliza??o econ?mica como fio condutor do desenvolvimento ocidental, no qual identificamos o jogo do racional e do irracional, para assegurar a superioridade da raz?o. No contexto desse jogo, analisamos as implica??es da moderniza??o, para a educa??o, em fun??o da racionalidade instrumental, respons?vel pelo ambiente de adequa??o dos instrumentos tecnol?gicos ao cen?rio da moderniza??o contempor?nea. O novo contexto ? constitu?do por pontos de intersec??o e ruptura entre a t?cnica, a ci?ncia e o mito. Atrav?s da nossa an?lise, percebemos que as necessidades b?sicas para o conjunto da contemporaneidade encontravam-se vinculadas ?s mudan?as nas formas de produ??o, para o qual a m?quina passou a determinar o ritmo do trabalho e a qualidade do produto. Por sua vez, as mudan?as nos processos produtivos promoveram o surgimento das marcas comerciais que, no nosso modo de ver, representaram a s?ntese da perfeita harmonia do mito, da t?cnica, da ci?ncia e da tecnologia, na condu??o da racionaliza??o econ?mica at? ? moderniza??o contempor?nea. Desse modo, a moderniza??o contempor?nea nos chega pela racionaliza??o econ?mica, desenvolvida com o respaldo dos conhecimentos t?cnico-cient?ficos, e comunicada pelas articula??es do mito-tecno-l?gico

Page generated in 0.0658 seconds