Avaliação de estratégias de detecção e correção de perdas de ciclos na portadora GPS L1

To prevent large errors in the GPS positioning, cycle slips should be detected and corrected. Such procedure is not trivial, mainly for single frequency receivers, but normally it is not noticed by the users. Thus, it will be discussed some practical and more used methods for cycle slips detection and correction using just GPS single-frequency observations. In the detection, the triple (TD) and tetra differences were used. In relation to the correction, in general, each slip is corrected in the preprocessing. Otherwise, other strategies should be adopted during the processing. In this paper, the option was to the second option, and two strategies were tested. In one of them, the elements of the covariance matrix of the involved ambiguities are modified and new ambiguity estimation starts. In the one, a new ambiguity is introduced as additional unknown when a cycle slip is detected. These possibilities are discussed and compared in this paper, as well as the aspects related to the practicity, implementation and viability of each one. Some experiments were carried out using simulated data with cycle slips in different satellites and epochs of the data. This allowed assessing and comparing the results of different occurrence of cycle slip and correction in several conditions.

O FRAGMENTO EM TUTAMÉIA E NO LIVRO SOBRE NADA

This study is connected to the research line Poéticas da Modernidade e Pós -Modernidade, of the Programa de Pós-Graduação em Estudos da Linguagem, in the subarea: Comparative Literature - CCHLA/UFRN. Its main goal is to see fragmentation of writing as an aesthetic resource highlighted in the work of Tutaméia by Guimarães Rosa (1908-1967), and in Livro sobre nada by Manoel de Barros (1916). We undertake as a starting point the view that these works are allegorical expressions. We have as a basis the German philosopher Walter Benjamin (1984) conception about baroque allegory, that uses amorphous fragment and constitutes a dialectical expression, in which each person, each thing, each relation, may mean any other one (1984, p. 196). We see the stylistic features as used by Guimarães Rosa and by Manoel de Barros in the construction of poetics capable of breaking the boundaries between artistic genres, literary and discursive, adding oral, musical and plastic elements to writing. We also analyze the development of fragmentary poetics, in which the voice of the narrator/lyrical I, the characters, space, plot and time exhibit the fragment as a factor that contributes to the great ambiguity of the two works and to create a new language, performative and vibrant, rich in alluring images, allegories

O gênero joke em atividades de inglês: uma proposta intercultural de ensino-aprendizagem para o ensino médio

Our research has arisen from the interest of aligning English as a Foreign Language (EFL) classroom practice to current discussions in the ambit of learning and teaching Foreign Languages (FLs). Because of the need to integrate the linguistic development to the development of notions clung to the practice of citizenship, we have adopted a cultural perspective. We have noticed jokes as a fertile ground for discussing cultural aspects in classroom. Considering such factors, our research question is: how to explore cultural aspects in jokes for the elaboration of EFL activities which aim for the development of intercultural competence and interaction? Therefore, our general goal is to explore cultural aspects in jokes for the elaboration of EFL teaching and learning activities and our specific goals are: (I) to study official suggestions (LDB, 1996; PCNEM, 2000; PCN+EM, 2002; OCEM, 2006) regarding culture at foreign languages teaching and learning, (II) to select 05 (five) jokes and analyze them focusing on their cultural aspects, (III) to identify possible interpretations for jokes; (IV) to elaborate EFL activities which grant a privilege to jokes cultural aspects. This investigation is descriptive and documental and relies on qualitative paradigm (CHIZZOTTI, 2010; FLICK, 2009; CHAROUX, 2006; BOGDAN; BIKLEN, 1994; 1992). The corpus is constituted by jokes taken from Internet sites and by official documents (LDB, 1996; PCNEM, 1998; PCN+EM, 2000; OCEM, 2006). For the elaboration of activities we have chosen a weaker version of Content-based instruction (CBI), in which contents are cultural aspects in jokes and we have undertaken a reflection on methods, approaches and perspectives, among which there are notions about post-method and CBI, which talk to EFL learning and teaching. For theoretical support we have some discussions about FL methods and approaches (BELL, 2003; KUMARAVADIVELU, 2003; WESCHE; SKEHAN, 2002; PRABHU, 1990), a cultural perspective (KRAMSCH, 1998, 1996, 1993; BYRAM; FENG, 2004), some works in Linguistics about jokes (POSSENTI, 2010, 1998; CHIARO, 1992); notions about implicit (MAINGUENEAU, 2004, 1996; CHARAUDEAU; MAINGUENEAU, 2012) and about ambiguity (KEMPSON, 1977; CHARAUDEAU; MAINGUENEAU, 2012; TRASK, 2011), having the adoption of such categories emerged from the analyzes of some jokes

