Representações espectrais de sistemas complexos: aplicações à síntese de superfícies brownianas fracionárias anisotrópicas, filtragem de sinais e identificação de correlações

In this thesis, we study the application of spectral representations to the solution of problems in seismic exploration, the synthesis of fractal surfaces and the identification of correlations between one-dimensional signals. We apply a new approach, called Wavelet Coherency, to the study of stratigraphic correlation in well log signals, as an attempt to identify layers from the same geological formation, showing that the representation in wavelet space, with introduction of scale domain, can facilitate the process of comparing patterns in geophysical signals. We have introduced a new model for the generation of anisotropic fractional brownian surfaces based on curvelet transform, a new multiscale tool which can be seen as a generalization of the wavelet transform to include the direction component in multidimensional spaces. We have tested our model with a modified version of the Directional Average Method (DAM) to evaluate the anisotropy of fractional brownian surfaces. We also used the directional behavior of the curvelets to attack an important problem in seismic exploration: the atenuation of the ground roll, present in seismograms as a result of surface Rayleigh waves. The techniques employed are effective, leading to sparse representation of the signals, and, consequently, to good resolutions

Conceitos e técnicas da mecânica estatística e termodinâmica aplicados ao estudo dos grafos aleatórios

This dissertation briefly presents the random graphs and the main quantities calculated from them. At the same time, basic thermodynamics quantities such as energy and temperature are associated with some of their characteristics. Approaches commonly used in Statistical Mechanics are employed and rules that describe a time evolution for the graphs are proposed in order to study their ergodicity and a possible thermal equilibrium between them

Construção de Conceitos Matemáticos na Educação Básica numa Abordagem Peirceana

Peircean semiotic analysis is employed to examine the construction/representation of signs-thinking of 32 early elementary school students regarding the concept of length measurement. The work consisted of developing concepts of standard unit, reading and interpretation of measurement by instruments, so that the mathematical language presented in the concrete materials was being signified and re-signified as a tool for perception and representation of new concepts. The pedagogical triad Feeling-Perceiving, Relating-Concept (F-P/R/C) co-related with the dynamism of the semiosis process, defined by Charles Sanders Peirce (1839-1914) in his semiotic theory on the production of the sign (Object, Representamen and Interpretant), enabled the interpretation and analysis of the students' inferences in the phase of perception (feel, admire), induction (experience), and deduction (concept).

Conceitos de didática: depoimentos de docentes universitários da área de Educação Física

Na pesquisa investigou-se como docentes universitários em Educação Física conceituam didática. Realizou-se revisão da literatura abordando história e conceituações da didática. Utilizando-se a técnica de entrevista e análise qualitativa, coletou-se e analisou-se depoimentos de treze docentes universitários oriundos do mestrado em Educação Física. Com o método de abordagem histórico constatou-se que a didática esteve articulada às tendências pedagógicas: tradicional, escola nova, tecnicista e progressista e é conceituada como disciplina, área de estudos e técnica de ensino. Como técnica pode ser entendida no sentido amplo, referindo-se a procedimentos de levar alguém a aprender algo e no sentido pedagógico apresenta os procedimentos atrelados à questões sócio-morais. Os depoimentos coletados revelaram que os docentes universitários entendem a didática no sentido amplo. Conclui-se que na formação destes docentes universitários a didática foi abordada apenas como técnica de ensino, apesar de sua trajetória histórica e a prática pedagógica estarem diretamente ligadas aos rumos da educação.

Os conceitos de eletricidade vítrea e eletricidade resinosa segundo Du Fay

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Complexos metálicos de cobalto, níquel e cobre com a Pirazina-2-carboxamida e 4- hidrazida ácida piridincarboxílica: síntese e caracterização

