Maude Object-Oriented Action Tool

MAIDL, André Murbach; CARVILHE, Claudio; MUSICANTE, Martin A. Maude Object-Oriented Action Tool. Electronic Notes in Theoretical Computer Science. [S.l:s.n], 2008.

Uma reavaliação do pensamento lógico de George Boole à luz da história da matemática

The aim of the present study is to reevaluate the logical thought of the English mathematician George Boole (1815 - 1864). Thus, our research centers on the mathematical analysis of logic in the context of the history of mathematics. In order to do so, we present various biographical considerations about Boole in the light of events that happened in the 19th century and their consequences for mathematical production. We briefly describe Boole's innovations in the areas of differential equations and invariant theory and undertake an analysis of Boole's logic, especially as formulated in the book The Mathematical Analysis of Logic, comparing it not only with the traditional Aristotelian logic, but also with modern symbolic logic. We conclude that Boole, as he intended, expanded logic both in terms of its content and also in terms of its methods and formal elaboration. We further conclude that his purpose was the mathematical modeling of deductive reasoning, which led him to present an innovative formalism for logic and, because the different ways it can be interpreted, a new conception of mathematics

Metodologia para modelagem, validação e programação de controladores lógicos industriais usando statecharts básicos

Due of industrial informatics several attempts have been done to develop notations and semantics, which are used for classifying and describing different kind of system behavior, particularly in the modeling phase. Such attempts provide the infrastructure to resolve some real problems of engineering and construct practical systems that aim at, mainly, to increase the productivity, quality, and security of the process. Despite the many studies that have attempted to develop friendly methods for industrial controller programming, they are still programmed by conventional trial-and-error methods and, in practice, there is little written documentation on these systems. The ideal solution would be to use a computational environment that allows industrial engineers to implement the system using high-level language and that follows international standards. Accordingly, this work proposes a methodology for plant and control modelling of the discrete event systems that include sequential, parallel and timed operations, using a formalism based on Statecharts, denominated Basic Statechart (BSC). The methodology also permits automatic procedures to validate and implement these systems. To validate our methodology, we presented two case studies with typical examples of the manufacturing sector. The first example shows a sequential control for a tagged machine, which is used to illustrated dependences between the devices of the plant. In the second example, we discuss more than one strategy for controlling a manufacturing cell. The model with no control has 72 states (distinct configurations) and, the model with sequential control generated 20 different states, but they only act in 8 distinct configurations. The model with parallel control generated 210 different states, but these 210 configurations act only in 26 distinct configurations, therefore, one strategy control less restrictive than previous. Lastly, we presented one example for highlight the modular characteristic of our methodology, which it is very important to maintenance of applications. In this example, the sensors for identifying pieces in the plant were removed. So, changes in the control model are needed to transmit the information of the input buffer sensor to the others positions of the cell

Uma metodologia para modelagem e avaliação da dependabilidade de redes industriais sem fio

Ensuring the dependability requirements is essential for the industrial applications since faults may cause failures whose consequences result in economic losses, environmental damage or hurting people. Therefore, faced from the relevance of topic, this thesis proposes a methodology for the dependability evaluation of industrial wireless networks (WirelessHART, ISA100.11a, WIA-PA) on early design phase. However, the proposal can be easily adapted to maintenance and expansion stages of network. The proposal uses graph theory and fault tree formalism to create automatically an analytical model from a given wireless industrial network topology, where the dependability can be evaluated. The evaluation metrics supported are the reliability, availability, MTTF (mean time to failure), importance measures of devices, redundancy aspects and common cause failures. It must be emphasized that the proposal is independent of any tool to evaluate quantitatively the target metrics. However, due to validation issues it was used a tool widely accepted on academy for this purpose (SHARPE). In addition, an algorithm to generate the minimal cut sets, originally applied on graph theory, was adapted to fault tree formalism to guarantee the scalability of methodology in wireless industrial network environments (< 100 devices). Finally, the proposed methodology was validate from typical scenarios found in industrial environments, as star, line, cluster and mesh topologies. It was also evaluated scenarios with common cause failures and best practices to guide the design of an industrial wireless network. For guarantee scalability requirements, it was analyzed the performance of methodology in different scenarios where the results shown the applicability of proposal for networks typically found in industrial environments

