A pointcut-based coverage analysis approach for aspect-oriented programs

Aspect-oriented programming (AOP) is a promising technology that supports separation of crosscutting concerns (i.e., functionality that tends to be tangled with, and scattered through the rest of the system). In AOP, a method-like construct named advice is applied to join points in the system through a special construct named pointcut. This mechanism supports the modularization of crosscutting behavior; however, since the added interactions are not explicit in the source code, it is hard to ensure their correctness. To tackle this problem, this paper presents a rigorous coverage analysis approach to ensure exercising the logic of each advice - statements, branches, and def-use pairs - at each affected join point. To make this analysis possible, a structural model based on Java bytecode - called PointCut-based Del-Use Graph (PCDU) - is proposed, along with three integration testing criteria. Theoretical, empirical, and exploratory studies involving 12 aspect-oriented programs and several fault examples present evidence of the feasibility and effectiveness of the proposed approach. (C) 2010 Elsevier Inc. All rights reserved.

Keratinocyte growth factor: a new mesothelial targeted therapy to reduce postoperative pericardial adhesions

Background: Several methods have been utilized to prevent pericardial and retrosternal adhesions, but none of them evaluated the mesothelial regenerative hypothesis. There are evidences that the mesothelial trauma reduces pericardial fibrinolytic capability and induces an adhesion process. Keratinocyte growth factor (KGF) has proven to improve mesothelial cells proliferation. This study investigated the influence of keratinocyte growth factor in reducing post-surgical adhesions. Methods: Twelve pigs were operated and an adhesion protocol was employed. Following a stratified randomization, the animals received a topical application of KGF or saline. At 8 weeks, intrapericardial adhesions were evaluated and a severity score was established. The time spent to dissect the adhesions and the amount of sharp dissection used, were recorded. Histological sections were stained with sirius red and morphometric analyses were assessed with a computer-assisted image analysis system. Results: The severity score was lower in the KGF group than in the control group (11.5 vs 17, p = 0.005). The dissection time was lower in the KGF group (9.2 +/- 1.4 min vs 33.9 +/- 9.2 min, p = 0.004) and presented a significant correlation with the severity score (r = 0.83, p = 0.001). A significantly less sharp dissection was also required in the KGF group. Also, adhesion area and adhesion collagen were significantly tower in the KGF group than in the control group. Conclusion: The simulation of pericardial cells with KGF reduced the intensity of postoperative adhesions and facilitated the re-operation. This study suggests that the mesothelial regeneration is the new horizon in anti-adhesion therapies. (C) 2008 European Association for Cardio-Thoracic Surgery. Published by Elsevier B.V. All rights reserved.

Synergism Between Keratinocyte Growth Factor and Carboxymethyl Chitosan Reduces Pericardial Adhesions

Background. Mesothelial injury is the pivot in the development of adhesions. An increase in the proliferation of mesothelial cells was verified by in vitro studies with the use of keratinocyte growth factor (KGF). This study investigated the influence of KGF associated with thermo-sterilized carboxymethyl chitosan (NOCCts) in the reduction of pericardial adhesions. Methods. An induction model of pericardial adhesion was carried out in 24 pigs. Animals were randomly allocated to receive topical application of KGF, KGF + NOCCts, NOCCts, or saline (control). At 8 weeks, intra-pericardial adhesions were evaluated and a severity score was established. The time spent to dissect the adhesions and the amount of sharp dissection used, were recorded. Histologic sections were stained with sirius red for a morphometric evaluation using a computer-assisted image analysis system. Cytokeratin AE1/AE3 immunostaining were employed to identify mesothelial cells. Results. The severity score expressed in median (minimum to maximum), in relation to the control group (17 [15 to 18]), was lower in the KGF + NOCCts group (7 [6 to 9], p < 0.01) followed by the KGF group (11.5 [9 to 12], 0.01 < p < 0.05) and the NOCCts group (12 [9 to 14], p > 0.05). The dissection time was significantly lower in the KGF + NOCCts group (7.1 +/- 0.6 vs 33.9 +/- 9.2 minutes, p < 0.001). A significantly less sharp dissection was also required in the KGF + NOCCts group. In the adhesion segment, a decreased collagen proportion was found in the KGF + NOCCts group (p < 0.05). Mesothelial cells were present more extensively in groups in which KGF was delivered (p = 0.01). Conclusions. The use of KGF associated with NOCCts resulted in a synergic action that decreases postoperative pericardial adhesions in a highly significant way. (Ann Thorac Surg 2010; 90: 566-72) (C) 2010 by The Society of Thoracic Surgeons

