Constraint reasoning for differential models

The basic motivation of this work was the integration of biophysical models within the interval constraints framework for decision support. Comparing the major features of biophysical models with the expressive power of the existing interval constraints framework, it was clear that the most important inadequacy was related with the representation of differential equations. System dynamics is often modelled through differential equations but there was no way of expressing a differential equation as a constraint and integrate it within the constraints framework. Consequently, the goal of this work is focussed on the integration of ordinary differential equations within the interval constraints framework, which for this purpose is extended with the new formalism of Constraint Satisfaction Differential Problems. Such framework allows the specification of ordinary differential equations, together with related information, by means of constraints, and provides efficient propagation techniques for pruning the domains of their variables. This enabled the integration of all such information in a single constraint whose variables may subsequently be used in other constraints of the model. The specific method used for pruning its variable domains can then be combined with the pruning methods associated with the other constraints in an overall propagation algorithm for reducing the bounds of all model variables. The application of the constraint propagation algorithm for pruning the variable domains, that is, the enforcement of local-consistency, turned out to be insufficient to support decision in practical problems that include differential equations. The domain pruning achieved is not, in general, sufficient to allow safe decisions and the main reason derives from the non-linearity of the differential equations. Consequently, a complementary goal of this work proposes a new strong consistency criterion, Global Hull-consistency, particularly suited to decision support with differential models, by presenting an adequate trade-of between domain pruning and computational effort. Several alternative algorithms are proposed for enforcing Global Hull-consistency and, due to their complexity, an effort was made to provide implementations able to supply any-time pruning results. Since the consistency criterion is dependent on the existence of canonical solutions, it is proposed a local search approach that can be integrated with constraint propagation in continuous domains and, in particular, with the enforcing algorithms for anticipating the finding of canonical solutions. The last goal of this work is the validation of the approach as an important contribution for the integration of biophysical models within decision support. Consequently, a prototype application that integrated all the proposed extensions to the interval constraints framework is developed and used for solving problems in different biophysical domains.

Instrumento mensurador de adesão para hipertensos: contribuição da Teoria da Resposta ao Item

OBJETIVO: Analisar instrumento de medição da adesão ao tratamento da hipertensão por meio da "Teoria da Resposta ao Item".MÉTODOS: Estudo analítico com 406 hipertensos com complicações associadas, atendidos na atenção básica em Fortaleza, CE, 2011, pela "Teoria da Resposta ao Item". As etapas de execução foram: teste de dimensionalidade, calibração dos itens; tratamento dos dados e construção da escala, analisadas com base no modelo de resposta gradual. Estudo da dimensionalidade do instrumento foi feito pela análise da matriz de correlação policórica e análise fatorial de informação completa. Utilizou-se o software Multilog para calibração dos itens e estimação dos escores.RESULTADOS: Os itens referentes ao tratamento medicamentoso foram os mais diretamente relacionados à adesão, enquanto aqueles referentes ao tratamento não medicamentoso precisam ser reformulados, pois possuíram menor quantidade de informação psicométrica e baixa discriminação. A independência dos itens, o reduzido número de níveis da escala e as baixas variâncias explicadas no ajuste dos modelos mostraram as principais fragilidades do instrumento analisado. A "Teoria da Resposta ao Item" mostrou-se relevante para análise, pois avaliou o respondente quanto à adesão ao tratamento da hipertensão, ao nível de dificuldade dos itens e à sua capacidade de discriminação entre indivíduos com diferentes níveis de adesão, o que gerou maior quantidade de informação.CONCLUSÕES: O instrumento analisado é limitado para medir a adesão ao tratamento da hipertensão, mediante análise pela "Teoria da Resposta ao Item", e necessita de ajustes. A adequada formulação dos itens é importante para medir precisamente o traço latente desejado.

Depressive symptoms in institutionalized older adults

