O complemento de lugar dos verbos de movimento: implicações para o ensino de língua materna

Conselho Nacional de Desenvolvimento Científico e Tecnológico

A implementação do você em cartas pessoais norte-riograndenses do século XX

Considering the theoretical and methodological presuppositions of Variationist Sociolinguistics (cf. WEINREICH; LABOV; HERZOG, 2006; LABOV, [1972] 2008), in this dissertation, we describe and analyze the process of variation/change involving the personal pronouns tu and você, and its extension in the pronominal paradigm in Brazilian Portuguese (BP), in three sets of personal letters written by people from Rio Grande do Norte (RN) along the 20th century. The discursive universe of those letters is news from the cities in which the informers lived and the themes from their everyday life (trade, jobs, trips, family and politics). Part of the analyzed letters integrate the written by hand minimum corpus of the Projeto de História do Português Brasileiro no Rio Grande do Norte (PHPB-RN). We are based on previous studies about the pronominal system in BP Menon (1995), Faraco (1996), Lopes e Machado (2005), Rumeu (2008), Lopes (2009), Lopes, Rumeu e Marcotulio (2011), Lopes e Marcotulio (2011) e Martins e Moura (2012) , which register the form você replaces tu from the end of the first half of 20th century and attest the following situation: while (a) the imperative verbal forms, (b) the explicit subjects and (c) prepositional complement pronouns are favorable contexts for você, the (d) non imperative verbal forms (with null subject), (e) the non prepositional complement pronoun and (f) the possessive pronoun are contexts of resistance of tu. The results got in this dissertation confirm, partially, the statements defended by the previous studies regarding the favorable contexts for the implementation of você in BP: (i) there are, in the letters from the first two decades of 20th century (1916 to 1925), high frequency of the usage of the form você (98%); (ii) in the personal letters of RN especially in the love letters, in which there are higher recurrence of intimate subjects the discursive universe proved to be itself very relevant in the determination/conditions of the forms of tu; (iii) the unique feminine informer of our sample uses, almost categorically, the forms of tu in letters of the period from 1946 to 1972; (iv) the letters corresponding to the period from 1992 to 1994 present a significant usage of the forms associated to the innovating você, letting appear the change is already implemented in the system of BP and there are, in that set of letters, strong evidences that make us state the pronominal forms of non prepositional complement (accusative/ dative) related to tu are also implemented in a system with an almost categorical usage of você

Eosinófilos e proteína catiônica eosinofílica na urina: uma nova abordagem para o diagnóstico da inflamação renal no lúpus eritematoso sistêmico

Universidade Estadual do Rio Grande do Norte

Práticas agroecológicas para o cultivo do gergelim (Sesamum indicum L.)

The exceeded use of the natural resources required by the modern agriculture has been caused soil impoverishment, soil salinization and soil compaction. The unreasonable use of chemical fertilizers and pesticides causes chemical imbalances in the plant tissues, nutritional losses, taste chances and human health problems. The monocrops are more vulnerable to the pest and disease attacks. The aim of this work were to indicate the better relative planting time of the cowpea bean for the sesame/cowpea bean intercropping based on the evaluation of agronomic, economic, ecological and physiological parameters and to evaluate the viability of the cow urine and cassava wastewater use as alternative fertilizers on the sesame cultivation. In a field essay, when the sesame/cowpea bean was evaluate, the mainly treatments were the single planting of the two cultures and the multiple cropping, with the cowpea bean being planted on the same time, 7, 14 and 21 days after the sesame. The mainly treatments of the second essay were the combined doses of the cow urine (0 and 50 ml) and cassava wastewater (0, 500 and 1000 mL). In the intercrop evaluation significant differences were found between the treatments for the most of the parameters. It was verified that as the sowing of the cowpea bean was retarded in relation to the sesame sowing, the sesame performance increased when the cowpea bean performance decreased. The treatment 7 days balanced the competition relations that occurred between the two crops in the intercrop. The sesame presented little pronounced responses to the different doses of cassava wastewater. The cow urine affected the sesame growth and the growth rates increased with the increasing of the application of the product. The responses of the sesame growth to the cow urine application must be related both the nutritional richness of the product and the presence of growth stimulating substances. The obtained results indicated that in the sesame/cowpea bean intercropping, when the sesame is planted 7 days after the sesame, there is a higher possibility of the net gains to the farmer. Cow urine and cassava wastewater may be used as additional organic fertilizers

Contribuições para o processo de verificação de satisfatibilidade módulo teoria em Event-B

Event-B is a formal method for modeling and verification of discrete transition systems. Event-B development yields proof obligations that must be verified (i.e. proved valid) in order to keep the produced models consistent. Satisfiability Modulo Theory solvers are automated theorem provers used to verify the satisfiability of logic formulas considering a background theory (or combination of theories). SMT solvers not only handle large firstorder formulas, but can also generate models and proofs, as well as identify unsatisfiable subsets of hypotheses (unsat-cores). Tool support for Event-B is provided by the Rodin platform: an extensible Eclipse based IDE that combines modeling and proving features. A SMT plug-in for Rodin has been developed intending to integrate alternative, efficient verification techniques to the platform. We implemented a series of complements to the SMT solver plug-in for Rodin, namely improvements to the user interface for when proof obligations are reported as invalid by the plug-in. Additionally, we modified some of the plug-in features, such as support for proof generation and unsat-core extraction, to comply with the SMT-LIB standard for SMT solvers. We undertook tests using applicable proof obligations to demonstrate the new features. The contributions described can potentially affect productivity in a positive manner.