This work involved the synthesis, characterization and proposing the molecular structure of coordination compounds involving ligands pyrazine-2-carboxamide (PZA) and 4- hydrazide acidic pyridine carboxylic (INH) and metals of the first transition series (M = Co2+, Ni2+ and Cu2+). For the characterization of the compounds used were analytical techniques such as infrared absorption spectroscopy average (FT-IR) molar conductivity measurements, CHN elemental analysis, EDTA Complexometric, measurement of melting point, X-ray diffraction by powder method, Thermogravimetry (TG) and Differential Thermal Analysis (DTA) and Simultaneous Differential Scanning Calorimetry (DSC). The absorption spectra in the infrared region suggested that the ligand coordination to the metal center occurs through the carbonyl oxygen atom and nitrogen alpha pyrazine ring to those complexes formed with PZA. For INH complexes with metal-ligand coordination is through the carbonyl oxygen and nitrogen of the terminal hydrazide grouping. The conductivity measurements of the complexes in aqueous solution they suggest to all behavior of the type 1:2 electrolytes, and conduct of non-electrolytes in acetonitrile. The results obtained by CHN elemental analysis and EDTA Complexometric allowed to infer the stoichiometry of the compounds synthesized. For all of the complexes obtained was possible to record the melting points, neither of which melted near the melting temperature of the free ligands. The X-ray diffraction showed that the complexes of pyrazinamide exhibited diffraction lines, suggesting that these compounds are crystalline, while compounds of isoniazid, with the exception of cobalt, exhibited diffraction lines, indicating that they are crystalline. The results from the TG-DTA and DSC allowed information regarding the dehydration and thermal decomposition of these complexes

Síntese, caracterização e estudo fotofísico de complexos de 4,4- diaminoestilbeno-2,2-dissulfonato com íons lantanídeos

This is a work involving fundamental studies of chemistry where the synthesis and structural characterization, as well as a possible future application of these new compounds as luminescent sensors or sunscreen agents, complexes with 4,4 diaminostilbene-2,2-disulfonic (DSD) and trivalent lanthanide ions La3+, Nd3+, Eu3+, Gd3+ and Yb3+, were synthesized in the ratio of 3 mmol: 1 mmol (DSD: lanthanides). The complexes obtained with these ions were present in powder form and were characterized by complexometric titration with EDTA CHN Elemental analysis, molecular absorption spectroscopy in the ultraviolet region, the absorption spectroscopy in the infrared, thermal analysis (TG / DTG), Nuclear Magnetic Resonance - NMR 1H and Luminescence Spectroscopy. The complexometric titration and CHN analysis, confirmed the TG / DTG which suggest that these complexes have the following general chemical formulas: [La2(C14H12S2O6N2)2(H2O)2Cl2].7H2O,[Nd2(C14H12S2O6N2)2(H2O)2Cl2].6H2O,[Eu2(C14 H12S2O6N2)2(H2O)2Cl2].7H2O,[Gd2(C14H12S2O6N2)2(H2O)2Cl2].4H2O e [Yb2(C14H12S2O6N2)2(H2O)2].6H2O. The disappearance of the bands in the infrared spectrum at 2921 cm-1 and 2623 cm-1 and the displacement of the bands in the spectra of the amine complex indicate that the lanthanide ion is coordinated to the oxygen atoms and the sulfonate groups of the nitrogens amines, suggesting the formation of the dimer. The disappearance of the signal and the displacement signal SO3H amines in the 1H NMR spectrum of this complex are also indicative coordination and dimer formation. The Thermogravimetry indicates that the DSD is thermally stable in the range of 40º to 385°C and their complexes with lanthanide ions exhibit weight loss between 4 and 5 stages. The Uv-visible spectra indicated that the DSD and complexes exhibit cis isomers. The analysis of luminescence indicates that the complexes do not exhibit emission in the region of the lanthanides but an intense emission part of the binder. This is related to the triplet states of the ligand, which are in the lowest energy state emitting lanthanide ions, and also the formation of the dimer that suppress the luminescence of ion Eu3+. The formation of dimer was also confirmed by calculating the europium complex structure using the model Hamiltonian PM6 and Sparkle

Obtenção de dispersões de complexos polieletrolíticos à base de quitosana e poli(ácido metacrílico) e análise de adsorção de albumina bovina sérica