OBJECTIVE To estimate the prevalence of depressive symptoms among institutionalized elderly individuals and to analyze factors associated with this condition. METHODS This was a cross-sectional study involving 462 individuals aged 60 or older, residents in long stay institutions in four Brazilian municipalities. The dependent variable was assessed using the 15-item Geriatric Depression Scale. Poisson’s regression was used to evaluate associations with co-variables. We investigated which variables were most relevant in terms of presence of depressive symptoms within the studied context through factor analysis. RESULTS Prevalence of depressive symptoms was 48.7%. The variables associated with depressive symptoms were: regular/bad/very bad self-rated health; comorbidities; hospitalizations; and lack of friends in the institution. Five components accounted for 49.2% of total variance of the sample: functioning, social support, sensory deficiency, institutionalization and health conditions. In the factor analysis, functionality and social support were the components which explained a large part of observed variance. CONCLUSIONS A high prevalence of depressive symptoms, with significant variation in distribution, was observed. Such results emphasize the importance of health conditions and functioning for institutionalized older individuals developing depression. They also point to the importance of providing opportunities for interaction among institutionalized individuals.

Investment focused strategies in electricity markets using the ITEM-game simulator

This paper presents a methodology to establish investment and trading strategies of a power generation company. These strategies are integrated in the ITEM-Game simulator in order to test their results when played against defined strategies used by other players. The developed strategies are focused on investment decisions, although trading strategies are also implemented to obtain base case results. Two cases are studied considering three players with the same trading strategy. In case 1, all players also have the same investment strategy driven by a market target share. In case 2, player 1 has an improved investment strategy with a target share twice of the target of players 2 and 3. Results put in evidence the influence of the CO2 and fuel prices in the company investment decision. It is also observed the influence of the budget constraint which might prevent the player to take the desired investment decision.

Sexual functioning in people with stable chronic diseases

Backgound - In developed countries people are living longer and the incidence of chronic disease is increasing. Chronic disease and its treatments can have a negative impact on sexual functioning and sexual satisfaction. Aim of study - To explore and to compare sexual function and sexual satisfaction in people with stable chronic diseases.

Optimization of magneto-electro-elastic composite structures using differential evolution

Magneto-electro-elastic structures are built from materials that provide them the ability to convert in an interchangeable way, magnetic, electric and mechanical forms of energy. This characteristic can therefore provide an adaptive behaviour to a general configuration elastic structure, being commonly used in association with any type of composite material in an embedded or surface mounted mode, or by considering the usage of multiphase materials that enable achieving different magneto-electro-elastic properties. In a first stage of this work, a few cases studies will be considered to enable the validation of the model considered and the influence of the coupling characteristics of this type of adaptive structures. After that we consider the application of a recent computational intelligence technique, the differential evolution, in a deflection profile minimization problem. Studies on the influence of optimization parameters associated to the problem considered will be performed as well as the adoption of an adaptive scheme for the perturbation factor. Results are also compared with those obtained using an enhanced particle swarm optimization technique. (C) 2013 Elsevier Ltd. All rights reserved.

Experimenting through the web a linear variable differential transformer

Aiming for teaching/learning support in sciences and engineering areas, the Remote Experimentation concept (an E-learning subset) has grown in last years with the development of several infrastructures that enable doing practical experiments from anywhere and anytime, using a simple PC connected to the Internet. Nevertheless, given its valuable contribution to the teaching/learning process, the development of more infrastructures should continue, in order to make available more solutions able to improve courseware contents and motivate students for learning. The work presented in this paper contributes for that purpose, in the specific area of industrial automation. After a brief introduction to the Remote Experimentation concept, we describe a remote accessible lab infrastructure that enables users to conduct real experiments with an important and widely used transducer in industrial automation, named Linear Variable Differential Transformer.

Automated design of microwave discrete tuning differential capacitance circuits in Si-integrated technologies

A genetic algorithm used to design radio-frequency binary-weighted differential switched capacitor arrays (RFDSCAs) is presented in this article. The algorithm provides a set of circuits all having the same maximum performance. This article also describes the design, implementation, and measurements results of a 0.25 lm BiCMOS 3-bit RFDSCA. The experimental results show that the circuit presents the expected performance up to 40 GHz. The similarity between the evolutionary solutions, circuit simulations, and measured results indicates that the genetic synthesis method is a very useful tool for designing optimum performance RFDSCAs.

