Analyses of cataract surgery performed by the Unified Health System in Brazil, 2006-2007

Objective. Estimate cataract surgical rates (CSR) for Brazil and each federal unit in 2006 and 2007 based on the number of surgeries performed by the Unified Health System to help plan a comprehensive ophthalmology network in order to eliminate cataract blindness in compliance with the target set by the World Health Organization (WHO) of 3 000 cataract surgeries per million inhabitants per year. Methods. This descriptive study calculates CSR by using the number of cataract surgeries carried out by the Brazilian Unified Health System for each federal unit and estimates the need for cataract surgery in Brazil for 2006-2007, with official population data provided by the Brazilian Institute of Geography and Statistics. The number of cataract surgeries was compared with the WHO target. Results. To reach the WHO goal for eliminating age-related cataract blindness in Brazil, 560 312 cataract surgeries in 2006 and 568 006 surgeries in 2007 needed to be done. In 2006, 179 121 cataract surgeries were done by the Unified Health System, corresponding to a CSR of 959 per million population; in 2007, 223 317 were performed, with a CSR of 1 179. With the Brazilian Council of Ophthalmology estimation of 165 000 surgeries each year by the non-public services, the CSR for Brazil would be 1 842 for 2006 and 2 051 for 2007. The proportions needed to achieve the proposed target were 38.6% in 2006 and 31.6% in 2007. Conclusions. Human resources, technical expertise, and equipment are crucial to reach the WHO goal. Brazil has enough ophthalmologists but needs improved planning and infrastructure in order to eliminate the problem, aspects that require greater financial investment and stronger political commitment.

Trends in Morbid Obesity and in Bariatric Surgeries Covered by the Brazilian Public Health System

Obesity is an increasingly serious public health problem on a global level. Morbid obesity, defined as a body mass index greater than 40 kg/m(2), is associated with increased mortality and a high burden of obesity-related morbidities. To study the prevalence of morbid obesity in Brazil, three national anthropometric surveys were reanalyzed. Data about bariatric surgeries were obtained from the Ministry of Health Hospital Information System, which is available online. A 255% rise in the prevalence of morbid obesity was observed, starting at 0.18% in 1975-1976 and growing to 0.33% in 1989 and 0.64% in 2002-2003. There was a higher rate in the South in the first two surveys, but the prevalence in the Southeast rose steadily, reaching 0.77% in 2002-2003 and overtaking the South. Since 1999, the Brazilian Unified Health System has covered surgical treatment for morbid obesity. From 2000 to 2006, there was a sixfold increase in the number of surgeries, which topped the 2,500 mark in 2006. The geographic distribution of these surgeries is heavily concentrated in the Southeast, the most developed region of Brazil, where there is also the highest prevalence of morbid obesity. This was followed by the Southern region. The figures for the rise in morbid obesity in Brazil are startling, especially the increase among men. This is a situation that calls for further study, alongside measures to encourage the adoption of healthy lifestyles. Preventive measures aimed at slowing down or reversing the obesity epidemic are urgently required.

Formalization of an architectural model for exception handling coordination based on CA action concepts

Architectures based on Coordinated Atomic action (CA action) concepts have been used to build concurrent fault-tolerant systems. This conceptual model combines concurrent exception handling with action nesting to provide a general mechanism for both enclosing interactions among system components and coordinating forward error recovery measures. This article presents an architectural model to guide the formal specification of concurrent fault-tolerant systems. This architecture provides built-in Communicating Sequential Processes (CSPs) and predefined channels to coordinate exception handling of the user-defined components. Hence some safety properties concerning action scoping and concurrent exception handling can be proved by using the FDR (Failure Divergence Refinement) verification tool. As a result, a formal and general architecture supporting software fault tolerance is ready to be used and proved as users define components with normal and exceptional behaviors. (C) 2010 Elsevier B.V. All rights reserved.