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

Instanciação e avaliação de um framework para a geração dinâmica de processos

One way to deal with the high complexity of current software systems is through selfadaptive systems. Self-adaptive system must be able to monitor themselves and their environment, analyzing the monitored data to determine the need for adaptation, decide how the adaptation will be performed, and finally, make the necessary adjustments. One way to perform the adaptation of a system is generating, at runtime, the process that will perform the adaptation. One advantage of this approach is the possibility to take into account features that can only be evaluated at runtime, such as the emergence of new components that allow new architectural arrangements which were not foreseen at design time. In this work we have as main objective the use of a framework for dynamic generation of processes to generate architectural adaptation plans on OSGi environment. Our main interest is evaluate how this framework for dynamic generation of processes behave in new environments

Testes em modelos weibull na forma estendida de Marshall-Olkin

In survival analysis, the response is usually the time until the occurrence of an event of interest, called failure time. The main characteristic of survival data is the presence of censoring which is a partial observation of response. Associated with this information, some models occupy an important position by properly fit several practical situations, among which we can mention the Weibull model. Marshall-Olkin extended form distributions other a basic generalization that enables greater exibility in adjusting lifetime data. This paper presents a simulation study that compares the gradient test and the likelihood ratio test using the Marshall-Olkin extended form Weibull distribution. As a result, there is only a small advantage for the likelihood ratio test

Testes de hipóteses em modelos de sobrevivência com Fração de cura

Survival models deals with the modeling of time to event data. However in some situations part of the population may be no longer subject to the event. Models that take this fact into account are called cure rate models. There are few studies about hypothesis tests in cure rate models. Recently a new test statistic, the gradient statistic, has been proposed. It shares the same asymptotic properties with the classic large sample tests, the likelihood ratio, score and Wald tests. Some simulation studies have been carried out to explore the behavior of the gradient statistic in fi nite samples and compare it with the classic statistics in diff erent models. The main objective of this work is to study and compare the performance of gradient test and likelihood ratio test in cure rate models. We first describe the models and present the main asymptotic properties of the tests. We perform a simulation study based on the promotion time model with Weibull distribution to assess the performance of the tests in finite samples. An application is presented to illustrate the studied concepts

Aplicação do método B ao projeto formal de software embarcado

This work shows a project method proposed to design and build software components from the software functional m del up to assembly code level in a rigorous fashion. This method is based on the B method, which was developed with support and interest of British Petroleum (BP). One goal of this methodology is to contribute to solve an important problem, known as The Verifying Compiler. Besides, this work describes a formal model of Z80 microcontroller and a real system of petroleum area. To achieve this goal, the formal model of Z80 was developed and documented, as it is one key component for the verification upto the assembly level. In order to improve the mentioned methodology, it was applied on a petroleum production test system, which is presented in this work. Part of this technique is performed manually. However, almost of these activities can be automated by a specific compiler. To build such compiler, the formal modelling of microcontroller and modelling of production test system should provide relevant knowledge and experiences to the design of a new compiler. In ummary, this work should improve the viability of one of the most stringent criteria for formal verification: speeding up the verification process, reducing design time and increasing the quality and reliability of the product of the final software. All these qualities are very important for systems that involve serious risks or in need of a high confidence, which is very common in the petroleum industry

Parâmetros bioquímicos e níveis de IgE total e específicas para aeroalérgenos em mulheres obesas com síndrome dos ovários policísticos

