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.

Proximal methods for nonlinear programming: double regularization and inexact subproblems

This paper describes the first phase of a project attempting to construct an efficient general-purpose nonlinear optimizer using an augmented Lagrangian outer loop with a relative error criterion, and an inner loop employing a state-of-the art conjugate gradient solver. The outer loop can also employ double regularized proximal kernels, a fairly recent theoretical development that leads to fully smooth subproblems. We first enhance the existing theory to show that our approach is globally convergent in both the primal and dual spaces when applied to convex problems. We then present an extensive computational evaluation using the CUTE test set, showing that some aspects of our approach are promising, but some are not. These conclusions in turn lead to additional computational experiments suggesting where to next focus our theoretical and computational efforts.

An effective recursive partitioning approach for the packing of identical rectangles in a rectangle

In this work, we deal with the problem of packing (orthogonally and without overlapping) identical rectangles in a rectangle. This problem appears in different logistics settings, such as the loading of boxes on pallets, the arrangements of pallets in trucks and the stowing of cargo in ships. We present a recursive partitioning approach combining improved versions of a recursive five-block heuristic and an L-approach for packing rectangles into larger rectangles and L-shaped pieces. The combined approach is able to rapidly find the optimal solutions of all instances of the pallet loading problem sets Cover I and II (more than 50 000 instances). It is also effective for solving the instances of problem set Cover III (almost 100 000 instances) and practical examples of a woodpulp stowage problem, if compared to other methods from the literature. Some theoretical results are also discussed and, based on them, efficient computer implementations are introduced. The computer implementation and the data sets are available for benchmarking purposes. Journal of the Operational Research Society (2010) 61, 306-320. doi: 10.1057/jors.2008.141 Published online 4 February 2009

Algorithms for two-dimensional cutting stock and strip packing problems using dynamic programming and column generation

We investigate several two-dimensional guillotine cutting stock problems and their variants in which orthogonal rotations are allowed. We first present two dynamic programming based algorithms for the Rectangular Knapsack (RK) problem and its variants in which the patterns must be staged. The first algorithm solves the recurrence formula proposed by Beasley; the second algorithm - for staged patterns - also uses a recurrence formula. We show that if the items are not so small compared to the dimensions of the bin, then these algorithms require polynomial time. Using these algorithms we solved all instances of the RK problem found at the OR-LIBRARY, including one for which no optimal solution was known. We also consider the Two-dimensional Cutting Stock problem. We present a column generation based algorithm for this problem that uses the first algorithm above mentioned to generate the columns. We propose two strategies to tackle the residual instances. We also investigate a variant of this problem where the bins have different sizes. At last, we study the Two-dimensional Strip Packing problem. We also present a column generation based algorithm for this problem that uses the second algorithm above mentioned where staged patterns are imposed. In this case we solve instances for two-, three- and four-staged patterns. We report on some computational experiments with the various algorithms we propose in this paper. The results indicate that these algorithms seem to be suitable for solving real-world instances. We give a detailed description (a pseudo-code) of all the algorithms presented here, so that the reader may easily implement these algorithms. (c) 2007 Elsevier B.V. All rights reserved.

Inteligência artificial aplicada à Zootecnia

Os sistemas biológicos são surpreendentemente flexíveis pra processar informação proveniente do mundo real. Alguns organismos biológicos possuem uma unidade central de processamento denominada de cérebro. O cérebro humano consiste de 10(11) neurônios e realiza processamento inteligente de forma exata e subjetiva. A Inteligência Artificial (IA) tenta trazer para o mundo da computação digital a heurística dos sistemas biológicos de várias maneiras, mas, ainda resta muito para que isso seja concretizado. No entanto, algumas técnicas como Redes neurais artificiais e lógica fuzzy tem mostrado efetivas para resolver problemas complexos usando a heurística dos sistemas biológicos. Recentemente o numero de aplicação dos métodos da IA em sistemas zootécnicos tem aumentado significativamente. O objetivo deste artigo é explicar os princípios básicos da resolução de problemas usando heurística e demonstrar como a IA pode ser aplicada para construir um sistema especialista para resolver problemas na área de zootecnia.

A multi-screening approach for marine-derived fungal metabolites and the isolation of cyclodepsipeptides from Beauveria felina

Extracts obtained from 57 marine-derived fungal strains were analyzed by HPLC-PDA, TLC and ¹H NMR. The analyses showed that the growth conditions affected the chemical profile of crude extracts. Furthermore, the majority of fungal strains which produced either bioactive of chemically distinctive crude extracts have been isolated from sediments or marine algae. The chemical investigation of the antimycobacterial and cytotoxic crude extract obtained from two strains of the fungus Beauveria felina have yielded cyclodepsipeptides related to destruxins. The present approach constitutes a valuable tool for the selection of fungal strains that produce chemically interesting or biologically active secondary metabolites.

Rat pinealectomy: a modified direct visual approach

PURPOSE: To report a new, direct visual approach for rat pinealectomy. METHODS: Eighty adult female rats (Rattus norvegicus albinus EPM-1 strain) were weighted and anesthetized intraperitoneally with 15 mg/kg xylazine and 30 mg/kg ketamine. The animal was fastened to a dissection table, an incision was made in the skin and the subcutaneous tissue, bringing the lambda into view. The skullcap was opened with a dental drill, bringing the cerebral hemispheres and the superior sagittal sinus into view. The pineal gland, located under the venous sinus, was removed in a single piece using tweezers. Next, the bone fragment was returned to its place and the surgical layers were sutured. RESULTS: This new technique is easy to be done, avoids bleedings and removes only the pineal gland without damage to the remaining encephalon. In addition it makes possible the achievement of a sham surgery, allowing the pineal gland to remain intact. CONCLUSION: The proposed technique intends to facilitate studies aiming to better understanding the complexity and importance of the pineal gland on reproductive and other body systems.