Um estudo de metamaterial em antenas de microfita

Metamaterials have attracted a great attention in recent years mostly due to their electromagnetic properties not found in nature. Since metamaterials began to be synthesized by the insertion of artificially manufactured inclusions in a medium specified host , it provides the researcher a broad collection of independent parameters such as the electromagnetic properties of the material host. In this work was presents an investigation of the unique properties of Split Ring Resonators and compounds metamaterials was performed. We presents a theoretical and numerical analysis , using the full-wave formalism by applying the Transverse Transmission Line - LTT method for the radiation characteristics of a rectangular microstrip antenna using metamaterial substrate, as is successfully demonstrated the practical use of these structures in antennas. We experimentally confirmed that composite metamaterial can improved the performance of the structures considered in this thesis

A etnomatemática dos trabalhadores das cerâmicas de Russas-Ce e o contexto escolar: delineando recomendações pedagógicas a partir de uma experiência educacional

It is still common among contemporary educational proposals an overemphasis abstraction, to the formalism and symbolism of mathematical knowledge at the expense of the sociocultural aspects of Mathematics. Coming up by questioning some academic mathematical tenets and valuing knowledge developed in different sociocultural contexts within Mathematical Education, the Ethnomatematics is consolidating itself as a research field. Despite its contributions to the educational context, because its philosophical character and the paucity of debates about the subject, the implementation of educational proposals for basic education are scarce. Given this situation, this dissertation comes up with a view to develop an educational intervention in the light of Ethnomathematics in a class of 6th grade of an elementary school from a red ceramic industries workers community, located in a countryside from Russas-CE and from this intervention, to develop a set of pedagogical recommendations aiming basic education teachers. Adopting a perspective of qualitative research, particularly guided by action research, this study used observation, field diary, interviews and activities with students as tools for data collection. It was found that the use of field research as part of teaching and learning favored the placement of students as critical subjects of their own reality . Furthermore, the educational experience culminated in the development of a method of teaching based on a relationship between protocooperational Ethnomatematics and the Resolution of Problems. It is necessary to broaden the debate about the ways in which the Ethnomatematics can contribute to the school context, bringing proposals closer to the reality of basic education teachers in order to help the promotion of an education which values cultural diversity without taking away the students from the access of the academic knowledge

O império do desentendimento humano: representações da realidade em textos de dalton trevisan

This work has the general proposal of studying the composition of the trevisanian fictional universe, the aesthetic expression engineered to formulate this universe, and last, the representations of reality that emanates from this aesthetic-narrative construction. It seemed to us, however, that it would be impossible to cover, even superficially, so vast and voluminous set of texts as the trevisanian. Therefore, so that we could accomplish this task, and still do it in a way that was, at the same time, plausible and thorough, it was necessary an objective cut within that library. Then we selected a book, representative of the whole trevisanian work, which served as the object of study: Cemitério de Elefantes, 1964, one of the first books of short stories by this author. Within this one, we focused even more our sight, then moving towards what we call a reality forked in paralytic world and world in violence . Supported by the theories and methodologies of Auerbach (2011), Candido (2002, 2006), Adorno (2003), Gennete (1995), Friedman (2002), and still moved by the spirit of Russian Formalism (1973), we built our criticism. Our approach was based then in three steps: first we are dedicated to comment the general context of the trevisanian work, supported strongly by reading two of the biggest critics of his literature, Miguel Sanches Neto and Berta Waldman, secondly, we turn us to comment on the detailed formal construction of language and narrative elements of the trevisanian prose; finally we raised our criticism to the level of reading representations of reality, and then we started to comment the construction of the trevisanian fictional universe, focusing in splitting this universe in paralytic world and world in violence

