Alterações cognitivas em ratos infectados com Toxoplasma gondii

Toxoplasma gondii is a protozoan parasite that induces behavioral changes in rodents. The aim of this study was to evaluate the effect of infection by T. gondii during the chronic phase in working memory and impulsivity in rodents as well as the effect of antipsychotics to reverse any behavioral changes resulting from infection. Female Wistar rats (n = 40) were infected with 25 cysts of the strain ME-49 T. gondii after 4 months the animals were subjected to behavioral tests: tolerance to delay gratification, in which the animal must choose between two rewards, a smaller and more immediate, but delayed and the test of spontaneous alternation, in which the animal must use spatial cues to remember previously visited arms. Antipsychotic drugs were intraperitoneally administered during the testing of the behavioral experiments, the antipsychotic is haloperidol (1.5 mg / kg) administered 60 min before the start of the session and the antipsychotic clozapine (2.5 mg / kg) 30 min before. Animals infected with the parasite did not show operating deficits of memory, and motor impairment did not develop, however motor impairment was observed only in animals treated with haloperidol. It was found that administration of clozapine and haloperidol increased the percentage of alternation in infected and control groups in task switching espontânea.Não no distinction between control animals and infected the test of tolerance to delay gratification in relation to the percentage of choices greatest reward, during the pre-training and training, in which there is a delay of 15 s to access the great reward, however it was observed that infected animals prefer the greatest reward, when there is a delay of 30 s when compared to control group. The administration of clozapine possible that infected animals chose the greatest reward in the delay of 30 seconds during the test. These data suggest that infected mice do not exhibit deficits in working memory and that clozapine has therapeutic efficacy in improving cognitive performance of mice infected

Efeitos do tratamento com lítio na memória aversiva, comportamentos relacionados à ansiedade e depressão e na expressão de BDNF em ratos

Lithium (Li) is the first choice to treat bipolar disorder, a psychiatric illness characterized by mood oscillations between mania and depression. However, studies have demonstrated that this drug might influence mnemonic process due to its neuroprotector, antiapoptotic and neurogenic effects. The use of Li in the treatment of cognitive deficits caused by brain injury or neurodegenerative disorders have been widely studied, and this drug shows to be effective in preventing or even alleviating the memory impairment. The effects of Li on anxiety and depression are controversial and the relationship of the effects of lithium on memory, anxiety and depression remain unknown. In this context, this study aims to: evaluate the effects of acute and chronic administration of lithium carbonate in aversive memory and anxiety, simultaneously, using the plus maze discriminative avoidance task (PMDAT); test the antidepressant effect of the drug through the forced swimming test (FS) and analyze brainderived neurotrophic factor (BDNF) expression in structures related to memory and emotion. To evaluation of the acute effects, male Wistar rats were submitted to i.p. administration of lithium carbonate (50, 100 or 200 mg/kg) one hour before the training session (PMDAT) or lithium carbonate (50 or 100 mg/kg) one hour before the test session (FS). To evaluation of the chronic effects, the doses administered were 50 or 100 mg/kg or vehicle once a day for 21 days before the beginning of behavioral tasks (PMDAT and FS). Afterwards, the animals were euthanized and their brains removed and submitted to immunohistochemistry procedure to quantify BDNF. The animals that received acute treatment with 100 and 200 mg/kg of Li did not discriminated between the enclosed arms (aversive and non-aversive) in the training session of PMDAT, showing that these animal did not learned the task. This lack of discrimination was also observed in the test session, showing that the animals did not recall the aversive task. We also observed an increased exploration of the open arms of these same groups, indicating an anxiolytic effect. The same groups showed a reduction of locomotor activity, however, this effect does not seem to be related with the anxiolytic effect of the drug. Chronic treatment with Li did not promote alterations on learning or memory processes. Nevertheless, we observed a reduction of open arms exploration by animals treated with 50 mg/kg when compared to the other groups, showing an anxiogenic effect caused by this dose. This effect it is not related to locomotor alterations since there were no alterations in these parameters. Both acute and chronic treatment were ineffective in the FS. Chronic treatment with lithium was not able to modify BDNF expression in hippocampus, amygdala and pre-frontal cortex. These results suggest that acute administration of lithium promote impairments on learning in an aversive task, blocking the occurrence of memory consolidation and retrieval. The reduction of anxiety following acute treatment may have prevented the learning of the aversive task, as it has been found that optimum levels of anxiety are necessary for the occurrence of learning with emotional context. With continued, treatment the animals recover the ability to learn and recall the task. Indeed, they do not show differences in relation to control group, and the lack of alterations on BDNF expression corroborates this result. Possibly, the regimen of treatment used was not able to promote cognitive improvement. Li showed acute anxiolytic effect, however chronic administration 4 promoted the opposite effect. More studies are necessary to clarify the potential beneficial effect of Li on aversive memory

