Em direção a uma representação para equações algébricas :uma lógica equacional local

The intervalar arithmetic well-known as arithmetic of Moore, doesn't possess the same properties of the real numbers, and for this reason, it is confronted with a problem of operative nature, when we want to solve intervalar equations as extension of real equations by the usual equality and of the intervalar arithmetic, for this not to possess the inverse addictive, as well as, the property of the distributivity of the multiplication for the sum doesn t be valid for any triplet of intervals. The lack of those properties disables the use of equacional logic, so much for the resolution of an intervalar equation using the same, as for a representation of a real equation, and still, for the algebraic verification of properties of a computational system, whose data are real numbers represented by intervals. However, with the notion of order of information and of approach on intervals, introduced by Acióly[6] in 1991, the idea of an intervalar equation appears to represent a real equation satisfactorily, since the terms of the intervalar equation carry the information about the solution of the real equation. In 1999, Santiago proposed the notion of simple equality and, later on, local equality for intervals [8] and [33]. Based on that idea, this dissertation extends Santiago's local groups for local algebras, following the idea of Σ-algebras according to (Hennessy[31], 1988) and (Santiago[7], 1995). One of the contributions of this dissertation, is the theorem 5.1.3.2 that it guarantees that, when deducing a local Σ-equation E t t in the proposed system SDedLoc(E), the interpretations of t and t' will be locally the same in any local Σ-algebra that satisfies the group of fixed equations local E, whenever t and t have meaning in A. This assures to a kind of safety between the local equacional logic and the local algebras

Modelagem do clima de ondas e seus efeitos sobre as feições morfológicas costeiras no litoral setentrional do Rio Grande do Norte

This thesis presents the results of application of SWAN Simulating WAves Nearshore numerical model, OF third generation, which simulates the propagation and dissipation of energy from sea waves, on the north continental shelf at Rio Grande do Norte, to determine the wave climate, calibrate and validate the model, and assess their potential and limitations for the region of interest. After validation of the wave climate, the results were integrated with information from the submarine relief, and plant morphology of beaches and barrier islands systems. On the second phase, the objective was to analyze the evolution of the wave and its interaction with the shallow seabed, from three transverse profiles orientation from N to S, distributed according to the parallel longitudinal, X = 774000-W, 783000-W e 800000-W. Subsequently, it was were extracted the values of directional waves and winds through all the months between november 2010 to november 2012, to analyze the impact of these forces on the movement area, and then understand the behavior of the morphological variations according to temporal year variability. Based on the results of modeling and its integration with correlated data, and planimetric variations of Soledade and Minhoto beach systems and Ponta do Tubarão and Barra do Fernandes barrier islands systems, it was obtained the following conclusions: SWAN could reproduce and determine the wave climate on the north continental shelf at RN, the results show a similar trend for the measurements of temporal variations of significant height (HS, m) and the mean wave period (Tmed, s); however, the results of parametric statistics were low for the estimates of the maximum values in most of the analyzed periods compared data of PT 1 and PT 2 (measurement points), with alternation of significant wave heights, at times overrated with occasional overlap of swell episodes. By analyzing the spatial distribution of the wave climate and its interaction with the underwater compartmentalization, it was concluded that there is interaction of wave propagation with the seafloor, showing change in significant heights whenever it interacts with the seafloor features (beachrocks, symmetric and asymmetric longitudinal dunes, paleochannel, among others) in the regions of outer, middle and inner shelf. And finally, it is concluded that the study of the stability areas allows identifications of the most unstable regions, confirming that the greatest range of variation indicates greater instability and consequent sensitivity to hydrodynamic processes operating in the coastal region, with positive or negative variation, especially at Ponta do Tubarão and Barra do Fernandes barrier islands systems, where they are more susceptible to waves impacts, as evidenced in retreat of the shoreline

Termodinâmica de um gás de fótons no contexto de eletrodinâmicas não-lineares

