Polymorphic bytecode instrumentation

Bytecode instrumentation is a widely used technique to implement aspect weaving and dynamic analyses in virtual machines such as the Java virtual machine. Aspect weavers and other instrumentations are usually developed independently and combining them often requires significant engineering effort, if at all possible. In this article, we present polymorphic bytecode instrumentation(PBI), a simple but effective technique that allows dynamic dispatch amongst several, possibly independent instrumentations. PBI enables complete bytecode coverage, that is, any method with a bytecode representation can be instrumented. We illustrate further benefits of PBI with three case studies. First, we describe how PBI can be used to implement a comprehensive profiler of inter‐procedural and intra‐procedural control flow. Second, we provide an implementation of execution levels for AspectJ, which avoids infinite regression and unwanted interference between aspects. Third, we present a framework for adaptive dynamic analysis, where the analysis to be performed can be changed at runtime by the user. We assess the overhead introduced by PBI and provide thorough performance evaluations of PBI in all three case studies. We show that pure Java profilers like JP2 can, thanks to PBI, produce accurate execution profiles by covering all code, including the core Java libraries. We then demonstrate that PBI‐based execution levels are much faster than control flow pointcuts to avoid interference between aspects and that their efficient integration in a practical aspect language is possible. Finally, we report that PBI enables adaptive dynamic analysis tools that are more reactive to user inputs than existing tools that rely on dynamic aspect‐oriented programming with runtime weaving. These experiments position PBI as a widely applicable and practical approach for combining bytecode instrumentations. © 2015 The Authors. Software: Practice and Experience Published by John Wiley & Sons Ltd.     

Command governor for constrained switched systems with scheduled model transition dwell times

In this paper, a switched control architecture for constrained control systems is presented. The strategy is based on command governor ideas that are here specialized to ‘optimally’ schedule switching events on the plant dynamics for improving control performance at the expense of low computational burdens. The significance of the method mainly lies in its capability to avoid constraints violation and loss of stability regardless of any configuration change occurrence in the plant/constraint structure. To this end, the concept of model transition dwell time is used within the proposed control framework to formally define the minimum time necessary to enable a switching event under guaranteed conditions on the overall stability and constraint fulfilment. Simulation results on a simple linear system and on a Cessna 182 aircraft model show the effectiveness of the proposed strategy. Copyright © 2017 John Wiley & Sons, Ltd.     

Mikromethode zur quantitativen Bestimmung von Coffein

Zusammenfassung Zur quantitativen Bestimmung von Coffein in biologischem Material wird ein kombiniertes Verfahren aus Dünnschichtchromatographie und Densitometrie beschrieben. Das Verfahren läßt Bestimmungen im Nanogramm-Bereich zu. Das Probenvolumen liegt unter 100 l.Die Proben — Capillarblut — werden zunächst mit dem gleichen Volumen Chloroform extrahiert. Anschließend wird das Coffein mittels Dünnschichtchromatographie von Begleitstoffen und störenden Substanzen abgetrennt. Es werden Kieselgel-60-Fertigplatten und Chlorofom/Aceton (9 + 1; v/v) als Fließmittel verwendet, dabei beträgt die Laufzeit 30 min.Die quantitative densitometrische Auswertung erfolgt durch Remissionsmessung bei 273 nm. Im Bereich von 10–60 ng Coffein/Fleck verläuft die Eichkurve linear. 1 mg/I Coffein kann noch sicher quantitativ erfaßt werden. Die Nachweisgrenze liegt bei 0,1 mg/1.

---

A quantitative micromethod for the caffeine determination

Summary A combined procedure with thin-layer-chromatography and densitometry is described for the quantitative estimation of caffeine in biological material. This method ist applicable in the nanogram range. Test samples of less than 100 l may be used. The samples (capillary-blood) are extracted with the same volume of chloroform. Caffeine is separated from interfering compounds by thin-layer-chromatography. Commercial silica-60-plates with chloroform/acetone (9 + 1; v/v) as solvent are used. The running time is about 30 min. The quantitative densitometric determinations are performed in the remission mode at 273 nm. In the range from 10 to 60 ng/spot the calibration curve is linear. Accurate quantitative data will be obtained even at concentrations of 1 mg/1 caffeine. The detection limit is at about 0.1 mg/1.

     

