Taking an Object-Centric View on Dynamic Information with Object Flow Analysis

A large body of research analyzes the runtime execution of a system to extract abstract behavioral views. Those approaches primarily analyze control flow by tracing method execution events or they analyze object graphs of heap snapshots. However, they do not capture how objects are passed through the system at runtime. We refer to the exchange of objects as the object flow, and we claim that object flow is necessary to analyze if we are to understand the runtime of an object-oriented application. We propose and detail Object Flow Analysis, a novel dynamic analysis technique that takes this new information into account. To evaluate its usefulness, we present a visual approach that allows a developer to study classes and components in terms of how they exchange objects at runtime. We illustrate our approach on three case studies.

Triangle-programmed coulometric nanotitrations completed by continuous flow with potentiometric detection

Coulometric nanotitrations were realized in a microchannel system using a continuous-flow titration technique with a triangle current-time profile. Redox and acid-base titrations were carried out on Fe(II) and nitric acid samples, respectively, with the same nanotitrator device. A linear relation between the concentration and the coulometric current transferred to the solution was found. The advantages of this universally applicable nanotitrator are fast response, low sample volume, high sensitivity, and high reproducibility as well as the convenience of handling an automated analyzer of the flow-through type.

Implantation of the continuous flow HeartWare(R) left ventricular assist device

Recent outstanding clinical advances with new mechanical circulatory systems have led to additional strategies in the treatment of end-stage heart failure. Heart transplantation can be postponed and for certain patients even replaced by smaller implantable left ventricular assist devices (LVADs). Mechanical support of the failing left ventricle enables appropriate haemodynamic stabilization and recovery of secondary organ failure, often seen in these severely ill patients. These new devices may be of great help to bridge patients until a suitable cardiac allograft is available but are also discussed as definitive treatment for patients who do not qualify for transplantation. Main indications for LVAD implantation are bridge to recovery, bridge to transplantation or destination therapy. An LVAD may be an important tool for patients with an expected prolonged period on the waiting list, for instance those with blood group O or B, with high or low body weight and those with potentially reversible secondary organ failure and pulmonary artery hypertension. However, LVAD implantation means an additional heart operation with inherent perioperative risks and complications during the waiting period. Finally, cardiac transplantation in patients with prior implantation of an LVAD represents a surgical challenge. The care of patients after the implantation of miniaturized LVADs, such as the HeartWare® system, seems to be easier than following pulsatile devices. The explantation of such devices at the time of transplantation is technically more comfortable than after HeartMate II implantation.

A technique for continuous detection of drill liquid in ice cores

When drilling ice cores deeper than ∼100 m, drill liquid is required to maintain ice-core quality and to limit borehole closure. Due to high-pressure air bubbles in the ice, the ice core can crack during drilling and core retrieval, typically at 600–1200 m depth in Greenland. Ice from this 'brittle zone' can be contaminated by drill liquid as it seeps through cracks into the core. Continuous flow analysis (CFA) systems are routinely used to analyse ice for chemical impurities, so the detection of drill liquid is important for validating accurate measurements and avoiding potential instrument damage. An optical detector was constructed to identify drill liquid in CFA tubing by ultraviolet absorption spectroscopy at a wavelength of 290 nm. The set-up was successfully field-tested in the frame of the NEEM ice-core drilling project in Greenland. A total of 27 cases of drill liquid contamination were identified during the analysis of 175 m of brittle zone ice. The analyses most strongly affected by drill liquid contamination include insoluble dust particles, electrolytic conductivity, ammonium, hydrogen peroxide and sulphate. This method may also be applied to other types of drill liquid used at other drill sites.

New LA-ICP-MS cryocell and calibration technique for sub-millimeter analysis of ice cores

Ice cores provide a robust reconstruction of past climate. However, development of timescales by annual-layer counting, essential to detailed climate reconstruction and interpretation, on ice cores collected at low-accumulation sites or in regions of compressed ice, is problematic due to closely spaced layers. Ice-core analysis by laser ablation–inductively coupled plasma–mass spectrometry (LA-ICP-MS) provides sub-millimeter-scale sampling resolution (on the order of 100μm in this study) and the low detection limits (ng L–1) necessary to measure the chemical constituents preserved in ice cores. We present a newly developed cryocell that can hold a 1m long section of ice core, and an alternative strategy for calibration. Using ice-core samples from central Greenland, we demonstrate the repeatability of multiple ablation passes, highlight the improved sampling resolution, verify the calibration technique and identify annual layers in the chemical profile in a deep section of an ice core where annual layers have not previously been identified using chemistry. In addition, using sections of cores from the Swiss/Italian Alps we illustrate the relationship between Ca, Na and Fe and particle concentration and conductivity, and validate the LA-ICP-MS Ca profile through a direct comparison with continuous flow analysis results.

Ladderane lipid analysis and pore water and sediment chemistry of sediment cores from the continental shelf and slope off northwest Africa

