Constraint solving over multi-valued logics - application to digital circuits

Due to usage conditions, hazardous environments or intentional causes, physical and virtual systems are subject to faults in their components, which may affect their overall behaviour. In a ‘black-box’ agent modelled by a set of propositional logic rules, in which just a subset of components is externally visible, such faults may only be recognised by examining some output function of the agent. A (fault-free) model of the agent’s system provides the expected output given some input. If the real output differs from that predicted output, then the system is faulty. However, some faults may only become apparent in the system output when appropriate inputs are given. A number of problems regarding both testing and diagnosis thus arise, such as testing a fault, testing the whole system, finding possible faults and differentiating them to locate the correct one. The corresponding optimisation problems of finding solutions that require minimum resources are also very relevant in industry, as is minimal diagnosis. In this dissertation we use a well established set of benchmark circuits to address such diagnostic related problems and propose and develop models with different logics that we formalise and generalise as much as possible. We also prove that all techniques generalise to agents and to multiple faults. The developed multi-valued logics extend the usual Boolean logic (suitable for faultfree models) by encoding values with some dependency (usually on faults). Such logics thus allow modelling an arbitrary number of diagnostic theories. Each problem is subsequently solved with CLP solvers that we implement and discuss, together with a new efficient search technique that we present. We compare our results with other approaches such as SAT (that require substantial duplication of circuits), showing the effectiveness of constraints over multi-valued logics, and also the adequacy of a general set constraint solver (with special inferences over set functions such as cardinality) on other problems. In addition, for an optimisation problem, we integrate local search with a constructive approach (branch-and-bound) using a variety of logics to improve an existing efficient tool based on SAT and ILP.

Impact of a training course on the quality of malaria diagnosis by microscopy in Angola

Background: In Angola, malaria is an endemic disease having a major impact on the economy. The WHO recommends testing for all suspected malaria cases, to avoid the presumptive treatment of this disease. In malaria endemic regions laboratory technicians must be very comfortable with microscopy, the golden standard for malaria diagnosis, to avoid the incorrect diagnosis. The improper use of medication promotes drug resistance and undesirable side effects. The present study aims to assess the impact of a three-day refresher course on the knowledge of technicians, quality of blood smears preparation and accuracy of microscopy malaria diagnosis, using qPCR as reference method. Methods: This study was implemented in laboratories from three hospitals in different provinces of Angola: Bengo, Benguela and Luanda. In each laboratory samples were collected before and after the training course (slide with thin and thick blood smears, a dried blood spot and a form). The impact of the intervention was evaluated through a written test, the quality of slide preparation and the performance of microscopy. Results: It was found a significant increase on the written test median score, from 52.5% to 65.0%. A total of 973 slides were analysed to evaluate the quality of thick and thin blood smears. Considering all laboratories there was a significant increase in quality of thick and thin blood smears. To determine the performance of microscopy using qPCR as the reference method we used 1,028 samples. Benguela presented the highest values for specificity, 92.9% and 98.8% pre and post-course, respectively and for sensitivity the best pre-course was Benguela (75.9%) and post-course Luanda (75.0%). However, no significant increase in sensitivity and specificity after the training course was registered in any laboratory analysed. Discussion: The findings of this study support the need of continuous refresher training for microscopists and other laboratory staff. The laboratories should have a quality control programme to supervise the diagnosis and also to assess the periodicity of new training. However, other variables needed to be considered to have a correct malaria diagnosis, such as adequate equipment and reagents for staining and visualization, good working conditions, motivated and qualified personnel.

Prevalence of syphilis in pregnancy and prenatal syphilis testing in Brazil: Birth in Brazil study

