15 resultados para conjunção e disjunção sêmicas

em Universidade Federal do Rio Grande do Norte(UFRN)


Relevância:

10.00% 10.00%

Publicador:

Resumo:

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

Relevância:

10.00% 10.00%

Publicador:

Resumo:

It has been reflected on Science and spirituality having as focus the relation between them and the process lived by terminal patients after the confirmation of the finitude of their lives. It has searched with this research to excite discussions that corroborate the tematization of a possible dialogue between science and spirituality, signaling perspectives of debates and formation of an understanding of the problematic that involves these human constructs in the development of alternatives for the understanding of the life finitude. We point out the moment of split between science and spirituality through the cartesian paradigm from a historical approach and after focusing the illness and death as foundation for our discussion. We use as methodological strategy, focal talks with terminal patients having as guidance a guideline with five punctuations: the singular citizen, diagnosis impacts, indicators of science, spirituality marks and death fear that served of base for analysis and data interpretation in according to selected theoretical foundations. Thus, it was possible to perceive that science, although not to keep an explicit dialogue with spirituality, it has pointed through is representation forms to the process indicatives that will culminate with the death. And these indicators had shown that in this direction it is efficient. We believe that the confrontation of the death can happen through of a new science that dialogues with the spirituality, where does not have separation between reason and emotion on the part of science; as well as it does not have reason disdain on the part of the spirituality

Relevância:

10.00% 10.00%

Publicador:

Resumo:

This research argues about the mathematical knowledge built in the tradition of the cassava flour production, seeking to analyse these mathematical knowledge in the perspective of the categories of time and measure, built and practiced in the flour production, located in Serra do Navio and Calçoene, in Amapá - Brazil. The following work discuss the identification and the description of the mathematics during the production activities of the flour, where is presented elements related to generation and transmission of the traditional knowledge, which is the basis for maintenance of the tradition of the flour, characterizing the research as an Ethnomathematic study. The methodological procedures highlight ethnographical techniques and elements that characterize the participating observation. The results obtained showed us that the flour workers articulate some length, area and volume measure due to own and traditionally acquired systems, which is apprehended and countersigned by other kind of culturally established system; thus they relativism the measures systems and the official calendars. And it lifts as one of the main proposal that the academic mathematics and the tradition establish knowledge make conjunction of the both knowledge, that is important for a possible reflection and application in the construction of a pedagogical practice in mathematical education, trying to establish points of socio-economic and cultural mark

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Ce travail a pour objet d'étude le Groupe Scolaire Augusto Severo, situé à Natal, première institution du type dans l'État du Rio Grande do Norte. Il analyse la pratique pédagogique, le modèle d'éducation primaire et d'expérimentation des personnes en formation de l'École Normale de Natal, entre 1908 et l'année de 1928. Dans cette période, se sont produites des tentatives d'organisation scolaire par le biais de la Réforme de l‟Enseignement Primaire (1908) et de la Réforme de l‟Enseignement (1916). Nous nous sommes basés sur l'Histoire Culturelle définie à travers la conjonction de l'histoire des objets dans sa matérialité, des pratiques dans leurs différences et configurations, des dispositifs dans leurs variations. Nous avons utilisé les journaux A República et Diário do Natal, la revue Pedagogium, des Lois, des Décrets et Messages du Gouvernement, des Codes d'Enseignement et le Régime Interne des Groupes Scolaires, documents qui proviennent du fonds de l'Institut Historique et Géographique do Rio Grande do Norte (IHGRN) et des sources iconographiques, provenant de l'Institut du Patrimoine Historique et Artistique National (IPHAN/RN). Dans les Archives Publiques de l‟Etat (APE/RN) nous avons recherché les Livres d'Enregistrement des Groupes Scolaires et Écoles Isolées, Offices, Inscriptions, Rapports et Actes de réunions de la Direction Générale de l'Instruction Publique et Journal de Classe. Nous avons analysé l'action des professeurs dans cette institution primaire, ainsi que l'histoire des disciplines scolaires et des programmes d'enseignement, la problématique des contenus et méthodes. Nous avons observé que la méthode intuitive était la dynamique de la pratique pédagogique efficace et que les rites de récompense, les cérémonies civiques composaient l‟ensemble des idées modernisatrices de l‟époque

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The traditional perimeter-based approach for computer network security (the castle and the moat model) hinders the progress of enterprise systems and promotes, both in administrators and users, the delusion that systems are protected. To deal with the new range of threats, a new data-safety oriented paradigm, called de-perimeterisation , began to be studied in the last decade. One of the requirements for the implementation of the de-perimeterised model of security is the definition of a safe and effective mechanism for federated identity. This work seeks to fill this gap by presenting the specification, modelling and implementation of a mechanism for federated identity, based on the combination of SAML and X.509 digital certificates stored in smart-cards, following the A3 standard of ICP-Brasil (Brazilian official certificate authority and PKI)