Introduction: Polycystic ovary syndrome (PCOS) whose classic features (menstrual irregularity of oligo/ amenorrhea type, chronic anovulation, infertility and hyperandrogenism clinical and/ or biochemical), is associated with aspects of metabolic syndrome (MS), as obesity and insulin resistance. The level of obesity determines different levels of inflammation, increasing cytokines participants of metabolic and endocrine functions, beyond modulate the immune response. Metabolic changes, added to the imbalance of sex hormones underlying irregular menstruation observed in (PCOS) can trigger allergic processes and elevation of total and specific IgE antibodies indicate that a sensitization process was started. Objective: To evaluate the influence of PCOS on biochemical parameters and levels of total and specific IgE to aeroallergens in obese women. Methods: After approval by the Committee of Ethics in Research, were recruited 80 volunteers with BMI ≥ 30 kg/m2 and age between 18 and 45 years. Among these, 40 with PCOS according to the Rotterdam criteria and 40 women without PCOS (control group). All participants were analysed with regard to anthropometric, clinical, gynecological parameters, interviewed using a questionnaire, and underwent blood sampling for realization of laboratory tests of clinical biochemistry: Total cholesterol, LDL-cholesterol, HDL- cholesterol, Triglycerides, Fasting glucose, Urea, Creatinine, Aspartate aminotransferase (AST), Alanine aminotransferase (ALT) and immunological: total and specific IgE to Dermatophagoides pteronyssinus, Blomia tropicalis, Dermatophagoides farinae and Dermatophagoides microceras.Statistical analysis was performed using SPSS 15.0 software through the chi-square tests, Fisher, Student t test and binary logistic regression, with significance level (p <0.05). Results: It was observed in the group of obese women with PCOS that 29 (72.5%) had menstrual cycle variable and 27 (67.5%) had difficulty getting pregnant. According to waist-hip ratio, higher average was also observed in obese PCOS (0.87). Blood level of HDL (36.9 mg/dL) and ALT (29.3 U/L) were above normal levels in obese women with PCOS, with statistically significant relationship. In the analysis of total and specific IgE to D. pteronyssinus high results were also prevalent in obese PCOS, with blood level (365,22 IU/mL) and (6.83 kU/L), respectively, also statistically significant. Conclusions: Observed predominance of cases with high levels of total IgE in the group of obese women with PCOS, 28 (70%) of the participants, whose mean blood concentration of the group was 365.22 IU/mL. In the analysis of Specific IgE between the groups, the allergen Dermatophagoides pteronyssinus showed greater dispersion and average the results of sensitization in the group of obese PCOS, whose mean blood concentration was 6.83 kU/l. Keywords: Obesity, Allergens and Polycystic Ovary Syndrome

Um estudo e análise do teste de emissões otoacústicas realizadas através de uma plataforma móvel

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES

Sistema detector de vazamentos em instalações prediais de água fria

Building installations of cold water are key parts in any model of housing, are homes or condos. However, these systems are subject to failure, which can range from a leak in a device until faults in the structure of water reservoirs and distribution system. These faults are responsible for great economic and environmental costs. In order to reduce these losses, this work proposes the development of a system able to detect the presence and identify some types of water leaks that may occur. For implementation and testing, consumption model was used in a simulator capable of reproducing a similar behavior to a real model and its consequent failures. The detection of leaks is done based on an expert like model having two detection modules, one active and one passive, which use an array of sensors and actuators (valves) to do the sensing. For testing and implementation has been developed a software capable of coupling the system simulator and detector. From the results it can be seen that the system proposed in this work, as well as functioning satisfactorily, can be easily implemented in microcontrollers or embedded systems due to its simplicity.

Padronização de testes para avaliação do estado de mania e potencial anti-maníaco de um agonista do receptor NOP

Bipolar disorder is characterized by mood impairment, alternating between mania/hypomania and depression, and its exact pathophysiology is already unknown. The treatment of bipolar disorder is based on prevention of the manic and depressive episodes using mood stabilizers. Nociceptin/orfanin FQ (N/OFQ) is an endogenous heptadecapeptide which binds as an agonist to NOP receptor, which is a G-coupled inhibitory receptor. N/OFQ and its receptor modulate a lot of functions in the organism, including emotional processes. It is known that the plasmatic concentration of N/OFQ is altered in patients in both phases depressive and manic of bipolar disorder and it is assumed that this system has a role on the etiology of this disorder. Concerning mania, the animal models used in research tend to focus in an unique aspect of the manic behavior, as hyperactivity or agressivity. In the 60’s, the hole board test was proposed, and it consists of an apparatus with holes where a behavior known as head-dippings is measured. High levels of head-dippings are suggestive of neophilia, while low levels can be characteristic of an anxious-like behavior. As the increase of exploratory and goal-directed behavior are characteristics of manic behavior, this test could help in mania research. Thus, this work was organized in 3 steps and aims to: (1) investigate the induction of a manic-like state promoted by ouabain, a Na+/K+-ATPase inhibitor, in the mouse open field test; (2) set up the hole board as a test to measure manic-like behaviors; and (3) investigate the N/OFQ effects in prevention of this kind of behavior on hole board. Male Swiss mice were used in this study, and they take part of only one of the described steps. Depending on the step performed, mice received one or more of the following treatments: (1) ouabain 10-6 , 10-5 , 10-4 , 10-3 or 10-2 M, intracerebroventricular (icv); (2) sodium valproate 300 mg/kg, intraperitoneal (ip); (3) sodium valproate 400 mg/kg, ip; (4) diazepam 1 mg/kg, ip; (5) methylphenidate 10 mg/kg, ip; and (6) N/OFQ 0,1 or 1 nmol, icv. The results suggest that hole board can be used to evaluate a manic state, through analysis of different animal behaviors. However, it was not possible to standard the model of Na+ /K+ -ATPase dysfunction through ouabain administration in mice. Moreover, the data suggest that N/OFQ, at the doses tested, has not affected the methylphenidate-induced mania-like behavior. Taken together, the results point to a new approach of manic research, through the hole board using. However, more studies are necessary in order to verify the role of N/OFQ system on bipolar disorder.