Pode a atividade física materna modular a programação fetal induzida pela nutrição?

Existe considerável evidência para a indução de diferentes fenótipos em reposta às variações no ambiente fetal e neonatal. O aporte inadequado de nutrientes no período crítico do desenvolvimento está associado ao risco alto de doenças metabólicas na vida adulta, este fenômeno biológico é chamado de programação. A atividade física durante a gestação resulta em adaptações fisiológicas da mãe e no aumento da disponibilidade de nutrientes e oxigênio no espaço feto-placentário. Este trabalho tem como objetivo discutir os mecanismos da indução de programação fetal pela nutrição e o provável efeito modulador da atividade física durante a gestação. Foram utilizadas as bases de dados do Medline Pubmed, Lilacs e Bireme, com publicações entre 1990 até 2008. Os termos de indexação utilizados foram: nutrition, fetal programming, gestation, physical activity, physical exercise, metabolism. Em conclusão, o aporte inadequado de nutrientes programa o aparecimento de doenças metabólicas na vida adulta, enquanto que a atividade física durante a gestação aumenta a disponibilidade de nutrientes e oxigênio, repercutindo positivamente no crescimento fetal e no peso ao nascer.

STM probing of local oscillations of the Fano-Kondo effect: a Doniach-Sunjic approach for the Kondo peak

The use of the scanning tunneling microscope (STM) for the investigation of Kondo adatoms on normal metallic surfaces reveals a Fano-Kondo behavior of the conductance as a function of the tip bias. In this work, the Doniach-Sunjic expression is used to describe the Kondo peak and we analyze the effect of a complex Fano phase, arising from an external magnetic field, on the conductance pattern. It is demonstrated that such phase generates local oscillations of the Fano-Kondo line shape and can lead to the suppression of anti-resonances.

Air pollution and hospital admissions for respiratory diseases in the subequatorial Amazon: a time series approach

The objective of the study is to evaluate the effect of the daily variation in concentrations of fine particulate matter (diameter less than 2.5µm - PM2.5) resulting from the burning of biomass on the daily number of hospitalizations of children and elderly people for respiratory diseases, in Alta Floresta and Tangará da Serra in the Brazilian Amazon in 2005. This is an ecological time series study that uses data on daily number of hospitalizations of children and the elderly for respiratory diseases, and estimated concentration of PM2.5. In Alta Floresta, the percentage increases in the relative risk (%RR) of hospitalization for respiratory diseases in children were significant for the whole year and for the dry season with 3-4 day lags. In the dry season these measurements reach 6% (95%CI: 1.4-10.8). The associations were sig-nificant for moving averages of 3-5 days. The %RR for the elderly was significant for the current day of the drought, with a 6.8% increase (95%CI: 0.5-13.5) for each additional 10µg/m3 of PM2.5. No as-sociations were verified for Tangara da Serra. The PM2.5 from the burning of biomass increased hospitalizations for respiratory diseases in children and the elderly.

Inconsciente e cotidiano na prática da atenção psicossocial em saúde mental

O objetivo deste artigo é analisar as concepções sobre o inconsciente ligadas ao cotidiano da prática terapêutica de rede, como contribuição à clínica em saúde mental. A pesquisa participante foi realizada em um Centro de Atenção Psicossocial (CAPS) na cidade de São Paulo. Os resultados mostraram as concepções mais frequentes: o inconsciente como inconsciência, o inconsciente como desconhecimento e o inconsciente como método de escuta do sujeito e das relações na instituição. Demonstram uma flexibilidade teórica que pode permitir articulações complexas nas diversas intervenções no cotidiano da equipe referentes às subjetividades e saberes sobre o inconsciente, psicanalíticos ou não. Conclui-se que a elucidação desse saber prático sobre o inconsciente contribui para o aprofundamento dessa temática no campo da reforma psiquiátrica.

Algumas considerações sobre o uso da empatia em casos e situações limite

Este artigo visa contribuir para a construção, por meio do conceito axial de empatia, de uma abordagem teórica e prática que oriente o manejo clínico de casos e situações limite, refratários ao método psicanalítico clássico. O exame da noção de empatia será realizado a partir de três perspectivas: como modalidade de escuta, como forma de comunicação e como fator terapêutico. Nossa proposta é a de dar sustentação à adoção da empatia como ferramenta clínica capaz de ampliar o horizonte de intervenção, incluindo possibilidades de ação que o método interpretativo não comporta.

Anthropogenic influences in a lagoonal environment: a multiproxy approach at the valo grande mouth, Cananéia-Iguape system (SE Brazil)

The Cananéia-Iguape system, SE Brazil, consists of a complex of lagoonal channels, located in a United Nations Educational, Scientific and Cultural Organization (UNESCO) Biosphere Reserve. Nevertheless, important environmental changes have occurred in approximately the last 150 yrs due to the opening of an artificial channel, the Valo Grande, connecting the Ribeira de Iguape River to the lagoonal system. Our objective is to assess the historical record of the uppermost layers of the sedimentary column of the lagoonal system in order to determine the history of environmental changes caused by the opening of the artificial channel. In this sense, an integrated geochemical-faunal approach is used. The environmental changes led significant modifications in salinity, in changes of the depositional patterns of sediments and foraminiferal assemblages (including periods of defaunation), and, more drastically, in the input of heavy metals to the coastal environment. The concentrations Pb in the core analyzed here were up to two times higher than the values measured in contaminated sediments from the Santos estuary, the most industrialized coastal zone in Brazil.