Avaliação de efeitos toxicológicos e comportamentais de ginseng panax em ratos

Panax ginseng CA Meyer (Araliaceae) is a herbaceous plant widely used in China, South Korea, Japan and other Asian countries for the treatment of various diseases micro circulatory, cerebrovascular, among others, representing one of the drugs used by older man. It has over 30 biologically active ginsenosides with different pharmacological and behavioral effects and inhibitory effect on the NMDA receptor. The amino acid glycine is a co-agonist of the NMDA receptor, activating this receptor. At the cellular level, ketamine is widely known to be NMDA receptor antagonist. The aim of this study was to evaluate the general activity in the open field, and anxiety in elevated plus maze, mice treated with P. ginseng compared with the action of ketamine and glycine, to better understand the action of this herbal medicine at the NMDA receptor. We used 66 adult male rats were divided into six groups: a positive control, treated for 30 days with water by gavage, who received glycine (500mg/kg; po) on days 7, 14, 21 and 28 of treatment, one hour before of behavioral assessment, a negative control was treated for 30 days with water by gavage received ketamine (5mg/kg, ip) on days 7, 14, 21 and 28 of treatment, one hour prior to behavioral evaluation, three experimental groups, receiving 100, 200 or 300 mg / kg P. ginseng by gavage for 30 days and one group treated solely with white water, and is also administered 1 ml of water by gavage one hour prior to behavioral evaluation. Animal behavior in these three groups was also examined on days 7, 14, 21 and 28 of treatment. On day 30 of treatment, the animals were anesthetized with thiopental (70mg/kg) for blood collection and after euthanasia, withdrawal of various organs. There were no changes in weight and body weight gain and weight reasons in organ / body weight. However the consumption of water and food values showed a significant increase. Serum levels of AST was increased in a dose-dependently in the animals treated with doses of P. ginseng, glycine and ketamine as compared to the blank group. Unlike creatinine levels proved to be decreased in all treated groups when compared with white. However, the level of urea in these groups was reduced and no changes were observed in the ALT parameter. Histopathological examination revealed no changes in cell morphology in different tissues. There were no behavioral changes in the elevated plus maze and few changes were observed in the open field, animals treated with P. ginseng, glycine and ketamine when compared to white. These data suggest that the doses of P. ginseng employed were unable to induce general toxicity in rats treated for 30 days and also shows that the general behavior of mice treated with P. ginseng was slightly different from that observed in animals treated with ketamine and glycine. Finally, the study on the elevated plus maze showed that the extract of P. ginseng showed no anxiolytic or anxiogenic action

O computador no ensino de lígnua inglesa no CEFET/RN

The present study has as goal to analyze the aplicability of the computational technology as mediator in the english-speaking teaching in the Centro Federal de Educação Tecnológica do Rio Grande do Norte-CEFET/RN. The object of study was centered in the use of the computer incorporated in the teaching of English by four institution groups. The research was ruled metodologically in the study of case, adopting a qualitative and quantitative boarding of interpretative-reflexive mark. We support ourselves on a bibliographical literature revision that cares of the use of the computational technology matter into the class-room, aiming an education new practice, regarding the current reality conceptions in what we live in the technological education. We also use a referencial for a pedagogical action, trying to offer subsidies for a practice that provides the knowledges generation through the interaction, aiming a subject reflexive and critical education. For materialization of this study, we used esrutuctured action, as interviews for the teachers and students, besides the observations of the dayly in class-room, in order to get the necessary datas for analysis. During this study, we oserved that the use of the computer, while pedagogical support instrument in the english-speaking teaching, has acted like mediator of the teaching-learning process. The results demonstrate use of the computer use has been each more a practice adopted by other institution languages teachers. The conclusions confirm the hypothesis showed at the beginning of the work and evidence that the teachers are warden of forming thinking, reflexive and critical subjects. For that, they need to be prepared to face situations in which they can take the pedagogical practice to tune with the technological advances, consequently providing an effective technological education

Estendendo CRefine para o suporte de táticas de refinamento

The use of increasingly complex software applications is demanding greater investment in the development of such systems to ensure applications with better quality. Therefore, new techniques are being used in Software Engineering, thus making the development process more effective. Among these new approaches, we highlight Formal Methods, which use formal languages that are strongly based on mathematics and have a well-defined semantics and syntax. One of these languages is Circus, which can be used to model concurrent systems. It was developed from the union of concepts from two other specification languages: Z, which specifies systems with complex data, and CSP, which is normally used to model concurrent systems. Circus has an associated refinement calculus, which can be used to develop software in a precise and stepwise fashion. Each step is justified by the application of a refinement law (possibly with the discharge of proof obligations). Sometimes, the same laws can be applied in the same manner in different developments or even in different parts of a single development. A strategy to optimize this calculus is to formalise these application as a refinement tactic, which can then be used as a single transformation rule. CRefine was developed to support the Circus refinement calculus. However, before the work presented here, it did not provide support for refinement tactics. The aim of this work is to provide tool support for refinement tactics. For that, we develop a new module in CRefine, which automates the process of defining and applying refinement tactics that are formalised in the tactic language ArcAngelC. Finally, we validate the extension by applying the new module in a case study, which used the refinement tactics in a refinement strategy for verification of SPARK Ada implementations of control systems. In this work, we apply our module in the first two phases of this strategy