O discurso humorístico nas charges da Tribuna do Norte

In this dissertation, we analyze the constitution and functioning of the humorous discourse in discursive genre cartoon from the recognition and analysis of the techniques of humor used to get the desired effects of meaning. We used the theoretical and methodological assumptions of French Discourse Analysis henceforth (AD) for the research. Specifically on the techniques of humor, we rely on authors like Possenti (1998) and Propp (1992) to see how these procedures are present in the cartoons and make the discourse of humor. To achieve this goal, ten (10) cartoons were analyzed dealing with episodes relating to the management of the mayor Micarla de Souza in the city of Natal, RN. These cartoons were published in the newspaper Tribuna do Norte during the year 2012. The research falls within the field of study of Applied Linguistics and is qualitative, interpretive nature. In the first part, we did a rescue of the foundations of discourse analysis, discussing the concept of interdiscourse, then we carry on about the notion of gender discourse from the perspective of AD, and the genre itself cartoon as we work with the cartoon as a discourse genre, and finally, we deal with this humor discourse in cartoons. We then developed some analyzes to illustrate the postulate that all text is founded upon certain conditions of enunciation; that the relationship between the cartoons and interdiscourse is a constitutive relationship that brings out certain cartoons/ discourses and not others, and especially what humor techniques are used strategically by the cartoonist, whose discursive decisions cause certain effects of meaning. The results of this paper find that discursive relations are relations of subjects and meanings, that the discourse of cartoon is built from other sayings and discourses, and that certain textual and discursive procedures/techniques, as parody, irony, lowering the other, the ambiguity and displacement are mobilized in the text to generate the possible effect of the comic, thus building the humor discourse of the cartoons analyzed

Physical environment modulates the behavioral responses induced by chemical stimulation of dorsal periaqueductal gray in mice

In order to investigate the relationship between behaviors elicited by chemical stimulation of the dorsal periaqueductal gray (dorsal PAG) and spontaneous defensive behaviors to a predator, the excitatory amino acid D,L-homocysteic acid (5 nmol in 0.1 mu l), was infused into the dorsal PAG and behavioral responses of mice were evaluated in two different situations, a rectangular novel chamber or the Mouse Defense Test Battery (MDTB) apparatus. During a 1-min period following drug infusion, more jumps were made in the chamber than in the MDTB runway but running time and distance traveled were significantly higher in the runway. Animals were subsequently tested using the standard MDTB procedure (anti-predator avoidance, chase and defensive threat/attack). No drug effects on these measures were significant. In a further test in the MDTB apparatus, the pathway of the mouse during peak locomotion response was blocked 3 times by the predator stimulus (anesthetized rat) to determine if the mouse would avoid contact. Ninety percent of D,L-homocysteic treated animals made direct contact with the stimulus (rat), indicating that D,L-homocysteic-induced running is not guided by relevant (here, threat) stimuli. These results indicate that running as opposed to jumping is the primary response in mice injected with D,L-homocysteic into the dorsal PAG when the environment enables flight. However, the lack of responsivity to the predator during peak locomotion suggests that D,L-homocysteic-stimulation into the dorsal PAG does not induce normal antipredator flight. (c) 2006 Published by Elsevier B.V.

Two-dimensional position-dependent massive particles in the presence of magnetic fields

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

A influência do feedback verbal na cooperação em crianças