Uma estratégia dirigida a modelos e baseada em linguagem de descrição arquitetural para linhas de produtos de software

Model-oriented strategies have been used to facilitate products customization in the software products lines (SPL) context and to generate the source code of these derived products through variability management. Most of these strategies use an UML (Unified Modeling Language)-based model specification. Despite its wide application, the UML-based model specification has some limitations such as the fact that it is essentially graphic, presents deficiencies regarding the precise description of the system architecture semantic representation, and generates a large model, thus hampering the visualization and comprehension of the system elements. In contrast, architecture description languages (ADLs) provide graphic and textual support for the structural representation of architectural elements, their constraints and interactions. This thesis introduces ArchSPL-MDD, a model-driven strategy in which models are specified and configured by using the LightPL-ACME ADL. Such strategy is associated to a generic process with systematic activities that enable to automatically generate customized source code from the product model. ArchSPLMDD strategy integrates aspect-oriented software development (AOSD), modeldriven development (MDD) and SPL, thus enabling the explicit modeling as well as the modularization of variabilities and crosscutting concerns. The process is instantiated by the ArchSPL-MDD tool, which supports the specification of domain models (the focus of the development) in LightPL-ACME. The ArchSPL-MDD uses the Ginga Digital TV middleware as case study. In order to evaluate the efficiency, applicability, expressiveness, and complexity of the ArchSPL-MDD strategy, a controlled experiment was carried out in order to evaluate and compare the ArchSPL-MDD tool with the GingaForAll tool, which instantiates the process that is part of the GingaForAll UML-based strategy. Both tools were used for configuring the products of Ginga SPL and generating the product source code

CrossMDA-SPL: uma abordagem para gerência de variabilidades dirigida por modelos e aspectos

This paper proposes a systematic approach to management of variability modelsdriven and aspects using the mechanisms of approaches Aspect-Oriented Software Development (AOSD) and Model-Driven Development (MDD). The main goal of the approach, named CrossMDA-SPL, is to improve the management(gerência), modularization and isolation ou separation of the variability of the LPSs of architecture in a high level of abstraction (model) at the design and implementing phases of development Software Product Lines (SPLs), exploiting the synergy between AOSD and MDD. The CrossMDA-SPL approach defines some artifacts basis for advance the separation clear in between the mandatory (bounden) and optional features in the architecture of SPL. The artifacts are represented by two models named: (i) core model (base domain) - responsible for specify the common features the all members of the SPL, and (ii) variability model - responsible for represent the variables features of SPL. In addition, the CrossMDA-SPL approach is composed of: (i) guidelines for modeling and representation of variability, (ii) CrossMDA-SPL services and process, and (iii) models of the architecture of SPL or product instance of SPL. The guidelines use the advantages of AOSD and MDD to promote a better modularization of the variable features of the architecture of SPL during the creation of core and variability models of the approach. The services and sub-processes are responsible for combination automatically, through of process of transformation between the core and variability models, and the generation of new models that represent the implementation of the architecture of SPL or a instance model of SPL. Mechanisms for effective modularization of variability for architectures of SPL at model level. The concepts are described and measured with the execution of a case study of an SPL for management systems of transport electronic tickets