The objective of this dissertation is the development of a general formalism to analyze the thermodynamical properties of a photon gas under the context of nonlinear electrodynamics (NLED). To this end it is obtained, through the systematic analysis of Maxwell s electromagnetism (EM) properties, the general dependence of the Lagrangian that describes this kind of theories. From this Lagrangian and in the background of classical field theory, we derive the general dispersion relation that photons must obey in terms of a background field and the NLED properties. It is important to note that, in order to achieve this result, an aproximation has been made in order to allow the separation of the total electromagnetic field into a strong background electromagnetic field and a perturbation. Once the dispersion relation is in hand, the usual Bose-Einstein statistical procedure is followed through which the thermodynamical properties, energy density and pressure relations are obtained. An important result of this work is the fact that equation of state remains identical to the one obtained under EM. Then, two examples are made where the thermodynamic properties are explicitly derived in the context of two NLED, Born-Infelds and a quadratic approximation. The choice of the first one is due to the vast appearance in literature and, the second one, because it is a first order approximation of a large class of NLED. Ultimately, both are chosen because of their simplicity. Finally, the results are compared to EM and interpreted, suggesting possible tests to verify the internal consistency of NLED and motivating further developement into the formalism s quantum case

Recuperação de sinais esparsos. Investigação numérica sobre a quantidade de medidas necessárias para recuperar um sinal esparso

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior

Modelagem Matemática e Computacional de fenômenos eletrocinéticos em meios porosos carregados eletricamente

In this work we present a mathematical and computational modeling of electrokinetic phenomena in electrically charged porous medium. We consider the porous medium composed of three different scales (nanoscopic, microscopic and macroscopic). On the microscopic scale the domain is composed by a porous matrix and a solid phase. The pores are filled with an aqueous phase consisting of ionic solutes fully diluted, and the solid matrix consists of electrically charged particles. Initially we present the mathematical model that governs the electrical double layer in order to quantify the electric potential, electric charge density, ion adsorption and chemical adsorption in nanoscopic scale. Then, we derive the microscopic model, where the adsorption of ions due to the electric double layer and the reactions of protonation/ deprotanaç~ao and zeta potential obtained in modeling nanoscopic arise in microscopic scale through interface conditions in the problem of Stokes and Nerst-Planck equations respectively governing the movement of the aqueous solution and transport of ions. We developed the process of upscaling the problem nano/microscopic using the homogenization technique of periodic structures by deducing the macroscopic model with their respectives cell problems for effective parameters of the macroscopic equations. Considering a clayey porous medium consisting of kaolinite clay plates distributed parallel, we rewrite the macroscopic model in a one-dimensional version. Finally, using a sequential algorithm, we discretize the macroscopic model via the finite element method, along with the interactive method of Picard for the nonlinear terms. Numerical simulations on transient regime with variable pH in one-dimensional case are obtained, aiming computational modeling of the electroremediation process of clay soils contaminated

Equações de segundo grau e mudança de variáveis

In this work are presented, as a review and in a historical context, the most used methods to solve quadratic equations. It is also shown the simplest type of change of variables, namely: x = Ay + B where A;B 2 R, and some changes of variables that were used to solve quadratic equations throughout history. Finally, a change of variable, which has been used by the author in the classroom as an alternative method, is presented and the result of this methodoly is illustrated by the responses of a test that was done by the students in classroom

analise da dispersao de ondas de superficie na provincia borborema, Nordeste do Brasil

The Borborema Province, Northeastern Brazil, had its internal structure investigated by different geophysical methods like gravity, magnetics and seismics. Additionally, many geological studies were also carried out to define the structural domains of this province. Despite the plethora of studies, there are still many important open aspects about its evolution. Here, we study the velocity structure of S-wave in the crust using dispersion of surface waves. The dispersion of surface waves allows an estimate of the average thickness of the crust across the region between the stations. The inversion of the velocity structure was carried out using the inter-station dispersion of surface waves of Rayleigh and Love types. The teleseismic events are mainly from the edges of the South and North American plates. The period of data collection occurred between 2007 and 2010 and we selected 7 events with magnitude above 5.0 MW and up to 40 km depth. The difference between the events back-azimuths and the interstation path was not greater than 10. We also know the depth of the Moho, results from Receiver Functions (Novo Barbosa, 2008), and use those as constrains in inversion. Even using different parameterizations of models for the inversion, our results were very similar the mean profiles velocity structure of S-wave. In pairs of stations located in the Cear´a Central Domain Borborema the province, there are ranges of depths for which the velocities of S are very close. Most of the results in the profile near the Moho complicate their interpretation at that depth, coinciding with the geology of the region, where there are many shear zones. In particular, the profile that have the route Potiguar Bacia in inter-station, had low velocities in the crust. We combine these results to the results of gravimetry and magnetometry (Oliveira, 2008) and receptor function (Novo Barbosa, 2008). We finally, the first results on the behavior of the velocity structure of S-wave with depth in the Province Borborema

Contribuições de modelagem de equações estruturais na análise de dados em modelos comportamentais de destino turístico

