Made available in DSpace on 2014-12-17T14:54:52Z (GMT). No. of bitstreams: 1 RaimundoSM.pdf: 1084567 bytes, checksum: b0c04a2886a533d2f22958c9fda16e38 (MD5) Previous issue date: 2009-06-09 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior / Due of industrial informatics several attempts have been done to develop notations and semantics, which are used for classifying and describing different kind of system behavior, particularly in the modeling phase. Such attempts provide the infrastructure to resolve some real problems of engineering and construct practical systems that aim at, mainly, to increase the productivity, quality, and security of the process. Despite the many studies that have attempted to develop friendly methods for industrial controller programming, they are still programmed by conventional trial-and-error methods and, in practice, there is little written documentation on these systems. The ideal solution would be to use a computational environment that allows industrial engineers to implement the system using high-level language and that follows international standards. Accordingly, this work proposes a methodology for plant and control modelling of the discrete event systems that include sequential, parallel and timed operations, using a formalism based on Statecharts, denominated Basic Statechart (BSC). The methodology also permits automatic procedures to validate and implement these systems. To validate our methodology, we presented two case studies with typical examples of the manufacturing sector. The first example shows a sequential control for a tagged machine, which is used to illustrated dependences between the devices of the plant. In the second example, we discuss more than one strategy for controlling a manufacturing cell. The model with no control has 72 states (distinct configurations) and, the model with sequential control generated 20 different states, but they only act in 8 distinct configurations. The model with parallel control generated 210 different states, but these 210 configurations act only in 26 distinct configurations, therefore, one strategy control less restrictive than previous. Lastly, we presented one example for highlight the modular characteristic of our methodology, which it is very important to maintenance of applications. In this example, the sensors for identifying pieces in the plant were removed. So, changes in the control model are needed to transmit the information of the input buffer sensor to the others positions of the cell / Com o advento da inform?tica industrial muitos esfor?os t?m sido realizados para o desenvolvimento de nota??es e sem?nticas usadas para classificar e descrever diferentes tipos de sistemas, sobretudo na fase de modelagem. Tais esfor?os fornecem a infraestrutura necess?ria para a solu??o de alguns problemas reais de engenharia e a constru??o de sistemas pr?ticos que visam, principalmente, o aumento da produtividade, qualidade e seguran?a de processos. Al?m disso, apesar de muitos estudos tentarem desenvolverm?todos amig?veis para programa??o de controladores l?gicos industriais, estes ainda s?o programados atrav?s de m?todos convencionais no estilo tentativa e erro e, na pr?tica, usualmente n?o existe documenta??o escrita para esses sistemas. A solu??o ideal para este problema seria usar um ambiente computacional que permita engenheiros industriais implementar o sistema usando linguagens de alto n?vel e que obede?am padr?es internacionais. Baseado nessa perspectiva, este trabalho descreve um procedimento sistem?tico para modelar a planta e o controle de sistemas com din?mica discreta que incluem opera??es sequenciais, paralelas e temporizadas, usando um formalismo baseado nos Statecharts, denominado Statecharts B?sicos (SCB). A metodologia tamb?m permite procedimentos autom?ticos de verifica??o e implementa??o desses sistemas. A valida??o da metodologia foi realizada por meio de estudos de casos com exemplos t?picos de aplica??es da ?rea de manufatura. O primeiro exemplo apresenta um controle sequencial para um etiquetador de pe?as e serve para ilustrar a depend?ncia entre os dispositivos da planta. O segundo exemplo discute mais de uma estrat?gia de controle para uma c?lula de manufatura. O modelo da c?lula usada nos exemplos possui 72 configura??es poss?veis e, com um controle sequencial, a planta ficou restrita a 8 configura??es, enquanto que com um controle paralelo, a planta atuou em 26 configura??es diferentes, sendo, portanto, um controle menos restritivo. Por fim, foi apresentado um exemplo para ressaltar a caracter?stica modular da nossa metodologia, que ? de suma import?ncia para a manutenibilidade de aplica??es. Neste exemplo, os sensores para identifica??o de pe?as presentes na planta da c?lula de manufatura foram removidos, gerando a necessidade de altera??es no modelo do controle para propagar as informa??es do sensor de entrada de pe?as para as outras posi??es da c?lula.