Dispersions composed of polyelectrolyte complexes based on chitosan and poly(methacrylic acid), PMAA, were obtained by the dropping method and template polymerization. The effect of molecular weight of PMAA and ionic strength on the formation of chitosan/poly(methacrylic acid), CS/PMAA, complexes was evaluated using the dropping method. The increase in molecular weight of PMAA inhibited the formation of insoluble complexes, while the increase in ionic strength first favored the formation of the complex followed by inhibiting it at higher concentrations. The polyelectrolyte complexation was strongly dependent on macromolecular dimensions, both in terms of molecular weight and of coil expansion/contraction driven by polyelectrolyte effect. The resultant particles from dropping method and template polymerization were characterized as having regions with different charge densities: chitosan predominating in the core and poly(methacrylic acid) at the surface, the particles being negatively charged, as a consequence. Albumin was adsorbed on templatepolymerized CS/PMAA complexes (after crosslinking with glutardialdehyde) and pH was controlled in order to obtain two conditions: (i) adsorption of positively charged albumin, and (ii) adsorption of albumin at its isoelectric point. Adsorption isotherms and zeta potential measurements showed that albumin adsorption was controlled by hydrogen bonding/van der Waals interactions and that brushlike structures may enhance adsorption of albumin on these particles

Estendendo CRefine para o suporte de táticas de refinamento

The use of increasingly complex software applications is demanding greater investment in the development of such systems to ensure applications with better quality. Therefore, new techniques are being used in Software Engineering, thus making the development process more effective. Among these new approaches, we highlight Formal Methods, which use formal languages that are strongly based on mathematics and have a well-defined semantics and syntax. One of these languages is Circus, which can be used to model concurrent systems. It was developed from the union of concepts from two other specification languages: Z, which specifies systems with complex data, and CSP, which is normally used to model concurrent systems. Circus has an associated refinement calculus, which can be used to develop software in a precise and stepwise fashion. Each step is justified by the application of a refinement law (possibly with the discharge of proof obligations). Sometimes, the same laws can be applied in the same manner in different developments or even in different parts of a single development. A strategy to optimize this calculus is to formalise these application as a refinement tactic, which can then be used as a single transformation rule. CRefine was developed to support the Circus refinement calculus. However, before the work presented here, it did not provide support for refinement tactics. The aim of this work is to provide tool support for refinement tactics. For that, we develop a new module in CRefine, which automates the process of defining and applying refinement tactics that are formalised in the tactic language ArcAngelC. Finally, we validate the extension by applying the new module in a case study, which used the refinement tactics in a refinement strategy for verification of SPARK Ada implementations of control systems. In this work, we apply our module in the first two phases of this strategy

Projeto e implementação em FPGA de um processador com conjunto de instrução reconfigurável utilizando VHDL

The Reconfigurable Computing is an intermediate solution at the resolution of complex problems, making possible to combine the speed of the hardware with the flexibility of the software. An reconfigurable architecture possess some goals, among these the increase of performance. The use of reconfigurable architectures to increase the performance of systems is a well known technology, specially because of the possibility of implementing certain slow algorithms in the current processors directly in hardware. Amongst the various segments that use reconfigurable architectures the reconfigurable processors deserve a special mention. These processors combine the functions of a microprocessor with a reconfigurable logic and can be adapted after the development process. Reconfigurable Instruction Set Processors (RISP) are a subgroup of the reconfigurable processors, that have as goal the reconfiguration of the instruction set of the processor, involving issues such formats, operands and operations of the instructions. This work possess as main objective the development of a RISP processor, combining the techniques of configuration of the set of executed instructions of the processor during the development, and reconfiguration of itself in execution time. The project and implementation in VHDL of this RISP processor has as intention to prove the applicability and the efficiency of two concepts: to use more than one set of fixed instructions, with only one set active in a given time, and the possibility to create and combine new instructions, in a way that the processor pass to recognize and use them in real time as if these existed in the fixed set of instruction. The creation and combination of instructions is made through a reconfiguration unit, incorporated to the processor. This unit allows the user to send custom instructions to the processor, so that later he can use them as if they were fixed instructions of the processor. In this work can also be found simulations of applications involving fixed and custom instructions and results of the comparisons between these applications in relation to the consumption of power and the time of execution, which confirm the attainment of the goals for which the processor was developed