Automated synthesis procedure of RF discrete tuning differential capacitance circuits

The paper presents a RFDSCA automated synthesis procedure. This algorithm determines several RFDSCA circuits from the top-level system specifications all with the same maximum performance. The genetic synthesis tool optimizes a fitness function proportional to the RFDSCA quality factor and uses the epsiv-concept and maximin sorting scheme to achieve a set of solutions well distributed along a non-dominated front. To confirm the results of the algorithm, three RFDSCAs were simulated in SpectreRF and one of them was implemented and tested. The design used a 0.25 mum BiCMOS process. All the results (synthesized, simulated and measured) are very close, which indicate that the genetic synthesis method is a very useful tool to design optimum performance RFDSCAs.

Estudo e Coordenação das Principais Protecções Eléctricas de Geradores e Transformadores de uma Central de Cogeração

O Sector eléctrico possui uma grande importância nas sociedades modernas. Dados os elevados custos de produção de energia e o grande impacto que esta tem na nossa economia e na sociedade, em geral, a utilização mais eficiente da energia é um factor fulcral. Com a evolução da electrónica e consequente aumento das capacidades dos computadores, as protecções eléctricas são cada vez mais eficazes e com índices de fiabilidade mais elevados, algo muito importante em instalações de elevado custo de investimento e manutenção. No entanto, o seu bom funcionamento está dependente do correcto dimensionamento das protecções e de uma análise técnica capaz de prever necessidades futuras. Após uma breve introdução no capítulo 1 é efectuado no capítulo 2 um breve estudo de protecções eléctricas e o seu estado de arte. Nos Capítulos 3 e 4 é efectuado o dimensionamento e estudo da selectividade das protecções de grupo de Alternador e Transformador escolhidos para a nova central de cogeração da refinaria de Matosinhos da Galp. No presente estudo foram apenas consideradas as protecções típicas de alternador e apenas a protecção diferencial do transformador. Todas as protecções foram dimensionadas com base no tutorial de protecções de geradores do IEE e com informação referente ao manual de instruções do relé G60 da GE industrial systems, o DTP-B da GE multilin e o ELIN Power Plant Automation. No Capítulo 5 é demonstrada a importância da análise Safety Instruments Systems (SIS), o seu modo de aplicação e necessidade de implementação em locais industriais como o caso em estudo. Por último, é efectuado um pequeno estudo económico onde é efectuada a comparação dos custos dos diversos equipamentos, protecções e manutenções efectuadas.

Heparin-antivenom association: differential neutralization effectiveness in Bothrops atrox and Bothrops erythromelas envenoming

Heparin, in some regions of Brazil has been used in the treatment of bothropic accidents, but the data found in the literature are inconclusive about its effectiveness. The venoms of Bothrops atrox and of B. erythromelas were characterized according to their biological activities. The capacity of heparin in neutralizing these activities was tested with doses of 3 and 6 IU in isolated form and associated to Antibothropic Serum (ABS). It was verified that heparin, in doses of 3 and 6 IU, was not effective in neutralizing the desfibrinating and edema-forming activities of B. atrox venom and the hemorrhagic and coagulant actions of both venoms. Heparin diminished the effectiveness of the ABS in the neutralization of the hemorrhagic and edema-forming activities of the B. atrox venom. However, heparin in the 6 IU dose was capable of neutralize the edema-forming of the B. erythromelas and increase the effectiveness of the ABS. Heparin also neutralized the phospholipasic A2 activity of B. atrox (14.3%) and B. erythromelas (28.0%) venoms. For B. erythromelas venom, the associated treatment, heparin and ABS, was more effective in the neutralization of its lethal activity.

Automated Synthesis Procedure of RF Discrete Tuning Differential Capacitance Circuits