Development of an interlocked nail for segmental defects in the rabbit tibia

Previous animal models have been developed to study intramedullary nailing for challenging segmental defects in the tibia. In large animals, interlocked nail fixation created a stable environment suitable to study new bone growth technologies placed in the defect. To our knowledge, there are no comparable interlocked tibial defect models for the rabbit in which new technologies could be evaluated. Such a model would be helpful since the rabbit is a popular initial model for orthopedic research studies owing to its wide availability and low cost. While numerous studies have nailed the rabbit tibia, all were non-locked implants that allowed some degree of instability between the fracture fragments. In addition, the non-locked nails were constructed of stainless steel, whereas human nails are increasingly made from titanium alloy. In the current study, an interlocked titanium nail was developed for the rabbit tibia. It was implanted in cadaver tibiae and subjected to fatigue cycling in combined compression and bending at physiologic levels to 21,061 cycles. This duration is estimated to represent 12 weeks of gait by the animal. Before and after fatigue cycling, monotonic testing was performed in compression and bending at physiologic levels. The intact contralateral limbs served as controls. All limbs completed the cycling; the instrumented limbs exhibited interfragmentary cyclic strain amplitudes during fatigue (616 +/- 139 micro-strain), which was significantly greater than the control limbs (136 +/- 35 microstrain). Monotonic strain amplitudes for the test limbs in bending and compression were 4839 +/- 1028 and 542 +/- 122 microstrain, respectively; corresponding values for the control bones were 407 +/- 118 and 95 +/- 38 microstrain, respectively. These data are similar to those presented in prior studies in larger bone models. The current study presents one method for interlocked nail fixation for this complex tibial shaft fracture in a small animal.     

Interplay Between Wetting and Phase Behavior in Binary Polymer Films and Wedges: Monte Carlo Simulations and Mean Field Calculations

Confining a binary mixture, one can profoundly alter its miscibility behavior. The qualitative features of miscibility in confined geometry are ratheruniversal and shared by polymer mixtures as well as small molecules, but the unmixing transition in the bulk and the wetting transition are typically well separated in polymer blends. The interplay between wetting and miscibility of a symmetric polymer mixture via large-scale Monte Carlo simulations in the framework of the bond fluctuation model and via numerical self–consistent field calculations is studied. The film surfaces interact with the monomers via short ranged potentials, and the wetting transition of the semi–infinite system is of first order. It can be accurately located in the simulations by measuring the surface and interface tensions and using Young’s equation. If both surfaces in a film attract the same component, capillary condensation occurs and the critical point is close to the critical point of the bulk. If surfaces attract different components, an interface localization/delocalization occurs which gives rise to phase diagrams with two critical points in the vicinity of the pre-wetting critical point of the semi–infinite system. The crossover between these two types of phase diagrams as a function of the surface field asymmetry is studied. The dependence of the phase diagram on the film thickness Δ for antisymmetric surface fields is investigated. Upon decreasing the film thickness, the two critical points approach the symmetry axis of the phase diagram, and below a certain thickness Δ_tri, there remains only a single critical point at the symmetric composition. This corresponds to a second-order interface localization/delocalization transition even though the wetting transition is of first order. At a specific film thickness, Δ_tri, tricritical behavior is found. The behavior of antisymmetric films is compared with the phase behavior in an antisymmetric double wedge. While the former is the analog of the wetting transition of a planar surface, the latter is related to the filling behavior of a single wedge. Evidence for a second-order interface localization/delocalization transition in an antisymmetric double wedge is presented, and its unconventional critical behavior is related to the predictions of Parry et al. (Phys. Rev. Lett. 83:5535 (1999)) for wedge filling. The critical behavior differs from the Ising universality class and is characterized by strong anisotropic fluctuations.Invited paper presented at the Fifteenth Symposium on Thermophysical Properties, June 022–27, 2003, Boulder, Colorado, U.S.A.     