Relevância:

10.00% 10.00%

Publicador:

Resumo:

This work suggests a discussion about methodologies and didactic-pedagogical activities for the teaching of Astronomy in first and second cycles of the primary school, in a perspective of literacy and inclusion. The presented proposals have been developed in a group of the Public School Alceu Amoroso Lima, North of Natal city, with children since six years old, amongst which two considered as being with special needs . This research aims to demonstrate that it is possible to develop with those children the contents of Astronomy, while they participate of the process of literacy and inclusion. From this, we are searching a theoretical-practical contribution so that the Parâmetros Curriculares Nacionais (Brazilian Nacional Curricular Guideness) include the referred contents in first cycle of primary school. For the accomplishment of this research, Experiential Astronomy was initially proposed. Later on, many workshops had been carried through (clay, ripping , crepon paper, plasticine, cardboard and gastro-lunar ). All the proposed activities were based on the conjunction of contents, which characterized the interdisciplinarity. Through the approach we adopted and the practices we proposed, we could evidence that not only children considered as being normal , but also that ones who carries special needs could appropriate themselves of our writing code, develop and incorporate a daily relationship close to the stuffs of the sky, learn many information about all of this, besides constructing attitudinal, procedural and conceptual contents

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The purpose of this work is to analyze the use of the indicative mood, instead of the subjunctive prescribed by the normative grammar, in complement clauses introduced by the conjunction que in Brazilian Portuguese. Contexts of use of the subjunctive according to grammatical prescription, and contexts of fluctuation on the use of that verbal mood were analyzed, in an attempt to investigate what interferes on the choice of the mood by the user of the language. This study is based on North-American Functional Linguistics theoretical perspective, oriented to analyzing language in use, in the light of the principles of grammaticalization and markedness. The results obtained support that the contexts that favor the indicative over the subjunctive are those composed by a complement clause functioning as a direct object the unmarked clause of all complement clauses and by a verb on the main sentence that belongs to the semantic field of low certainty, corresponding to the epistemic sub-mode the unmarked category of the deontic sub-mode. The results indicate that pragmatics and semantics factors influence the language user on the choice of the verbal mood. This research also presents comparative data on the use of the indicative mood in place of the subjunctive in Brazilian Portuguese and Canadian French, aiming to providing suggestions on language teaching

Relevância:

10.00% 10.00%

Publicador:

Resumo:

This work whose title is "The transcendental arguments: Kant Andy Hume's problem" has as its main objective to interpret Kant's answer to Hume's problem in the light of the conjunction of the causality and induction themes which is equivalent to skeptical- naturalist reading of the latter. In this sense, this initiative complements the previous treatment seen in our dissertation, where the same issue had been discussed from a merely skeptical reading that Kant got from Hume thought and was only examined causality. Among the specific objectives, we list the following: a) critical philosophy fulfills three basic functions, a founding, one negative and one would argue that the practical use of reason, here named as defensive b) the Kantian solution of Hume's problem in the first critisism would fulfill its founding and negative functions of critique of reason; c) the Kantian treatment of the theme of induction in other criticisms would will fulfill the defense function of critique of reason; d) that the evidence of Kant's answer to Hume's problem are more consistent when will be satisfied these three functions or moments of criticism. The basic structure of the work consists of three parts: the first the genesis of Hume's problem - our intention is to reconstruct Hume's problem, analyzing it from the perspective of two definitions of cause, where the dilution of the first definition in the second match the reduction of psychological knowledge to the probability of following the called naturalization of causal relations; whereas in the second - Legality and Causality - it is stated that when considering Hume in the skeptic-naturalist option, Kant is not entitled to respond by transcendental argument A􀁴B; A⊢B from the second Analogy, evidence that is rooted in the position of contemporary thinkers, such as Strawson and Allison; in third part - Purpose and Induction - admits that Kant responds to Hume on the level of regulative reason use, although the development of this test exceeds the limits of the founding function of criticism. And this is articulated in both the Introduction and Concluding Remarks by meeting the defensive [and negative] function of criticism. In this context, based on the use of so-called transcendental arguments that project throughout the critical trilogy, we provide solution to a recurring issue that recurs at several points in our submission and concerning to the "existence and / or the necessity of empirical causal laws. In this light, our thesis is that transcendental arguments are only an apodictic solution to the Hume s skeptical-naturalist problem when is at stake a practical project in which the interest of reason is ensured, as will, in short, proved in our final considerations

Relevância:

10.00% 10.00%

Publicador:

Resumo:

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

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Oil prospecting is one of most complex and important features of oil industry Direct prospecting methods like drilling well logs are very expensive, in consequence indirect methods are preferred. Among the indirect prospecting techniques the seismic imaging is a relevant method. Seismic method is based on artificial seismic waves that are generated, go through the geologic medium suffering diffraction and reflexion and return to the surface where they are recorded and analyzed to construct seismograms. However, the seismogram contains not only actual geologic information, but also noise, and one of the main components of the noise is the ground roll. Noise attenuation is essential for a good geologic interpretation of the seismogram. It is common to study seismograms by using time-frequency transformations that map the seismic signal into a frequency space where it is easier to remove or attenuate noise. After that, data is reconstructed in the original space in such a way that geologic structures are shown in more detail. In addition, the curvelet transform is a new and effective spectral transformation that have been used in the analysis of complex data. In this work, we employ the curvelet transform to represent geologic data using basis functions that are directional in space. This particular basis can represent more effectively two dimensional objects with contours and lines. The curvelet analysis maps real space into frequencies scales and angular sectors in such way that we can distinguish in detail the sub-spaces where is the noise and remove the coefficients corresponding to the undesired data. In this work we develop and apply the denoising analysis to remove the ground roll of seismograms. We apply this technique to a artificial seismogram and to a real one. In both cases we obtain a good noise attenuation

Relevância:

10.00% 10.00%

Publicador:

Resumo:

This research comprises a study on the values and ideals attributed to Dix-sept Rosado, by the Coleção Mossoroense journal. Local researchers demonstrate how the Coleção Mossoroense constructs an image of Mossoró, forming in the members of the city an identity with the place, a social cohesion or creating one forms to see and to say about the Mossoró city. The Coleção Mossoroense, through Vingt-un Rosado together with its family, established a form of seeing and identifying of the Mossoró s population with the city, just because it associated and it was, at the same time, a movement at the same time social (civic parties for example), political (the domination of the Rosado s family) and cultural (the books and theatrical parties about the city). The conjunction of the Coleção Mossoroense as and with a social movement, cultural and political was capable to establish a social identity, a subjective constituent . With this background, it was possible to make a study of the image attributed to Dix-sept Rosado, by the Coleção Mossoroense, through an analysis of the inherent discourse in the works by Bakhtin (1989) and Bourdieu (2000), of and on Dix-sept Rosado in the Coleção Mossoroense based on. The image of Dix-sept Rosado was constructed by the Coleção Mossoroense after its death, and the responsible for this was Vingt-un Rosado, which was the chief-editor of the Coleção Mossoroense up to 2006, year of its death. The Coleção Mossoroense built an image of Dix-sept Rosado as an enterprising man, progressive and innovator, of great capacity of leadership and oratory (a conductor of the crowds ), popular and charismatic, an honest and dynamic politician. This image made by the Coleção Mossoroense, although when enhancing in surplus the qualities of Dix-sept Rosado have as objective to transmit an image of a heroic personage, it has some relation with the reality. Dix-sept Rosado was a man identified with its locality. This can resemble a regional nationalism. The attitudes of Dix-sept Rosado must be understood inside of a broader social context, of a time marked by the populist politics. Qualities also appreciated and developed inside of a specific historical context and determined both national and locally. The Coleção Mossoroense enhances the qualities of Dix-sept Rosado so that the current politicians of the Rosado s family can establish a link of continuity in its contemporary political practice

