Tool support for testing concurrent Java components

Concurrent programs are hard to test due to the inherent nondeterminism. This paper presents a method and tool support for testing concurrent Java components. Too[ support is offered through ConAn (Concurrency Analyser), a too] for generating drivers for unit testing Java classes that are used in a multithreaded context. To obtain adequate controllability over the interactions between Java threads, the generated driver contains threads that are synchronized by a clock. The driver automatically executes the calls in the test sequence in the prescribed order and compares the outputs against the expected outputs specified in the test sequence. The method and tool are illustrated in detail on an asymmetric producer-consumer monitor. Their application to testing over 20 concurrent components, a number of which are sourced from industry and were found to contain faults, is presented and discussed.

Supervis??o t??cnico-administrativa ??s unidades da Funda????o Nacional de Sa??de

A Supervis??o T??cnico-Administrativa (STA) foi constru??da a fim de contribuir para a avalia????o de desempenho institucional e avaliar a capacidade das equipes das unidades para o desempenho das suas atribui????es e contribuir com o seu aprimoramento. O foco da STA estava centrado no desempenho gerencial e pretendia detectar os gargalos impeditivos do bom desenvolvimento institucional, promover a????es de enfrentamento dos problemas identificados e estimular a cultura avaliativa nas unidades

Ações de prevenção da deficiência mental, dirigidas a gestantes e recém-nascidos, no âmbito da saúde pública da grande Vitória-ES

Fazer prevenção em Saúde Pública implica em conhecimento sistematizado para a proposição de programas e sua avaliação. Quanto à prevenção de Deficiência Mental, que atinge cerca de 10% da população, pouco se conhece no país. Adotando uma metodologia para levantamento de ações preventivas de DM em hospitais e unidades de saúde, junto a gestantes e recém-nascidos, foi possível descrever e analisar a atuação da rede pública de saúde da Grande Vitória/ES, indicando os níveis de prevenção mais atendidos. Foram levantadas as ações de prevenção (AP) de cinco hospitais públicos de grande porte, nove (31%) unidades de saúde e seis secretarias de saúde, entre 1996-97. Os dados de 25 entrevistas mostram que esses locais realizavam 51,5% das 433 AP possíveis (57,4% da prevenção primária e 45,5% da secundária). Particularizando a atuação de cada município e local pesquisado, os dados fornecem subsídios para análises e possíveis mudanças nos indicadores de saúde materno-infantil.

Carbon Nanofiber Type and Content Dependence of the Physical Properties of Carbon Nanofiber Reinforced Polypropylene Composites

The variation of the physical properties of four differ- ent carbon nanofibers (CNFs), based-polymer nano- composites incorporated in the same polypropylene (PP) matrix by twin-screw extrusion process was investigated. Nanocomposites fabricated with CNFs with highly graphitic outer layer revealed electrical isolation-to-conducting behaviors as function of CNF’s content. Nanocomposites fabricated with CNFs with an outer layer consisting on a disordered pyro- litically stripped layer, in contrast, revealed better mechanical performance and enhanced thermal sta- bility. Further, CNF’s incorporation into the polymer increased the thermal stability and the degree of crystallinity of the polymer, independently on the filler content and type. In addition, dispersion of the CNFs’ clusters in PP was analyzed by transmitted light opti- cal microscopy, and grayscale analysis (GSA). The results showed a correlation between the filler concentration and the variance, a parameter which measures quantitatively the dispersion, for all composites. This method indicated a value of 1.4 vol% above which large clusters of CNFs cannot be dispersed effectively and as a consequence only slight changes in mechanical performance are observed. Finally, this study establishes that for tailoring the physical properties of CNF based-polymer nanocomposites, both adequate CNFs structure and content have to be chosen.

A política de treinamento dos servidores técnico-administrativos da Universidade Federal de Viçosa (UFV) na percepção dos treinados e dos dirigentes da instituição