OBJECTIVE Determine the coverage rate of syphilis testing during prenatal care and the prevalence of syphilis in pregnant women in Brazil. METHODS This is a national hospital-based cohort study conducted in Brazil with 23,894 postpartum women between 2011 and 2012. Data were obtained using interviews with postpartum women, hospital records, and prenatal care cards. All postpartum women with a reactive serological test result recorded in the prenatal care card or syphilis diagnosis during hospitalization for childbirth were considered cases of syphilis in pregnancy. The Chi-square test was used for determining the disease prevalence and testing coverage rate by region of residence, self-reported skin color, maternal age, and type of prenatal and child delivery care units. RESULTS Prenatal care covered 98.7% postpartum women. Syphilis testing coverage rate was 89.1% (one test) and 41.2% (two tests), and syphilis prevalence in pregnancy was 1.02% (95%CI 0.84;1.25). A lower prenatal coverage rate was observed among women in the North region, indigenous women, those with less education, and those who received prenatal care in public health care units. A lower testing coverage rate was observed among residents in the North, Northeast, and Midwest regions, among younger and non-white skin-color women, among those with lower education, and those who received prenatal care in public health care units. An increased prevalence of syphilis was observed among women with < 8 years of education (1.74%), who self-reported as black (1.8%) or mixed (1.2%), those who did not receive prenatal care (2.5%), and those attending public (1.37%) or mixed (0.93%) health care units. CONCLUSIONS The estimated prevalence of syphilis in pregnancy was similar to that reported in the last sentinel surveillance study conducted in 2006. There was an improvement in prenatal care and testing coverage rate, and the goals suggested by the World Health Organization were achieved in two regions. Regional and social inequalities in access to health care units, coupled with other gaps in health assistance, have led to the persistence of congenital syphilis as a major public health problem in Brazil.

Detection and diagnosis solutions for fault-tolerant VSI

This paper presents solutions for fault detection and diagnosis of two-level, three phase voltage-source inverter (VSI) topologies with IGBT devices. The proposed solutions combine redundant standby VSI structures and contactors (or relays) to improve the fault-tolerant capabilities of power electronics in applications with safety requirements. The suitable combination of these elements gives the inverter the ability to maintain energy processing in the occurrence of several failure modes, including short-circuit in IGBT devices, thus extending its reliability and availability. A survey of previously developed fault-tolerant VSI structures and several aspects of failure modes, detection and isolation mechanisms within VSI is first discussed. Hardware solutions for the protection of power semiconductors with fault detection and diagnosis mechanisms are then proposed to provide conditions to isolate and replace damaged power devices (or branches) in real time. Experimental results from a prototype are included to validate the proposed solutions.

Intimate partner violence after the diagnosis of sexually transmitted diseases

OBJECTIVE To assess the prevalence and factors associated with intimate partner violence after the diagnosis of sexually transmitted diseases.METHODS This cross-sectional study was conducted in Fortaleza, CE, Northeastern Brazil, in 2012 and involved 221 individuals (40.3% male and 59.7% female) attended to at reference health care units for the treatment of sexually transmitted diseases. Data were collected using a questionnaire applied during interviews with each participant. A multivariate analysis with a logistic regression model was conducted using the stepwise technique. Only the variables with a p value < 0.05 were included in the adjusted analysis. The odds ratio (OR) with 95% confidence interval (CI) was used as the measure of effect.RESULTS A total of 30.3% of the participants reported experiencing some type of violence (27.6%, psychological; 5.9%, physical; and 7.2%, sexual) after the diagnosis of sexually transmitted disease. In the multivariate analysis adjusted to assess intimate partner violence after the revelation of the diagnosis of sexually transmitted diseases, the following variables remained statistically significant: extramarital relations (OR = 3.72; 95%CI 1.91;7.26; p = 0.000), alcohol consumption by the partner (OR = 2.16; 95%CI 1.08;4.33; p = 0.026), history of violence prior to diagnosis (OR = 2.87; 95%CI 1.44;5.69; p = 0.003), and fear of disclosing the diagnosis to the partner (OR = 2.66; 95%CI 1.32;5.32; p = 0.006).CONCLUSIONS Individuals who had extramarital relations, experienced violence prior to the diagnosis of sexually transmitted disease, feared disclosing the diagnosis to the partner, and those whose partner consumed alcohol had an increased likelihood of suffering violence. The high prevalence of intimate partner violence suggests that this population is vulnerable and therefore intervention efforts should be directed to them. Referral health care services for the treatment of sexually transmitted diseases can be strategic places to identify and prevent intimate partner violence.

Fatty liver automatic diagnosis from ultrasound images