ArcFVS:An integration of a Geographic Information System and Forest Vegetation Simulator

This paper presents the design and implementation of an integrated application program called ArcFVS that links the Forest Vegetation Simulator (FVS) and a Geographic Information System (GIS) to realize spatial selection of input files and graphic display of modeling output. Data for testing and running the model came from the U.S. Forest Service's Forest Inventory and Analysis (FIA) Database and were also collected in field surveys in north-central Indiana. ArcFVS 1.0 is designed using the ArcGIS software from the Environmental Systems Research Institute (ESRI) and the Visual Basic for Applications (VBA) programming environment to manipulate ESRI's ArcObjects. The resulting product offers custom functions as commands in a new menu or as tools on a new toolbar. They are used to: select spatially or by attribute the forest plots to be projected by FVS, create the FVS input files for the selected plots and display in a geospatial environment different types of FVS output (text output files, tables with variables of interest and visualization image files). Advantages of ArcFVS 1.0 include the new GIS capabilities, enhanced format translation functions and the standardized programming environment.     

ArcFVS: An integration of a Geographic Information System and Forest Vegetation Simulator

This paper presents the design and implementation of an integrated application program called ArcFVS that links the Forest Vegetation Simulator (FVS) and a Geographic Information System (GIS) to realize spatial selection of input files and graphic display of modeling output. Data for testing and running the model came from the U.S. Forest Service’s Forest Inventory and Analysis (FIA) Database and were also collected in field surveys in north-central Indiana. ArcFVS 1.0 is designed using the ArcGIS software from the Environmental Systems Research Institute (ESRI) and the Visual Basic for Applications (VBA) programming environment to manipulate ESRI’s ArcObjects. The resulting product offers custom functions as commands in a new menu or as tools on a new toolbar. They are used to: select spatially or by attribute the forest plots to be projected by FVS, create the FVS input files for the selected plots and display in a geospatial environment different types of FVS output (text output files, tables with variables of interest and visualization image files). Advantages of ArcFVS 1.0 include the new GIS capabilities, enhanced format translation functions and the standardized programming environment.     

Considering Prework on Industrial Projects

Prefabrication, preassembly, modularization, and off-site fabrication, collectively termed as prework have become more viable with recent advances in design and information technologies. These construction methods offer a substantial opportunity to improve project performance when circumstances merit. Successful implementation of these methods on a particular project requires systematic analysis and early decision making based on specific factors of the project. This paper identifies those factors influencing decisions on the use of prework, and current industry practices for evaluating the applicability of prework on industrial projects. It then presents a decision framework to assist industry practitioners with evaluating the applicability of prework on their project, and describes a computerized tool to aid project teams in the decision-making process. The developed framework and tool are useful and effective in the decision-making process, and easy to use, as validated by practitioners in the industry.     

Multivariate Modeling of Age and Retest in Longitudinal Studies of Cognitive Abilities.

Longitudinal multivariate mixed models were used to examine the correlates of change between memory and processing speed and the contribution of age and retest to such change correlates. Various age- and occasion-mixed models were fitted to 2 longitudinal data sets of adult individuals (N > 1,200). For both data sets, the results indicated that the correlation between the age slopes of memory and processing speed decreased when retest effects were included in the model. If retest effects existed in the data but were not modeled, the correlation between the age slopes was positively biased. The authors suggest that although the changes in memory and processing speed may be correlated over time, age alone does not capture such a covariation. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Renaming Detection

Finding changed identifiers is important for understanding the difference between two versions of a program and for detecting and resolving conflicts while merging variants of a program together. Standard practice for differencing and merging relies on line based techniques that do not recognize renamed identifiers. The design and implementation of a tool to automatically detect renamed identifiers between two versions of a program is presented. The system uses an abstract representation of language constructs to enable language awareness without introducing language dependence. Modules for Java and Scheme have been written. The detector works with multiple file pairs, taking into account renamings that span several files. A case study is presented that demonstrates proof of concept. The detector is part of a suite of intelligent differencing and merging programs that exploit the static semantics of programming languages.