Desde a década de 1990, o setor público brasileiro tem buscado modificar sua atuação perante a sociedade. Em um contexto de reformas, a área de recursos humanos tornase essencial, pois são as pessoas que colocam em prática tais mudanças. Uma política de recursos humanos imprescindível para o êxito das reformas é o treinamento, que possibilita a capacitação do funcionário para um melhor desempenho na prestação de serviços aos cidadãos. Este artigo identifica o modo como o treinamento dos servidores técnico-administrativos (STAs) influencia a realização das atividades na Universidade Federal de Viçosa (UFV), na percepção dos treinados e dos dirigentes da instituição. As informações foram obtidas por meio de uma revisão da literatura, de visita à diretoria de recursos humanos da UFV, e de entrevistas com alguns treinados e dirigentes da instituição. De acordo com os resultados, existem diversos fatores que interferem positiva e negativamente no processo de treinamento. A falta de uma política de aperfeiçoamento formalizada e a legislação contribuem para essa realidade. Como o processo não é bem estruturado, não existe um planejamento para as atividades de treinamento, nem mesmo uma avaliação do STA que o fez.

Biting activity of Aedes scapularis (Rondani) and Haemagogus mosquitoes in Southern Brazil (Diptera: Culicidae)

The biting activity of a population of Aedes scapularis (Rondani), Haemagogus capricornii Lutz and Hg. leucocelaenus (Dyar and Shannon) in Southern Brazil was studied between March 1980 and April 1983. Data were obtained with 25-hour human bait catches in three areas with patchy residual forests, named "Jacaré-Pepira", "Lupo" Farm, and "Sta. Helena" Farm, in the highland region of S. Paulo State (Brazil). Data obtained on Ae. scapularis were compared with those formerly gathered in the "Ribeira'' Valley lowlands, and were similar, except in the "Lupo" Farm study area, where a precrepuscular peak was observed, not recorded at the "Jacaré-Pepira" site or in the "Ribeira" Valley. In all the areas this mosquito showed diurnal and nocturnal activity, but was most active during the evening crepuscular period. These observations support the hypothesis about the successful adaptation of Ae. scapularis to man-made environments and have epidemiological implications that arise from it. As for Haemagogus, results obtained on the "Lupo" and "Sta. Helena" regions agree with previous data obtained in several other regions and show its diurnal activity. The proximity of "Lupo" Farm, where Hg. capricornii and Hg. leucocelaenus showed considerable activity, to "Araraquara" city where Aedes aegypti was recently found, raises some epidemiological considerations about the possibility of urban yellow fever resurgence.

Tolerancias y resistencias: el aborto desde la perspectiva de las parteras tradicionales de un área rural de México

OBJETIVO: Conocer la percepción, recursos y prácticas que sobre el aborto tienen las parteras de un área rural mexicana, el Municipio de Yecapixtla, Morelos, situado en la parte central de México. MÉTODOS: Se utilizó método cualitativo, realizándose entrevistas en profundidad, grupos focales y observación participativa. Los tópicos indagados fueron aspectos socioculturales, sexualidad, reproducción y aspectos de salud en relación al aborto. Se entrevistó en profundidad a 9 parteras y se realizó un grupo focal en el que participaron 16 parteras. RESULTADOS: Éstos dan cuenta de una profunda actitud de rechazo ante el aborto, inducido o espontáneo. El primero se conceptúa como un pecado grave y el segundo como un fracaso en la principal función de la mujer en estas comunidades, la reproducción. Las mujeres que abortan son llamadas "puercas", "cochinas" o "perras" y las parteras se muestran reacias a atenderlas. Sin embargo, es común entre las mujeres de la comunidad la práctica de la "regulación de la regla", es decir, la utilización de sustancias que hacen que aparezca la menstruación si ésta se ha retrasado. Dicha práctica no se considera abortiva. CONCLUSIONES: El conocimiento del mundo de significaciones populares en torno al aborto es imprescindible para construir modelos y estrategias efectivas que, desde los servicios institucionales de salud, refuercen los vínculos entre éstos y las parteras tradicionales, de manera que se mejore el acceso a servicios y la calidad de la atención a las mujeres.

Monitoreo de parásitos en efluentes domiciliarios

