43 resultados para Deep Inference, Proof Theory, Teoria della Dimostrazione, Cut elimination, Gentzen Hauptsatz
Resumo:
This work aims to present how the reconfigurable microstrip antennas and frequency selective surfaces can be used to operate at communication systems that require changing their operation frequency according to system requirements or environmental conditions. The main purpose is to present a reconfigurable circular microstrip antenna using a parasitic ring and a reconfigurable dipole frequency selective surface. Thereupon there are shown fundamental topics like microstrip antennas, PIN diodes and the fundamental theory of reconfigurable antennas and frequency selective surfaces. There are shown the simulations and measurements of the fabricated prototypes and it is done an analysis of some parameters like the bandwidth and radiation pattern, for the antennas, and the transmission characteristics, for the frequency selective surface. Copper strips were used in place of the diodes for proof of the reconfigurability concept
Resumo:
The present study seeks to present a historico-epistemological analysis of the development of the mathematical concept of negative number. In order to do so, we analyzed the different forms and conditions of the construction of mathematical knowledge in different mathematical communities and, thus, identified the characteristics in the establishment of this concept. By understanding the historically constructed barriers, especially, the ones having ontologicas significant, that made the concept of negative number incompatible with that of natural number, thereby hindering the development of the concept of negative, we were able to sketch the reasons for the rejection of negative numbers by the English author Peter Barlow (1776 -1862) in his An Elementary Investigation of the Theory of Numbers, published in 1811. We also show the continuity of his difficulties with the treatment of negative numbers in the middle of the nineteenth century
Resumo:
The current research had as main objective to analyze the possibility of knowledge elaboration/re-elaboration about ideas and algorithmic procedures related to basic operations by pupils of the 6th degree fundamental teaching in a significant learning process. This way the study had as basis a methodological intervention developed in a 6th degree class of a Fundamental Teaching Municipal School in the city of João Pessoa, PB. The research had as central steps the application of pre-tests (1 and 2); the execution of semi-structured interviews with the pupils involved in the theme deep studies; the elaboration and development of teaching activities, having as referential the significant learning and the application of a pre-test. The data collected in the pre-tests (1 and 2) showed a low level of the pupils comprehension about the contents related to the four operations. The answers to the post-test questions were analyzed mainly from the qualitative point of view based on the mathematic concepts comprehension theory proposed by Skemp (1980) having as complementary subsidy data collected through interviews. The analysis of the results obtained in the post-test showed that the major part of pupils reached a relational comprehension about the ideas and algorithmic procedures related to addition, subtraction, multiplication, and division. Such results showed us that the application of a teaching methodology that privileges the content comprehension, considering the pupils previous knowledge and the reflection about the action along the activities proposed, made possible the elaboration or re-elaboration of knowledge by pupils regarding to contents adopted as theme for our research
Resumo:
The present investigation includes a study of Leonhard Euler and the pentagonal numbers is his article Mirabilibus Proprietatibus Numerorum Pentagonalium - E524. After a brief review of the life and work of Euler, we analyze the mathematical concepts covered in that article as well as its historical context. For this purpose, we explain the concept of figurate numbers, showing its mode of generation, as well as its geometric and algebraic representations. Then, we present a brief history of the search for the Eulerian pentagonal number theorem, based on his correspondence on the subject with Daniel Bernoulli, Nikolaus Bernoulli, Christian Goldbach and Jean Le Rond d'Alembert. At first, Euler states the theorem, but admits that he doesn t know to prove it. Finally, in a letter to Goldbach in 1750, he presents a demonstration, which is published in E541, along with an alternative proof. The expansion of the concept of pentagonal number is then explained and justified by compare the geometric and algebraic representations of the new pentagonal numbers pentagonal numbers with those of traditional pentagonal numbers. Then we explain to the pentagonal number theorem, that is, the fact that the infinite product(1 x)(1 xx)(1 x3)(1 x4)(1 x5)(1 x6)(1 x7)... is equal to the infinite series 1 x1 x2+x5+x7 x12 x15+x22+x26 ..., where the exponents are given by the pentagonal numbers (expanded) and the sign is determined by whether as more or less as the exponent is pentagonal number (traditional or expanded). We also mention that Euler relates the pentagonal number theorem to other parts of mathematics, such as the concept of partitions, generating functions, the theory of infinite products and the sum of divisors. We end with an explanation of Euler s demonstration pentagonal number theorem
Resumo:
In this dissertation, we analyze, in a comparative perspective, the link between the short stories: Dama da Noite‟ and O Rapaz mais triste do mundo‟, of Caio Fernando Abreu. In order to reveal, analyze and establish relevant dialogues with Queer Theory, it‟s important, above all, make a misreading guided in the discursive contextuality of postmodern literature. In order to justify and clarify the many issues that arises in the emblematic relationships of characters that are present in the text and in the cultural context, historically and socially. It also highlights the utterance comparative value identified in the works, given the peculiarities of each one of them, not being possible to classify them as `figures of language` with which the comparison can be cited as an example. In this case, they serve to inspire the ways that may lead us to a better understanding of the parallels created between a world of the binary value and adjectives suggested by society and so well portrayed in the ideas and writings of Caio Fernando Abreu
Resumo:
The infographics historically experience the process of evolution of journalism, from the incipient models handmade in the eighteenth century to the inclusion of computers and sophisticated software today. In order to face the advent of TV against of the partiality readers of the printed newspaper, or to represent the Gulf War, where not allowed photography, infographics reaches modern levels of production and publication. The technical devices which enabled the infographics to evolve the environment of the internet, with conditions for the manipulation of the reader, incorporating video, audio and animations, so styling of interactive infographics. These digital models of information visualization recently arrived daily in the northeast and on their respective web sites with features regionalized. This paper therefore proposes to explore and describe the processes of producing the interactive infographics, taking the example of the Diário do Nordeste, Fortaleza, Ceará, whose department was created one year ago. Therefore, based on aspects that guide the theory of journalism, as newsmaking, filters that focus on productive routine (gatekeeping) and the construction stages of the news. This research also draws on the theoretical framework on the subject, in concepts essential characteristics of computer graphics, as well as the methodological procedures and systematic empirical observations in production routines of the newsroom who can testify limitations and / or advances
Resumo:
This work exposes the Paul Ric ur s thought in relation to the contemporary complaint between the hermeneutics and the ideologies criticism. It shows, in this direction, the unity between text and action according to Ric ur s perspective. The philosophical view of Ric ur, It affirms, is far from any eclecticism, but if it characterizes for a dynamic style, explained here from the analogies with the movement of the particles, of the quantum physics, which help to excuse to the make a mistake idea of compilation and eclecticism, resultant of superficial readings of its texts. In deep, this work nothing more it is that a contribution to the construction of a theory of the reading of the text of this notable philosopher
Resumo:
The concept of formativity, coined by Luigi Pareyson, is a key to the development of countless contemporary aesthetic studies. The aim of this dissertation is to present a deep understanding of the notion of Formativity and Interpretation, as evidenciated by the title Formativity and Interpretation: the aesthetical philosophy of Luigi Pareyson. The work Aesthetics - Theory of Formativity, first published in 1954, is considered a mark in the rebirth of aesthetics. In this dissertation, the concept of Formativity is examined as a component applicable to every human action, and not limited to pre-determined practices, nor referred to the application of preexisting. I ve performed an investigation of the triple concept of doing-inventing-interpreting, which simultaneously grounds Formativity. In the first section, Pareyson s Aesthetical Propaedeutic is presented; in the second, the Theory of Formativity: the aesthetical character of the whole human experience is analysed; and in the third chapter, The Aesthetical of Form and the Metaphysics of Figuration is related to the formativity character of the knowledge. Through this analysis, I ve intended to evidence how human operability can be understood as search and trial, figuration and invention, in the search for success. In this sense, this thesis seeks to present an interpretation of the idea of work-form, speculating the inexorability of invention and interpretation in an attempt to establish a new bottom line for the studies Pareyson s Aesthetics in Brazil
Resumo:
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
Resumo:
The process for choosing the best components to build systems has become increasingly complex. It becomes more critical if it was need to consider many combinations of components in the context of an architectural configuration. These circumstances occur, mainly, when we have to deal with systems involving critical requirements, such as the timing constraints in distributed multimedia systems, the network bandwidth in mobile applications or even the reliability in real-time systems. This work proposes a process of dynamic selection of architectural configurations based on non-functional requirements criteria of the system, which can be used during a dynamic adaptation. This proposal uses the MAUT theory (Multi-Attribute Utility Theory) for decision making from a finite set of possibilities, which involve multiple criteria to be analyzed. Additionally, it was proposed a metamodel which can be used to describe the application s requirements in terms of the non-functional requirements criteria and their expected values, to express them in order to make the selection of the desired configuration. As a proof of concept, it was implemented a module that performs the dynamic choice of configurations, the MoSAC. This module was implemented using a component-based development approach (CBD), performing a selection of architectural configurations based on the proposed selection process involving multiple criteria. This work also presents a case study where an application was developed in the context of Digital TV to evaluate the time spent on the module to return a valid configuration to be used in a middleware with autoadaptative features, the middleware AdaptTV
Resumo:
The Social Representation Theory provides subsidies to scientifically analyze what is called common sense, suggesting that thought be given credibility to the individual, from the assignment of logic to it. The Representations allow us to interpret, understand, explain and thus classify information, events and people. In this sense, this study aimed to analyze how social representations of the actors of the intinerant traders who operate in Ponta Negra/RN can be used as an element for tourism planning. To achieve the desired goals, we conducted a qualitative study, from a descriptive study, using methods of data collection the research literature, the technique of free association of words and the questionnaire, applied with 90 intinerant traders who work in Ponta Negra/RN beach. As tools of data analysis were used to analyze literature, and software EVOC and SPHINX. This research has revealed the predominance of people in itinerant male, between 18 and 28 years, with incomplete primary education, no contributors of Previdência Social and working seven days a week. The core elements of representations brings that explain that their knowledge is guided by collectively shared knowledge in the culture of tourism, which is seen as something that brings economics benefits (money) to the society, from the travel and entertainment. The plan represents the forward thinking, based on development plans that seek improvements and organization. The structure and operation of tourism planning in Natal/RN, there were no representation of intinerant traders. It is concluded that understanding the needs of itinerant traders provides grants to developing strategies for the development of tourism. This is achieved from its inclusion in tourism planning, since it enables tourism managers to understand how they are capturing, interpreting and acting on their next reality, since these representations are fundamental in forming opinions and the establishment of individual attitudes and collective. Thus, it is an important theory to be used to subsidize social research with individuals living reality and local needs, but which is the margin of decision-making processes of economic in the Brazil
Resumo:
In this work we study a new risk model for a firm which is sensitive to its credit quality, proposed by Yang(2003): Are obtained recursive equations for finite time ruin probability and distribution of ruin time and Volterra type integral equation systems for ultimate ruin probability, severity of ruin and distribution of surplus before and after ruin
Resumo:
In this work, we present a risk theory application in the following scenario: In each period of time we have a change in the capital of the ensurance company and the outcome of a two-state Markov chain stabilishs if the company pays a benece it heat to one of its policyholders or it receives a Hightimes c > 0 paid by someone buying a new policy. At the end we will determine once again by the recursive equation for expectation the time ruin for this company