Made available in DSpace on 2014-12-17T14:56:03Z (GMT). No. of bitstreams: 1 DiogoPFP.pdf: 929475 bytes, checksum: cfb18a5bf43c92f6830aa123446e6f33 (MD5) Previous issue date: 2001-08-31 / The main task and one of the major mobile robotics problems is its navigation process. Conceptualy, this process means drive the robot from an initial position and orientation to a goal position and orientation, along an admissible path respecting the temporal and velocity constraints. This task must be accomplished by some subtasks like robot localization in the workspace, admissible path planning, trajectory generation and motion control. Moreover, autonomous wheeled mobile robots have kinematics constraints, also called nonholonomic constraints, that impose the robot can not move everywhere freely in its workspace, reducing the number of feasible paths between two distinct positions. This work mainly approaches the path planning and trajectory generation problems applied to wheeled mobile robots acting on a robot soccer environment. The major dificulty in this process is to find a smooth function that respects the imposed robot kinematic constraints. This work proposes a path generation strategy based on parametric polynomials of third degree for the 'x' and 'y' axis. The 'theta' orientation is derived from the 'y' and 'x' relations in such a way that the generated path respects the kinematic constraint. To execute the trajectory, this work also shows a simple control strategy acting on the robot linear and angular velocities / Um dos maiores problemas em rob?tica m?vel diz respeito ? sua navega??o. Conceitualmente, o ato de navegar em rob?tica consiste em guiar um rob? em um espa?o de trabalho durante um determinado intervalo de tempo, por um caminho que possa ser percorrido e que leve o rob? de uma posi??o e orienta??o iniciais para uma posi??o e orienta??o finais. Esta ? a principal tarefa que um rob? m?vel deve executar. Ela implica em subproblemas que s?o a localiza??o do rob? no espa?o de trabalho, o planejamento de um caminho admiss?vel, a gera??o de uma trajet?ria e, por fim, a sua execu??o. Al?m disso, rob?s m?veis aut?nomos com rodas possuem restri??es cinem?ticas, chamadas tamb?m de restri??es n?o-holon?micas, que fazem com que o rob? n?o possa se mover livremente em seu espa?o de trabalho, limitando a quantidade de caminhos admiss?veis entre duas posi??es distintas. Este trabalho aborda principalmente os subproblemas do planejamento de caminho e gera??o de trajet?ria aplicado a minirrob?s m?veis com rodas que atuam em um projeto de futebol de rob?s. O maior desafio para a navega??o destes ve?culos ? determinar uma fun??o cont?nua que respeite suas restri??es cinem?ticas e evolua no tempo segundo as restri??es impostas pelo problema quanto ? posi??o e orienta??o iniciais e finais e quanto ? velocidade do movimento. Prop?e-se uma estrat?gia de gera??o de caminho baseada em polin?mios param?tricos de terceiro grau em 'x' e 'y'. A orienta??o 'theta' do minirrob? ? obtida da rela??o entre 'y' e 'x' de modo que os caminhos gerados respeitem a restri??o cinem?tica imposta. Para que a trajet?ria seja executada e os resultados experimentais validados ? apresentada uma estrat?gia simples de controle que atua sobre as velocidades linear e angular desenvolvidas pelo rob? m?vel

Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2017-03-21T00:42:43Z No. of bitstreams: 1 DiegoDeyvidDantasDeMedeiros_DISSERT.pdf: 4782158 bytes, checksum: be79da038af407e962d4d79b658f60aa (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2017-03-27T21:02:24Z (GMT) No. of bitstreams: 1 DiegoDeyvidDantasDeMedeiros_DISSERT.pdf: 4782158 bytes, checksum: be79da038af407e962d4d79b658f60aa (MD5) / Made available in DSpace on 2017-03-27T21:02:24Z (GMT). No. of bitstreams: 1 DiegoDeyvidDantasDeMedeiros_DISSERT.pdf: 4782158 bytes, checksum: be79da038af407e962d4d79b658f60aa (MD5) Previous issue date: 2017-01-05 / Atualmente, com o crescente incentivo ? utiliza??o de fontes alternativas e renov?veis de energia, aumentou-se a quantidade de geradores conectados ?s redes de distribui??o de energia el?trica. Dentre os quais est?o, por exemplo, os parques e?licos, sistemas de energia solar fotovoltaica e sistemas de cogera??o formando a chamada Gera??o Distribu?da. Diante deste panorama mundial, torna-se iminente a necessidade de desenvolvimento de novas tecnologias e programas computacionais que possibilitem a otimiza??o das conex?es de geradores no sistema el?trico. Isto deve ser realizado de forma que, dentre outras vantagens, as estrat?gias de controle sejam aperfei?oadas e a efici?ncia, aumentada. Este trabalho apresenta a cria??o do software Optimal-GeDist, desenvolvido para auxiliar no planejamento de redes de distribui??o de energia el?trica em m?dia tens?o. Basicamente, esta ferramenta computacional calcula inje??o ?tima de pot?ncia da gera??o distribu?da nas barras da rede, al?m de determinar os melhores pontos de conex?o de cargas de m?dio e grande porte que pretendam se conectar ao sistema, como, por exemplo, ind?strias e postos de carregamento de ve?culos el?tricos. Por se tratar de um problema no qual o espa?o de busca ? amplo e com a possibilidade de m?nimos locais, optou-se em utilizar o Algoritmo Gen?tico como ferramenta de otimiza??o, mais adequado para este tipo de problema. Atrav?s da sua aplica??o, pode-se encontrar o ponto ?timo de opera??o da rede de modo a otimizar as perdas t?cnicas do sistema. Para a simula??o do sistema, optou-se pelo m?todo de fluxo de carga Soma de Pot?ncias, desenvolvido para sistemas radias de m?dia tens?o e apresentando uma converg?ncia r?pida e precisa. / Currently, with the increasing of incentive to use alternative and renewable energy sources, the number of generators connected to the electricity distribution networks has increased. Among them are, for example, wind farms, photovoltaic solar energy systems and cogeneration systems forming the so-called Distributed Generation. In view of this global panorama, it is imminent the need to develop new technologies and computer programs that allow the optimization of the connections of generators in the electrical system. This should be done in such a way that, among other advantages, control strategies are improved and efficiency increased. This work presents the creation of Optimal-GeDist software, developed to assist in the planning of electricity distribution networks in medium voltage. This computational tool calculates optimum power injection of the distributed generation in the network bars, in addition to determining the best connection points of future loads that wish to connect to the system. Because it is a problem, in which search space is large and with the possibility of local minimums, it was decided to use the Genetic Algorithm as an optimization tool, more suitable for this type of problem. Through its application, it is possible to find the optimal point of operation of the network in order to optimize the technical losses of the system. For the simulation of the system, it?s opted for the Power Sum load flow method, developed for medium voltage radial systems and presenting a fast and accurate convergence.

Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2017-04-03T19:47:15Z No. of bitstreams: 1 MonicaMariaLeal_DISSERT.pdf: 2155852 bytes, checksum: a4bb5637a35beb7a7479b8533dee8dd8 (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2017-04-06T20:06:37Z (GMT) No. of bitstreams: 1 MonicaMariaLeal_DISSERT.pdf: 2155852 bytes, checksum: a4bb5637a35beb7a7479b8533dee8dd8 (MD5) / Made available in DSpace on 2017-04-06T20:06:37Z (GMT). No. of bitstreams: 1 MonicaMariaLeal_DISSERT.pdf: 2155852 bytes, checksum: a4bb5637a35beb7a7479b8533dee8dd8 (MD5) Previous issue date: 2017-01-23 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior (CAPES) / Tradicionalmente, a principal prote??o utilizada nos sistemas el?tricos de pot?ncia ? n?vel de distribui??o ? a prote??o de sobrecorrente, devido sua simplicidade e baixo custo. No entanto, com a recente inser??o de geradores distribu?dos no sistema, o sentido do fluxo de pot?ncia pode ser variado de acordo com o local de ocorr?ncia da falta, sendo insuficiente, para algumas aplica??es, avalia??o apenas das amplitudes das correntes de falta. Ent?o, um m?dulo direcional pode ser adicionado para fornecer informa??o do sentido de ocorr?ncia da falta, se ? frente ou reversa ao ponto de medi??o das correntes e tens?es. Portanto, prop?e-se nesta disserta??o de mestrado a reconstru??o das unidades de sobrecorrente direcional de fase, de sequ?ncia positiva, negativa e zero baseadas na transformada wavelet discreta redundante, com a qual ? poss?vel recriar as unidades de sobrecorrente cl?ssicas por meio das energias dos coeficientes escala das correntes e as unidades direcionais cl?ssicas por meio dos coeficientes escala das tens?es e correntes, o que otimiza a prote??o pois n?o conta com alguns inconvenientes provenientes da transformada de Fourier discreta. Para avalia??o do m?todo proposto, foi utilizando o sistema de 30 barras do IEEE com gera??o distribu?da, assim como, o sistema de 230 kV do IEEE ? par?metros distribu?dos. / Traditionally, the primary protection used in low voltage power systems, as distribution systems, is the overcurrent protection due to its simplicity and low cost. However, in these recent years, the number of distributed generation connected to the system has been growing, which changes the complexity of the system and require a directional module to complement the diagnostic about the fault, providing information whether the fault is forward or reverse according to a reference point. Therefore, in this work is proposed a directional overcurrent protection module based on the stationary discrete wavelet transform. This tool could recreate the standard directional overcurrent protection using just currents and voltages scaling coefficients (low frequency), and the overcurrent protection is recreated by using currents scaling coefficients energy, which overcomes some drawbacks by using discrete Fourier transform. The proposed method was evaluated on the IEEE 30 bus model with distributed generator and the IEEE 230 kV systems analysis with distributed parameters.

Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2017-08-01T15:43:01Z No. of bitstreams: 1 RafaelCardosoPereira_DISSERT.pdf: 1817897 bytes, checksum: 903100b393275d014c5095608b4e8e81 (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2017-08-09T13:54:55Z (GMT) No. of bitstreams: 1 RafaelCardosoPereira_DISSERT.pdf: 1817897 bytes, checksum: 903100b393275d014c5095608b4e8e81 (MD5) / Made available in DSpace on 2017-08-09T13:54:55Z (GMT). No. of bitstreams: 1 RafaelCardosoPereira_DISSERT.pdf: 1817897 bytes, checksum: 903100b393275d014c5095608b4e8e81 (MD5) Previous issue date: 2017-06-21 / A habilidade de seguir ou de se mover acompanhando uma pessoa ou um objeto especificado, capaz de se deslocar, ? uma per?cia necess?ria em diversos agentes aut?nomos. Tais agentes s?o amplamente utilizados para realizar v?rias tarefas presentes no cotidiano, podendo ser aplicados tanto em tarefas corriqueiras, como em carrinhos de supermercado ou limpeza de ambientes, quanto ?s tarefas de mais alto risco, como em grandes ind?strias ou carros aut?nomos. A ideia apresentada aqui ? a de desenvolver um m?todo de rastreamento e persegui??o de alvo aplic?vel ? rob?s m?veis terrestres com rodas que possuem restri??es em sua movimenta??o, que fazem com que t?cnicas de controle padr?o nem sempre possam ser aplicadas. O trabalho desenvolvido aqui tamb?m leva em considera??o a utiliza??o de uma t?cnica de detec??o de alvo que possa se tornar adapt?vel a praticamente qualquer tipo de alvo estipulado pelo projetista de acordo com as necessidades de sua aplica??o. O desenvolvimento dos m?todos propostos foram realizados agregando t?cnicas de reconhecimento de padr?es utilizados em c?meras de padr?o RGB comuns, t?cnicas de estimativa de posi??o e orienta??o e algoritmos de controle inteligentes, que possuem baixo custo computacional, aplic?veis a rob?s com restri??es de movimenta??o. / The ability to follow or move along with a specified moving person or object, is a necessary skill in several autonomous agents. Such agents are widely used to perform various tasks in everyday life, and they can be applied either in everyday tasks, such as in supermarket carts or cleaning environments, as well in high-risk tasks like large industries or autonomous cars. The idea presented here is to develop a target tracking and following method applicable to mobile wheeled land robots that have restrictions on their movement, which means that standard control techniques cannot always be applied. The work developed here also takes into account the use of a target detection technique that can be adapted to practically any type of target stipulated by the designer according to the needs of its application. The development of the proposed methods is accomplished by adding standard recognition techniques used in common RGB type cameras, position estimation and orientation techniques, and intelligent control algorithms, with a low computational cost, applicable to robots with movement restrictions.

Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2017-10-02T23:37:04Z No. of bitstreams: 1 EvandroAilsonDeFreitasNunes_DISSERT.pdf: 2832434 bytes, checksum: fbd09520d8dfca43784e60b088545e00 (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2017-10-07T00:23:58Z (GMT) No. of bitstreams: 1 EvandroAilsonDeFreitasNunes_DISSERT.pdf: 2832434 bytes, checksum: fbd09520d8dfca43784e60b088545e00 (MD5) / Made available in DSpace on 2017-10-07T00:23:58Z (GMT). No. of bitstreams: 1 EvandroAilsonDeFreitasNunes_DISSERT.pdf: 2832434 bytes, checksum: fbd09520d8dfca43784e60b088545e00 (MD5) Previous issue date: 2017-06-30 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior (CAPES) / Atualmente, os incentivos ? gera??o de energia el?trica a partir da fontes consideradas limpas v?m aumentando consideravelmente devido ? escassez dos combust?veis f?sseis, at? ent?o utilizados em abund?ncia. Em paralelo, unidades de gera??o distribu?da que utilizam fontes renov?veis tamb?m ganha for?a com a diminui??o dos impostos aplicados sobre os componentes constituintes dos sistemas de gera??o que utilizam este tipo de fonte de energia. No entanto, a qualidade da energia el?trica tem sido severamente afetada pelo aumento do n?mero desses sistemas ligados ?s redes de distribui??o de baixa tens?o. Com base nisso, nesta disserta??o s?o avaliados os impactos na rede de distribui??o de energia el?trica decorrentes da conex?o de instala??es fotovoltaicas, em v?rios n?veis de penetra??o. Nesse intuito, ? realizado um estudo de caso que consiste em operar uma planta fotovoltaica de 9 kWp conectada ao ponto de acoplamento comum de uma subesta??o com pot?ncia nominal de 15 kVA. O sistema fotovoltaico utilizado, se divide em: i) sistema trif?sico fixo de 8 kWp e ii) sistema monof?sico fixo de 1 kWp. A avalia??o ? feita com base nos indicadores da qualidade da energia el?trica, que indicam as caracter?sticas de pot?ncia, harm?nicos de tens?o e corrente, desequil?brios entre fases do sistema e regula??o do fator de pot?ncia. A partir da an?lise desses indicadores, obtidos com aux?lio da transformada discreta de Fourier, ? realizada uma an?lise do impacto gerado pela planta fotovoltaica no ponto de conex?o com a rede el?trica. Por meio de resultados experimentais, os indicadores s?o estimados durante a opera??o do sistema fotovoltaico e s?o analisados e comparados com o padr?o internacional estabelecido pelo IEEE (do ingl?s, Institute of Electrical and Electronics Engineers). / Currently, incentives for clean energy generation have been increasing considerably due to the limitation of fossil fuels, until then used in abundance. In parallel, distributed generations increase with the reduction of the taxes of the embedded components of the renewable energy sources. However, the power quality (PQ) has been severely affected by the increasing number of these types of energy sources connected to low voltage distribution networks. In this dissertation, the impact on the utility grid will be evaluated under varying levels of a photovoltaic system penetration. A 9 kWp photovoltaic plant, composed of three system topologies connected to a 15 kVA substation common coupling point, will be carried out: a 8 kWp three-phase fixed topology and a 1 kWp fixed single phase. These photovoltaic systems are power electronics based devices, such as inverters constructed from semiconductor switches, which, due to their construction and operation, affect the waveform of the electrical voltage and current, deteriorating the PQ. From the analysis of PQ indices, obtained by means of discrete Fourier transform, for power characteristics, voltage and current harmonics, imbalanced levels among system phases and power factor regulation, an analysis of the impact generated by the photovoltaic plant at its point of connection with the utility grid will be performed. The indices will be analyzed and compared to the standards established by the Institute of Electrical and Electronics Engineers (IEEE) in order to evaluate the impact caused by the connection of the photovoltaic system at the PCC.

Landtags-Abgeordnete sind Berufs-Politiker auf Zeit – so wollen es die Spielregeln unserer Demokratie. Wer ein Landtags-Mandat erringt, engagiert sich befristet im Auftrag seiner Wähler für das Allgemeinwohl. Das nächste Wahl-Ergebnis und vor allem der innerparteilich festgelegte Platz auf der Landesliste der eigenen Fraktion entscheiden stets aufs Neue über die berufspolitische Zukunft jedes einzelnen Abgeordneten. In diesem Buch kommen bekannte und weniger bekannte Politiker aller politischen Lager in Thüringen zu Wort, die die Gründerjahre im Freistaat seit Wiedererstehen des Landes mitgeprägt haben. Mit ihren vielfältigen und oft sehr detailreichen Erinnerungen rufen sie die höchst ereignisreiche Zeit seit Oktober 1990 wach. Wie lebt es sich als „Interessen-Vertreter auf Abruf“? Welche persönlichen Erfahrungen vermittelte das Abgeordneten-Dasein – noch dazu in den Jahren umfangreichster Veränderungen seit 1990? Und wie sieht das Leben nach dem oft unfreiwilligen Abschied aus der Berufs-Politik aus? Holger Zürch hat darüber mit einstigen Abgeordneten und Ministern gesprochen, die zwischen 1990 und 2004 dem Thüringer Landtag angehörten. Sie haben die weitreichenden politischen, wirtschaftlichen und sozialen Umgestaltungen der drei DDR-Bezirke Erfurt, Gera und Suhl zum Wiedererstehen des heutigen Freistaats Thüringen gestaltet. Von Holger Zürch im April 2013 für Qucosa.de bearbeitete, gekürzte Version der Original-Ausgabe. Das Buch erschien 2006 im Engelsdorfer Verlag Leipzig (ISBN-10: 3939404012 - ISBN-13: 9783939404019).:Intro 15 Jahre Thüringer Landtag – eine erste zeitgeschichtliche Bilanz Podiums-Diskussion vom Februar 2005 zum Thema „15 Jahre Thüringer Landtag“ Dr. Jürgen Bohn (FDP): „Ich frage mich, welche Botschaft heute von Thüringen ausgeht“ Josef Duchač (CDU) : „Ich hatte immer schon eine ganz satte Portion Ehrgeiz“ Siegfried Geißler (Neues Forum): „Wer sich nicht engagiert, hat auch kein Recht zu schimpfen“ Christine Grabe (Grüne): „Kungeln ist nicht meine Vorstellung von Politik“ Edda Heymel (SPD): „Ich habe mich ständig beobachtet gefühlt“ Klaus Höpcke (PDS): „Entweder es geht demokratisch – oder es geht nicht“ Johanna Köhler (CDU): „Bürgernähe war für mich oberstes Gebot“ Klaus Mehle (SPD): „Das Problem ist, dass Politiker den Leuten zum Maule reden“ Dr. Gottfried Müller (CDU): „Ich kann sagen, ich habe mich bemüht – und einiges ist auch gelungen“ Christiane Neudert (PDS): „Vieles im Parlament ist Selbst-Beschäftigung“ Winfried Neumann (CDU): „Immer das Gefühl, auf einem Schleudersitz zu sitzen“ Dr. Gerd Schuchardt (SPD): „Schwierige Entscheidung für die Politik anstelle von Wirtschaft oder Forschung“ Hartmut Sieckmann (FDP): „In der Politik ist jeder Tag Kampf – auch in der eigenen Partei“ Helmut Rieth (SPD): „Bei Wahlen, vor Gericht und auf hoher See sind wir in Gottes Hand“ Gerhard Wien (Demokratie Jetzt): „Wir haben uns sehr angestrengt, die politische Kultur zu bereichern“ Der Eklat auf der Wartburg- Ein kurzer Rückblick auf die Verabschiedung der Thüringer Verfassung Nachlese: „Zwischenrufe sind das Salz in der parlamentarischen Suppe“ Outro / Dank Über den Autor und Fotografen

Submitted by SBI Biblioteca Digital (sbi.bibliotecadigital@puc-campinas.edu.br) on 2017-08-09T17:49:34Z No. of bitstreams: 1 RICARDO DANTAS DEMATTE.pdf: 2862053 bytes, checksum: b9419efebad5f62cec88e8d25dde8f3d (MD5) / Made available in DSpace on 2017-08-09T17:49:34Z (GMT). No. of bitstreams: 1 RICARDO DANTAS DEMATTE.pdf: 2862053 bytes, checksum: b9419efebad5f62cec88e8d25dde8f3d (MD5) Previous issue date: 2017-06-28 / Nowadays, one of the main challenges in the world is the generation of electricity in a sustainable and renewable way, aiming to gradually reduce the generation based on fuels that cause a high environmental impact such as coal, oil, and nuclear energy. The emission and accumulation of CO2 in the atmosphere and the consequent global warming has convinced public opinion that the use of low environmental impact technologies should play a prominent role in energy production. Distributed generation using renewable sources presents itself as a worldwide trend to meet part of the demand for electricity. In this way, this work proposes a multicriteria evaluation of the main sources of energy used in the Brazilian electrical system, from the economic, technical and socio-environmental point of view. In this sense, it is also an evaluation of the impacts of the insertion of the distributed generation into the Brazilian electricity distribution network. / Um dos principais desafios encontrados no mundo atualmente ? a gera??o de energia el?trica de forma sustent?vel e renov?vel, visando diminuir gradativamente a gera??o baseada em combust?veis que causam um grande impacto ambiental como o carv?o, petr?leo e energia nuclear. A emiss?o e acumula??o de CO2 na atmosfera e o consequente aquecimento global tem convencido a opini?o p?blica que o uso de fontes de energia de baixo impacto ambiental devem ocupar papel de destaque na produ??o de energia. A gera??o distribu?da utilizando fontes renov?veis apresenta-se como uma tend?ncia mundial para atender parte da demanda por energia el?trica. Desta forma, este trabalho prop?e uma avalia??o multicrit?rio das principais fontes de energia utilizadas no sistema el?trico brasileiro, sob o ponto de vista econ?mico, t?cnico e socioambiental. Neste sentido, tamb?m ? foi realizada uma avalia??o dos impactos da inser??o da gera??o distribu?da na rede de distribui??o de energia el?trica brasileiro.

Made available in DSpace on 2014-12-17T15:46:59Z (GMT). No. of bitstreams: 1 BrunoEGG_TESE.pdf: 2215931 bytes, checksum: 5d86c012a04f884e6dec73c92c1d88ef (MD5) Previous issue date: 2012-06-01 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior / Smart card applications represent a growing market. Usually this kind of application manipulate and store critical information that requires some level of security, such as financial or confidential information. The quality and trustworthiness of smart card software can be improved through a rigorous development process that embraces formal techniques of software engineering. In this work we propose the BSmart method, a specialization of the B formal method dedicated to the development of smart card Java Card applications. The method describes how a Java Card application can be generated from a B refinement process of its formal abstract specification. The development is supported by a set of tools, which automates the generation of some required refinements and the translation to Java Card client (host) and server (applet) applications. With respect to verification, the method development process was formalized and verified in the B method, using the Atelier B tool [Cle12a]. We emphasize that the Java Card application is translated from the last stage of refinement, named implementation. This translation process was specified in ASF+SDF [BKV08], describing the grammar of both languages (SDF) and the code transformations through rewrite rules (ASF). This specification was an important support during the translator development and contributes to the tool documentation. We also emphasize the KitSmart library [Dut06, San12], an essential component of BSmart, containing models of all 93 classes/interfaces of Java Card API 2:2:2, of Java/Java Card data types and machines that can be useful for the specifier, but are not part of the standard Java Card library. In other to validate the method, its tool support and the KitSmart, we developed an electronic passport application following the BSmart method. We believe that the results reached in this work contribute to Java Card development, allowing the generation of complete (client and server components), and less subject to errors, Java Card applications. / As aplica??es para smart cards representam um mercado que cresce a cada ano. Normalmente, essas aplica??es manipulam e armazenam informa??es que requerem garantias de seguran?a, tais como valores monet?rios ou informa??es confidenciais. A qualidade e a seguran?a do software para cart?es inteligentes pode ser aprimorada atrav?s de um processo de desenvolvimento rigoroso que empregue t?cnicas formais da engenharia de software. Neste trabalho propomos o m?todo BSmart, uma especializa??o do m?todo formal B dedicada ao desenvolvimento de aplica??es para smart cards na linguagem Java Card. O m?todo descreve, em um conjunto de etapas, como uma aplica??o smart card pode ser gerada a partir de refinamentos em sua especifica??o formal. O desenvolvimento ? suportado por um conjunto de ferramentas, automatizando a gera??o de parte dos refinamentos e a tradu??o para as aplica??es Java Card cliente (host) e servidora (applet). Ressalta-se que o processo de especifica??o e refinamento descrito no m?todo foi formalizado e verificado utilizando o pr?prio m?todo B, com o aux?lio da ferramenta Atelier B [Cle12a]. Destaca-se que a aplica??o Java Card ? traduzida a partir do ?ltimo passo de refinamento, denominado de implementa??o. A especifica??o dessa tradu??o foi feita na linguagem ASF+SDF [BKV08]. Inicialmente, descreveu-se as gram?ticas das linguagens B e Java (SDF) e, em uma etapa posterior, especificou-se as transforma??es de B para Java Card atrav?s de regras de reescrita de termos (ASF). Essa abordagem foi um importante aux?lio durante o processo de tradu??o, al?m de servir ao prop?sito de document?lo. Cumpre destacar a biblioteca KitSmart [Dut06, San12], componente essencial ao m?todo BSmart, que inclui modelos em B de todas as 93 classes/interfaces da API Java Card na vers?o 2:2:2, dos tipos de dados Java e Java Card e de m?quinas que podem ser ?teis ao especificador, mas que n?o est?o presentes na API padr?o. Tendo em vista validar o m?todo, seu conjunto de ferramentas e a biblioteca KitSmart, procedeu-se com o desenvolvimento, seguindo o m?todo BSmart, de uma aplica??o de passaporte eletr?nico. Os resultados alcan?ados neste trabalho contribuem para o desenvolvimento smart card, na medida em que possibilitam a gera??o de aplica??es Java Card completas (cliente e servidor) e menos sujeitas a falhas.

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