Human cooperation is a hallmark of this species due to its wide extension to genetically unrelated individuals and complex division of labor. It is considered an evolutionary puzzle, because the theory of evolution by natural selection predicts that self-interested individuals tend to be selected. Different theories have been proposed to explain the evolution of cooperation, which the most important are kin selection and reciprocal altruism. Considering the evolutionary continuity between species, humans and other primates have several common traits that help to promote cooperation between individuals of these species. Two features, however, seem to be particularly humans: inequality aversion and preferences in relation to others. Although human cooperation is not necessarily related to morality, cooperative traits are the basis for moral tendencies. The development of human morality is a combination of early prosocial tendencies, cooperative skills displayed at different ages, social learning and cultural transmission of norms. The social stimulus seems to be particularly important in promoting cooperative behavior in children and adults. In order to study the influence of social stimuli, as verbal feedback, on children cooperation, a study was conducted with children in a public goods game. 407 children from public schools in Natal / RN, divided into 21 groups, between six and nine years, participated in eight rounds of this game. After each round, seven groups received praise for larger donations, seven groups have been criticized by smaller donations, and the other seven received no comment. Children cooperated more when criticized, without significant differences between sexes, although young children have cooperated more negative than older children. The results are likely related to the anticipation and avoidance of punishment associated with the feedback (although this did not occur), and greater sensitivity to the authority in younger children. Nevertheless, the cooperation decreased in all groups until the last day of play. The results suggest an early sensitivity to moral punishment, whose role in the maintenance of social relations must have been important in the evolution of cooperation in humans

Participação do circuito dopaminérgico nas alterações do comportamento de medo inato de camundongos infectados pelo Toxoplasma gondii

The protozoan parasite Toxoplasma gondii transforms the innate aversion of rats for cat urine into a fatal attraction, that increases the likelihood of the parasite completing its life cycle in the cat s intestine. The neural circuits implicated in innate fear, anxiety, and learned fear all overlap considerably, raising the possibility, that T. gondii may disrupt all of these nonspecifically. In this study, we evaluated immunoreactivity for tyrosine hydroxylase (TH) in areas associated with innate fear of infected male swiss mice. The latent Toxoplasma infection converted the aversion of mice to feline odors into attraction. This loss of fear is remarkably specific, as demonstrated by Vyas et al (2007), because infection did not diminish learned fear, anxiety-like behavior, olfaction, or nonaversive learning. However, the neurochemical mechanism related to alterations in innate fear due to T. gondii infection remains poorly studied. 20 mice were inoculated with bradyzoites (25 cysts) from a Toxoplasma gondii (Me-49 strain). The brains were removed after 60 days, sectioned and processed for TH immunohistochemistry. The correlation between the amount of cysts per area and the densitometric analysis of neurotransmitter reactivity was low in the areas implicated in innate fear of infected animals, when comparated with noninfected controls

Sentidos e perspectivas atribuídos por crianças à sua condição de estar para adoção

Considering the Brazilian current context, where many children are in institutional shelter waiting for adoption, the aim of this study was to know the meaning that sheltered children (whose families had already lost their custody or were in the process of losing it, at the moment of the field work) gave to their adoption condition. The research was carried out with three children in the shelter where they lived, in Natal, Rio Grande do Norte, Brazil. The field work took six months approximately. In order to meet the objective of this research, individual procedures were structuralized using figures and drawing material. With these procedures the children could speak directly or indirectly about the application of the legal measure of institutional shelter, about their lives before the application of this legal measure and what happened since then, and their original families and future perspectives. The content of the procedures was tape recorded and registered in the field work diary. The analysis of the corpus occurred with the Thematic Content Analysis, considering the theoretical methodological perspective of the Net of Meanings approach. The analysis of the corpus showed the ambiguity of the children, who consider good to live in the institution where they are, recognizing the responsibility of the original caregivers for their sheltered condition and, at the same time, they miss their relatives and wish to be with them. The subjects recognize the perspective of adoption and imagine it in a positive way. However, when the children were questioned about what could happen to them in the future, they said that they did not know, expressing uncertainty concerning their destinations

A high dynamic range method for the direct readout of a dynamic phase change in homodyne interferometers

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

Beta: uma ferramenta para geração de testes de unidade a partir de especificações B

Formal methods and software testing are tools to obtain and control software quality. When used together, they provide mechanisms for software specification, verification and error detection. Even though formal methods allow software to be mathematically verified, they are not enough to assure that a system is free of faults, thus, software testing techniques are necessary to complement the process of verification and validation of a system. Model Based Testing techniques allow tests to be generated from other software artifacts such as specifications and abstract models. Using formal specifications as basis for test creation, we can generate better quality tests, because these specifications are usually precise and free of ambiguity. Fernanda Souza (2009) proposed a method to define test cases from B Method specifications. This method used information from the machine s invariant and the operation s precondition to define positive and negative test cases for an operation, using equivalent class partitioning and boundary value analysis based techniques. However, the method proposed in 2009 was not automated and had conceptual deficiencies like, for instance, it did not fit in a well defined coverage criteria classification. We started our work with a case study that applied the method in an example of B specification from the industry. Based in this case study we ve obtained subsidies to improve it. In our work we evolved the proposed method, rewriting it and adding characteristics to make it compatible with a test classification used by the community. We also improved the method to support specifications structured in different components, to use information from the operation s behavior on the test case generation process and to use new coverage criterias. Besides, we have implemented a tool to automate the method and we have submitted it to more complex case studies