The presence and abundance of anaerobic ammonium-oxidizing (anammox) bacteria was investigated in continental shelf and slope sediments (300-3000 m water depth) off northwest Africa in a combined approach applying quantitative polymerase chain reaction (q-PCR) analysis of anammox-specific 16S rRNA genes and anammox-specific ladderane biomarker lipids. We used the presence of an intact ladderane monoether lipid with a phosphocholine (PC) headgroup as a direct indicator for living anammox bacteria and compared it with the abundance of ladderane core lipids derived from both living and dead bacterial biomass. All investigated sediments contained ladderane lipids, both intact and core lipids, in agreement with the presence of anammoxspecific 16S rRNA gene copies, indicating that anammox occurs at all sites. Concentrations of ladderane core lipids in core top sediments varied between 0.3 and 97 ng g**-1 sediment, with the highest concentrations detected at the sites located on the shelf at shallower water depths between 300 and 500 m. In contrast, the C20 [3]-ladderane monoether-PC lipid was most abundant in a core top sediment from 1500 m water depth. Both anammox-specific 16S rRNA gene copy numbers and the concentration of the C20 [3]-ladderane monoether-PC lipid increased downcore in sediments located at greater water depths, showing highest concentrations of 1.2 x 10**8 copies g**-1 sediment and 30 pg g**-1 sediment, respectively, at the deepest station of 3000 m water depth. This suggests that the relative abundance of anammox bacteria is higher in sediments at intermediate to deep water depths where carbon mineralization rates are lower but where anammox is probably more important than denitrification.

Global flow analysis as a practical compilation tool

This paper addresses the issue of the practicality of global flow analysis in logic program compilation, in terms of speed of the analysis, precisión, and usefulness of the information obtained. To this end, design and implementation aspects are discussed for two practical abstract interpretation-based flow analysis systems: MA , the MCC And-parallel Analyzer and Annotator; and Ms, an experimental mode inference system developed for SB-Prolog. The paper also provides performance data obtained (rom these implementations and, as an example of an application, a study of the usefulness of the mode information obtained in reducing run-time checks in independent and-parallelism.Based on the results obtained, it is concluded that the overhead of global flow analysis is not prohibitive, while the results of analysis can be quite precise and useful.

On the practicality of global flow analysis of logic programs

This paper addresses the issue of the practicality of global flow analysis in logic program compilation, in terms of both speed and precision of analysis. It discusses design and implementation aspects of two practical abstract interpretation-based flow analysis systems: MA3, the MOO Andparallel Analyzer and Annotator; and Ms, an experimental mode inference system developed for SB-Prolog. The paper also provides performance data obtained from these implementations. Based on these results, it is concluded that the overhead of global flow analysis is not prohibitive, while the results of analysis can be quite precise and useful.

Data-Flow analysis of prolog programs with extra-logical features

Abstract interpretation-based data-flow analysis of logic programs is at this point relatively well understood from the point of view of general frameworks and abstract domains. On the other hand, comparatively little attention has been given to the problems which arise when analysis of a full, practical dialect of the Prolog language is attempted, and only few solutions to these problems have been proposed to date. Such problems relate to dealing correctly with all builtins, including meta-logical and extra-logical predicates, with dynamic predicates (where the program is modified during execution), and with the absence of certain program text during compilation. Existing proposals for dealing with such issues generally restrict in one way or another the classes of programs which can be analyzed if the information from analysis is to be used for program optimization. This paper attempts to fill this gap by considering a full dialect of Prolog, essentially following the recently proposed ISO standard, pointing out the problems that may arise in the analysis of such a dialect, and proposing a combination of known and novel solutions that together allow the correct analysis of arbitrary programs using the full power of the language.

Continuous flow nanocatalysis: reaction pathways in the conversion of levulinic acid to valuable chemicals

The selective production of 2-methyltetrahydrofuran from levulinic acid has been effectively conducted using designed Cu based catalysts and compared with a commercial Pd/C system under microwave irradiation. Optimised conditions for the most active catalysts Cu-MINT (>90% conversion, 75% selectivity to MTHF) and Pd/C (78% conversion, 92% selectivity to MTHF) were further translated into a continuous flow process using the proposed catalysts to find out the deactivation of Cu-MINT under flow conditions (79 vs. 13% conversion with a switch in selectivity to products after 30 min in flow), the high stability of Pd/C (73 vs. 70% conversion at stable selectivity under analogous conditions to those of Cu-MINT) but, most importantly, different relevant pathways to valuable products from levulinic acid depending on the type of catalyst employed.

A continuous flow system using fish and amphibian eggs for bioassay determinations on embryonic mortality and teratogenesis /

Issued Apr. 1977.

Thermodynamics and heat flow analysis by Lagrangian methods.

Mode of access: Internet.

New methods in heat flow analysis with application to flight structures.

Mode of access: Internet.