Relevância:

10.00% 10.00%

Publicador:

Resumo:

With the increasing complexity of software systems, there is also an increased concern about its faults. These faults can cause financial losses and even loss of life. Therefore, we propose in this paper the minimization of faults in software by using formally specified tests. The combination of testing and formal specifications is gaining strength in searches mainly through the MBT (Model-Based Testing). The development of software from formal specifications, when the whole process of refinement is done rigorously, ensures that what is specified in the application will be implemented. Thus, the implementation generated from these specifications would accurately depict what was specified. But not always the specification is refined to the level of implementation and code generation, and in these cases the tests generated from the specification tend to find fault. Additionally, the generation of so-called "invalid tests", ie tests that exercise the application scenarios that were not addressed in the specification, complements more significantly the formal development process. Therefore, this paper proposes a method for generating tests from B formal specifications. This method was structured in pseudo-code. The method is based on the systematization of the techniques of black box testing of boundary value analysis, equivalence partitioning, as well as the technique of orthogonal pairs. The method was applied to a B specification and B test machines that generate test cases independent of implementation language were generated. Aiming to validate the method, test cases were transformed manually in JUnit test cases and the application, created from the B specification and developed in Java, was tested. Faults were found with the execution of the JUnit test cases

Relevância:

10.00% 10.00%

Publicador:

Resumo:

In this work it was performed a study to obtain parameters for an 1D regional velocity model for the Borborema Province, NE Brazil. It was used earthquakes occurred between 2001 and 2013 with magnitude greater than 2.9 mb either from epicentres determined from local seismic networks or by back azimuth determination, when possible. We chose seven events which occurred in the main seismic areas in the Borborema Province. The selected events were recorded in up to 74 seismic stations from the following networks: RSISNE, INCT-ET, João Câmara – RN, São Rafael – RN, Caruaru - PE, São Caetano - PE, Castanhão - CE, Santana do Acarau - CE, Taipu – RN e Sobral – CE, and the RCBR (IRIS/USGS—GSN). For the determination of the model parameters were inverted via a travel-time table and its fit. These model parameters were compared with other known model (global and regional) and have improved the epicentral determination. This final set of parameters model, we called MBB is laterally homogeneous with an upper crust at 11,45 km depth and total crustal thickness of 33,9 km. The P-wave velocity in the upper crust was estimated at 6.0 km/s and 6.64 km/s for it lower part. The P-wave velocity in the upper mantle we estimated at 8.21 km/s with an VP/VS ratio of approximately 1.74.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

In this work it was performed a study to obtain parameters for an 1D regional velocity model for the Borborema Province, NE Brazil. It was used earthquakes occurred between 2001 and 2013 with magnitude greater than 2.9 mb either from epicentres determined from local seismic networks or by back azimuth determination, when possible. We chose seven events which occurred in the main seismic areas in the Borborema Province. The selected events were recorded in up to 74 seismic stations from the following networks: RSISNE, INCT-ET, João Câmara – RN, São Rafael – RN, Caruaru - PE, São Caetano - PE, Castanhão - CE, Santana do Acarau - CE, Taipu – RN e Sobral – CE, and the RCBR (IRIS/USGS—GSN). For the determination of the model parameters were inverted via a travel-time table and its fit. These model parameters were compared with other known model (global and regional) and have improved the epicentral determination. This final set of parameters model, we called MBB is laterally homogeneous with an upper crust at 11,45 km depth and total crustal thickness of 33,9 km. The P-wave velocity in the upper crust was estimated at 6.0 km/s and 6.64 km/s for it lower part. The P-wave velocity in the upper mantle we estimated at 8.21 km/s with an VP/VS ratio of approximately 1.74.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

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