Alterações de equilíbrio postural e qualidade de vida em mulheres no ciclo gravídico puerperal

INTRODUCTION: The pregnancy and childbirth cause many changes in a woman's life, whether physical, hormonal, emotional or social. Such changes may affect the postural balance and the quality of life of women in pregnancy and may persist after delivery. To analyze changes in postural balance and quality of life in women in pregnancy and postpartum. METHODS: This study consisted of 47 women participants of the Course for Pregnant Women of the Department of Physical Therapy at UFRN, evaluated during pregnancy (2° or 3° trimester) and in the period 1-8 months postpartum. In all participants was evaluated the postural balance, the Balance Master® in five specific tests: (1) Modified Clinical Test of Sensory Interaction on Balance-MCTSIB; (2) Rhythmic Weight Shift Test - RWS (3) unilateral stance - US, (4) Sit to Stand - STS, and (5) Walk Across - WA. The quality of life (QoL) was assessed by applying the Quality Score of life Ferrans & Powers (IQVFP), both during pregnancy and in the postpartum period. For statistical analysis we used the Statistical Package for Social Sciences software for Personal Computer- SPSS (version 20.0), applying the tests: Shapiro-Wilk to assess the normality of the data; Chi-square to analyze the frequency of postural balance changes in the two groups of pregnancy and postpartum in both groups; McNemar test to analyze balance disorders frequency of related samples in the two time points; to compare the behavior of postural balance during pregnancy and postpartum, and to compare the QoL between the periods, we used the Wilcoxon test; and yet, the MannWhitney test to compare the QoL scores in the two groups of pregnancy and postpartum in both groups. We adopted p-value <0.05. RESULTS: Comparing the postural balance during pregnancy and postpartum in MSTSIB test has statistical difference in unstable surface with closed eyes (p=0.001) and in the US test, the speed of oscillation with right leg with eyes closed (p=0,03). Quality of life, there was statistical difference between the scores only among postpartum groups, the family domain (p=0.03); and to comparing pregnancy and postpartum in domain health and operation (p=0.02) and the Socioeconomic domain (p=0.01). CONCLUSIONS: It was observed that the balance changes present during pregnancy persist postpartum, and the quality of life is considered good by women, both during pregnancy and postpartum.

Efeitos do treino resistido na capacidade funcional e na reatividade pressórica em pacientes intradialíticos

Pacientes com doença renal crônica (DRC) submetidos ao treinamento resistido durante a hemodiálise apresentam benefícios substanciais dos sistemas muscular e cardiovascular, da capacidade funcional e da sua qualidade de vida. Entretanto, as melhorias na reatividade pressórica ainda não estão bem esclarecidas. O objetivo foi analisar o efeito do treino resistido na melhora da capacidade funcional e da reatividade pressórica em pacientes hemodialisados, em Natal/RN no ano de 2014. Trata-se de um ensaio clínico controlado e randomizado, com amostra de 64 pacientes, com média de idade de 42,28 (±11,48) anos, distribuídos em grupo experimental (GE) e controle (GC). Para mensurar os ganhos de força de membros inferiores foram utilizados os testes de sentar e levantar e de levantar e caminhar, já para a reatividade pressórica o teste cold pressor, em ambos os grupos antes e após a intervenção. Além disso, apenas o GE participou do treinamento resistido durante a hemodiálise em 16 semanas, composto por 3 sessões semanais, 3 séries de 10 repetições máximas (RM) estimadas (para extensores de joelho e flexores de quadril e joelho), entre 50 a 70% de 10 RM. Para a intensidade do treinamento foi utilizada a escala de Borg entre 11 a 14 durante as seções. Os dados foram analisados utilizando o Teste t para amostras independentes (inter-grupos) bem como para comparar a diferença das médias nos grupos pré e pós-intervenção (intra-grupos) a partir do Teste t para amostras repetidas. Para todas as variáveis foi considerada a significância estatística de 5% executados no software SPSS® 20.0. O estudo foi aprovado pelo comitê de ética do Hospital Universitário Onofre Lopes (HUOL - UFRN) número 37992214.2.0000.5292. Após a intervenção, verificou-se que os pacientes do GE tiveram um desempenho melhor nos testes de força (p<0,001) em comparação ao GC. Resultado também observado na pressão arterial sistólica e diastólica (PAS e PAD) ambas de repouso que apresentaram redução dos níveis pressóricos apenas no GE (p<0,001). Na reatividade pressórica tanto nos períodos pré bem como após 2 minutos também demonstraram reduções estatisticamente significativas do GE (p<0,001 e p=0,012) respectivamente quando comparado ao GC. Conclui-se que o treinamento resistido melhorou desempenho nos testes de força de membros inferiores beneficiando a capacidade funcional dos pacientes em hemodiálise, como também a pressão arterial de repouso e os níveis de reatividade pressórica obtiveram reduções significativas de seus valores após a intervenção. Além disso, este tipo de treinamento também pode ser utilizado como uma estratégia de proteção aos fatores de risco cardiovascular em pacientes renais crônicos.