Uma (re)leitura teleológica da filosofia moral em Kant : por uma necessidade de inclusão do homem na natureza

Made from the bases of metaphysics, this dissertation is related do Kant‟s moral philosophy. But the itinerary to reach the main speculation used to develop this current understanding of Kant‟s thoughts, it is nothing but an attempt to make the formal rigor more flexible, which has always been associated to Kantian ethics‟ perspectives. From the awareness of what this formalism could be, while a moral arrangement, it is how we will be able to come upon a teleological Kant. That is the fundamental element to comprehend some of the significant aspects in that ethical system, which necessarily comes through the effort to demonstrate the proximity between reason and sensibility, as well as nature and liberty. In this environment, the journey to achieve the autonomy, as the bedrock of liberty and morality, evokes the support of education in Kantian patterns, which enables a course of improvement of the human being, as an individual e, more significantly, as specie. This evolution progress, which tents to reveal the destiny of the humanity, is evolved in the relationship between necessity and finality, as a condition to make the structure of a project to humanity possible. We should mention that it is a rational, an educational and a moral project to be developed in the course of history. As a consequence, the amount of all these elements permits the development of the man‟s natural disposition as a creature that looks for self knowledge , becoming, afterward, dignified to be qualified as a human being. Finally, this study intent to figure out the necessity of the human being inclusion to nature, which happens throughout the acquirement of the individuals‟ conscience

Percolação convencional, percolação correlacionada e percolação por invasão num suporte multifractal

In this work we have studied the problem of percolation in a multifractal geometric support, in its different versions, and we have analysed the conection between this problem and the standard percolation and also the connection with the critical phenomena formalism. The projection of the multifractal structure into the subjacent regular lattice allows to map the problem of random percolation in the multifractal lattice into the problem of correlated percolation in the regular lattice. Also we have investigated the critical behavior of the invasion percolation model in this type of environment. We have discussed get the finite size effects

Teoria cinética não extensiva: efeitos físicos em gases e plasmas

The standard kinetic theory for a nonrelativistic diluted gas is generalized in the spirit of the nonextensive statistic distribution introduced by Tsallis. The new formalism depends on an arbitrary q parameter measuring the degree of nonextensivity. In the limit q = 1, the extensive Maxwell-Boltzmann theory is recovered. Starting from a purely kinetic deduction of the velocity q-distribution function, the Boltzmann H-teorem is generalized for including the possibility of nonextensive out of equilibrium effects. Based on this investigation, it is proved that Tsallis' distribution is the necessary and sufficient condition defining a thermodynamic equilibrium state in the nonextensive context. This result follows naturally from the generalized transport equation and also from the extended H-theorem. Two physical applications of the nonextensive effects have been considered. Closed analytic expressions were obtained for the Doppler broadening of spectral lines from an excited gas, as well as, for the dispersion relations describing the eletrostatic oscillations in a diluted electronic plasma. In the later case, a comparison with the experimental results strongly suggests a Tsallis distribution with the q parameter smaller than unity. A complementary study is related to the thermodynamic behavior of a relativistic imperfect simple fluid. Using nonequilibrium thermodynamics, we show how the basic primary variables, namely: the energy momentum tensor, the particle and entropy fluxes depend on the several dissipative processes present in the fluid. The temperature variation law for this moving imperfect fluid is also obtained, and the Eckart and Landau-Lifshitz formulations are recovered as particular cases

Excitações em cristais fotônicos unidimensionais