Análise de impacto baseada em rastreabilidade de artefatos para linhas de produto de software

Software Product Line (SPL) consists of a software development paradigm, whose main focus is to identify features common and variability among applications in a specific domain. An LPS is designed to attend all products requirements from its product family. These requirements and LPS may have changes over time due to several factors, such as evolution of product requirements, evolution of the market, evolution of SLP process, evolution of the technologies used to develop the products. To handle these changes, LPS should be modified and evolve in order to not become obsolete, and adapt itself to new requirements. The Changes Impact Analysis is an activity that understand and identify what consequences these changes are cause on LPS. Impact Analysis on LPS may be supported by traceability relationships, which identify relationships between artefacts created during all phases of software development. Despite the solutions of change impact analysis based on traceability for software, there is a lack of solutions for assessing the change impact analysis based on traceability for LPS, since existing solutions do not include estimates specific to the artefacts of LPS. Thus, this paper proposes a process of change impact analysis and an tool for assessing the change impact through traceability of artefacts in LPS. For this purpose, we specified a process of change impact analysis that considers artifacts produced during the development of LPS. We have also implemented a tool which allows estimating and identifying artefacts and products of LPS affected from changes in other products, changes in class, changes in features, changes between releases of LPS and artefacts related to changes in core assets and variability. Finally, the results were evaluated through metrics

Uma abordagem sistemática para implementação, gerenciamento e customização de testes de linhas de produto de software

Through the adoption of the software product line (SPL) approach, several benefits are achieved when compared to the conventional development processes that are based on creating a single software system at a time. The process of developing a SPL differs from traditional software construction, since it has two essential phases: the domain engineering - when common and variables elements of the SPL are defined and implemented; and the application engineering - when one or more applications (specific products) are derived from the reuse of artifacts created in the domain engineering. The test activity is also fundamental and aims to detect defects in the artifacts produced in SPL development. However, the characteristics of an SPL bring new challenges to this activity that must be considered. Several approaches have been recently proposed for the testing process of product lines, but they have been shown limited and have only provided general guidelines. In addition, there is also a lack of tools to support the variability management and customization of automated case tests for SPLs. In this context, this dissertation has the goal of proposing a systematic approach to software product line testing. The approach offers: (i) automated SPL test strategies to be applied in the domain and application engineering, (ii) explicit guidelines to support the implementation and reuse of automated test cases at the unit, integration and system levels in domain and application engineering; and (iii) tooling support for automating the variability management and customization of test cases. The approach is evaluated through its application in a software product line for web systems. The results of this work have shown that the proposed approach can help the developers to deal with the challenges imposed by the characteristics of SPLs during the testing process

Dos requisitos à arquitetura em linhas de produtos de software: uma estratégia de transformações entre modelos

The tracking between models of the requirements and architecture activities is a strategy that aims to prevent loss of information, reducing the gap between these two initial activities of the software life cycle. In the context of Software Product Lines (SPL), it is important to have this support, which allows the correspondence between this two activities, with management of variability. In order to address this issue, this paper presents a process of bidirectional mapping, defining transformation rules between elements of a goaloriented requirements model (described in PL-AOVgraph) and elements of an architectural description (defined in PL-AspectualACME). These mapping rules are evaluated using a case study: the GingaForAll LPS. To automate this transformation, we developed the MaRiPLA tool (Mapping Requirements to Product Line Architecture), through MDD techniques (Modeldriven Development), including Atlas Transformation Language (ATL) with specification of Ecore metamodels jointly with Xtext , a DSL definition framework, and Acceleo, a code generation tool, in Eclipse environment. Finally, the generated models are evaluated based on quality attributes such as variability, derivability, reusability, correctness, traceability, completeness, evolvability and maintainability, extracted from the CAFÉ Quality Model