Avaliação de um programa computacional para a medida da lordose lombar

Objetivo: métodos antropométricos que quantifiquem as curvas da coluna vertebral e a avaliação postural a fim de realizar investigações epidemiológicas sobre o papel da postura na ocorrência das dores lombares. O propósito do estudo foi avaliar acurácia e reprodutibilidade do Sistema de Avaliação Postural Digitalizado (SAPD) para medir lordose lombar comparando com raio-x. Delineamento: transversal, com amostra consecutiva. Participantes: para medida da acurácia no grupo 1 ( T12,L3,L5) n = 16 e grupo 2 (L1,L3,L5) n= 17. Na reprodutibilidade intra e inter-avaliador n= 80. Principais Medidas: marcadores externos nos processos espinhosos das vértebras T12, L1, L3 e L5. Raio-x de perfil da coluna lombar e foto digital em perfil direito. Medida da lordose lombar no raio-x com métodos de Cobb,Centróide (CLL) e Processos Espinhosos (PE) e com o SAPD. Resultados: grupo 1, correlação entre SAPD e Cobb foi 0,803 (p<0,001), entre SAPD e CLL foi 0,642 (p=0,024), entre SAPD e a medida dos PE a correlação foi 0,917, com R2 = 0,842. No grupo 2, correlação entre SAPD e Cobb foi 0,559 (p=0,020), entre SAPD e CLL de 0,325 (p=0,302), com correlação significativa somente entre SAPD e Cobb. Entre SAPD e PE a correlação foi 0,763, com R2 = 0,583. Para reprodutibilidade interavaliador a correlação foi 0,981 (p < 0,001) e para reprodutibilidade intra-avaliador de 0.978 (p < 0,001) referente às mesmas fotografias. Reprodutibilidade intraavaliador de 0.872 (p < 0.001) e 0.956 (p<0,001) para inter-avaliador referente à fotos diferentes de um mesmo indivíduo com recolocação dos marcadores sobre a pele . Considerações Finais: O SAPD mostrou-se acurado e reprodutível para a medida da lordose lombar.

Um estudo experimental sobre o uso da informática no ensino da contabilidade

Esta pesquisa buscou fundamentar o uso da informática no ensino da contabilidade através de um experimento realizado no sétimo período do Curso de Graduação em Ciências Contábeis, da Faculdade de Economia e Administração, da Universidade Federal do Rio de Janeiro. A revisão da literatura e fundamentos teóricos abordou, principalmente, o sistema de ensino através do computador denominado "COMPUTER ASSISTED INSTRUCTlON - C.A.I. ", sua definição, características, utilização e organização. Também fora abordados aspectos sobre o computador e a instrução programada assim como as vantagens e restrições do uso do computador no ensino. Os resultados obtidos permitiram a análise do comportamento dos alunos diante da nova maneira de se estudar e, ainda, um confronto de suas opiniões com as vantagens e restrições encontradas na literatura. A experiência vivenciada pelo pesquisador durante o experimento, permitiu-lhe concluir que o estudo desenvolvido foi importantíssimo na sua carreira, como professor de contabilidade e, ainda, como educador preocupado com aspectos de um ensino crítico. O estudo permitiu que fossem sugeridas recomendações ao governo, universidades, editores e professores sobre a utilização desta nova ferramenta de ensino e sugestões sobre novas pesquisas nesta área.

Acute phase proteins: a potential approach for diagnosing chronic infection by Trypanosoma vivax