The paper presents a RFDSCA automated synthesis procedure. This algorithm determines several RFDSCA circuits from the top-level system specifications all with the same maximum performance. The genetic synthesis tool optimizes a fitness function proportional to the RFDSCA quality factor and uses the epsiv-concept and maximin sorting scheme to achieve a set of solutions well distributed along a non-dominated front. To confirm the results of the algorithm, three RFDSCAs were simulated in SpectreRF and one of them was implemented and tested. The design used a 0.25 mum BiCMOS process. All the results (synthesized, simulated and measured) are very close, which indicate that the genetic synthesis method is a very useful tool to design optimum performance RFDSCAs.

A New Electronic Approach for the Surgical Safety Checklist

To improve surgical safety, and to reduce the mortality and surgical complications incidence, the World Health Organization (WHO) developed the Surgical Safety Checklist (SSC). The SSC is a support of information that aids health professionals to reduce the number of complications, induction of anaesthesia, period before skin incision and period before leaving the operating room (OR). The SSC was tested in several countries of the world and their results shown that after introduction of the SSC the incidence of patient complication lowered from 11.0% to 7.0% (P<0.001), the rate of death declined from 1.5% to 0.8% (P = 0.003) and the nurses recognized that patients identity was more often con rmed (81.6% to 94.2%, P<0.01) in many institutions. Recently the SSC was also implemented in Portuguese hospitals, which led us to its study in the real clinical environment. An observational study was performed: several health professionals were observed and interviewed, to understand the functioning of the SSC in an OR, during the clinical routine. The objective of this study was to understand the current use of the SSC, and how it may be improved in terms of usability, taking advantage of the technological advancements such as mobile applications. During two days were observed 14 surgeries, only 2 surgeries met the requirements for the three phases of the SSC, as de ned by the WHO. Of the remaining 12 observed surgeries, 9 surgeries completed the last phase at the correct time. It was also observed that only in 2 surgeries all the phases of the SSC were read aloud to the team and that, in 7 surgeries, several items were read aloud and answered but no one was checking the SSC, only after the end of the phase. The observational study results disclose that several health professionals do not meet with rules of the WHO manual. This study demonstrates that it is urgent to change the mindset of health professionals, and that di erent features in the SSC may be useful to make it more easy to use. With the results of the observational study, a SSC application proposal was developed with new functionalities to improve and aid the health professional in its use. In this application the user can chose between a SSC already created to a speci c surgery or to create a new SSC, adding and adapting some questions from the WHO standard. To create a new SSC, the application is connected to an online questionnaire builder (JotForm). The choice for this online questionnaire builder went through three essential characteristics: number of types of questions, mainly checkbox, radio button and text; the possibility of to create sections inside sections and the API. In addition, in this proposal the improvements are focused in forcing the user to focus in the work ow of the SSC and to save the input timestamps and any actions made by them. Therefore, the following features was implemented to achieve that goal: display one item of the SSC at a time; display the stage where the SSC is; do not allow going back to the previous step; do not allow going forward to the next item if the current is not lled; do not allow going forward to the next item if the time it took to ll the item was too short and log any action made by the user.

DOUBLE-BLIND STUDY WITH TOPICAL ISOCONAZOLE AND TERBINAFINE FOR THE TREATMENT OF ONE PATIENT WITH BILATERAL Tinea nigra plantaris AND SUGGESTIONS FOR NEW DIFFERENTIAL DIAGNOSIS

The authors report a case of bilateral Tinea nigra plantaris treated through a double-blind study with the topical antifungal agents Isoconazole and Terbinafine. The objective of the study was to clinically compare the efficacy of these two topical antifungal agents on days 10, 20 and 30 of the treatment. No significant clinical differences were found, as all the plantar lesions regressed completely by the end of the treatment. Our conclusion was that in the case reported, the topical antifungal agents Isoconazole and Terbinafine demonstrated identical efficacy as a clinical cure. We also suggest the inclusion of injuries caused by arthropods of the Diplopoda Class in the differential diagnosis of Tinea nigra plantaris, due to the persistent acral hyperpigmentation.