BMMobile: uma linha de produtos para dimensionamento de bombeio mecânico em dispositivos móveis

With the increase of processing ability, storage and several kinds of communication existing such as Bluetooth, infrared, wireless networks, etc.., mobile devices are no longer only devices with specific function and have become tools with various functionalities. In the business field, the benefits that these kinds of devices can offer are considerable, because the portability allows tasks that previously could only be performed within the work environment, can be performed anywhere. In the context of oil exploration companies, mobile applications allow quick actions could be taken by petroleum engineers and technicians, using their mobile devices to avoid potential catastrophes like an unexpected stop or break of important equipment. In general, the configuration of equipment for oil extraction is performed on the work environment using computer systems in desktop platforms. After the obtained configuration, an employee goes to equipment to be configured and perform the modifications obtained on the use desktop system. This management process equipment for oil extraction takes long time and does not guarantee the maintenance in time to avoid problems. With the use of mobile devices, management and maintenance of equipment for oil extraction can be performed in a more agile time once it enables the engineer or technician oil can perform this configuration at the time and place where the request comes for example, near in the oil well where the equipment is located. The wide variety of mobile devices creates a big difficulty in developing mobile applications, since for one application can function in several types of devices, the application must be changed for each specific type of device, which makes the development quite costly. This paper defines and implements a software product line for designing sucker-rod pumping systems on mobile devices. This product line of software, called BMMobile, aims to produce products that are capable of performing calculations to determine the possible configurations for the equipment in the design suckerrod pumping, and managing the variabilities of the various products that can be generated. Besides, this work performs two evaluations. The first evaluation will verify the consistency of the products produced by the software product line. The second evaluation will verify the reuse of some products generated by SPL developed

Reqsys-MDD: uma ferramenta para mapeamento entre modelos de features e requisitos em linhas de produto de software

The approach Software Product Line (SPL) has become very promising these days, since it allows the production of customized systems on large scale through product families. For the modeling of these families the Features Model is being widely used, however, it is a model that has low level of detail and not may be sufficient to guide the development team of LPS. Thus, it is recommended add the Features Model to other models representing the system from other perspectives. The goals model PL-AOVgraph can assume this role complementary to the Features Model, since it has a to context oriented language of LPS's, which allows the requirements modeling in detail and identification of crosscutting concerns that may arise as result of variability. In order to insert PL-AOVgraph in development of LPS's, this paper proposes a bi-directional mapping between PL-AOVgraph and Features Model, which will be automated by tool ReqSys-MDD. This tool uses the approach of Model-Driven Development (MDD), which allows the construction of systems from high level models through successive transformations. This enables the integration of ReqSys-MDD with other tools MDD that use their output models as input to other transformations. So it is possible keep consistency among the models involved, avoiding loss of informations on transitions between stages of development

Caracterizando os fluxos excepcionais em linhas de produto de software: um estudo exploratório