In this paper an automatic classification algorithm is proposed for the diagnosis of the liver steatosis, also known as, fatty liver, from ultrasound images. The features, automatically extracted from the ultrasound images used by the classifier, are basically the ones used by the physicians in the diagnosis of the disease based on visual inspection of the ultrasound images. The main novelty of the method is the utilization of the speckle noise that corrupts the ultrasound images to compute textural features of the liver parenchyma relevant for the diagnosis. The algorithm uses the Bayesian framework to compute a noiseless image, containing anatomic and echogenic information of the liver and a second image containing only the speckle noise used to compute the textural features. The classification results, with the Bayes classifier using manually classified data as ground truth show that the automatic classifier reaches an accuracy of 95% and a 100% of sensitivity.

Population health diagnosis with an ecohealth approach

OBJECTIVE To analyze the characteristics of health diagnosis according to the ecohealth approach in rural and urban communities in Mexico.METHODS Health diagnosis were conducted in La Nopalera, from December 2007 to October 2008, and in Atlihuayan, from December 2010 to October 2011. The research was based on three principles of the ecohealth approach: transdisciplinarity, community participation, gender and equity. To collect information, a joint methodology and several techniques were used to stimulate the participation of inhabitants. The diagnostic exercise was carried out in five phases that went from collecting information to prioritization of problems.RESULTS The constitution of the transdisciplinary team, as well as the participation of the population and the principle of gender/equity were differentials between the communities. In the rural community, the active participation of inhabitants and authorities was achieved and the principles of transdisciplinarity and gender/equity were incorporated.CONCLUSIONS With all the difficulties that entails the boost in participation, the incorporation of gender/equity and transdisciplinarity in health diagnosis allowed a holistic public health approach closer to the needs of the population.

The black box of health care expenditure growth determinants

In this paper, the determinants of growth of aggregate health expenditures are investigated. The study departs from previous literature in that it looks at differences across countries in growth (and not levels) of health care expenditures. Estimation is made for 24 OECD countries. Health system characteristics usually believed to influence health expenditures growth, like population ageing, the type of health system (public reimbursement, public contract or integrate) and existence of gatekeepers, are found to be non-significant. Nevertheless, there is evidence that health expenditures experienced a clear slower growth in the last decade. The explanation for this slowdown could not be found in the proposed model and should stimulate further research.

Immunodiagnostic confirmation of hydatid disease in patients with a presumptive diagnosis of infection

Information obtained from the routine application of hydatid immunodiagnostic techniques in different clinical situations over a seven-year period is presented. The Immunoelectrophoresis test was used until it was replaced by the simpler, more sensitive and equally specific arc 5 double diffusion (DD5) test. Examination of sera from 1,888 patients with signs and/or symptoms compatible with hydatid disease revealed that the presurgical confirmation of Echinococcus granulosus infection is only obtained by detection of anti-antigen 5 antibodies. The latter were not found in 1,539 presumptive hydatidosis patients whose definitive diagnoses corresponded to other disease conditions. However, false positive latex agglutination test results were obtained in two cases. In all patients whose preoperative serum showed three or more uncharacteristic bands in the absence of anti-antigen 5 antibodies, hydatid cysts were found sur gically. DD5 testing of a fluid sample collected by puncture established its hydatid etiology. Post-operative monitoring of hydatidosis patients demonstrated that persistence of DD5-positivity two years after surgery established the presence of other cysts. Further evidence was obtained in patients with hydatid cysts in intrathoracic, abdominal or other locations associating cyst membrane integrity, antigen release and immunodiagnostic test positivity.

The value of the Widal test in the diagnosis of Prolonged Septicemic Salmonellosis

Twenty patients with prolonged septicemic salmonellosis (Group 1) and 20 with schistosomiasis mansoni (Group 2) were selected for this study. In both groups, the Widal test was done using antigens of the sample Ty 901 (S. typhi). The test was also applied in 6 group 1 patients with antigens prepared from salmonellae isolated from these patients (autoantigens). Titres over 1:200 were considered significant. Ten group 1 patients (50%) were positive for antigen "H" and 5 (25%) were positive for antigen "O". Three patients with negative "H" and "O" reactions became positive with high titres when using autoantigens. Two other cases maintained the same positive titres and one case showed a fourfold increase in titres when the test was done 'with antigens of the Salmonella isolated. The Widal test was positive in most patients infected with group D Salmonellae. Considering titres above 1:200, all cases were negative in Group 2. The authors conclude that the Widal test has low positivity in prolonged septicemic salmonellosis. The test may be valuable in the diagnosis of this disease when using S. paratyphi "A" and "B" antigens and a mixture of Salmonella antigens taken from other groups.