Vegetação dunar: caracterização estrutural de dunas do município de Natal-RN como subsídio para implantação de técnicas de reflorestamernto, recuperação e conservação do ecossistema

The Brazilian coast has a wide variety of complex environments and ecosystems along the coast, about 80% are represented by sandbanks and dunes. The coastal ecosystems were the first to suffer the impacts man and places, as the very fragile ecosystems, are somehow altered. Are few areas of restinga well as natural features, very few protected in conservation units. Only in the last two decades the Brazilian restinga have been studies that are showing their importance for biodiversity of the country, though its economic importance remains largely unknown. In Rio Grande do Norte in the restinga vegetation and dune environments extend for almost the entire coast. The dunes are distinguished in the coastal landscape of the state due to the exuberance of its forms, heights and coating plants. The dune system is of fundamental importance for the maintenance of coastal urban settlements, especially for the city of Natal, acting on the hydrological dynamics of water table and reducing the effect of wind and movement of grains of sand to the interior and thus avoiding the burial City. However, the ecosystem of restinga and dune environments have been weakened and destroyed according to the intense urbanization and the knowledge of the vegetation of restinga installed on the dunes are still scarce. Thus, the objective of this study was to characterize the structure and floristic composition of vegetation established on a dune in the Dunes State Park Christmas and gather information to develop a model of recovery of the dune ecosystem. This dissertation is composed of 2 chapters, the first being: Structure of the vegetation of the dunes Dunes State Park in Natal, RN with the objective of describing the structure and composition of species of tree-shrub vegetation of restinga dunes of the Parque das Dunas and second: Recovery of degraded areas in a sand dune, which aimed to review the terms and concepts used in the theme of recovery and the techniques for recovery of degraded areas with emphasis on sandy environments and poor in nutrients, reporting some experiences within and external to Brazil the country, mainly in the Northeast and dunes positive and negative aspects that should be followed in building a model to be adopted for the recovery of local dunes

Método e sociologia em Weber: alguns conceitos fundamentais

Os parâmetros de análise social fornecidos pelos fundamentos da obra weberiana apontam algumas determinações necessárias à análise de fenômenos sociais. Defendendo uma sociologia capaz de compreender os sentidos e conexões presentes nas ações sociais, Weber propõe uma concepção específica de método e de objeto na sociologia, que se assenta na explicação de ações sociais individuais, sob condições determinadas, e busca, ao mesmo tempo, explicitar as significações das instituições sociais, nas quais os indivíduos agem, como resultantes também da ação humana. A partir de tais idéias, o breve ensaio ora apresentado, propõe-se a debater alguns elementos trabalhados nos conceitos weberianos de método e sociologia

Entropia de bloco no formalismo estatístico generalizado de Kaniadakis