In this work, we present a theoretical study of the propagation of electromagnetic waves in multilayer structures called Photonic Crystals. For this purpose, we investigate the phonon-polariton band gaps in periodic and quasi-periodic (Fibonacci-type) multilayers made up of both positive and negative refractive index materials in the terahertz (THz) region. The behavior of the polaritonic band gaps as a function of the multilayer period is investigated systematically. We use a theoretical model based on the formalism of transfer matrix in order to simplify the algebra involved in obtaining the dispersion relation of phonon-polaritons (bulk and surface modes). We also present a quantitative analysis of the results, pointing out the distribution of the allowed polaritonic bandwidths for high Fibonacci generations, which gives good insight about their localization and power laws. We calculate the emittance spectrum of the electromagnetic radiation, in THZ frequency, normally and obliquely incident (s and p polarized modes) on a one-dimensional multilayer structure composed of positive and negative refractive index materials organized periodically and quasi-periodically. We model the negative refractive index material by a effective medium whose electric permittivity is characterized by a phonon-polariton frequency dependent dielectric function, while for the magnetic permeability we have a Drude like frequency-dependent function. Similarity to the one-dimensional photonic crystal, this layered effective medium, called polaritonic Crystals, allow us the control of the electromagnetic propagation, generating regions named polaritonic bandgap. The emittance spectra are determined by means of a well known theoretical model based on Kirchoff s second law, together with a transfer matrix formalism. Our results shows that the omnidirectional band gaps will appear in the THz regime, in a well defined interval, that are independent of polarization in periodic case as well as in quasiperiodic case

Aplicações da q-Álgebra em física da matéria condensada

We address the generalization of thermodynamic quantity q-deformed by q-algebra that describes a general algebra for bosons and fermions . The motivation for our study stems from an interest to strengthen our initial ideas, and a possible experimental application. On our journey, we met a generalization of the recently proposed formalism of the q-calculus, which is the application of a generalized sequence described by two parameters deformation positive real independent and q1 and q2, known for Fibonacci oscillators . We apply the wellknown problem of Landau diamagnetism immersed in a space D-dimensional, which still generates good discussions by its nature, and dependence with the number of dimensions D, enables us future extend its application to systems extra-dimensional, such as Modern Cosmology, Particle Physics and String Theory. We compare our results with some experimentally obtained performing major equity. We also use the formalism of the oscillators to Einstein and Debye solid, strengthening the interpretation of the q-deformation acting as a factor of disturbance or impurity in a given system, modifying the properties of the same. Our results show that the insertion of two parameters of disorder, allowed a wider range of adjustment , i.e., enabling change only the desired property, e.g., the thermal conductivity of a same element without the waste essence

Polaritons de exciton em super-redes semicondutoras

In this work we study the spectrum (bulk and surface modes) of exciton-polaritons in infinite and semi-infinite binary superlattices (such as, ···ABABA···), where the semiconductor medium (A), whose dielectric function depends on the frequency and the wavevector, alternating with a standard dielectric medium B. Here the medium A will be modeled by a nitride III-V semiconductor whose main characteristic is a wide-direct energy gap Eg. In particular, we consider the numerical values of gallium nitride (GaN) with a crystal structure wurtzite type. The transfer-matrix formalism is used to find the exciton-polariton dispersion relation. The results are obtained for both s (TE mode: transverse electric) and p (TM mode: transverse magnetic) polarizations, using three diferent kind of additional boundary conditions (ABC1, 2 e 3) besides the standard Maxwell's boundary conditions. Moreover, we investigate the behavior of the exciton-polariton modes for diferent ratios of the thickness of the two alternating materials forming the superlattice. The spectrums shows a confinement of the exciton-polariton modes due to the geometry of the superlattice. The method of Attenuated Total Reflection (ATR) and Raman scattering are the most adequate for probing this excitations

Processos difusivos generalizados