CardioML: integrating personal cardiac information for ubiquous diagnosis and analysis

The latest medical diagnosis devices enable the performance of e-diagnosis making the access to these services easier, faster and available in remote areas. However this imposes new communications and data interchange challenges. In this paper a new XML based format for storing cardiac signals and related information is presented. The proposed structure encompasses data acquisition devices, patient information, data description, pathological diagnosis and waveform annotation. When compared with similar purpose formats several advantages arise. Besides the full integrated data model it may also be noted the available geographical references for e-diagnosis, the multi stream data description, the ability to handle several simultaneous devices, the possibility of independent waveform annotation and a HL7 compliant structure for common contents. These features represent an enhanced integration with existent systems and an improved flexibility for cardiac data representation.

Predictive value of serologic tests in the diagnosis and follow-up of patients with paracoccidioidomycosis

A serologic study was undertaken in a group of 43 patients with active paracoccidioidomycosis who were treated in the same form (ketoconazole), for identical periods of time (6 months), and folio wed-up for various periods posttherapy. The tests employed were agar gel immunodiffusion (AGID) and complement fixation (FC). Also studied were 50 sera from patients with proven histoplasmosis and pulmonary aspergilloma, 30 patients with culturaly proven tuberculosis as well as 92 specimens from healthy individuals, residents in the endemic area for paracoccidioidomycosis. A single lot of yeast filtrate antigen was used throughout the study. The value of each test was measured according to GALEN and GAMBINO6. Both tests were highly sensitive, 89 and 93% respectively. Regarding their specificity, the AGID was totally specific while the CF exhibited 96.6% and 97% specificity in front of tuberculosis patients and healthy individuals respectively and 82% in comparison with patients with other mycoses. The concept of predictive value, that is, the certainty one has in accepting a positive test as diagnostic of paracoccidioidomycosis, favored the AGID procedure (100%) over the CF test. The latter could sort out with 93% certainty a patient with paracoccidioidomycosis among a group of healthy individuals and with 97.5% in the case of TB patients; when the group in question was composed by individuals with other deep mycoses, such certainty was lower (81%). The above results indicate that both the AGID and the CF tests furnish results of high confidence; one should not relay, however, in the CF alone as a means to establish the specific diagnosis of paracoccidioidomycosis.

Lectins for the detection of IgM antibodies to T. gondii in the diagnosis of acute toxoplasmosis by immunofluorescence test

Lectins were labeled with fluorescein and tried as conjugates in the immunofluorescence (IP) test for the detection of IgM antibodies to T. gondii, in the diagnosis of acute toxoplasmosis. This approach was an attempt to find alternative reagents for anti-human IgM fluorescent conjugates (AHIgMFC), which contain quite frequently anaibcdies to toxoplasma, as contaminants, due to natural T. gondii infections among animals used for imunization. Lentil (Lens culinaris) lectin fluorescence conjugates (LcFC) provided most satisfactory results. The evaluation of LcFC carried out in a total of 179 sera from patients with acute and chronic toxoplasmosis, with non-related infections or healthy subjects, gave high values of relative efficiency, co-positivity and co-negativity indices, respectively 0.989, 0.969 and 1.000, in reference to the conventional AHIgMFC. Moreover, three batches of LcFC successively prepared gave reproducible test results. The advantage of LcFC as an alternative reagent for the serodiagnosis of acute toxoplasmosis is supported by practical aspects of its preparation.

The efficiency of urine dipsticks for the diagnosis of urinary tract infection

Urinary tract infection (UTI) is one of the most prevalent pathologies in developed countries, particularly in women, characterized by the presence of bacterial growth in any part of the urinary system. Currently, urine culture is considered the gold standard method for the diagnosis of UTI. However, this method has several disadvantages including the time necessary for obtaining the results and the associated high costs. Therefore, it is important to evaluate new efficient and valuable methods for the diagnosis of these infections. Objectives: Presently, dipsticks are considered a possible valuable alternative to urine culture. This method has very low costs associated and the results can be obtained in few minutes. Here we aim to compare the sensibility, specificity, predictive value of a positive test and a negative test of both methods in order to determine the efficiency of the test strips method and also to characterize the microorganism more frequently isolated.