A fragilidade brasileira quanto à competitividade turística é um fato observável nos dados da Organização Mundial do Turismo. O Brasil caiu em 2011, da 45ª para a 52ª posição, apesar de liderar no atributo recursos naturais e estar colocado na 23° em recursos culturais. Assim, grandes interesses e esforços têm sido direcionados para o estudo da competitividade dos produtos e destinos turísticos. O destino turístico é caracterizado por um conjunto complexo e articulado de fatores tangíveis e intangíveis, apresentando alta complexidade, dados de elevada dimensionalidade, não linearidade e comportamento dinâmico, tornando-se difícil a modelagem desses processos por meio de abordagens baseadas em técnicas estatísticas clássicas. Esta tese investigou modelos de equações estruturais e seus algoritmos, aplicados nesta área, analisando o ciclo completo de análise de dados, em um processo confirmatório no desenvolvimento e avaliação de um modelo holístico da satisfação do turista; na validação da estrutura do modelo de medida e do modelo estrutural, por meio de testes de invariância de múltiplos grupos; na análise comparativa dos métodos de estimação MLE, GLS e ULS para a modelagem da satisfação e na realização de segmentação de mercado no setor de destino turístico utilizando mapas auto-organizáveis de Kohonen e sua validação com modelagem de equações estruturais. Aplicações foram feitas em análises de dados no setor de turismo, principal indústria de serviços do Estado do Rio Grande do Norte, tendo sido, teoricamente desenvolvidos e testados empiricamente, modelos de equações estruturais em padrões comportamentais de destino turístico. Os resultados do estudo empírico se basearam em pesquisas com a técnica de amostragem aleatória sistemática, efetuadas em Natal-RN, entre Janeiro e Março de 2013 e forneceram evidências sustentáveis de que o modelo teórico proposto é satisfatório, com elevada capacidade explicativa e preditiva, sendo a satisfação o antecedente mais importante da lealdade no destino. Além disso, a satisfação é mediadora entre a geração da motivação da viagem e a lealdade do destino e que os turistas buscam primeiro à satisfação com a qualidade dos serviços de turismo e, posteriormente, com os aspectos que influenciam a lealdade. Contribuições acadêmicas e gerenciais são mostradas e sugestões de estudo são dadas para trabalhos futuros.

Contribuições ao estudo de modelagem de equações estruturais na avaliação da satisfação do cliente de serviços de comunicações móveis

No mercado de telecomunicações as transformações tecnológicas das últimas décadas aliaram-se a um cenário formado por empresas de alta tecnologia que caracterizam o setor de comunicações móveis pessoais em todo mundo. Neste contexto, as empresas deste setor preocupam-se cada vez mais com a competitividade, oferta de serviços, área de atendimento, demanda reprimida e a lealdade do cliente. Estudos de comportamento do consumidor pesquisam a satisfação e lealdade de clientes como fatores básicos para relações bem sucedidas e duradouras com as empresas. A complexidade das relações entre variáveis na avaliação da satisfação do cliente em comunicações móveis pode ser adequadamente pesquisada com a utilização de métodos estatísticos multivariados. Essa tese analisou as relações causais envolvendo os antecedentes e consequentes associados à satisfação do cliente, no segmento de comunicações móveis, bem como desenvolveu e validou um modelo comportamental do cliente no uso deste serviço, buscando explicar as relações entre os construtos envolvidos: satisfação, qualidade dos serviços, valor percebido, imagem da marca, lealdade e reclamação. Foi estabelecida uma ampla base teórica para avaliar a importância estratégica do modelo que relaciona a influência na satisfação do serviço com as percepções dos clientes e avaliada a precisão deste modelo, por meio de uma análise comparativa a utilização de três métodos de estimação dos seus parâmetros, MLE, GLS, e ULS, com o emprego de modelagem de equações estruturais. Foram feitas aplicações em análises de dados, sendo testada e avaliada empiricamente, a influência do gênero na satisfação do cliente deste setor, além de uma segmentação de mercado utilizando mapas auto-organizáveis e a correspondente validação deste processo, com modelagem de equações estruturais.Os resultados do estudo empírico produziram uma boa qualidade de ajustamento para o modelo teórico proposto, com evidências do estabelecimento de uma adequada capacidade explicativa e preditiva, destacando-se a relevância da relação causal entre a satisfação e lealdade, em consonância com diversos estudos realizados para os mercados de comunicações móveis.

Projeto de absorvedores de micro-ondas integrados com superfícies seletivas em frequência