We investigate several diffusion equations which extend the usual one by considering the presence of nonlinear terms or a memory effect on the diffusive term. We also considered a spatial time dependent diffusion coefficient. For these equations we have obtained a new classes of solutions and studied the connection of them with the anomalous diffusion process. We start by considering a nonlinear diffusion equation with a spatial time dependent diffusion coefficient. The solutions obtained for this case generalize the usual one and can be expressed in terms of the q-exponential and q-logarithm functions present in the generalized thermostatistics context (Tsallis formalism). After, a nonlinear external force is considered. For this case the solutions can be also expressed in terms of the q-exponential and q-logarithm functions. However, by a suitable choice of the nonlinear external force, we may have an exponential behavior, suggesting a connection with standard thermostatistics. This fact reveals that these solutions may present an anomalous relaxation process and then, reach an equilibrium state of the kind Boltzmann- Gibbs. Next, we investigate a nonmarkovian linear diffusion equation that presents a kernel leading to the anomalous diffusive process. Particularly, our first choice leads to both a the usual behavior and anomalous behavior obtained through a fractionalderivative equation. The results obtained, within this context, correspond to a change in the waiting-time distribution for jumps in the formalism of random walks. These modifications had direct influence in the solutions, that turned out to be expressed in terms of the Mittag-Leffler or H of Fox functions. In this way, the second moment associated to these distributions led to an anomalous spread of the distribution, in contrast to the usual situation where one finds a linear increase with time

Efeitos não-gaussianos em astrofísica e cosmologia

The recent astronomical observations indicate that the universe has null spatial curvature, is accelerating and its matter-energy content is composed by circa 30% of matter (baryons + dark matter) and 70% of dark energy, a relativistic component with negative pressure. However, in order to built more realistic models it is necessary to consider the evolution of small density perturbations for explaining the richness of observed structures in the scale of galaxies and clusters of galaxies. The structure formation process was pioneering described by Press and Schechter (PS) in 1974, by means of the galaxy cluster mass function. The PS formalism establishes a Gaussian distribution for the primordial density perturbation field. Besides a serious normalization problem, such an approach does not explain the recent cluster X-ray data, and it is also in disagreement with the most up-to-date computational simulations. In this thesis, we discuss several applications of the nonextensive q-statistics (non-Gaussian), proposed in 1988 by C. Tsallis, with special emphasis in the cosmological process of the large structure formation. Initially, we investigate the statistics of the primordial fluctuation field of the density contrast, since the most recent data from the Wilkinson Microwave Anisotropy Probe (WMAP) indicates a deviation from gaussianity. We assume that such deviations may be described by the nonextensive statistics, because it reduces to the Gaussian distribution in the limit of the free parameter q = 1, thereby allowing a direct comparison with the standard theory. We study its application for a galaxy cluster catalog based on the ROSAT All-Sky Survey (hereafter HIFLUGCS). We conclude that the standard Gaussian model applied to HIFLUGCS does not agree with the most recent data independently obtained by WMAP. Using the nonextensive statistics, we obtain values much more aligned with WMAP results. We also demonstrate that the Burr distribution corrects the normalization problem. The cluster mass function formalism was also investigated in the presence of the dark energy. In this case, constraints over several cosmic parameters was also obtained. The nonextensive statistics was implemented yet in 2 distinct problems: (i) the plasma probe and (ii) in the Bremsstrahlung radiation description (the primary radiation from X-ray clusters); a problem of considerable interest in astrophysics. In another line of development, by using supernova data and the gas mass fraction from galaxy clusters, we discuss a redshift variation of the equation of state parameter, by considering two distinct expansions. An interesting aspect of this work is that the results do not need a prior in the mass parameter, as usually occurs in analyzes involving only supernovae data.Finally, we obtain a new estimate of the Hubble parameter, through a joint analysis involving the Sunyaev-Zeldovich effect (SZE), the X-ray data from galaxy clusters and the baryon acoustic oscillations. We show that the degeneracy of the observational data with respect to the mass parameter is broken when the signature of the baryon acoustic oscillations as given by the Sloan Digital Sky Survey (SDSS) catalog is considered. Our analysis, based on the SZE/X-ray data for a sample of 25 galaxy clusters with triaxial morphology, yields a Hubble parameter in good agreement with the independent studies, provided by the Hubble Space Telescope project and the recent estimates of the WMAP