A posição que a renomada estatí stica de Boltzmann-Gibbs (BG) ocupa no cenário cientifíco e incontestável, tendo um âmbito de aplicabilidade muito abrangente. Por em, muitos fenômenos físicos não podem ser descritos por esse formalismo. Isso se deve, em parte, ao fato de que a estatística de BG trata de fenômenos que se encontram no equilíbrio termodinâmico. Em regiões onde o equilíbrio térmico não prevalece, outros formalismos estatísticos devem ser utilizados. Dois desses formalismos emergiram nas duas ultimas décadas e são comumente denominados de q-estatística e k-estatística; o primeiro deles foi concebido por Constantino Tsallis no final da década de 80 e o ultimo por Giorgio Kaniadakis em 2001. Esses formalismos possuem caráter generalizador e, por isso, contem a estatística de BG como caso particular para uma escolha adequada de certos parâmetros. Esses dois formalismos, em particular o de Tsallis, nos conduzem também a refletir criticamente sobre conceitos tão fortemente enraizados na estat ística de BG como a aditividade e a extensividade de certas grandezas físicas. O escopo deste trabalho esta centrado no segundo desses formalismos. A k -estatstica constitui não só uma generalização da estatística de BG, mas, atraves da fundamentação do Princípio de Interação Cinético (KIP), engloba em seu âmago as celebradas estatísticas quânticas de Fermi- Dirac e Bose-Einstein; além da própria q-estatística. Neste trabalho, apresentamos alguns aspectos conceituais da q-estatística e, principalmente, da k-estatística. Utilizaremos esses conceitos junto com o conceito de informação de bloco para apresentar um funcional entrópico espelhado no formalismo de Kaniadakis que será utilizado posteriormente para descrever aspectos informacionais contidos em fractais tipo Cantor. Em particular, estamos interessados em conhecer as relações entre parâmetros fractais, como a dimensão fractal, e o parâmetro deformador. Apesar da simplicidade, isso nos proporcionará, em trabalho futuros, descrever estatisticamente estruturas mais complexas como o DNA, super-redes e sistema complexos

Estudo de Fractalidade e Evolução Dinâmica de Sistemas Complexos

In this work, the study of some complex systems is done with use of two distinct procedures. In the first part, we have studied the usage of Wavelet transform on analysis and characterization of (multi)fractal time series. We have test the reliability of Wavelet Transform Modulus Maxima method (WTMM) in respect to the multifractal formalism, trough the calculation of the singularity spectrum of time series whose fractality is well known a priori. Next, we have use the Wavelet Transform Modulus Maxima method to study the fractality of lungs crackles sounds, a biological time series. Since the crackles sounds are due to the opening of a pulmonary airway bronchi, bronchioles and alveoli which was initially closed, we can get information on the phenomenon of the airway opening cascade of the whole lung. Once this phenomenon is associated with the pulmonar tree architecture, which displays fractal geometry, the analysis and fractal characterization of this noise may provide us with important parameters for comparison between healthy lungs and those affected by disorders that affect the geometry of the tree lung, such as the obstructive and parenchymal degenerative diseases, which occurs, for example, in pulmonary emphysema. In the second part, we study a site percolation model for square lattices, where the percolating cluster grows governed by a control rule, corresponding to a method of automatic search. In this model of percolation, which have characteristics of self-organized criticality, the method does not use the automated search on Leaths algorithm. It uses the following control rule: pt+1 = pt + k(Rc − Rt), where p is the probability of percolation, k is a kinetic parameter where 0 < k < 1 and R is the fraction of percolating finite square lattices with side L, LxL. This rule provides a time series corresponding to the dynamical evolution of the system, in particular the likelihood of percolation p. We proceed an analysis of scaling of the signal obtained in this way. The model used here enables the study of the automatic search method used for site percolation in square lattices, evaluating the dynamics of their parameters when the system goes to the critical point. It shows that the scaling of , the time elapsed until the system reaches the critical point, and tcor, the time required for the system loses its correlations, are both inversely proportional to k, the kinetic parameter of the control rule. We verify yet that the system has two different time scales after: one in which the system shows noise of type 1 f , indicating to be strongly correlated. Another in which it shows white noise, indicating that the correlation is lost. For large intervals of time the dynamics of the system shows ergodicity

Usando a história da resolução de alguns problemas para introduzir conceitos: sistemas lineares, determinantes e matrizes.

In this work we studied the method to solving linear equations system, presented in the book titled "The nine chapters on the mathematical art", which was written in the first century of this era. This work has the intent of showing how the mathematics history can be used to motivate the introduction of some topics in high school. Through observations of patterns which repeats itself in the presented method, we were able to introduce, in a very natural way, the concept of linear equations, linear equations system, solution of linear equations, determinants and matrices, besides the Laplacian development for determinants calculations of square matrices of order bigger than 3, then considering some of their general applications