Criação de empresas à luz do modelo de decisão effectuation: um estudo com mulheres empreendedoras no município de Currais Novos/RN

This study analysed the creation of businesses by entrepreneur women in the Currais Novos city, looking for verifying if they used making decision processes aligned to the Effectuation logic throughout the creation of their companies. To this, was accomplished a multiple cases and exploratory study, whit a qualitative approach of analyse, using the thematic life history technique that match accounts and semi-structured interview route, being accomplished like a long interview, where the researcher interact with the informer continuously. The semi-structured interview route was created by the adaptation of the interview route used by Tasic (2007). The present study appealed to a intentional selection of individuals in function of their importance in relation to the boarded theme. This means that the individuals were chosen in function of their social and theoretical representatively inside the considered situation. The participant individuals of this research were five entrepreneur women that act in the Currais Novos city, owners of five different companies. To the data treatment and analyse, was chosen the content analyse technique. This study worked with a priori theoretical categories. The categories of analyse in this study was obtained with base in the Effectuation approach (SARASVATHY, 2001a, 2001b, 2008), that is an alternative model of making decision to the classic model based in the causality principle. These categories are Clarity of Initial Aims , Tolerance to the Lost and Initials Investments , Control of Resources ( who I am , what I know and who I know ) and Promoting Over Contingencies . As result, the entrepreneur women researched, in a general way, hadn t clear initial aims at the companies creation moment, hadn t aversion to the risk to lose the time and the money that they were investing in the company in formation, they highlighted the products and services identity that offered with a strong link with Seridó region, they had experience in the field of activity in which they decided to open their companies, had the commitment of partners in the beginning of the business and they knew to transform the initial difficulties in opportunities. By the end, this study conclude that the entrepreneur women studied used, in a big part, making decision processes aligned to the Effectuation logic throughout the creation of their companies

Incorporação do vínculo de suavidade no ajuste de histórico de reservatórios de petróleo

The history match procedure in an oil reservoir is of paramount importance in order to obtain a characterization of the reservoir parameters (statics and dynamics) that implicates in a predict production more perfected. Throughout this process one can find reservoir model parameters which are able to reproduce the behaviour of a real reservoir.Thus, this reservoir model may be used to predict production and can aid the oil file management. During the history match procedure the reservoir model parameters are modified and for every new set of reservoir model parameters found, a fluid flow simulation is performed so that it is possible to evaluate weather or not this new set of parameters reproduces the observations in the actual reservoir. The reservoir is said to be matched when the discrepancies between the model predictions and the observations of the real reservoir are below a certain tolerance. The determination of the model parameters via history matching requires the minimisation of an objective function (difference between the observed and simulated productions according to a chosen norm) in a parameter space populated by many local minima. In other words, more than one set of reservoir model parameters fits the observation. With respect to the non-uniqueness of the solution, the inverse problem associated to history match is ill-posed. In order to reduce this ambiguity, it is necessary to incorporate a priori information and constraints in the model reservoir parameters to be determined. In this dissertation, the regularization of the inverse problem associated to the history match was performed via the introduction of a smoothness constraint in the following parameter: permeability and porosity. This constraint has geological bias of asserting that these two properties smoothly vary in space. In this sense, it is necessary to find the right relative weight of this constrain in the objective function that stabilizes the inversion and yet, introduces minimum bias. A sequential search method called COMPLEX was used to find the reservoir model parameters that best reproduce the observations of a semi-synthetic model. This method does not require the usage of derivatives when searching for the minimum of the objective function. Here, it is shown that the judicious introduction of the smoothness constraint in the objective function formulation reduces the associated ambiguity and introduces minimum bias in the estimates of permeability and porosity of the semi-synthetic reservoir model

Food Aversions in Women During The 2 Years After Roux-En-Y Gastric Bypass

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

Lingüística de interações moleculares

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)