OBJETIVO: Evaluar la presencia de parásitos en efluentes semisólidos y líquidos en distintas localidades de la Patagonia argentina considerando que ésta es una de las restricciones para su uso. MÉTODOS: Las muestras tomadas en 4 Plantas de Tratamiento de Efluentes Domiciliarios se analizaron siguiendo las normativas de Environmental Protection Agency, Organización Mundial de la Salud, Standard Methods for Examination of Water and Wastewater y de algunas clasificaciones. RESULTADOS: Solamente 2 de las 6 muestras de semisólidos analizadas tenían huevos de Ascaris lumbricoides no viables. De las 10 muestras líquidas, solamente 2 no tenían huevos mientras las restantes tenían patógenos de las categorías I (Giardia sp., Hymenolepis diminuta y Enterobius vermicularis) y III (Ascaris lumbricoides, Ancylostoma duodenale y Trichuris trichiura). CONCLUSIONES: Todas las muestras de semisólidos analizadas fueron aptas para su uso como fertilizantes porque no se registró en ninguna de ellas la presencia de huevos viables de Ascaris lumbricoides y solamente 6 de las muestras líquidas fueron aptas para riego por carecer de huevos o por ser su concentración igual o inferior a 1 huevo por litro.

Avaliação do perfil hemodinâmico de válvulas aórticas percutâneas: análise comparativa entre os dois dispositivos disponíveis no mercado - válvula auto-expansível e válvula expansível por balão

Mestrado em Tecnologia de Diagnóstico e Intervenção Cardiovascular. Área de especialização: Intervenção Cardiovascular.

Comparison of deposited surface area of airborne ultrafine particles generated from two welding processes

This article describes work performed on the assessment of the levels of airborne ultrafine particles emitted in two welding processes metal-active gas (MAG) of carbon steel and friction-stir welding (FSW) of aluminium in terms of deposited area in alveolar tract of the lung using a nanoparticle surface area monitor analyser. The obtained results showed the dependence from process parameters on emitted ultrafine particles and clearly demonstrated the presence of ultrafine particles, when compared with background levels. The obtained results showed that the process that results on the lower levels of alveolar-deposited surface area is FSW, unlike MAG. Nevertheless, all the tested processes resulted in important doses of ultrafine particles that are to be deposited in the human lung of exposed workers.

Gestão financeira: análise de fluxos financeiros

Estrutura da Obra: CAPÍTULO I - Finanças Empresariais CAPÍTULO II - Análise de Investimentos CAPÍTULO III - Finanças Internacionais CAPÍTULO IV - Anexos (provenientes do IAPMEI): - Anexo A e Anexo B

Avaliação e promoção da qualidade dos cuidados prestados em creche familiar: primeiros resultados de um estudo de investigação/acção

Neste artigo apresentam-se os resultados do projecto de investigação/acção Promoção da qualidade dos cuidados prestados em amas e creche familiar (resposta enquadrada pelo Decreto-Lei n.º158/84). É um estudo exploratório, de carácter longitudinal, que teve como principais objectivos: (1) avaliar a qualidade da resposta creche familiar em duas instituições do Distrito de Lisboa; (2) analisar se variáveis como a idade, nível de escolaridade e tempo de experiência das amas, o rácio TE/ama e a idade das crianças estavam associadas à qualidade de cuidados prestada; (3) sistematizar os passos de um programa de promoção da qualidade baseado numa metodologia de consultoria; e (4) determinar os efeitos do programa de consultoria na promoção da qualidade. Participaram neste projecto 10 amas enquadradas na creche familiar de um centro infantil do Centro Distrital de Segurança Social de Lisboa, 21 amas de centros infantis da Santa Casa da Misericórdia de Lisboa e os Técnicos de Enquadramento responsáveis pelo apoio técnico. A Family Child Care Environment Rating Scale, Revised Edition (FCCERS-R) de Harms, Cryer e Clifford (2007), traduzida pela equipa de investigação, foi o principal instrumento utilizado. A recolha de dados decorreu em três momentos: (1) avaliação inicial; (2) reunião de consultoria; e (3) avaliação final.Os resultados encontrados mostram que a qualidade dos cuidados prestados pelas amas é adequada/mínima, com excepção dos itens relacionados com a interacção ama-criança onde a qualidade é boa, sendo a subescala actividades aquela onde foram encontrados valores mais baixos. Não foram encontradas associações significativas entre a qualidade e o tempo experiência das amas. Relativamente às restantes variáveis – idade das amas, rácio TE/ama e idade das crianças – encontraram-se algumas associações com a qualidade global e em algumas das subescalas da FCCERS-R. Foram encontradas diferenças entre os dados da 1ª e da 2ª observação que parecem poder associar-se ao processo de consultoria implementado.

