6 resultados para Trail Making Test A and B
em Universidade Federal do Rio Grande do Norte(UFRN)
Resumo:
Executive functions are determinant cognitive processes for student success, since they execute and control complex cognitive activities such as reasoning, planning and solving problems. The development of the executive functions performances begin early at childhood going through the adolescence until adulthood, concomitant with the neuroanatomical, functional and blood perfusion changes over the brain. In this scenario, exercise has been considered an important environmental factor for neurodevelopment, as well as for the promotion of cognitive and brain health. However, there are no large scientific studies investigating the effects of a single vigorous aerobic exercise session on executive functions in adolescents. Objective: To verify the acute effect of vigorous aerobic exercise on executive functions in adolescents. Methods: A randomized controlled trial (RCT) with crossover design was used. 20 pubescent from both sexes/gender with age between 10 and 16 years were submitted to two sessions of 30min each: 1) The aerobic exercise session intensity was between 65 and 75% of heart rate reserve, in which 5min for warm-up, 20min at the target intensity and 5min of cool down; and 2) control session watching cartoons. The computerized Stroop test – Testinpacs and trail making test were used to evaluate the inhibitory control and cognitive flexibility assessment respectively, before and after both experimental and control sessions. The reaction time (RT) and number of errors (n) of Stroop test were recorded. The total time (TT) and the number of errors (n) of the trail making test were also recorded. Results: The control session’s RT did not present significant differences in the Stroop test. On the other hand, the exercise session’s RT decreased significantly (p<0.01) after the session. The number of errors made at the Stroop test had no significant differences in control and exercise sessions. The ΔTT of trail making test of exercise session was significantly (p<0.001) lower than the control session’s. Errors made in trail making test did not show significant differences between control and exercise sessions. Additionally, there was significant and positive association among the Stroop test ΔRT of exercise session with xiii chronological age (r= 0.635, p=0.001; r 2 = 0.404, p=0.003) and sexual maturation (rs= 0.580, p=0.007; r 2 = 0.408, p=0.002). Differently, there was no association among the control session ΔRT and chronological age (r= – 0.144, p=0.273; r 2 = 0.021, p=0.545) or sexual maturation (rs= –0.155, p=0.513; r 2 = 0.015, p=0.610). Conclusion: Vigorous aerobic exercise seems to improve acutely executive functions in adolescents. The effect of exercise on inhibitory control performance was associated to pubertal stage and chronological age. In other words, the benefits of exercise were more evident in early adolescence (↑ ΔRT) and its magnitude decreases along the growing up process.
Resumo:
PURPOSE: The infection is one of the main factors that affect the physiological evolution of the surgical wounds. The aim of this work is to evaluate the effects of fibroblast growth factor (FGFâ) and anti-FGFâ in the healing, synthesis and maturation of collagen when topically used on infected skin wounds of rats. METHODS: An experimental study was perfomed in 60 male Wistar rats. All animals were divided in two groups (A and B). Each group was divided in three subgroups A1, B1; A2, B2 and A3, B3. After anesthesia with pentobarbital, two open squared wounds (1cm2), 4cm distant to each other, were done in the dorsal skin of all the rats. In group A (n=30) the wounds were contaminated with multibacterial standard solution, and in group B(n=30) the wounds were maintained sterile. These wounds were named F1 (for inflammation analysis) and F2 (for collagen study). The open wounds of A1 and B1 rats were topically treated with saline solution, A2 and B2 were treated with FGFâ and subgroups A3 and B3 were treated with FGFâ and anti-FGFâ. The rats were observed until complete epitelization of F2 wounds for determination of healing time and the expression of types I and III collagen, using Picro Sirius Red staining. Inflammatory reaction in F1 wounds was studied using hematoxilineosin staining. The three variable was measured by the Image Pro-Plus Média Cybernetics software. The statistical analysis was performed by ANOVA and Tukey test, considering p<0.05 as significant. RESULTS: It was observed that infection retarded significantly (p<0.05) the time of wound scarring and the topical application of FCFb reverted the inhibition of healing caused by bacteria. The inflammatory reaction was greater in the subgroup B2 than in B1 and A3, and the difference was significant (p<0.05). It was observed greater expression of type I collagen in all the subgroups treated with FCFb, when compared with the untreated subgroups. Type III collagen was significantly decreased in wounds of B3 rats, comparing to the other subgroups. CONCLUSIONS: The FCFb accelerated the healing of open infected wounds and contributed with maturation of collagen, enhancing the type I collagen density. The anti-FCFb antibody was able to attenuate the production of both type I and III collagen
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
Resumo:
This paper presents a contribution to the international Verified Software Repository effort through the formal specification of the microkernel FreeRTOS real-time system. Such specification was made in abstract level making use of the B method . For thus, properties of the microkernel were chosen and selected as specification requisites, which was constructed centered at the functionalities responsible for the utilization of these properties. This properties weres setting as specification requirements. The specification was constructed modeling the function of microkernel that implement this properties. This work intended to encourage the formal verification of FreeRTOS and also contribute to the formal creation of a microkernel real-time systems, based in FreeRTOS. Furthermore, this model brings a formal documentation point view of the microkernel, demonstrating features and how this internal states is changing. Finally, this work could be an example of specification of the actual system by the B method.
Resumo:
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
Resumo:
PURPOSE: The infection is one of the main factors that affect the physiological evolution of the surgical wounds. The aim of this work is to evaluate the effects of fibroblast growth factor (FGFâ) and anti-FGFâ in the healing, synthesis and maturation of collagen when topically used on infected skin wounds of rats. METHODS: An experimental study was perfomed in 60 male Wistar rats. All animals were divided in two groups (A and B). Each group was divided in three subgroups A1, B1; A2, B2 and A3, B3. After anesthesia with pentobarbital, two open squared wounds (1cm2), 4cm distant to each other, were done in the dorsal skin of all the rats. In group A (n=30) the wounds were contaminated with multibacterial standard solution, and in group B(n=30) the wounds were maintained sterile. These wounds were named F1 (for inflammation analysis) and F2 (for collagen study). The open wounds of A1 and B1 rats were topically treated with saline solution, A2 and B2 were treated with FGFâ and subgroups A3 and B3 were treated with FGFâ and anti-FGFâ. The rats were observed until complete epitelization of F2 wounds for determination of healing time and the expression of types I and III collagen, using Picro Sirius Red staining. Inflammatory reaction in F1 wounds was studied using hematoxilineosin staining. The three variable was measured by the Image Pro-Plus Média Cybernetics software. The statistical analysis was performed by ANOVA and Tukey test, considering p<0.05 as significant. RESULTS: It was observed that infection retarded significantly (p<0.05) the time of wound scarring and the topical application of FCFb reverted the inhibition of healing caused by bacteria. The inflammatory reaction was greater in the subgroup B2 than in B1 and A3, and the difference was significant (p<0.05). It was observed greater expression of type I collagen in all the subgroups treated with FCFb, when compared with the untreated subgroups. Type III collagen was significantly decreased in wounds of B3 rats, comparing to the other subgroups. CONCLUSIONS: The FCFb accelerated the healing of open infected wounds and contributed with maturation of collagen, enhancing the type I collagen density. The anti-FCFb antibody was able to attenuate the production of both type I and III collagen