The Exception Handling (EH) is a widely used mechanism for building robust systems. In Software Product Line (SPL) context it is not different. As EH mechanisms are embedded in most of mainstream programming languages (like Java, C# and C++), we can find exception signalers and handlers spread over code assets associated to common and variable SPL features. When exception signalers and handlers are added to an SPL in an unplanned way, one of the possible consequences is the generation of faulty family instances (i.e., instances on which common or variable features signal exceptions that are mistakenly caught inside the system). In this context, some questions arise: How exceptions flow between the optional and alternative features an LPS? Aiming at providing answers to these questions, this master thesis conducted an exploratory study, based on code inspection and static analysis code, whose goal was to categorize the main ways which exceptions flow in LPSs. To support the study, we developed an static analysis tool called PLEA (Product Line Exception Analyzer) that calculates the exceptional flows of LPSs, and categorize these flows according to the features associated with handlers and signalers. Preliminary results showed that some types of exceptional flows have more potential to yield failures in exceptional behavior of SLPs

Squid impact analyser: uma ferramenta para análise de impacto de mudança em linhas de produto de software

Software Products Lines (SPL) is a software engineering approach to developing software system families that share common features and differ in other features according to the requested software systems. The adoption of the SPL approach can promote several benefits such as cost reduction, product quality, productivity, and time to market. On the other hand, the SPL approach brings new challenges to the software evolution that must be considered. Recent research work has explored and proposed automated approaches based on code analysis and traceability techniques for change impact analysis in the context of SPL development. There are existing limitations concerning these approaches such as the customization of the analysis functionalities to address different strategies for change impact analysis, and the change impact analysis of fine-grained variability. This dissertation proposes a change impact analysis tool for SPL development, called Squid Impact Analyzer. The tool allows the implementation of change impact analysis based on information from variability modeling, mapping of variability to code assets, and existing dependency relationships between code assets. An assessment of the tool is conducted through an experiment that compare the change impact analysis results provided by the tool with real changes applied to several evolution releases from a SPL for media management in mobile devices

Influência do tamoxifeno associado ao diabete melito na densidade mineral óssea

Considering that osteopenia and osteoporosis are diabetes mellitus complications, and that tamoxifen (TAM) is an anti-estrogenic drug used in breast cancer treatment, this drug may have a beneficial action preventing accentuaded bone loss associated to diabetes. Female Wistar rats (n=60) weighting 180-250g were divided in four groups: Group C, control animals (n=5); Group T, animals treated with TAM (n=5); Group D, diabetic animals (n=5); and Group DT, diabetic animals treated with TAM (n=5). Oestrus cycle was evaluated before the beggining of experimental period to select the animals with regular cycle. This evaluation continued throughout the study period and for all studied groups. Diabetes was induced by a intra perithoneal injection of streptozotocin (STZ) in a concentration of 45 mg/Kg of body weight. Those animals with serum glicose levels 250 mg/dL were considered diabetics. Animals were sacrificed in the periods of 30, 60 and 90 days after diabetes onset. Left femur histomorphometric measurements and serum biochemical analysis (glycemia, alkaline phosphatase, tartaric-resistant acid phosphatase, calcium, phosphorous, magnesium, total proteins, albumin, globulins, urea and creatinine) were done. Histomorphometric results showed a progressive bone loss in Group D animals when compared to those from Group C all over the experimental period, becoming accentuaded in the 90 days period. In relation to Groups T and DT, values approcimated to those obtained for control group were found during the whole period of study. Those data may indicate a bone mass recovery or a diminished bone loss due to diabetes when animals were treated with TAM. During the whole experimental period animals of groups D and DT maintained glycemic levels above 250 mg/dL whereas animals of groups C and T maintained those levels below 150mg/dL. Alkaline phosphatase activity was increased in all study periods for groups D and DT when compared to group C animals over the 90 days period. Tartarate-resistant acid phosphatase activity was showed unaltered in all periods of study and for all groups. Calcium and magnesium results were also unaltered, maintaining reference levels for all groups in all experimental periods. Phosphorous levels were increased in groups D and DT when compared to groups C and T in the 30 days period. However no difference was found in the periods of 60 and 90 days for this test. No difference was found for total proteins levels for groups C, T, D and DT over the study period. Albumin levels were reduced in DT group in the 60 days period and in D and DT groups in the 90 days period. Urea levels were significantly increased in the 30, 60 and 90 days study periods in groups D and DT when compared to groups C and T. Creatinine results showed a significantly increase in the 90 days period for groups D and DT when compared to groups C and T, and maintaining unaltered in the 30 and 60 days periods. These results suggest that the treatment with TAM may reduce bone loss caused by diabetes mellitus