Testes para a avaliação da qualidade fisiológica de sementes de Moringa oleifera Lam

The evaluation of seed vigor is an important factor for detection of lots of high quality seeds, so that development of procedures to evaluate the physiological potential has been an important tool in quality control programs seeds. In this sense the study aimed to adapt the methodologies of accelerated aging, electrical conductivity and potassium leaching to evaluate Moringa oleifera seed vigor LAM.. Therefore, four lots of moringa seeds were subjected to the germination tests, seedling emergence, speed of emergence index, emergence first count, length and dry mass of seedlings and cold test for their physiological characterization, in addition to accelerated aging, electrical conductivity and potassium leaching. The experimental design was completely randomized with four replications of 50 seeds and the means compared by Tukey test at 5% probability. For accelerated aging the periods were studied aging 12, 24 and 72 hours at 40, 42 and 45°C. For the electrical conductivity test was used to a temperature of 25°C for periods of 4, 8, 12, 16 and 24 hours of immersion in 75 to 125 mL of distilled water, using 25 to 50 seeds, and for potassium leaching test samples were used 25 to 50 seeds, placed in plastic cups containing 70 and 100 mL of distilled water at 25°C for periods of 1, 2, 3, 4, 5 and 6 hours. From the results obtained, it can be inferred that the methods best fit for the accelerated aging test Moringa seeds were a temperature of 40°C for 12 to 72 hours, 42°C 72 hours 45°C 24 hours . In the electrical conductivity test Moringa seeds, the combination of 50 seeds in 75 mL distilled water for a period of immersion of 4 hours and 50 seeds in 125 mL of 4 hours were efficient for the differentiation of lots of Moringa seeds as to vigor and for potassium leaching test moringa seeds, the combination of 50 seeds in 100mL of distilled water allowed the separation of lots of four levels of vigor, at 2 hours of immersion, showing promise in evaluate the quality of moringa seeds.

Testes para a avaliação da qualidade fisiológica de sementes de Moringa oleifera Lam

The evaluation of seed vigor is an important factor for detection of lots of high quality seeds, so that development of procedures to evaluate the physiological potential has been an important tool in quality control programs seeds. In this sense the study aimed to adapt the methodologies of accelerated aging, electrical conductivity and potassium leaching to evaluate Moringa oleifera seed vigor LAM.. Therefore, four lots of moringa seeds were subjected to the germination tests, seedling emergence, speed of emergence index, emergence first count, length and dry mass of seedlings and cold test for their physiological characterization, in addition to accelerated aging, electrical conductivity and potassium leaching. The experimental design was completely randomized with four replications of 50 seeds and the means compared by Tukey test at 5% probability. For accelerated aging the periods were studied aging 12, 24 and 72 hours at 40, 42 and 45°C. For the electrical conductivity test was used to a temperature of 25°C for periods of 4, 8, 12, 16 and 24 hours of immersion in 75 to 125 mL of distilled water, using 25 to 50 seeds, and for potassium leaching test samples were used 25 to 50 seeds, placed in plastic cups containing 70 and 100 mL of distilled water at 25°C for periods of 1, 2, 3, 4, 5 and 6 hours. From the results obtained, it can be inferred that the methods best fit for the accelerated aging test Moringa seeds were a temperature of 40°C for 12 to 72 hours, 42°C 72 hours 45°C 24 hours . In the electrical conductivity test Moringa seeds, the combination of 50 seeds in 75 mL distilled water for a period of immersion of 4 hours and 50 seeds in 125 mL of 4 hours were efficient for the differentiation of lots of Moringa seeds as to vigor and for potassium leaching test moringa seeds, the combination of 50 seeds in 100mL of distilled water allowed the separation of lots of four levels of vigor, at 2 hours of immersion, showing promise in evaluate the quality of moringa seeds.