Considering the fact that, the use of wireless communication systems has grown too fast, investigations concerning absorbers of electromagnetic waves has called closer attention of researchers. It is applicable from indoor systems to military applications. Paralleling with this growth, some extremely relevant investigations through Frequency Selective Surfaces (FSS) allows its filter property to be applicable in several systems, for example: reflector antennas, band-pass radomes, and absorbers, which are the main objective of this work. Therefore, the main goal of this work concerns to design micro-waves absorbers through FSS. Thus, the methodology consists basically in two steps: the first step concerns a theoretical and numerical analysis of the structures involved in the process of absorption, the second step, the analysis of the cascaded structures. In order to carry out the analysis, the Equivalent Circuit Method will be used. This method provides characteristics of transmission from the structure, for a plane wave incidence and it requires an extremely limited computing resource in relation if compared to full wave analyses method. Hence, it is useful to allow fast predictions of the development of the structures. Furthermore, a spreading matrix will be used in order to cascade the conductive FSS and the resistive FSS achieving absorption characteristics in the designed band. The experimental results used for the analysis are found in the literature due to the difficulty of building soon, given that it is not a simple construction technique. To conclude, a mathematical development through the Equivalent Circuit Method of a FSS modeling with cross-dipole geometry and a resistive FSS will be presented, as well as the cascading involving the two structures. The same setting is used with a square loop geometry. Besides it, the next steps will be discussed in the conclusion.

Estrutura crustal e mantélica da província Borborema através de funções do receptor e dispersão de ondas superficiais

The Borborema Province, located in northeastern Brazil, has a basement of Precambrian age and a tectonic framework structured at the Neoproterozoic (740-560 Ma). After separation between South America and Africa during the Mesozoic, a rift system was formed, giving rise to a number of marginal and inland basins in the Province. After continental breakup, episodes of volcanism and uplift characterized the evolution of the Province. Plateau uplift was initially related to magmatic underplating of mafic material at the base of the crust, perhaps related to the generation of young continental plugs (45-7 Ma) along the Macau-Queimadas Alignment (MQA), due to a small-scale convection at the continental edge. The goal of this study is to investigate the causes of intra-plate uplift and its relationship to MQA volcanism, by using broadband seismology and integrating our results with independent geophysical and geological studies in the Borborema Province. The investigation of the deep structure of the Province with broadband seismic data includes receiver functions and surface-wave dispersion tomography. Both the receiver functions and surface-wave dispersion tomography are methods that use teleseismic events and allow to develop estimates of crustal parameters such as crustal thickness, Vp/Vs ratio, and S-velocity structure. The seismograms used for the receiver function work were obtained from 52 stations in Northeast Brazil: 16 broadband stations from the RSISNE network (Rede Sismográfica do Nordeste do Brasil), and 21 short-period and 6 broadband stations from the INCT-ET network (Instituto Nacional de Ciência e Tecnologia – Estudos Tectônicos). These results add signifi- cantly to previous datasets collected at individual stations in the Province, which include station RCBR (GSN - Global Seismic Network), stations CAUB and AGBL (Brazilian Lithosphere Seismic Project IAG/USP), and 6 other broadband stations that were part of the Projeto Milênio - Estudos geofísicos e tectônicos na Província Borborema/CNPq. For the surface-wave vii tomography, seismograms recorde at 22 broadband stations were utilized: 16 broadband stations from the RSISNE network and 6 broadband stations from the Milênio project. The new constraints developed in this work include: (i) estimates of crustal thickness and bulk Vp/Vs ratio for each station using receiver functions; (ii) new measurements of surfassewave group velocity, which were integrated to existing measurementes from a continental-scale tomography for South America, and (iii) S-wave velocity models (1D) at various locations in the Borborema Province, developed through the simultaneous inversion of receiver functions and surface-wave dispersion velocities. The results display S-wave velocity structure down to the base of the crust that are consistent with the presence of a 5-7.5 km thick mafic layer. The mafic layer was observed only in the southern portion of the Plateau and absent in its northern portion. Another important observation is that our models divide the plateau into a region of thin crust (northern Plateau) and a region of thick crust (southern Plateau), confirming results from independent refraction surveys and receiver function analyses. Existing models of plateau uplift, nonetheless, cannot explain all the new observations. It is proposed that during the Brazilian orogeny a layer of preexisting mafic material was delaminated, as a whole or in part, from the original Brasiliano crust. Partial delamination would have happened in the southern portion of the plateau, where independent studies found evidence of a more resistant rheology. During Mesozoic rifting, thinning of the crust around the southern Plateau would have formed the marginal basins and the Sertaneja depression, which would have included the northern part of the Plateau. In the Cenozoic, uplift of the northern Plateau would have occurred, resulting in a northern Plateau without mafic material at the base of the crust and a southern Plateau with partially delaminated mafic layer.

