Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2016-12-15T18:17:06Z No. of bitstreams: 1 IsaacDeMacedoFelix_DISSERT.pdf: 16244301 bytes, checksum: 298e0141a76245a28ff867f88d1a8925 (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2016-12-20T21:18:19Z (GMT) No. of bitstreams: 1 IsaacDeMacedoFelix_DISSERT.pdf: 16244301 bytes, checksum: 298e0141a76245a28ff867f88d1a8925 (MD5) / Made available in DSpace on 2016-12-20T21:18:19Z (GMT). No. of bitstreams: 1 IsaacDeMacedoFelix_DISSERT.pdf: 16244301 bytes, checksum: 298e0141a76245a28ff867f88d1a8925 (MD5) Previous issue date: 2016-03-29 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior (CAPES) / A capacidade de manipular propriedades t?rmicas de super-redes pode ajudar na descoberta de materiais mais promissores para aplica??es na nanotecnologia. Por meio de simula??es de din?mica molecular de n?o-equil?brio, investigamos o transporte t?rmico em nanofitas BNC, revezando periodicamente quantidades equivalentes de grafeno e nitreto de boro ao longo do seu comprimento, nomeando de per?odo de rede o tamanho de cada par de dom?nio (grafeno-nitreto de boro). Este trabalho revela que a condutividade t?rmica nessa super-rede varia n?o-monotonicamente com o per?odos de rede, podendo dessa forma ser controlada de acordo com os dom?nios de grafeno e nitreto de boro. Isso possibilita identificar o per?odo de rede que fornece a menor condu??o de calor nessa super-rede. Nesse sentido, para nanofitas com per?odo de rede de 3,43 nm, registramos uma condutividade t?rmica de ~ 89 W/m?K. Este valor ? muito menor do que o encontrado para grafeno e nitreto de boro isolados. O transporte t?rmico em nanofitas BNC ? dominado por vibra??es na sua rede cristalina (f?nons). Associamos o comportamento n?o-monot?nico da condutividade t?rmica dessa super-rede com o transporte t?rmico de f?nons coerentes e incoerentes. Por meio da densidade de estados vibracionais (VDOS) e da dispers?o de f?nons, analisamos seu espectro vibracional. / The ability to manipulate thermal properties of superlattices can help in finding the most promising materials for applications in nanotechnology. Through nonequilibrium molecular dynamics simulations, we investigate the thermal transport in graphene-boron nitride nanoribbons (BNC nanoribbons), alternating periodically equivalent amounts of graphene and boron nitride along its length, by naming the size of each domain pair (graphene-boron nitride) a lattice period. This work shows that the thermal conductivity in BNC nanoribbons varies non-monotonically for different lattice periods, which can thus be controlled according to the domains of graphene and boron nitride. This allows the identification of a lattice period that provides the lowest heat conduction in these superlattices. Accordingly, for nanoribbons with lattice period 3; 43 nm, we find a thermal conductivity of 89 W=m K. This value is much lower than the value found for both graphene and boron nitride isolated. The thermal transport in BNC nanoribbons is dominated by vibrations in their crystal lattice (phonons). We associate this non-monotonic behavior of the thermal conductivity of this super-lattice with the thermal transport of coherent and incoherent phonons. Through the density of vibrational states (VDOS) and phonon dispersion we analyze its vibrational spectrum.

Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2017-01-12T13:24:40Z No. of bitstreams: 1 JoilsonVidalAbrantes_DISSERT.pdf: 2404682 bytes, checksum: d60333810463c26554d8e41bfe6683fb (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2017-01-16T15:05:25Z (GMT) No. of bitstreams: 1 JoilsonVidalAbrantes_DISSERT.pdf: 2404682 bytes, checksum: d60333810463c26554d8e41bfe6683fb (MD5) / Made available in DSpace on 2017-01-16T15:05:25Z (GMT). No. of bitstreams: 1 JoilsonVidalAbrantes_DISSERT.pdf: 2404682 bytes, checksum: d60333810463c26554d8e41bfe6683fb (MD5) Previous issue date: 2016-02-25 / A pol?tica de tratamento de exce??es de um sistema compreende o conjunto de regras de design que especificam o comportamento e tratamento das condi??es excepcionais, ou seja, define como as exce??es devem ser manuseadas e disparadas. Essa pol?tica geralmente n?o ? documentada e fica definida implicitamente pelo arquiteto do sistema. Por essa raz?o os desenvolvedores podem pensar que apenas inserindo blocos try-cach em todos locais onde exce??es podem potencialmente ser lan?adas est?o lidando adequadamente com as condi??es excepcionais de um sistema. Por?m este comportamento pode transformar o tratamento das condi??es excepcionais em uma generaliza??o do mecanismo "goto", tornando o programa mais complexo e menos confi?vel. Este trabalho prop?e uma linguagem espec?fica de dom?nio, chamada ECL (Exception Contract Language) para especificar a pol?tica de tratamento de exce??es e uma ferramenta de monitoramento em tempo de execu??o que verifica dinamicamente a pol?tica de tratamento de exce??es. Essa ferramenta ? chamada de DAEH (Dynamic Analysis of Exception Handling e ? implementada na forma de uma biblioteca de aspectos, que pode ser adicionada a uma aplica??o Java sem a necessidade de alterar o c?digo fonte da mesma. Esta abordagem foi aplicada a dois sistemas WEB, a quatro vers?es do framework JUnit e a uma aplicatica??o m?vel. Os resultados indicam que esta abordagem pode ser usada para expressar e automaticamente verificar a pol?tica de tratamento de exce??es de sistemas, e, consequentemente apoiar o desenvolvimento de sistemas Java mais robustos. / The exception handling policy of a system comprises the set of design rules that specify its exception handling behavior how exceptions should be handled and thrown. Such policy is usually undocumented and implicitly defined by the system architect. For that reason, the developers may think that by just sprinkling the with catch-blocks in all places where exceptions may potentially be released they are adequately dealing with the exceptional conditions of a system. This lack of information may turn the exception handling into a generalized "goto"mechanism making the program more complex and less reliable. This work proposes a domain - specific language called ECL (Exception Contract Language) to specify the exception handling policy and a runtime monitoring tool which dynamically checks thise policy. This tool is called DAEH (Dynamic Analysis Of Exception Handling). It is implemented in the form of an aspect library, which can added to any Java system without the need to change the application source code. We applied this approach to two large-scale WEB systems and to the a set of versions to the well-known JUnit framework and a mobile application. The results indicate that this approach can be used to express and automatically check the exception handling policy of a system, and consequently support the development of more robust Java systems and more robust.

Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2017-01-12T13:44:03Z No. of bitstreams: 1 PauloReniereSilvaDeSouza_DISSERT.pdf: 18420723 bytes, checksum: 0dee6d1653465093c4081165eec036ad (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2017-01-17T11:30:54Z (GMT) No. of bitstreams: 1 PauloReniereSilvaDeSouza_DISSERT.pdf: 18420723 bytes, checksum: 0dee6d1653465093c4081165eec036ad (MD5) / Made available in DSpace on 2017-01-17T11:30:54Z (GMT). No. of bitstreams: 1 PauloReniereSilvaDeSouza_DISSERT.pdf: 18420723 bytes, checksum: 0dee6d1653465093c4081165eec036ad (MD5) Previous issue date: 2016-07-22 / Conselho Nacional de Desenvolvimento Cient?fico e Tecnol?gico (CNPq) / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior (CAPES) / Dispers?es de complexos polieletrol?ticos (PEC) foram preparadas a partir de quitosana e poli(metacrilato de s?dio), atrav?s da mistura de suas solu??es, a diferentes raz?es molares carboxila/amino, rCA. O raio de giro foi determinado por SAXS e revelou que na medida que rCA aumentava as dimens?es das PEC?s decresciam, atingindo um m?nimo a rCA = 0.75, a qual foi considerada a raz?o na qual as dimens?es dos agregados eram m?nimas, sendo seguido de colapso e crescimento de part?culas maiores. Distribui??es de dist?ncia entre pares, P(r), tornaram-se mais estreitas at? rCA = 0.75, aumentando suas larguras a partir deste ponto. Par?metros relacionados ? relaxa??o, retirados de fun??es de correla??o de intensidade (ICF) de DLS identificaram tr?s processos principais de relaxa??o. O processo mais r?pido, relacionado a movimentos aleat?rios de mol?culas de polieletr?lito livres desapareceu, na medida em que rCA aumentou. Os outros dois processos de relaxa??o foram fun??es de rCA e apresentaram mudan?as caracter?sticas a rCA = 0.75. No mesmo valor de rCA, a energia de ativa??o para a taxa de relaxa??o m?dia indicou a ocorr?ncia de uma clara mudan?a na natureza das intera??es nas estruturas de PEC. O di?metro hidrodin?mico, determinado por DLS, foi muito maior que o raio de giro, determinado por SAXS. Part?culas de PEC podem ser descritas, consequentemente, como composta por um caro?o s?lido, rico em material segregado, insol?vel, envelopado por aglomerados sol?veis de PEC, possivelmente na forma de g?is altamente hidratados. / Polyelectrolyte complex (PEC) dispersions were prepared from chitosan and poly(sodium acrylate), NaPMA, by mixing their solutions., at different carboxyl to aminium molar ratio, rCA. Gyration radius was determined by SAXS and showed that, as rCA increased, PEC dimensions decreased and reached a minimum at rCA = 0.75, which was considered the ratio at which PEC cluster dimensions was minimum, following collapse and growth of larger particles. Pair distance distributions, P(r), became narrower up to rCA = 0.75, increasing its width from this point. Relaxation-related parameters from DLS intensity correlation functions (ICF) identified three main relaxation process. The fast process, related to free polyelectrolyte molecules random motion disappeared as rCA was increased. The other two relaxation process were a function of rCA and presented marked changes at rCA = 0.75. At the same value of rCA the energy of activation for the average relaxation rate showed the occurrence of a clear change in the nature of PEC-related interactions. As hydrodynamic diameter, determined by DLS was much larger than the gyration radius determined by SAXS, PEC particles could be described as being composed by a core, rich in segregated, insoluble material, enveloped by PEC soluble clusters, possibly in the form of water-rich gels.

Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2017-01-27T13:21:19Z No. of bitstreams: 1 EdimilsonFelixDaSilva_TESE.pdf: 76958676 bytes, checksum: 48fa4cef8b63db128264236f47e20de7 (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2017-01-31T13:07:02Z (GMT) No. of bitstreams: 1 EdimilsonFelixDaSilva_TESE.pdf: 76958676 bytes, checksum: 48fa4cef8b63db128264236f47e20de7 (MD5) / Made available in DSpace on 2017-01-31T13:07:02Z (GMT). No. of bitstreams: 1 EdimilsonFelixDaSilva_TESE.pdf: 76958676 bytes, checksum: 48fa4cef8b63db128264236f47e20de7 (MD5) Previous issue date: 2016-08-12 / O efeito magnetoimped?ncia corresponde a uma das mais vers?teis ferramentas para investigar materiais magn?ticos nanoestruturados, revelando suas propriedades magn?ticas em diferentes faixas de frequ?ncia e valores de campo magn?tico, mesmo em estados n?o saturados. Nas ?ltimas d?cadas, grande aten??o tem sido dada a este efeito n?o somente devido ? sua contribui??o para o entendimento da f?sica associada ? din?mica da magnetiza??o, mas ? possibilidade de aplica??o de materiais magn?ticos como elemento sensor para dispositivos de detec??o de baixos campos magn?ticos com r?pida resposta a campos magn?ticos alternados. Embora os materiais magn?ticos macios sejam altamente sens?veis a pequenas varia??es de baixos campos magn?ticos, muitos deles apresentam, essencialmente, um comportamento de magnetoimped?ncia n?o linear em campos magn?ticos pr?ximos a zero, dificultando uma deriva??o simples e direta de um sinal apropriado para aplica??es em sensores. Para melhorar as caracter?sticas lineares da resposta da magnetoimped?ncia, estudos t?m sido realizados em diferentes sistemas magn?ticos, incluindo fios, fitas amorfas e filmes na forma de multicamadas com {\it exchange bias}. Recentemente, foi verificado que materiais que exibem magnetoimped?ncia assim?trica, caracterizados por uma resposta linear pr?ximo a campo magn?tico zero, surgem como alternativa promissora para aplica??es, abrindo possibilidade para seu uso em sensores de campo magn?tico lineares autoinduzidos. Nestes materiais, os efeitos assim?tricos s?o obtidos atrav?s da indu??o de uma configura??o magn?tica est?tica assim?trica, geralmente feita por meio de intera??es magnetost?ticas, {\it exchange bias}, ou modificando a orienta??o entre o campo magn?tico externo e a anisotropia magn?tica. Neste trabalho, s?o investigadas propriedades estruturais, propriedades magn?ticas quase est?ticas e a din?mica da magnetiza??o em sistemas nanoestruturados, com ?nfase no efeito magnetoimped?ncia em filmes finos e multicamadas ferromagn?ticos bif?sicos, ou seja, com estrutura na forma NiFe/NM/Co, onde NM ? o espa?ador met?lico n?o magn?tico. Como resultados, estes filmes possuem comportamento magn?tico bif?sico e efeito magnetoimped?ncia assim?trico. Neste caso, verificou-se que a resposta da magnetoimped?ncia ? dependente da espessura do material espa?ador n?o magn?tico. Foi poss?vel ajustar a regi?o linear das curvas de magnetoimped?ncia assim?trica em torno do campo magn?tico zero atrav?s da varia??o de espessura do material espa?ador e da frequ?ncia da corrente de sonda, e otimizar a sensibilidade atrav?s da considera??o de filmes na forma de multicamadas. Os resultados de din?mica s?o discutidos em termos dos diferentes mecanismos que governam a din?mica da magnetiza??o em diferentes intervalos de frequ?ncia, propriedades magn?ticas quase est?ticas, espessura do espa?ador e tipo de intera??o magn?tica entre as camadas ferromagn?ticas. Assim, estes resultados colocam filmes com comportamento magn?tico bif?sico que exibem efeito magnetoimped?ncia assim?trico com candidatos promissores para aplica??es como elementos sensores no desenvolvimento de sensores de campo magn?tico autoinduzidos.

Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2017-03-27T17:40:38Z No. of bitstreams: 1 PaulaFabianePinheiroDoNascimento_DISSERT.pdf: 4732486 bytes, checksum: 94b023559d6c9cc5363ef32dad0d736e (MD5) / Approved for entry into archive by Monica Paiva (monicalpaiva@hotmail.com) on 2017-03-27T17:52:46Z (GMT) No. of bitstreams: 1 PaulaFabianePinheiroDoNascimento_DISSERT.pdf: 4732486 bytes, checksum: 94b023559d6c9cc5363ef32dad0d736e (MD5) / Made available in DSpace on 2017-03-27T17:52:46Z (GMT). No. of bitstreams: 1 PaulaFabianePinheiroDoNascimento_DISSERT.pdf: 4732486 bytes, checksum: 94b023559d6c9cc5363ef32dad0d736e (MD5) Previous issue date: 2015-07-24 / Tendo em vista o aquecimento global promovido pela emiss?o de CO2, h? grande necessidade de desenvolver pesquisas que elimine esse poluente, principalmente com novos materiais, em particular res?duos s?lidos, viabilizando economicamente o processo. O presente trabalho tem como objetivo agregar valor ao carv?o rico em ?xidos met?licos originado da pir?lise do lodo do esgoto dom?stico e da serragem da madeira, para aplica??o no processo de adsor??o de CO2. Tamb?m foi avaliada a capacidade de adsor??o de CO2 com a ze?lita 13X comercial funcionalizada com grupo amina. As atividades experimentais realizadas compreenderam a ativa??o qu?mica dos carv?es com KOH e f?sica (atmosfera de nitrog?nio), funcionaliza??o da ze?lita 13X com MEA, caracteriza??o das amostras pelas t?cnicas BET, DRX, FRX, MEV e TG. A avalia??o da capacidade adsortiva dos s?lidos, frente ? adsor??o do CO2, foi realizada atrav?s dos processos est?tico (com mistura de 4% de CO2 e 96% de g?s inerte) e din?mico, sendo este ?ltimo, com uma mistura sint?tica de CO2, CO, CH4, H2 e hidrocarbonetos. No processo est?tico (utilizando um microadsorvedor acoplado a uma balan?a de suspens?o magn?tica), realizado na temperatura de 25?C e press?es de 0,5 a 5,0 bar, foram constru?das as isotermas de equil?brio da adsor??o, cuja equa??o do modelo (Langmuir) foi utilizada no balan?o de massa aplicado ao modelo din?mico. No processo din?mico de adsor??o, utilizando um reator de leito fixo, as curvas de rupturas foram obtidas na temperatura de 25?C, press?o de 1atm, vaz?o da mistura gasosa de 50 ml/min e 20 g de massa de adsorvente ativado termicamente. Os resultados mostraram que ap?s o tratamento qu?mico com KOH, os carv?es pirol?ticos obtiveram uma melhora significativa nas suas propriedades texturais, influenciando positivamente a sua capacidade adsortiva. O carv?o da pir?lise do lodo de esgoto teve sua ?rea superficial espec?fica aumentada de 8 a 11 vezes, ap?s a etapa de ativa??o, enquanto que para o carv?o da pir?lise da serragem da madeira esse aumento foi de 90 vezes. Os adsorventes tratados apresentaram os seguintes percentuais de remo??o de CO2: ze?lita pura - 63,32%, ze?lita funcionalizada com MEA - 67,89%, carv?o da pir?lise do lodo de esgoto - 41,46% e carv?o da pir?lise da serragem da madeira - 54,10%. O modelo din?mico aplicado se ajustou satisfatoriamente as curvas de rupturas com os valores experimentais, permitindo avaliar o coeficiente externo de transfer?ncia de massa (1,48 x 10-6 - 1,52 x 10-4 dm/min), o coeficiente de difus?o efetiva intrapart?cula (1,99 x 10-3 - 4,76 x 10-3 dm2/min) e o coeficiente de dispers?o axial do leito (3,54 x 10 -6 - 4,7 x 10-5 dm2/min).

Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2017-07-04T13:57:39Z No. of bitstreams: 1 RebecaMarotaDaSilva_DISSERT.pdf: 4197709 bytes, checksum: 3e9eb5bad8301b75d79f65e2fdb7049a (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2017-07-12T15:50:41Z (GMT) No. of bitstreams: 1 RebecaMarotaDaSilva_DISSERT.pdf: 4197709 bytes, checksum: 3e9eb5bad8301b75d79f65e2fdb7049a (MD5) / Made available in DSpace on 2017-07-12T15:50:42Z (GMT). No. of bitstreams: 1 RebecaMarotaDaSilva_DISSERT.pdf: 4197709 bytes, checksum: 3e9eb5bad8301b75d79f65e2fdb7049a (MD5) Previous issue date: 2017-03-28 / Este trabalho analisa a din?mica socioecon?mica do Rio Grande do Norte a partir da economia das e?licas (2002-2015) e as microrregi?es onde s?o instalados os parques e?licos no estado. Por essa raz?o, ? pedra angular dessa disserta??o o focar na energia e?lica como proposta de desenvolvimento local, compreendendo-se como centro da an?lise, a rela??o entre os investimentos e?licos e os territ?rios estudados. Para melhor percep??o de como ? poss?vel a din?mica econ?mica de uma regi?o perif?rica, adotou-se como plataforma metodol?gica a investiga??o hist?rico-estruturalista da escola cepalina. A pesquisa parte da an?lise dos fatos hist?ricos que se manifestaram em diferentes per?odos, impactando positiva ou negativamente nas estruturas produtivas e sociais. Como procedimentos metodol?gicos foram realizados: revis?o da literatura; observa??o emp?rica atrav?s de uma visita de campo; e consulta e an?lise de documentos. Elegeu-se como principal hip?tese que apesar dos elevados investimentos, como ? o caso da energia e?lica no Rio Grande do Norte, ocorre uma baixa intera??o com a din?mica regional local, n?o contribuindo para a diminui??o de problemas estruturais, sociais e econ?micos de uma regi?o perif?rica. Conclui-se que apesar dos esfor?os nacionais em desenvolver o setor, no Rio Grande do Norte, a din?mica socioecon?mica foi influenciada de forma tangencial no que se refere a economia das e?licas, ou seja, sem profundas transforma??es. Destaca-se a urg?ncia de concomit?ncia entre as pol?ticas nacionais de setor com as pol?ticas locais de desenvolvimento. A economia das e?licas revela-se como promotora de desenvolvimento quando o Estado concilia as oportunidades que o setor desenvolve. Caso contr?rio, a economia das e?licas servir-se-? dos territ?rios em que se instala apenas como recurso para a reprodu??o do capital internacional sem se espraiar progresso pelo local. / Analyzes the socio-economic dynamics of Rio Grande do Norte from the economics of wind power (2002-2015) and micro-regions where are found the wind farms of the State. For this reason, it is the cornerstone of this dissertation the focus on wind power as local development proposal, figuring out how to center of analysis, the relationship between the wind farm investments and territories studied. For better understanding of how it is possible the economic dynamics of a peripheral region, it was used as methodological platform the historical research structuralist method of cepalina school. The research stems from the analysis of the historical facts that was expressed in different periods, impacting positively or negatively in the productive and social structures. As methodological procedures were performed: literature review; empirical observation through a field visit; and document consultation and analysis. It was elected as the main hypothesis that high investment, as is the case of wind energy in Rio Grande do Norte, result in conservatism and strengthening of local inequalities, there is a low interaction with the local regional dynamics, not contributing to the reduction of structural, social and economic problems of a peripheral region. It is concluded that despite the national efforts to develop the sector, in Rio Grande do Norte, the socioeconomic dynamics was influenced in a tangential way with regard to the economy of the wind, that is, without deep transformations. The economy of wind power is seen as a promoter of development when the State reconciles the opportunities that the sector develops. Otherwise, the economy of wind power will be used in territories where it is installed only as a resource for the reproduction of international capital without spreading progress through the site.

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.

Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2017-09-05T19:41:33Z No. of bitstreams: 1 RafaelaLopesDaSilva_DISSERT.pdf: 5244464 bytes, checksum: f14dfee1270966b169af76ce9e23f4c6 (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2017-09-15T21:04:19Z (GMT) No. of bitstreams: 1 RafaelaLopesDaSilva_DISSERT.pdf: 5244464 bytes, checksum: f14dfee1270966b169af76ce9e23f4c6 (MD5) / Made available in DSpace on 2017-09-15T21:04:19Z (GMT). No. of bitstreams: 1 RafaelaLopesDaSilva_DISSERT.pdf: 5244464 bytes, checksum: f14dfee1270966b169af76ce9e23f4c6 (MD5) Previous issue date: 2017-03-24 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior (CAPES) / Este trabalho apresenta um estudo sobre a influ?ncia dos efeitos t?rmicos no comportamento din?mico de estruturas de p?rtico plano n?o lineares f?sicos e geom?tricos, nas quais esfor?os de flex?o e cisalhamento s?o predominantes. Uma formula??o fundamentada na primeira e segunda leis da termodin?mica e energia livre de Helmholtz ? apresentada neste trabalho para considerar os efeitos t?rmicos neste tipo de estrutura. Utiliza-se como ferramenta de an?lise estrutural o M?todo dos Elementos Finitos Posicional, que difere do m?todo convencional pelo simples fato de adotar como inc?gnitas as posi??es nodais, ao inv?s dos deslocamentos nodais. O problema n?o linear din?mico ? solucionado diante da combina??o do processo iterativo de Newton-Raphson com uma gama de algoritmos de integra??o temporal, expl?citos e impl?citos, sendo os resultados num?ricos confrontados com exemplos encontrados na literatura especializada. Como tamb?m, apresenta-se uma descri??o de uma t?cnica para solu??o de problemas de impacto. / This work presents a study considering the thermal effects in the dynamic behaviour of nonlinear 2D-frame structures (physical and geometric), in which the effects of bending and shear are predominant. A formulation based on the first and second laws of thermodynamic and the Helmholtz free-energy is presented in this work to consider the thermic effects on this type of structure. The Finite Element Method based on nodal positions, rather than nodal displacements, is used as structural analysis tool. The solution of the nonlinear dynamic problem is given through the combination of Newton-Raphson iterative process with several explicit and implicit time integration methods, wherein the numerical results are compared with the ones found on specialized literature. As well, it is presented a description of one technique to solution of impact problems.

Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2017-11-01T21:47:47Z No. of bitstreams: 1 AllysonFernandesDaCostaSilva_DISSERT.pdf: 1659813 bytes, checksum: 0de7287ef5c2c4ae621833638c04aa5f (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2017-11-08T00:21:06Z (GMT) No. of bitstreams: 1 AllysonFernandesDaCostaSilva_DISSERT.pdf: 1659813 bytes, checksum: 0de7287ef5c2c4ae621833638c04aa5f (MD5) / Made available in DSpace on 2017-11-08T00:21:06Z (GMT). No. of bitstreams: 1 AllysonFernandesDaCostaSilva_DISSERT.pdf: 1659813 bytes, checksum: 0de7287ef5c2c4ae621833638c04aa5f (MD5) Previous issue date: 2017-06-30 / Problemas de localiza??o buscam determinar as melhores posi??es onde devem ser instaladas facilidades de modo a atender demandas existentes. Pela vasta aplicabilidade da ?rea, diversas caracter?sticas j? foram importadas aos modelos para melhor representar situa??es pr?ticas. Uma delas generaliza os modelos cl?ssicos para situa??es em que decis?es de localiza??o devem ser tomadas periodicamente. Outra, permite que modelos tratem do dimensionamento das capacidades como uma vari?vel do problema. O Problema Din?mico de Localiza??o de Facilidades com Capacidades Modulares unifica estas e outras caracter?sticas presentes em problemas de localiza??o num ?nico e generalizado modelo. Este problema foi recentemente formulado na literatura, onde uma abordagem exata foi introduzida e aplicada a inst?ncias derivadas de um estudo de caso no contexto da explora??o de recursos florestais. Neste trabalho ser? apresentado um m?todo alternativo para resolver o mesmo problema. O m?todo escolhido utiliza a estrutura da metaheur?stica Algoritmo Gen?tico e a hibridiza com uma rotina de Descida em Vizinhan?a Vari?vel com tr?s vizinhan?as de busca adaptadas de vizinhan?as aplicadas a outros problemas de localiza??o. Experimentos atestaram a efetividade da metaheur?stica h?brida desenvolvida em compara??o ? aplica??o dos m?todos puros. Na compara??o com o m?todo exato, a heur?stica se mostrou competente ao chegar a solu??es at? 0,02% de dist?ncia do ?timo na maioria das inst?ncias testadas. / Location problems aim to determine the best positions where facilities should be installed in order to meet existing demands. Due to its wide applicability, several characteristics have already been appended to the models to better represent real situations. One of them generalizes classical models to the case that location decisions should be taken periodically. Another allows models to deal with capacity sizing as a problem variable. The Dynamic Facility Location Problem with Modular Capacities unifies these and other characteristics present in location problems in a single and generalized model. This problem was recently formulated in literature where an exact approach was introduced and applied to instances of a case study in the context of the forestry sector. We present an alternative method to solve the same problem. The method chosen uses a Genetic Algorithm metaheuristic framework and hybridizes it with a Variable Neighborhood Descent routine with three neighborhoods adapted from others applied to location problems. Experiments attested the effectiveness of the hybrid metaheuristic developed in comparison to the use of those methods purely. Compared to the exact approach, the heuristic proved to be competent by finding solutions up to a gap of 0,02% to the global optimum in the majority of the instances tested.

Made available in DSpace on 2016-04-26T19:39:32Z (GMT). No. of bitstreams: 1 2009 - Deise Ferreira Xavier.pdf: 1914951 bytes, checksum: a3934201689ba192bf1c30664a804084 (MD5) Previous issue date: 2009-01-28 / A large proportion of the land in the Atlantic forest region in the south east of Brazil is today degraded with little utilisation for agriculture, grazing or forestry. The recuperation and development of these areas using traditional production systems suffers from two principal handicaps: much of the land is steep hillsides which hampers mechanised cultivation and facilitates soil erosion, and the low availability of plant nutrients, principally nitrogen. The integration of pastures with trees has become considered as a viable option to promote sustainable land use for animal production systems in this region. The objective of this project was to monitor the principal inputs, losses and transformations of N in a pasture of Brachiaria decumbens cv. Basilisk in monoculture (BM) and in comparison with the same grass in association with trees (SSP). The experiment was localised at the Experimental Station of Coronel Pacheco (Minas Gerais), with five animals per paddock under rotational grazing (six paddocks of 0.5 ha). The following parameters were monitored over a period of 12 months: forage availability, live weight gain and forage consumption of the animals, existing litter and the litter deposited in periods of 14 days. Considering the total litter deposited the consumed forage and the change in standing biomass over the 12 month period it was possible to estimate the net aerial primary productivity (NAPP) of the pasture and the cycling of nitrogen in the two pasture systems. The standing biomass showed an annual mean of 1,800 and 1,653 kg/ha in the silvopastoral (SSP) and grass-alone (BM) systems respectively. The live weight gains of the animals in SSP were higher with a mean of 0.51 kg/heifer/day. In the BM pasture the weight gain was 0.45 kg/heifer/day. The SSP promoted a significant increase in the deposition of litter. Calculations of the quantity of litter deposited in 14-day periods in the SSP and BM showed values of 21,812 and 16,264 kg DM/ha/year, respectively. The NAPP of the SSP pasture was greater with values of 26,202 and 279 kg/ha/year for DM and N, respectively. In the BM pasture the estimates of NAPP were 20,133 and 148 kg/ha/year for DM and N, respectively. The quantity of N exported from the pasture in the live weight gain was 8 kg/ha for the SSP and 7 kg/ha for the BM, corresponding to 16 and 18% of total consumed N for the SSP and BM pastures, respectively. The losses of N from faeces and urine also did not differ between the pasture systems. Owing to the presence of N2-fixing species of legume trees present in the SSP, and the beneficial effects of the presence of shade it is to be expected that animal production levels would be sustained for longer in this system than under braqui?ria in monoculture, hence constituting a viable alternative to recover areas suffering from the process of degradation. / Uma grande propor??o das ?reas do dom?nio da Mata Atl?ntica na Regi?o Sudeste encontrase degradada, com pouca ou nenhuma utiliza??o agr?cola, pecu?ria ou florestal. A recupera??o e desenvolvimento dessas ?reas, usando sistemas tradicionais de produ??o, contam com dois entraves principais: a declividade acentuada, que dificulta a mecaniza??o do solo e facilita a eros?o, e a baixa disponibilidade de nutrientes, principalmente de nitrog?nio. A integra??o de pastagens com ?rvores tem sido considerada uma op??o vi?vel para promover a sustentabilidade dos sistemas de produ??o animal desta Regi?o. Assim, o projeto de pesquisa visou estudar as principais vias de ingresso, perdas e transforma??es do nitrog?nio em pastagem de Brachiaria decumbens cv. Basilisk em associa??o com ?rvores (SSP) e em monocultura (BM). As esp?cies arb?reas utilizadas no SSP foram Acacia mangium, Mimosa artemisiana e Eucaliptus grandis. O experimento, localizado no Campo Experimental da Embrapa Gado de Leite, no munic?pio de Coronel Pacheco, MG, foi desenvolvido em pastagens estabelecidas em uma ?rea que apresentava grau elevado de degrada??o. Para os dois sistemas de pastejo, o delineamento experimental de blocos ao acaso, com seis repeti??es (seis piquetes de 0,5 ha) e cinco animais por piquete em sistema de pastagem rotativa. Os dados foram coletados durante um ano, observando-se, principalmente: biomassa de forragem, ganho de peso animal, consumo animal, liteira existente e depositada durante 14 dias. Considerando o total da liteira depositada, o consumo animal e a mudan?a na biomassa de forragem ao longo de 12 meses, foi poss?vel estimada produtividade prim?ria a?rea l?quida (PPAL) e a ciclagem de N nos dois sistemas de pastejo. A biomassa da forragem foi de em m?dia, 1.800 e 1.653 kg/ha nas pastagens de B. decumbens cv. Basilisk em SSP e em BM, respectivamente. Os ganhos de peso dos animais foram maiores no SSP com m?dia de 0,51 kg/novilhas/dia. Na pastagem em BM o valor m?dio foi de 0,45 kg/novilha/dia. O SSP resultou em um acr?scimo significativo na liteira depositada. C?lculos das quantidades da liteira depositada em 14 dias nas pastagens de B. decumbens cv. Basilisk em SSP e em BM, mostraram valores de 21.812 e 16.264 kg/ha/ano de mat?ria seca (MS), respectivamente. A PPAL da pastagem em SSP foi maior com valores de 26.202 e de 279 kg/ha/ano de MS e de N, respectivamente. Na pastagem em BM, a PPAL estimada foi de 20.133 e de 148 kg/ha/ano de MS e de N, respectivamente. A quantidade de N exportado da pastagem para o ganho de peso dos animais foi de 8 kg/ha/ano no SSP e 7 kg/ha/ano na BM. Os valores corresponderam a 16 e 18% de todo N consumido pelos animais nas pastagens em SSP e BM, respectivamente. As perdas de N via fezes e urina, tamb?m n?o diferiram nas duas pastagens. Na pastagem em sistema silvipastoril, devido ? fixa??o biol?gica de N2 das esp?cies de leguminosa e tamb?m devido ao efeito da sombra no bem estar dos animais, ? de esperar que a produ??o animal seja mantida por mais tempo com bases sustent?veis, sendo, portanto, uma alternativa vi?vel para recuperar ?reas em processo de degrada??o.