O objetivo do presente estudo foi verificar possíveis alterações nas proteínas de fase aguda em ovinos infectados experimentalmente com Trypanosoma vivax. Para tanto, foram utilizados oito ovinos machos, sendo quatro usados como controle e quatro infectados com 10(5) tripomastigotas de T. vivax. Colheram-se amostras de sangue em dois tempos antes da infecção e, posteriormente, aos 5, 7, 9, 11, 13, 15, 20, 30, 45, 60, 75, 90, 105 e 120 dias após a infecção (dpi); após centrifugação e aliquotização das amostras. As proteínas de fase aguda foram separadas por eletroforese em gel de acrilamida, contendo dodecil sulfato de sódio, e suas concentrações foram determinadas através de densitometria computadorizada. A dosagem de proteína total foi realizada pelo método colorimétrico do biureto. A contagem dos tripanossomas foi realizada diariamente, utilizando-se uma alíquota de 5 µL de sangue disperso em lâmina de microscopia, sob lamínula de 22 × 22 mm, contando-se os parasitos em 100 campos microscópicos, com objetiva de 40×, multiplicados pelo fator de correção do microscópio, e o resultado expresso em parasitos por mL de sangue. Para a análise estatística, empregou-se o teste de Wilcoxon a 5% de probabilidade. Foi observada a diminuição de diversas proteínas de fase aguda e aumento de antitripsina e transferrina que podem ser utilizadas para auxiliar no diagnóstico da infecção por T. vivax, principalmente na fase crônica da infecção.

Efficacy evaluation of a commercial neem cake for control of Haematobia irritans on Nelore cattle

Muita atenção tem sido dada ao desenvolvimento de inseticidas vegetais buscando-se um efetivo controle de ectoparasitas de bovinos, sem prejudicar animais, consumidores e meio ambiente. Este estudo, realizado de abril a julho de 2008, na Empresa Brasileira de Pesquisa Agropecuária (EMBRAPA) Pecuária Sudeste, em São Carlos, SP, Brasil, avaliou a eficácia de uma torta comercial de nim (Azadirachta indica) no controle da mosca-dos-chifres (Haematobia irritans) em bovinos. A torta de nim, misturada ao sal mineral na concentração de 2%, foi fornecida a 20 vacas Nelore, durante nove semanas, e sua eficácia foi monitorada através de contagens semanais nos grupos tratado e controle. Infestações individuais foram registradas por meio de fotos digitais em todos os animais de ambos os grupos, e o número de moscas foi, posteriormente, quantificado com o auxílio de um sistema de análise de imagem computadorizado. A quantificação dos componentes da torta de nim, por cromatografia líquida, revelou a presença de azadiractina (421 mg.kg-1) e 3-tigloyl-azadirachtol (151 mg.kg-1). A adição da torta de nim a 2% reduziu o consumo de sal mineral em cerca de 22%. O tratamento com torta de nim a 2% não reduziu as infestações por mosca-dos-chifres em bovinos durante as nove semanas do estudo.

Contribuições para verificação automática de applets javacard

The widespread growth in the use of smart cards (by banks, transport services, and cell phones, etc) has brought an important fact that must be addressed: the need of tools that can be used to verify such cards, so to guarantee the correctness of their software. As the vast majority of cards that are being developed nowadays use the JavaCard technology as they software layer, the use of the Java Modeling Language (JML) to specify their programs appear as a natural solution. JML is a formal language tailored to Java. It has been inspired by methodologies from Larch and Eiffel, and has been widely adopted as the de facto language when dealing with specification of any Java related program. Various tools that make use of JML have already been developed, covering a wide range of functionalities, such as run time and static checking. But the tools existent so far for static checking are not fully automated, and, those that are, do not offer an adequate level of soundness and completeness. Our objective is to contribute to a series of techniques, that can be used to accomplish a fully automated and confident verification of JavaCard applets. In this work we present the first steps to this. With the use of a software platform comprised by Krakatoa, Why and haRVey, we developed a set of techniques to reduce the size of the theory necessary to verify the specifications. Such techniques have yielded very good results, with gains of almost 100% in all tested cases, and has proved as a valuable technique to be used, not only in this, but in most real world problems related to automatic verification

Avaliação de parâmetros métricos oculares pela fotografia digital da face: uso do diâmetro da íris como unidade de referência