Desenvolvimento e validação de testes de fluxo lateral para a detecção de cultivares geneticamente modificados e de aflatoxinas em produtos agrícolas

The expansion of cultivated areas with genetically modified crops (GM) is a worldwide phenomenon, stimulating regulatory authorities to implement strict procedures to monitor and verify the presence of GM varieties in agricultural crops. With the constant growing of plant cultivating areas all over the world, consumption of aflatoxin-contaminated food also increased. Aflatoxins correspond to a class of highly toxic contaminants found in agricultural products that can have harmful effects on human and animal health. Therefore, the safety and quality evaluation of agricultural products are important issues for consumers. Lateral flow tests (strip tests) is a promising method for the detection both proteins expressed in GM crops and aflatoxins-contaminated food samples. The advantages of this technique include its simplicity, rapidity and cost-effective when compared to the conventional methods. In this study, two novel and sensitive strip tests assay were developed for the identification of: (i) Cry1Ac and Cry8Ka5 proteins expressed in GM cotton crops and; (ii) aflatoxins from agricultural products. The first strip test was developed using a sandwhich format, while the second one was developed using a competitive format. Gold colloidal nanoparticles were used as detector reagent when coated with monoclonal antibodies. An anti-species specific antibody was sprayed at the nitrocellulose membrane to be used as a control line. To validate the first strip test, GM (Bollgard I® e Planta 50- EMBRAPA) and non-GM cotton leaf (Cooker 312) were used. The results showed that the strip containing antibodies for the identification of Cry1Ac and Cry8Ka5 proteins was capable of correctly distinguishing between GM samples (positive result) and non-GM samples (negative result), in a high sensitivity manner. To validate the second strip test, artificially contaminated soybean with Aspergillus flavus (aflatoxin-producing fungus) was employed. Food samples, such as milk and soybean, were also evaluated for the presence of aflatoxins. The strip test was capable to distinguish between samples with and without aflatoxins samples, at a sensitivity concentration of 0,5 μg/Kg. Therefore, these results suggest that the strip tests developed in this study can be a potential tool as a rapid and cost-effective method for detection of insect resistant GM crops expressing Cry1Ac and Cry8Ka5 and aflatoxins from food samples.

Desenvolvimento e validação de testes de fluxo lateral para a detecção de cultivares geneticamente modificados e de aflatoxinas em produtos agrícolas

The expansion of cultivated areas with genetically modified crops (GM) is a worldwide phenomenon, stimulating regulatory authorities to implement strict procedures to monitor and verify the presence of GM varieties in agricultural crops. With the constant growing of plant cultivating areas all over the world, consumption of aflatoxin-contaminated food also increased. Aflatoxins correspond to a class of highly toxic contaminants found in agricultural products that can have harmful effects on human and animal health. Therefore, the safety and quality evaluation of agricultural products are important issues for consumers. Lateral flow tests (strip tests) is a promising method for the detection both proteins expressed in GM crops and aflatoxins-contaminated food samples. The advantages of this technique include its simplicity, rapidity and cost-effective when compared to the conventional methods. In this study, two novel and sensitive strip tests assay were developed for the identification of: (i) Cry1Ac and Cry8Ka5 proteins expressed in GM cotton crops and; (ii) aflatoxins from agricultural products. The first strip test was developed using a sandwhich format, while the second one was developed using a competitive format. Gold colloidal nanoparticles were used as detector reagent when coated with monoclonal antibodies. An anti-species specific antibody was sprayed at the nitrocellulose membrane to be used as a control line. To validate the first strip test, GM (Bollgard I® e Planta 50- EMBRAPA) and non-GM cotton leaf (Cooker 312) were used. The results showed that the strip containing antibodies for the identification of Cry1Ac and Cry8Ka5 proteins was capable of correctly distinguishing between GM samples (positive result) and non-GM samples (negative result), in a high sensitivity manner. To validate the second strip test, artificially contaminated soybean with Aspergillus flavus (aflatoxin-producing fungus) was employed. Food samples, such as milk and soybean, were also evaluated for the presence of aflatoxins. The strip test was capable to distinguish between samples with and without aflatoxins samples, at a sensitivity concentration of 0,5 μg/Kg. Therefore, these results suggest that the strip tests developed in this study can be a potential tool as a rapid and cost-effective method for detection of insect resistant GM crops expressing Cry1Ac and Cry8Ka5 and aflatoxins from food samples.