Gestão da qualidade num serviço de pneumologia

Mestrado em Gestão e Avaliação de Tecnologias em Saúde

Consumo precoz de tabaco y alcohol como factores modificadores del riesgo de uso de marihuana

OBJETIVO: Evaluar la relación entre consumo precoz de tabaco y alcohol y el riesgo de consumir marihuana en escolares. MÉTODOS: Estudio transversal con datos del IV Estudio Nacional de Consumo de Drogas en Población Escolar, año 2001. Se analizó 54,001 escolares de ocho a 20 años de edad. Como variables predictoras se consideró el autoreporte de consumo de tabaco y alcohol, la edad de inicio de consumo de tabaco y/o alcohol, y la intensidad de uso del tabaco. Como variable resultado se utilizó el autoreporte de uso de marihuana y la edad de inicio de consumo de ésta. Para el análisis de los datos se utilizó regresión de Poisson y regresión de Weibull. RESULTADOS: Los escolares presentaron alta prevalencia de consumo de tabaco, alcohol y marihuana (77%, 79% y 23% respectivamente). El consumo de tabaco en presencia de consumo de alcohol fue un factor de riesgo de uso de marihuana (RP=10.4; IC 95%: 8.9;12.2). El inicio tardío de consumo de tabaco (HR=0.85; IC 95%: 0.84;0.86) y alcohol (HR=0.90; IC 95%: 0.89;0.91) resultó ser un factor protector del uso de marihuana. La probabilidad de consumo de marihuana fue mayor en quienes fumaban todos o casi todos los días en relación a quienes fumaban sólo los fines de semana (RP=3.11; IC 95%: 2.96;3.26 vs. RP=1.70; IC 95%: 1.58;1.83). CONCLUSIONES: El riesgo de consumo de marihuana se asoció significativamente con la edad de inicio de consumo de tabaco, la frecuencia de consumo de tabaco y el consumo simultáneo de alcohol. Las estrategias de prevención deberían orientarse a evitar el consumo precoz de tabaco en escolares.

Análisis de la adecuación de libros de texto de E. Primaria a la enseñanza a estudiantes de altas capacidades matemáticas

Un problema al que se enfrentan los profesores de matemáticas de Enseñanza Primaria es la necesidad de hacer adaptaciones en sus programaciones para ofrecer una educación adecuada a sus alumnos de altas capacidades matemáticas. Las editoriales de libros de texto de matemáticas de estos niveles educativos ofrecen diversas soluciones que, usualmente, consisten en incluir, en el libro del alumno, algunos problemas más difíciles y, en la documentación del profesor, una propuesta de problemas de ampliación. Una cuestión que se plantea al analizar un libro de texto de matemáticas es valorar cómo de útil puede ser el material proporcionado por la editorial (libro de texto y materiales complementarios) para un profesor que necesita una programación específica para sus alumnos de altas capacidades matemáticas. En este artículo proponemos diversas variables con las que valorar el grado de adecuación a estudiantes de altas capacidades matemáticas de los documentos proporcionados a los profesores por las editoriales. Después ponemos en práctica esta propuesta analizando el tema dedicado a los cuadriláteros en 4º curso de Enseñanza Primaria de una editorial de amplia difusión en España. Las conclusiones globales son que los materiales del profesor analizados prestan poca atención a los estudiantes de altas capacidades matemáticas y que la metodología de análisis que hemos empleado permite identificar direcciones para plantear actividades interesantes para estos estudiantes.