Purpose: To evaluate reproducibility and precision of ocular measurements by digital photograph analysis, in addition to the transformation of the measures according to the individual iris diameter as an oculometric reference. Methods: Twenty-four eyes have been digitally photographed in a standardized way at two distances. Two researchers have analyzed these printed images using a caliper and these digital forms by ImageJ 1.37 (TM). Several external ocular parameters were estimated (mm and as iris diameter) and methods of measurement compared regarding their precision, agreement and correlation. Results: Caliper and digital analysis of oculometric measures provided significant agreement and correlation, nevertheless the precision of digital measures was higher. The estimates of numeric transformation from oculometric measures according to individual iris diameter resulted in great correlation to caliper measures and high agreement when compared to different distances of taking the photographs. Conclusions: Facial digital photographs allowed oculometric precise and reproducible estimates, endorsing clinical research usefulness. Using iris diameter as individual oculometric reference disclosed high reproducibility when facial photographs were taken at different distances.

Úlceras crônicas dos membros inferiores: avaliação pela fotografia digital

OBJETIVO: Avaliar o desempenho da análise de imagem digital na estimativa da área acometida pelas úlceras crônicas dos membros inferiores. MÉTODOS: Estudo prospectivo em que foram mensuradas úlceras empregando o método planimétrico clássico, utilizando desenho dos seus contornos em filme plástico transparente, medida sua área posteriormente por folha milimetrada. Esses valores foram utilizados como padrão para a comparação com a estimativa de área pelas fotografias digitais padronizadas das úlceras e dos desenhos das mesmas em filme plástico. Para criar um referencial de conversão dos pixels em milímetros, foi empregado um adesivo com tamanho conhecido, adjacente à úlcera. RESULTADOS: foram avaliadas 42 lesões em 20 pacientes portadores de úlceras crônicas de membros inferiores. As áreas das úlceras variaram de 0,24 a 101,65cm². Observou-se forte correlação entre as medidas planimétricas e as fotos das úlceras (R²=0,86 p<0,01), porém a correlação das medidas planimétricas com as fotos digitais dos desenhos das úlceras foi ainda maior (R²=0,99 p<0,01). CONCLUSÃO: A fotografia digital padronizada revelou-se método rápido, preciso e não-invasivo capaz de estimar a área afetada por úlceras. A avaliação das medidas fotográficas dos contornos das úlceras deve ser preferida em relação à análise de sua fotografia direta.

Identification of the SP22 Sperm Protein in Santa Ines and Dorper Rams

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Tritrichomonas fetus extracellular products decrease progressive motility of bull sperm

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Comparison of efficiency between two artificial insemination methods using frozen-thawed semen in domestic cat (Felis catus) Artificial insemination in domestic cats

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Freezing of stallion epididymal sperm

Inseminations with frozen-thawed epididymal sperm have resulted in low-pregnancy rates of mares. If fertility of epididymal sperm could be improved, it would help to preserve genetic material from stallions that have suffered severe injuries, been castrated or have died. The aim of the present study was to investigate the effect of different extenders and pre-freezing addition of capacitation media on freezability of epididymal sperm and on storage at 5 degrees C for 24 h. In experiment 1, epididymal sperm samples were diluted and subsequently frozen with three different extenders: Botu-Crio((R)), EDTA-Lactose and INRA-82. Motility analysis using computer assisted sperm analyzer (CASA) demonstrated better motility for sperm in Botu-Crio((R)) than in the other extenders; EDTA-Lactose yielded better motility than INRA-82 on most evaluated parameters. There was no difference in membrane integrity among the studied extenders. From 18 inseminated mares, 12 (66%) were pregnant 15 days after AI with frozen-thawed epididymal sperm showing that Botu-Crio((R)) was able to maintain the fertility potential. In experiment 2, the effect of incubation of epididymal sperm before freezing in three capacitation media (Fert Talp, Sperm Talp, Talp + Progesterone), seminal plasma, or control was tested. Based on post-thaw motility evaluation by CASA, samples incubated in Sperm Talp showed better motility values. There were no differences in plasma or acrosomal membranes or in mitochondrial potential among groups. We concluded that Botu-Crio((R)) was better than the other extenders in the ability to preserve epididymal sperm and that pre-freeze addition of Sperm Talp was also beneficial. (c) 2008 Published by Elsevier B.V.