Critério de correntropia no treinamento de redes fuzzy wavelet neural networks para identificação de sistemas dinâmicos não lineares

The great interest in nonlinear system identification is mainly due to the fact that a large amount of real systems are complex and need to have their nonlinearities considered so that their models can be successfully used in applications of control, prediction, inference, among others. This work evaluates the application of Fuzzy Wavelet Neural Networks (FWNN) to identify nonlinear dynamical systems subjected to noise and outliers. Generally, these elements cause negative effects on the identification procedure, resulting in erroneous interpretations regarding the dynamical behavior of the system. The FWNN combines in a single structure the ability to deal with uncertainties of fuzzy logic, the multiresolution characteristics of wavelet theory and learning and generalization abilities of the artificial neural networks. Usually, the learning procedure of these neural networks is realized by a gradient based method, which uses the mean squared error as its cost function. This work proposes the replacement of this traditional function by an Information Theoretic Learning similarity measure, called correntropy. With the use of this similarity measure, higher order statistics can be considered during the FWNN training process. For this reason, this measure is more suitable for non-Gaussian error distributions and makes the training less sensitive to the presence of outliers. In order to evaluate this replacement, FWNN models are obtained in two identification case studies: a real nonlinear system, consisting of a multisection tank, and a simulated system based on a model of the human knee joint. The results demonstrate that the application of correntropy as the error backpropagation algorithm cost function makes the identification procedure using FWNN models more robust to outliers. However, this is only achieved if the gaussian kernel width of correntropy is properly adjusted.

Determinação da condutividade do solo para agricultura: uma metodologia utilizando propagação de ondas AM

Agriculture is an essential activity to the human development, the tendency is that their need to increase according to the increase in world population. It is very important to take the maximum performance that is possible of each land without degrading it, a frequently monitoring is essential for the best performance. The purpose of this work is, nondestructively, to monitor the surface electrical conductivity of the soil in a demarcated area, as on a plantation, using low frequency radio waves. The conductivity is directly linked to the amount of water in the area and nutrients, therefore a periodic or even permanent monitoring increases significantly the efficient of the use of the soil. They will be used long-wave radio transmission or medium whose main characteristic to spread over the surface of the earth. It is possible to choose an AM radio with location, frequency and power of the transmission known or generate the signal. The studied method computes the conductivity of the ground in a straight line between two measured points, so it can be used in smaller or larger size fields. Measurements were carried out using an electromagnetic field strength analyzer. The data obtained in the measurements are processed by a numerical calculation program, in our case Matlab. It is concluded that the recommendations of the ITU (International Telecommunication Union) on the conductivity of soil in Brazil is far from reality, on some routes the recommendations indicate the use of the electrical conductivity of the soil 1 mS/m, while the measurements was found 19 mS/m. With the method described a precision farmer, once initial research for about a year, can monitor the humidity and salinity of the land, with the ability to predict the area and the most suitable time for irrigation and fertilization, making management more efficient and less expensive, while optimizing water use, natural resource increasingly precious.

Contribuição ao estudo de treliças não lineares considerando efeitos térmicos

This work presents the numerical analysis of nonlinear trusses summited to thermomechanical actions with Finite Element Method (FEM). The proposed formulation is so-called positional FEM and it is based on the minimum potential energy theorem written according to nodal positions, instead of displacements. The study herein presented considers the effects of geometric and material nonlinearities. Related to dynamic problems, a comparison between different time integration algorithms is performed. The formulation is extended to impact problems between trusses and rigid wall, where the nodal positions are constrained considering nullpenetration condition. In addition, it is presented a thermodynamically consistent formulation, based on the first and second law of thermodynamics and the Helmholtz free-energy for analyzing dynamic problems of truss structures with thermoelastic and thermoplastic behavior. The numerical results of the proposed formulation are compared with examples found in the literature.

Otimização de uma metodologia para análise mineralógica racional de argilominerais

VARELA, M.L. et al. Otimização de uma metodologia para análise mineralógica racional de argilominerais. Cerâmica, São Paulo, n. 51, p. 387-391, 2005.