161 |
Aplica??o do m?todo B ao projeto formal de software embarcadoMedeiros J?nior, Val?rio Gutemberg de 09 September 2009 (has links)
Made available in DSpace on 2015-03-03T15:47:45Z (GMT). No. of bitstreams: 1
ValerioGMJpdf.pdf: 1265506 bytes, checksum: f1fe3ef975bfeb2fce1dad3319a33f34 (MD5)
Previous issue date: 2009-09-09 / This work shows a project method proposed to design and build software components from the software functional m del up to assembly code level in a rigorous fashion. This
method is based on the B method, which was developed with support and interest of British Petroleum (BP). One goal of this methodology is to contribute to solve an important
problem, known as The Verifying Compiler. Besides, this work describes a formal model of Z80 microcontroller and a real system of petroleum area. To achieve this goal,
the formal model of Z80 was developed and documented, as it is one key component for the verification upto the assembly level. In order to improve the mentioned methodology,
it was applied on a petroleum production test system, which is presented in this work. Part of this technique is performed manually. However, almost of these activities can be
automated by a specific compiler. To build such compiler, the formal modelling of microcontroller and modelling of production test system should provide relevant knowledge and experiences to the design of a new compiler. In ummary, this work should improve the viability of one of the most stringent criteria for formal verification: speeding up the verification process, reducing design time and increasing the quality and reliability of the product of the final software. All these qualities are very important for systems that involve
serious risks or in need of a high confidence, which is very common in the petroleum industry / Este trabalho apresenta um m?todo de projeto proposta para veri ca??o formal do
modelo funcional do software at? o n?vel da linguagem assembly. Esse m?todo ? fundamentada
no m?todo B, o qual foi desenvolvido com o apoio e interesse da multinacional do
setor de petr?leo e g?s British Petroleum (BP). A evolu??o dessa metodologia tem como
objetivo contribuir na resposta de um importante problema, que pertence aos grandes
desa os da computa??o, conhecido como The Verifying Compiler . Nesse contexto, o
presente trabalho descreve um modelo formal do microcontrolador Z80 e um sistema real
da ?rea de petr?leo. O modelo formal do Z80 foi desenvolvido e documentado, por ser
um pr?-requisito para a veri ca??o at? n?vel de assembly. A m de validar e desenvolver
a metodologia citada, ela foi aplicada em um sistema de teste de produ??o de po?os de
petr?leo, o qual ? apresentado neste trabalho. Atualmente, algumas atividades s?o realizadas
manualmente. No entanto, uma parte signifi cativa dessas atividades pode ser
automatizada atrav?s de um compilador espec?fi co. Para esse m, a modelagem formal
do microcontrolador e a modelagem do sistema de teste de produ??o fornecem conhecimentos
e experi?ncias importantes para o projeto de um novo compilador. Em suma, esse
trabalho deve melhorar a viabilidade de um dos mais rigorosos crit?rios de veri ca??o
formal: acelerando o processo de verifica??o, reduzindo o tempo de projeto e aumentando
a qualidade e con fian?a do produto de software final. Todas essas qualidades s?o bastante
relevantes para sistemas que envolvem s?rios riscos ou exigem alta confian?a, os quais s?o
muito comuns na ind?stria do petr?leo
|
162 |
An?lise da deforma??o p?s-Rifte na Bacia do Araripe, Nordeste do BrasilAlmeida, Camila de 25 February 2010 (has links)
Made available in DSpace on 2015-03-13T17:08:28Z (GMT). No. of bitstreams: 1
CamilaA_DISSERT_1-52.pdf: 4763596 bytes, checksum: 04aa5b36a81ca3019e267dac640c6e31 (MD5)
Previous issue date: 2010-02-25 / The Araripe Basin is located over Precambrian terrains of the Borborema Province, being part of Northeast Brazil inner basins. Its origin is related to the fragmentation of the Gondwana supercontinent and consequently opening of South Atlantic during early Cretaceous. The basin has a sedimentary infill encompassing four distinct evolution stages, comprising Paleozoic syneclisis, pre-rift, rift and post-rift. The target of this study comprises the post-rift section of the basin focusing deformational styles which affect evaporates from Ipubi Member of the Santana Formation, which is composed by gypsum and anidrite layers interbedded with shales. These units occur widespread across the basin. In the central part of the basin, near Nova Olinda-Santana do Cariri, evaporites are affected by an essentialy brittle deformation tipified by fibrous gypsum filled fractures, cutting massive layers of gypsum and anidrite. Veins with variable orientations and dips are observed in the region distributed over three main populations: i) a dominant NWSE with shallow to moderate NE dipping population, consisting of gypsum filled veins in which fibers are normal to vein walls; i) NE-SW veins with moderate SE dips containing subhorizontal growth fibers; and iii) N-S veins with shallow E-W dips with fibers oblique to vein walls. In the west portion of the basin, near Trindade-Ipubi-Araripina towns, evaporate layers are dominantly constituted by gypsum/anidrite finely stratified, showing a minor density of veins. These layers are affected by a unique style of deformation, more ductile, typified by gentle to open horizontal normal folding with several tens of meters length and with double plunging NW-SE or NE-SW hinges, configuring domic features. In detail, gypsum/anidrite laminae are affected by metre to decimeter scale close to tight folding, usually kinked, with broken hinges, locally turning into box folds. Veins show NE-SW main directions with shallow NE dips, growth fibers are parallel to vein walls, constituting slickenfibers. This region is marked by faults that affect Araripina Formation with NW-SE, NE-SW and E-W directions. The main structural styles and general orientations of structures which affected the post-rift section of Araripe Basin yielded important kinematic information analysis which led us to infer a E-W to NE-SW extension direction to the northeastern part of the Basin, whereas in the southeastern part, extension occurred in N-S direction. Thus, it was possible to determine a regional kinematic setting, through this analysis, characterizing a NE-SW to ENE-WSW system for the post-rift section, which is compatible with the tension settings for the Sout American Plate since Albian. Local variations at the fluid pressure linked (or not) to sedimentary overload variation define local tension settings. This way, at the northeastern portion of the basin, the post-rift deformation was governed by a setting which ? 1 is sub-horizontal trending NE-SW and, ? 3 is sub-vertical, emphasizing a reverse fault situation. At the southwestern portion however there was characterized a strike slip fault setting, featuring ? 1 trending ENEWSW and ?3 trending NNW-SSE / A Bacia do Araripe est? inserida sobre os terrenos pr?-cambrianos da Prov?ncia Borborema, fazendo parte das bacias interiores do Nordeste do Brasil. Sua origem est? relacionada ? fragmenta??o do supercontinente Gondwana e consequente abertura do Atl?ntico Sul durante o Cret?ceo Inferior. Possuindo um preenchimento sedimentar que abrange quatro est?gios distintos de sua evolu??o, compreendendo as tectonossequ?ncias de Sin?clise Paleoz?ica, Pr?- Rifte, Rifte e P?s-Rifte. O objeto de estudo deste trabalho, compreende a se??o p?srifte da bacia, focando os estilos deformacionais que afetam os evaporitos do Membro Ipubi da Forma??o Santana, constitu?da por camadas de gipsita e anidrita intercaladas com folhelho, de ocorr?ncia abrangente em toda a Bacia do Araripe Na parte Norte da bacia, nas proximidades de Nova Olinda-Santana do Cariri os evaporitos s?o afetados por uma deforma??o essencialmente fr?gil, tipificada por fraturas preenchidas por gipsita fibrosa, recortando camadas de gipsita e anidrita geralmente maci?as. Na regi?o s?o observados veios com orienta??es e mergulhos bastante variados, distribuindo-se segundo tr?s popula??es principais: (i) uma com dire??o dominante NW-SE, com mergulhos suaves a moderados essencialmente para NE, geralmente preenchidos por gipsita cujas fibras disp?em-se ortogonalmente ?s paredes dos veios; (ii) veios NE-SW com mergulhos moderados para SE, contendo fibras de crescimento suborizontais; e (iii) veios N-S, com mergulhos suaves para E-W, cujas as fibras encontram-se obliquas ?s paredes desses veios. Na regi?o oeste da bacia, nas proximidades de Trindade-Ipubi-Araripina a camadas de evaporitos s?o dominantemente constitu?das por gipsita/anidrita finamente estratificada, apresentando uma densidade menor de veios. Essas camadas s?o afetadas por uma deforma??o peculiar, de car?ter mais d?ctil , tipificada por dobras horizontais, de perfil suave a aberto, com comprimento de onda de v?rias dezenas de metros, n?o raro apresentando charneiras com duplo caimento, com orienta??es NWSE ou NE-SW, constituindo fei??es d?micas. Em detalhe, as l?minas de gipsita/anidrita tamb?m s?o afetadas por dobras de escala m?trica a decim?trica, em geral de perfil fechado a apertado, muitas vezes apresentando estilo em kink (n?o ? raro nestes casos ocorrer ruptura da charneira), localmente constituindo dobras em caixa. Os veios (ocorrendo de forma mais rara) apresentam dire??es principais NE-SW, com mergulhos suaves para SE, as fibras de crescimento disp?em-se paralelamente ?s paredes dos veios, funcionando como slickenfibers. Est? regi?o ? marcada pelas falhas que afetam as rochas da Forma??o Araripina apresentando dire??es NW-SE, NE-SW e E-W. De posse das an?lises dos estilos e da orienta??o geral das estruturas que afetam a se??o p?s-rifte na Bacia do Araripe, atrav?s do m?todo dos diedros retos, foram obtidas informa??o importante quanto ? an?lise cinem?tica da deforma??o, possibilitando assim, definir os sentidos de transporte tect?nico predominantes e a infer?ncia do estado de paleotens?es que governou a instala??o das estruturas tect?nicas presentes. Sendo assim, foi poss?vel definir um regime cinem?tico regional, a partir desta an?lise, caracterizado a se??o p?s-rifte por um sistema de compress?o NE-SW a ENEWSW, regime este condizente com o que vem atuando na Placa Sul-Americana desde, pelo menos, o Albiano. Varia??es locais da press?o de fluidos somadas (ou n?o) a varia??es da sobrecarga sedimentar definem regimes cinem?ticos particulares. Assim, na por??o nordeste da bacia, a deforma??o p?s-rifte foi governada por um regime em que ?1 ? suborizontal e apresenta dire??o NE-SW, e ?3 ? subvertical, denotando um regime de falha inversa . J? na por??o sudoeste da Bacia do Araripe foi caracterizado um regime de falha transcorrente , apresentando ?1 na dire??o ENE-WSW e ?3 orientado segundo NNW-SSE
|
163 |
F?sica do meio ambiente como disciplina nas licenciaturas em f?sica: proposta de uma unidade did?tica para ensinar efeito estufa e aquecimento globalAlmeida, Nelson Cosme de 31 July 2014 (has links)
Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2015-12-14T21:49:04Z
No. of bitstreams: 1
NelsonCosmeDeAlmeida_DISSERT.pdf: 5386980 bytes, checksum: 4cc9e81674f552053ae64a68f86421ad (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2015-12-18T17:24:19Z (GMT) No. of bitstreams: 1
NelsonCosmeDeAlmeida_DISSERT.pdf: 5386980 bytes, checksum: 4cc9e81674f552053ae64a68f86421ad (MD5) / Made available in DSpace on 2015-12-18T17:24:19Z (GMT). No. of bitstreams: 1
NelsonCosmeDeAlmeida_DISSERT.pdf: 5386980 bytes, checksum: 4cc9e81674f552053ae64a68f86421ad (MD5)
Previous issue date: 2014-07-31 / Nesse trabalho de disserta??o propomos uma Unidade Did?tica para ensinar conte?dos de F?sica atrav?s das discuss?es ambientais sobre o efeito estufa e o aquecimento global. Essa unidade did?tica est? fundamentada numa interven??o metodol?gica problematizadora a partir da aplica??o do M?todo do Arco de Charles Maguerez. Os fundamentos metodol?gicos da disserta??o encontram-se inseridos na pesquisa-a??o e esta est? estruturada em cinco cap?tulos: o primeiro cap?tulo trata de F?sica do Meio Ambiente (FMA) como disciplina nos Cursos de Licenciatura em F?sica no Brasil, trazendo a preocupa??o de saber como essa disciplina vem sendo lecionada. Iniciamos o primeiro cap?tulo explicitando as raz?es que sustentam a inser??o da disciplina F?sica do Meio Ambiente nos Cursos de Licenciatura em F?sica. Depois fizemos uma pesquisa, nos sitesdas Institui??es de Ensino Superior, para sabermos da exist?ncia ou n?o dessa disciplina nas matrizes curriculares. Em seguida, analisamos as ementas para verificar quais bibliografias est?o sendo adotadas e
quais conte?dos de F?sica est?o sendo trabalhados, e como isso tem sido feito. Os cursos pesquisados foram os das Universidades Federais e Institutos Federais. Assim finalizamos o primeiro cap?tulo. Diante da indissociabilidade entre os estudos em Ensino de F?sica e os estudos sobre compet?ncias, habilidades e aprendizagem significativa, escrevemos o segundo cap?tulo. Nesse cap?tulo discutimos o desafio de converter informa??o em conhecimento. Num primeiro momento sobre a forma??o inicial de professores, pois mesmo n?o sendo esse o nosso enfoque, o estudo ? sobre uma disciplina do curso superior, portanto, oferecida a futuros docentes. Depois falamos sobre a cultura do conhecimento, onde ressaltamos a utiliza??o de uma abordagem de ensino que promova significados pelo conte?do lecionado e fa?a sentido para o aluno. Finalizamos o terceiro cap?tulo, fazendo algumas considera??es sobre compet?ncias e habilidades, com o intuito de identificarmos quais habilidades e compet?ncias foram trabalhadas e desenvolvidas durante e ap?s a aplica??o da Unidade Did?tica. O terceiro cap?tulo ? o resultado de uma revis?o e estudo bibliogr?fico sobre a intera??o radioativa Terra-Sol. Os assuntos pesquisados abordam desde a gera??o de energia no Sol aos temas mancha solar, eje??o de massa coronal, vento solar, radia??o do corpo negro, Lei de Deslocamento de Wien, Lei de Stefan-Boltzmann, efeito estufa e aquecimento global. Esse cap?tulo trata de um material de apoio para o professor da disciplina supracitada. O quarto cap?tulo fala sobre o M?todo do Arco de Charles Maguerez; aqui explicamos a estrutura de cada uma das cinco etapas do Arco e de como utiliz?-las no ensino. Tamb?m mostramos outra vers?o desse m?todo adaptada por Bordenave. No quinto e ?ltimo cap?tulo trouxemos uma descri??o de como o m?todo do Arco foi utilizado, nas aulas de F?sica do Meio Ambiente, com os alunos da Licenciatura em F?sica do IFRN Campus Santa Cruz. Apresentamos, nesse cap?tulo, uma transcri??o das aulas para mostrar como se deu a aplica??o de uma metodologia problematizadora no ensino dos conte?dos de F?sica propostos para a Unidade Did?tica a partir da discuss?o ambiental sobre os fen?menos efeito estufa e aquecimento global. / In this dissertation we propose a Teaching Unit of Physics to teach content through
environmental discussions of the greenhouse effect and global warming. This
teaching unit is based on a problem-methodological intervention from the application
of the method of the Arch of Charles Maguerez. The methodological foundations of
the thesis are embedded in action research and this is structured in five chapters: the
first chapter deals with the Physical Environment (FMA) as a subject in Degree
Courses in Physics in Brazil, bringing the concern of how this discipline has been
taught. We started the first chapter explaining the reasons behind the inclusion of the
discipline of Physical Environment in a Physics Degree Courses. Then we did a
search on the websites of Institutions of Higher Education, to know of the existence
or not of this discipline on curricular. We then analyzed the menus to see what
bibliographies are being adopted and what content of Physics are being worked, and
how it has been done. The courses surveyed were those of Federal and Federal
Institutes Universities. Thus ended the first chapter. Given the inseparability between
studies in Physics Teaching and studies on competencies, skills and significant
learning, wrote the second chapter. In this chapter we discuss the challenge of
converting information into knowledge. Initially on initial teacher training, because
even if this is not our focus, the study is a discipline on the upper reaches, therefore,
offered to future teachers. Then we talked about the culture of knowledge, where we
emphasize the use of a teaching approach that promotes meanings taught by
content and make sense to the student. We finished the third chapter, making some
considerations on skills and abilities, in order to identify what skills and competencies
were developed and worked during and after the implementation of Curriculum Unit.
The third chapter is the result of a literature review and study of the radioactive EarthSun
interaction. The subjects researched approach from the generation of energy in
the sun to topics stain solar coronal mass ejections, solar wind, black body radiation,
Wien displacement law, Stefan-Boltzmann Law, greenhouse effect and global
warming. This chapter deals with material support for the teacher of the
aforementioned discipline. The fourth chapter talks about the arc method of Charles
Maguerez; Here we explain the structure of each of the five steps of the Arc and how
to use them in teaching. We also show another version of this method adapted by
Bordenave. In the fifth and final chapter brought a description of how the method of
Arc was used in physics classes of Environment, with students majoring in Physics
IFRN Campus Santa Cruz. Here, in this chapter, a transcript of classes to show how
was the application of a problem-based methodology in the teaching of content
proposed for Physics Teaching Unit from the environmental discussion about the
greenhouse effect and global warming phenomena
|
164 |
Caracteriza??o de superf?cies seletivas de frequ?ncia de peri?dicas e n?o-peri?dicasAra?jo, Lincoln Machado de 15 December 2014 (has links)
Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2016-03-22T00:23:25Z
No. of bitstreams: 1
LincolnMachadoDeAraujo_TESE.pdf: 2020947 bytes, checksum: dbf0a95d1c4132541362bdf08093f102 (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2016-03-22T23:10:55Z (GMT) No. of bitstreams: 1
LincolnMachadoDeAraujo_TESE.pdf: 2020947 bytes, checksum: dbf0a95d1c4132541362bdf08093f102 (MD5) / Made available in DSpace on 2016-03-22T23:10:55Z (GMT). No. of bitstreams: 1
LincolnMachadoDeAraujo_TESE.pdf: 2020947 bytes, checksum: dbf0a95d1c4132541362bdf08093f102 (MD5)
Previous issue date: 2014-12-15 / Os ?ltimos anos foram marcados por um grande interesse no uso de superf?cies
seletivas de frequ?ncia (FSS), como filtros espaciais, em diversas aplica??es em microondas.
Dentre estas, destacam-se as aplica??es em sistemas de telecomunica??es (tais
como: comunica??es por sat?lite e radar), antenas de ganho elevado (em estruturas
combinadas com antenas planares) e fornos de micro-ondas (dom?sticos e industriais).
As FSS s?o geralmente compostas por arranjos peri?dicos bidimensionais, com
elementos igualmente espa?ados, que podem ser patches met?licos (impressos em
substratos diel?tricos) ou aberturas (perfuradas em superf?cies met?licas finas). Nestas
configura??es (de arranjos peri?dicos), as FSS v?m conseguindo atender ?s demandas
da ind?stria de telecomunica??es de maneira satisfat?ria. Entretanto, novas demandas
v?m encontrando limita??es na tecnologia empregada. Neste contexto, requisitos de
filtragem adversos v?m for?ando os projetistas de FSS a utilizarem m?todos de
otimiza??o na tentativa de encontrar formatos espec?ficos para seus elementos, por
exemplo. Outra alternativa que vem sendo utilizada para aumentar a seletividade das
FSS ? o cascateamento, uma t?cnica simples que tem como principal ponto negativo o
aumento das dimens?es da estrutura, assim como do seu peso. Este trabalho prop?e o
desenvolvimento de uma nova classe de superf?cies seletivas de frequ?ncia (FSS),
constitu?das de arranjos quase-peri?dicos (ou n?o-peri?dicos). Resultados de superf?cies
seletivas de frequ?ncia n?o-peri?dicas e flex?veis tamb?m ser?o apresentados,
mostrando uma nova gama de aplica??es. Portanto, as FSS propostas n?o apresentam
periodicidade em rela??o ? posi??o espacial dos seus elementos. As respostas em
frequ?ncia destas estruturas foram simuladas utilizando softwares comerciais que
implementam m?todos de onda completa. Para valida??o do estudo efetuado, foram
constru?dos e medidos prot?tipos das FSS propostas, tendo sido observada uma boa
concord?ncia entre os resultados simulados e medidos. S?o apresentadas e comentadas
as principais conclus?es deste estudo, al?m de indicadas sugest?es para a sua
continuidade. / The past years have seen a great interest in the use of frequency selective
surfaces (FSS), as spatial filters, in many microwave applications. Among these, we
highlight applications in telecommunication systems (such as satellite communications
and radar), high gain antennas (combined with planar antennas) and (home and
industrial) microwave ovens. The FSS is usually composed of two-dimensional periodic
arrays, with equally spaced elements, which may be metallic patches (printed on
dielectric substrates) or aperture (holes in thin metal surfaces). Using periodic arrays,
the FSS have been able to meet the demands of the telecommunications industry.
However, new demands are finding technological limitations. In this context, adverse
filtering requirements have forced designers to use FSS optimization methods to find
specific formats of FSS elements. Another alternative that has been used to increase the
selectivity of the FSS is the cascaded FSS, a simple technique that has as main
drawback the increased dimensions of the structure, as well as its weight. This work
proposes the development of a new class of selective surfaces frequency (FSS)
composed of quasi-periodic (or non-periodic) arrangements. The proposed FSS have no
array periodicity, in relation with the spatial position of their elements. The frequency
responses of these structures were simulated using commercial softwares that
implement full-wave methods. For the purpose of validation of this study, FSS
prototypes were built and measured, being possible to observe a good agreement
between simulated and measured results. The main conclusions of this work are
presented, as well as suggestions for future works.
|
165 |
Prote??o em sistemas el?tricos com gera??o distribu?da utilizando a transformada waveletPaiva, S?mara de Cavalcante 22 June 2015 (has links)
Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2016-04-15T20:05:32Z
No. of bitstreams: 1
SamaraDeCavalcantePaiva_DISSERT.pdf: 3765795 bytes, checksum: eed2c79e7ce6b6439acadf41bfab260e (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2016-04-19T23:21:12Z (GMT) No. of bitstreams: 1
SamaraDeCavalcantePaiva_DISSERT.pdf: 3765795 bytes, checksum: eed2c79e7ce6b6439acadf41bfab260e (MD5) / Made available in DSpace on 2016-04-19T23:21:12Z (GMT). No. of bitstreams: 1
SamaraDeCavalcantePaiva_DISSERT.pdf: 3765795 bytes, checksum: eed2c79e7ce6b6439acadf41bfab260e (MD5)
Previous issue date: 2015-06-22 / Conselho Nacional de Desenvolvimento Cient?fico e Tecnol?gico (CNPq) / Um sistema el?trico de pot?ncia t?pico ? caracterizado pela
centraliza??o da gera-
??o de energia. Entretanto, com a reestrutura??o do sistema
el?trico, esta topologia vem
modificando-se com a utiliza??o de geradores ao longo do sist
ema de distribui??o (gera-
??o distribu?da) que proporciona diversos benef?cios por l
ocalizar-se pr?ximo aos centros
de consumo. Com isso, a inser??o de geradores distribu?dos,
especialmente provenientes
de fontes renov?veis, no sistema brasileiro tende a se torna
r a cada ano mais comum. En-
tretanto, esta nova configura??o do sistema traz novos desafi
os concernentes ao controle,
opera??o e prote??o. Um dos principais problemas da gera??o
distribu?da nos sistemas de
prote??o ? a forma??o de ilhamentos, que pode resultar em ris
cos de seguran?a ?s pessoas
e a rede de energia el?trica. Dentre as diversas t?cnicas de p
rote??o de ilhamentos, as
t?cnicas passivas destacam-se devido ao custo de implement
a??o e simplicidade, sendo
necess?rias apenas medi??es de tens?o e corrente para detec
??o de problemas no sistema.
Prop?e-se neste trabalho um sistema de prote??o baseado na t
ransformada
wavelet
com
as fun??es de sobrecorrente, sub/sobretens?es e informa??
es dos transit?rios de falta para
r?pida detec??o e identifica??o de situa??es de falta no sist
ema. O esquema de prote??o
proposto foi avaliado por meio de estudos de simula??o e expe
rimental, apresentando de-
sempenho similar aos m?todos de sobrecorrente e sub/sobret
ens?o convencionais, por?m,
com o adicional da detec??o do instante exato das faltas. / A typical electrical power system is characterized by centr
alization of power gene-
ration. However, with the restructuring of the electric sys
tem, this topology is changing
with the insertion of generators in parallel with the distri
bution system (distributed gene-
ration) that provides several benefits to be located near to e
nergy consumers. Therefore,
the integration of distributed generators, especially fro
m renewable sources in the Brazi-
lian system has been common every year. However, this new sys
tem topology may result
in new challenges in the field of the power system control, ope
ration, and protection.
One of the main problems related to the distributed generati
on is the islanding formation,
witch can result in safety risk to the people and to the power g
rid. Among the several
islanding protection techniques, passive techniques have
low implementation cost and
simplicity, requiring only voltage and current measuremen
ts to detect system problems.
This paper proposes a protection system based on the wavelet
transform with overcur-
rent and under/overvoltage functions as well as infomation
of fault-induced transients in
order to provide a fast detection and identification of fault
s in the system. The propo-
sed protection scheme was evaluated through simulation and
experimental studies, with
performance similar to the overcurrent and under/overvolt
age conventional methods, but
with the additional detection of the exact moment of the fault.
|
166 |
S?ntese e caracteriza??o da ze?lita HZSM-5 nanocristalina com porosidade hier?rquica aplicada no craqueamento de pol?merosFigueiredo, Aneli?se Lunguinho 24 July 2015 (has links)
Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2016-05-30T22:35:15Z
No. of bitstreams: 1
AnelieseLunguinhoFigueiredo_TESE.pdf: 2224810 bytes, checksum: a3cbfc32831dba5f9b8a0085f1244167 (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2016-06-01T19:31:41Z (GMT) No. of bitstreams: 1
AnelieseLunguinhoFigueiredo_TESE.pdf: 2224810 bytes, checksum: a3cbfc32831dba5f9b8a0085f1244167 (MD5) / Made available in DSpace on 2016-06-01T19:31:41Z (GMT). No. of bitstreams: 1
AnelieseLunguinhoFigueiredo_TESE.pdf: 2224810 bytes, checksum: a3cbfc32831dba5f9b8a0085f1244167 (MD5)
Previous issue date: 2015-07-24 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior (CAPES) / As ze?litas s?o amplamente utilizadas pela ind?stria em processos de cat?lise, adsor??o, separa??o e troca i?nica. No entanto, a presen?a apenas de microporos limita a difus?o de mol?culas volumosas em seus canais, favorecendo a ocorr?ncia de rea??es indesej?veis devido ao longo tempo de resid?ncia dos reagentes e produtos ao serem transportados ao longo dos microporos das ze?litas. Com o intuito de superar este problema, foram estudados neste trabalho m?todos de s?ntese para a obten??o da ze?lita ZSM-5 nanocristalina com porosidade hier?rquica sintetizada na aus?ncia de direcionador org?nico de estrutura. Primeiramente foi realizada a s?ntese da ze?lita ZSM-5 atrav?s do m?todo assistido por sementes em um sistema ausente de direcionador org?nico, onde as amostras foram sintetizadas utilizando tr?s tipos diferentes de sementes: duas destas baseadas em solu??es aquosas claras contendo os precursores de ZSM-5 (n?o silanizada e silanizada) e a terceira semente baseada em uma ze?lita ZSM-5 comercial na forma de p?, a fim de direcionar na forma??o da estrutura MFI. O segundo m?todo empregado foi o processo de silaniza??o, utilizando como agente silanizante o fenilaminopropiltrimetoxisilano (PHAPTMS), com a finalidade de diminuir ou impedir o crescimento dos cristais ze?liticos da ZSM-5, favorecendo a obten??o de cristais com menores dimens?es. A s?ntese da ZSM-5 tamb?m foi realizada na aus?ncia de direcionador org?nico a 180?C por 27 horas ap?s a adi??o do PHAPTMS. Todas as amostras sintetizadas foram caracterizadas por diversas t?cnicas, dentre elas a Difra??o de Raios-X (DRX), Espectroscopia na regi?o do Infravermelho com Transformada de Fourier (FTIR), adsor??o-dessor??o de Arg?nio (Ar), Microscopia Eletr?nica (SEM e TEM) e dessor??o a temperatura programada TPD-NH3. Notou-se que o uso de sementes proporciona uma maior ?rea espec?fica BET e provoca um aumento na ?rea externa, devido ? diminui??o do tamanho dos cristais. Da mesma forma para amostra funcionalizada com o agente silanizante (HZSM-5 (PHAPTMS)), que apresentou a mais, um duplo sistema de poros, o primeiro associado ? microporosidade da ze?lita ZSM-5 (0,5 - 2 nm) e o outro relacionado ? mesoporos intercristalinos (2 - 6 nm), confirmando a obten??o da ze?lita HZSM-5 hier?rquica. Todas as amostras sintetizadas apresentaram aglomerados globulares formados por pequenas nanounidades (30 - 90 nm), com morfologia e tamanho dos cristais diferentes da ze?lita HZSM-5 utilizada como refer?ncia. Os testes catal?ticos utilizando o craqueamento do polietileno de baixa densidade (PEBD) e o processo de pir?lise do poli(etileno tereftalato) - PET provaram que a melhoria nas propriedades texturais das ze?litas sintetizadas ? vantajoso em tais processos, apresentando um desempenho superior quando comparado ? amostra de refer?ncia, fornecendo produtos que podem ser utilizados como mat?rias-primas na ind?stria petroqu?mica. / Zeolites are widely used by the industry in catalysis processes, adsorption,
separation and ion exchange. However, the presence of only micropores limits the
diffusion of bulky molecules in their channels, favoring the occurrence of adverse
reactions due to long residence time of the reactants and products are transported
through the micropores of the zeolite. In order to overcome this problem has been
studied in this work synthesis methods for obtaining hierarchical nanocrystalline
ZSM-5 zeolite synthesized in the absence of organic template. First it carried out a
synthesis of zeolite ZSM-5 by the seed-assisted method from an organic-templatefree
system, where the samples were synthesized utilizing three different types of
seeds: two of these based on aqueous clear solutions containing the ZSM-5
precursors (non-silanized and silanized) and the third seed based on a commercial
ZSM-5 zeolite in powder form, in order to direct the formation of the MFI structure.
The second method used was the silanization process, using as silanizante agent
phenylaminopropyltrimethoxysilane (PHAPTMS), in order to lessen or prevent the
growth of zeolitic crystals of ZSM-5, obtaining favoring smaller crystals. The
synthesis of ZSM-5 was also performed in the absence of organic template 180?C for
27 hours after addition of PHAPTMS. All synthesized samples were characterized by
several techniques, among them X Ray Diffraction (XRD), Fourier Transform Infrared
Spectroscopy (FTIR), Argon adsorption-desorption, Electronic Microscopy (SEM and
TEM), and Temperature Programmed Desorption of Ammonia (NH3-TPD). It was
noted that the use of seeds gives a higher BET surface area and causes an increase
in the external surface area outside due to the decreasing size of the crystals.
Similarly for sample functionalized with silanizante agent (MFI (PHAPTMS)), which is
the lowest a dual system of pores, the first associated with the microporosity of the
zeolite ZSM-5 (0.5 - 2 nm) and the other related to intercrystalline mesopores (2 - 6
nm), confirming the obtaining of HZSM-5 zeolite hierarchical. All samples were
synthesized globular agglomerates formed by small nanounits (30 - 90 nm) with
different size and morphology of crystals of zeolite HZSM-5 used as reference. The
catalytic tests using the cracking of low density polyethylene (LDPE) and pyrolysis of
poly(ethylene terephthalate) - PET proved that the improvement in the textural
properties of the synthesized zeolite is advantageous in such processes, with a
better performance when compared to the reference sample, generating products
which can be useful feedstocks in the petrochemical industry.
|
167 |
M?todo h?brido para projeto de superf?cies seletivas em frequ?nciaAra?jo, Gilmara Linhares de 10 December 2015 (has links)
Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2016-08-09T22:51:26Z
No. of bitstreams: 1
GilmaraLinharesDeAraujo_TESE.pdf: 11647948 bytes, checksum: 94a5e966f18f8dd6bfc6646d2519542b (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2016-08-10T23:44:37Z (GMT) No. of bitstreams: 1
GilmaraLinharesDeAraujo_TESE.pdf: 11647948 bytes, checksum: 94a5e966f18f8dd6bfc6646d2519542b (MD5) / Made available in DSpace on 2016-08-10T23:44:37Z (GMT). No. of bitstreams: 1
GilmaraLinharesDeAraujo_TESE.pdf: 11647948 bytes, checksum: 94a5e966f18f8dd6bfc6646d2519542b (MD5)
Previous issue date: 2015-12-10 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior (CAPES) / Esse trabalho apresenta uma t?cnica h?brida de projeto de superf?cies seletivas em frequ?ncia, sobre uma camada diel?trica isotr?pica, considerando diversas geometrias para os elementos das c?lulas unit?rias. Especificamente, a t?cnica h?brida usa o m?todo do circuito equivalente em conjunto com algoritmos gen?ticos, visando a s?ntese de estruturas com resposta singleband e dual-band. O m?todo do circuito equivalente permite modelar a estrutura por meio de um circuito equivalente e tamb?m a obten??o de circuitos para diferentes geometrias. A partir da obten??o dos par?metros desses circuitos, podem-se obter as caracter?sticas de transmiss?o e de reflex?o das estruturas modeladas. Para obter a otimiza??o das estruturas modeladas, de acordo com a resposta em frequ?ncia desejada, a ferramenta de otimiza??o do Matlab optimtool mostrou-se de f?cil utiliza??o, permitindo explorar resultados importantes na an?lise de otimiza??o. No trabalho, s?o apresentados resultados num?ricos e experimentais para as caracter?sticas de transmiss?o de diferentes geometrias analisadas. Foram efetuadas compara??es com resultados apresentados na literatura, tendo-se observado uma boaconcord?ncia nos casos analisados para estruturas com substratos isotr?picos. / This thesis presents a hybrid technique of frequency selective surfaces project
(FSS) on a isotropic dielectric layer, considering various geometries for the elements of
the unit cell. Specifically, the hybrid technique uses the equivalent circuit method in
conjunction with genetic algorithm, aiming at the synthesis of structures with response
single-band and dual-band. The equivalent circuit method allows you to model the
structure by using an equivalent circuit and also obtaining circuits for different
geometries. From the obtaining of the parameters of these circuits, you can get the
transmission and reflection characteristics of patterned structures. For the optimization
of patterned structures, according to the desired frequency response, Matlab?
optimization tool named optimtool proved to be easy to use, allowing you to explore
important results on the optimization analysis. In this thesis, numeric and experimental
results are presented for the different characteristics of the analyzed geometries. For
this, it was determined a technique to obtain the parameter N, which is based on genetic
algorithms and differential geometry, to obtain the algebraic rational models that
determine values of N more accurate, facilitating new projects of FSS with these
geometries. The optimal results of N are grouped according to the occupancy factor of
the cell and the thickness of the dielectric, for modeling of the structures by means of
rational algebraic equations. Furthermore, for the proposed hybrid model was developed
a fitness function for the purpose of calculating the error occurred in the definitions of
FSS bandwidths with transmission features single band and dual band. This thesis deals
with the construction of prototypes of FSS with frequency settings and band widths
obtained with the use of this function. The FSS were initially reviewed through
simulations performed with the commercial software Ansoft Designer ?, followed by
simulation with the equivalent circuit method for obtaining a value of N in order to
converge the resonance frequency and the bandwidth of the FSS analyzed, then the
results obtained were compared. The methodology applied is validated with the
construction and measurement of prototypes with different geometries of the cells of the
arrays of FSS.
|
168 |
Um algoritmo para estima??o de estado em alimentadores de distribui??o de energia el?trica com base no m?todo da soma de pot?nciasAlmeida, Marcos Antonio Dias de 29 December 2003 (has links)
Made available in DSpace on 2014-12-17T14:55:01Z (GMT). No. of bitstreams: 1
MarcosADA.pdf: 1444489 bytes, checksum: 289536fadcf88cdfafb2eefa6b4f2ac4 (MD5)
Previous issue date: 2003-12-29 / Most algorithms for state estimation based on the classical model are just adequate for use in transmission networks. Few algorithms were developed specifically for distribution systems, probably because of the little amount of data available in real time. Most overhead feeders possess just current and voltage measurements at the middle voltage bus-bar at the substation. In this way, classical algorithms are of difficult implementation, even considering off-line acquired data as pseudo-measurements. However, the necessity of automating the operation of distribution networks, mainly in regard to the selectivity of protection systems, as well to implement possibilities of load transfer maneuvers, is changing the network planning policy. In this way, some equipments incorporating telemetry and command modules have been installed in order to improve operational features, and so increasing the amount of measurement data available in real-time in the System Operation Center (SOC). This encourages the development of a state estimator model, involving real-time information and pseudo-measurements of loads, that are built from typical power factors and utilization factors (demand factors) of distribution transformers. This work reports about the development of a new state estimation method, specific for radial distribution systems. The main algorithm of the method is based on the power summation load flow. The estimation is carried out piecewise, section by section of the feeder, going from the substation to the terminal nodes. For each section, a measurement model is built, resulting in a nonlinear overdetermined equations set, whose solution is achieved by the Gaussian normal equation. The estimated variables of a section are used as pseudo-measurements for the next section. In general, a measurement set for a generic section consists of pseudo-measurements of power flows and nodal voltages obtained from the previous section or measurements in real-time, if they exist -, besides pseudomeasurements of injected powers for the power summations, whose functions are the load flow equations, assuming that the network can be represented by its single-phase equivalent. The great advantage of the algorithm is its simplicity and low computational effort. Moreover, the algorithm is very efficient, in regard to the accuracy of the estimated values. Besides the power summation state estimator, this work shows how other algorithms could be adapted to provide state estimation of middle voltage substations and networks, namely Schweppes method and an algorithm based on current proportionality, that is usually adopted for network planning tasks. Both estimators were implemented not only as alternatives for the proposed method, but also looking for getting results that give support for its validation. Once in most cases no power measurement is performed at beginning of the feeder and this is required for implementing the power summation estimations method, a new algorithm for estimating the network variables at the middle voltage bus-bar was also developed / A grande maioria dos algoritmos de estima??o de estado, que usa o modelo cl?ssico, se destina ? aplica??o em sistemas de transmiss?o. H? poucos algoritmos para sistemas de distribui??o. Isto se deve em parte, a pequena quantidade de dados de medi??o dispon?veis em tempo real. A maioria dos alimentadores s? disp?e de medi??o de corrente na sa?da do barramento de m?dia tens?o da subesta??o. Dessa forma, a aplica??o de algoritmos tradicionais de estima??o de estado para a supervis?o de alimentadores pode ser inadequada, mesmo considerando dados obtidos off-line atrav?s de pseudomedi??es. Entretanto, a necessidade de automatiza??o da opera??o dos sistemas de distribui??o, principalmente no que diz respeito ? seletividade quando da presen?a de defeitos, fez surgir alguns equipamentos telecomandados, que incorporam m?dulos de telemedi??o de algumas grandezas da rede, que podem ser transmitidas em tempo real para o centro de opera??o do sistema COS. Isso permite o desenvolvimento de um novo modelo de estimador de estado, envolvendo medidas reais e pseudomedidas de cargas, que s?o constru?das a partir da defini??o de fatores de pot?ncia e de utiliza??o t?picos de sistemas de distribui??o. O presente trabalho trata do desenvolvimento de um novo modelo de estimador de estado voltado para sistemas de distribui??o, particularmente, alimentadores radiais. Baseia-se no algoritmo do fluxo de carga soma de pot?ncias. Da? o nome estimador de estado de soma de pot?ncias. O m?todo faz a estima??o de alimentador por se??o, partindo da subesta??o para os ramais. Para cada se??o ? constru?do o modelo de medi??o. Isto resulta em sistemas de equa??es n?o-lineares, sobre determinados, que requerem uma solu??o iterativa. Obt?m-se essa solu??o atrav?s do m?todo dos m?nimos quadrados ponderados via equa??o normal de Gauss. As grandezas estimadas em uma se??o s?o usadas como pseudomedidas para estimar a se??o subseq?ente. O conjunto de medi??o de cada se??o ? constitu?do por pseudomedidas ou medidas de fluxos de pot?ncia nos trechos e tens?es nodais, em tempo real, e por pseudomedidas de inje??es de pot?ncias nos n?s. As pseudomedidas de inje??es de pot?ncia s?o constru?das a partir das equa??es cl?ssicas de pot?ncias injetadas, usadas no estudo de fluxo de carga. Assume-se ainda, que o sistema trif?sico pode ser representado por seu equivalente monof?sico. A grande vantagem do algoritmo est? na simplicidade e rapidez do programa computacional que o implementa. Al?m disso, ? muito eficiente no que diz respeito ? exatid?o das grandezas estimadas. Al?m do estimador soma de pot?ncias, este trabalho mostra como outros algoritmos poderiam ser adaptados para prover estima??o de estado de subesta??es e circuitos de m?dia tens?o, isto ?, o m?todo de Schweppe e um algoritmo baseado em proporcionalidade de corrente, que normalmente ? usado em estudos de planejamento de redes. Ambos os estimadores foram implementados n?o somente como alternativas para o m?todo proposto, mas tamb?m procurando obter resultados para servir de suporte para sua valida??o. Uma vez que na maioria dos casos n?o h? medi??o de pot?ncias na sa?da para o alimentador e esta ? requerida para implementa??o do m?todo da soma de pot?ncias, um novo algoritmo para estimar as grandezas de rede em barra de m?dia tens?o foi tamb?m desenvolvido
|
169 |
Antena de microfita com substrato metamaterialAquino, Manoel do Bonfim Lins de 19 November 2008 (has links)
Made available in DSpace on 2014-12-17T14:55:12Z (GMT). No. of bitstreams: 1
ManoelBLA.pdf: 2395577 bytes, checksum: 6394225c6ebbbdad59d4fa162aa97882 (MD5)
Previous issue date: 2008-11-19 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior / This paper presents a theoretical and numerical analysis of the parameters of a rectangular microstrip antenna with metamaterial substrate. The metamaterial (MTM) theory was applied along with Transverse Transmission Line (LTT) method to characterize substrate quantities and obtain the general equations of the electromagnetic fields. A study on metamaterial theory was conducted to obtain the constructive parameters, which were characterized through permittivity and permeability tensors to arrive at a set of electromagnetic equations. Electromagnetic principes are used to obtained parameters such as complex resonance frequency, bandwidth and radiation pattern were then obtained. Different metamaterial and antenna configurations were simulated to miniaturize them physically and increase their bandwidth, the results of which are shown through graphics. The theoretical computational analysis of this work proved to be accurate when compared to other studies, and may be used for other metamaterial devices. Conclusions and suggestions for future work are also proposed / Este trabalho apresenta a an?lise te?rica e num?rica dos par?metros de uma antena de microfita tipo patch retangular sobre substrato metamaterial. Para isso, ? aplicada a teoria de metamateriais - MTM, em conjunto com o m?todo da Linha de Transmiss?o Transversa - LTT, para a caracteriza??o das grandezas do substrato e obten??o das equa??es gerais dos campos eletromagn?ticos. ? realizado um estudo acerca da teoria de metamateriais com o intuito de obter seus par?metros construtivos, os mesmos s?o caracterizados atrav?s de tensores permissividade e permeabilidade. Essa teoria ? aplicada ao m?todo da Linha de Transmiss?o Transversa chegando-se ?s equa??es gerais para os campos eletromagn?ticos da antena. Em seguida s?o utilizados princ?pios da teoria eletromagn?tica para obter-se caracter?sticas como: freq??ncia de resson?ncia complexa, diagramas de radia??o e largura de banda. S?o simulados diferentes configura??es de metamateriais e antenas com o intuito de miniaturizar as dimens?es f?sicas e aumentar a largura de banda das mesmas, os resultados s?o apresentados atrav?s de gr?ficos. A an?lise te?rica computacional deste trabalho se mostra precisa, em compara??o a outros, podendo ser empregado em dispositivos que utilizem metamateriais como substratos. Ao final s?o apresentadas conclus?es e sugest?es para trabalhos futuros
|
170 |
Bianisotropia uniaxial em estruturas irradiantes com multicamadas e supercondutoresFran?a, Roberto Ranniere Cavalcante de 10 March 2009 (has links)
Made available in DSpace on 2014-12-17T14:55:12Z (GMT). No. of bitstreams: 1
RobertoRCF.pdf: 849885 bytes, checksum: 4d53af5d41e5eb5a8eb261ca52870951 (MD5)
Previous issue date: 2009-03-10 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior / This work presents a theoretical and numerical analysis of parameters of a rectangular microstrip antenna with bianisotropic substrate, and including simultaneously the superconducting patch. The full-wave Transverse Transmission Line - TTL method, is used to characterize these antennas. The bianisotropic substrate is characterized by the permittivity and permeability tensors, and the TTL gives the general equations of the electromagnetic fields of the antennas. The BCS theory and the two fluids model are applied to superconductors in these antennas with bianisotropic for first time. The inclusion of superconducting patch is made using the complex resistive boundary condition. The resonance complex frequency is then obtained. Are simulated some parameters of antennas in order to reduce the physical size, and increase the its bandwidth. The numerical results are presented through of graphs. The theoretical and computational analysis these works are precise and concise. Conclusions and suggestions for future works are presented / Este trabalho apresenta a an?lise te?rica e num?rica dos par?metros de uma antena de micro?ta do tipo retangular sobre substrato bianisotr?pico e tamb?m incluindo simul-taneamente supercondutor na antena. ? aplicada a teoria de onda completa do m?todo da Linha de Transmiss?o Transversa - LTT, para a caracteriza??o das grandezas do substrato e obten??o das equa??es gerais dos campos eletromagn?ticos. ? realizado um estudo atrav?s da teoria bianisotr?pica com o intuito de obter alguns par?metros. Os mesmos s?o caracterizados atrav?s de tensores permissividade e permeabilidade, chegando-se ?s equa??es gerais para os campos eletromagn?ticos da antena. ? apresentado um estudo das principais teorias que explicam o fen?meno da super-condutividade. As teorias BCS, Equa??es de London e modelo dos Dois Fluidos s?o usadas no estudo nas antenas de microfita com estrutura bianisotr?pica pela primeira vez.
A inclus?o do patch supercondutor ? feita utilizando-se a condi??o de contorno com-plexa resistiva. Em seguida ? obtida a freq??ncia de resson?ncia complexa. S?o simu-lados v?rios par?metros de antenas com o intuito de diminuir as dimens?es f?sicas e aumentar a largura de banda das mesmas. Os resultados s?o apresentados atrav?s de gr?ficos. A an?lise te?rico-computacional desse trabalho se mostra precisa e relati-vamente concisa. S?o apresentadas as conclus?es e sugest?es para trabalhos futuros
|
Page generated in 1.0727 seconds