Finite constants: characterizations of a new decidable set of constants

Constant propagation, the replacement of program terms which represent a unique value at run time by their values, is a classical program optimization method. In spite of being treated for years, constant propagation still has been in the unsatisfactory phase of heuristics. We enhance the known constant propagation techniques to obtain an algorithm which is optimal for programs without loops. Fundamental is the introduction of a new decidable set of constants, the finite constants. This set has two different characterizations: a denotational one, which directly specifies our iterative algorithm and an operational one, which delivers the completeness or optimality of this algorithm for programs without loops. The algorithm is implemented in a commercial compiler project.     

Modellqualität als Indikator für Softwarequalität: eine Taxonomie

Zusammenfassung  Komplexit?t, Anforderungsmanagement und Variantenvielfalt sind zentrale Herausforderungen bei der Entwicklung und Evolution heutiger softwaregesteuerter Systeme. Diesen wird zunehmend durch den Einsatz modellbasierter Entwicklungsmethoden begegnet. Dadurch wird das Modell zum zentralen Artefakt und die Erstellung und Nutzung von Modellen zu einer zentralen T?tigkeit in der Softwareentwicklung. Mit der Bedeutung der Modelle steigen auch die Ansprüche an ihre Qualit?t. Dieser Beitrag untersucht die Implikationen, die daraus entstehen, insbesondere werden sinnvolle Qualit?tsmerkmale für softwarebeschreibende Modelle identifiziert und diskutiert.     

Symbolic control of visual attention: The role of working memory and attentional control settings.

This study examined how 1 symbol is selected to control the allocation of attention when several symbols appear in the visual field. In Experiments 1-3, the critical target feature was color, and it was found that uninformative central arrows that matched the color of the target were selected and produced unintentional shifts of attention (i.e., involuntary, initiated slowly, producing long-lasting facilitatory effects). Experiment 4 tested whether such selection is the result of an attentional filter or of a competition bias due to a match of incoming information against integrated object representations stored in working memory. Here, the critical feature was shape and color was irrelevant, but matching color arrows were still selected. Thus, features of objects in working memory will bias the selection of symbols in the visual field, and such selected symbols are capable of producing unintentional shifts of attention. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Novel Readout Electronics for Thickness Shear-Mode Liquid Sensors Compensating for Spurious Conductivity and Capacitances

In this paper, a readout circuit for a thickness shear-mode (TSM) resonator is presented which can be used for sensing applications in liquids such as viscosity sensing. The system features compensation of both spurious capacitances and conductances in parallel to the resonator. This allows measurements even in conductive liquids without the need for an elaborate sealing of the sensor. The influence of the spurious elements is determined by means of two orthogonal synchronous detectors and eliminated by active compensation using voltage-controlled amplifiers (VCAs). Furthermore, the circuit is robust against possible phase errors. The basic concept is discussed in detail, and a readout circuit is developed. A prototype is presented, and sample results are given, demonstrating the feasibility of the approach     

Hydroformylierung einfach und mehrfach ungesättigter Fettstoffe mit heterogenisierten Cobaltcarbonyl- und R

Hydroformylation of mono and multiple unsaturated fatty substances with heterogenized cobaltcarbonyl and rhodiumcarbonyl catalysts. Heterogenized cobalt and rhodiumcarbonyl catalyst systems can be used for the hydroformylation of mono and polyunsatured fatty substances in a technically simple and satisfying manner to useful chemical intermediates. The used solid tert. phosphane complex ligands have a silicate matrix and therefore they are also suitable for the cobalt catalyzed hydroformylation which is best performed at temperatures of 160–180^oC. The cobalt catalyzed reaction gives with polyunsaturated fatty substances almost only products with monofunctionalized fatty acid chains. Whereas, the rhodium catalyzed reaction gives with linolic acid compounds inhomogeneous mixtures of mono- and diformyl derivatives of these fatty substances. The heterogenized rhodium carbonyl catalyst systems therefore seem to be more suitable for the hydroformylation of monounsaturated compounds. This is also true for rhodiumcarbonylsupported aqueous phase-catalysts which give likewise mixtures of mono and diformyl derivatives in the hydroformylation of polyunsaturated fatty substances. In batch process after the complete conversion of the olefin and reduction of the CO/H₂-pressure the loss of catalyst metal from the support is negligible and in most cases below the detection limit (<1 ppm).     

A general discrete contour model in two, three, and four dimensions for topology-adaptive multichannel segmentation

We present a discrete contour model for the segmentation of image data with any dimension of image domain and value range. The model consists of a representation using simplex meshes and a mechanical formulation of influences that drive an iterative segmentation. The object's representation as well as the influences are valid for any dimension of the image domain. The image influences introduced here, can combine information from independent channels of higher-dimensional value ranges. Additionally, the topology of the model automatically adapts to objects contained in images. Noncontextual tests have validated the ability of the model to reproducibly delineate synthetic objects. In particular, images with a signal to noise ratio of SNR /spl les/ 0.5 are delineated within two pixels of their ground truth contour. Contextual validations have shown the applicability of the model for medical image analysis in image domains of two, three, and four dimensions in single as well as multichannel value ranges.     

An efficient purification method for detonation nanodiamonds

This article reports the purification process of detonation soot to obtain pure nanodiamond powder. Nanodiamonds are synthesized by detonation using a high explosive mixture composed of trinitrotoluene and hexogen. The detonation of the charge leads to a powder containing nanodiamonds as well as metallic impurities and sp² carbon species. Further, to remove metallic particles, an unusual acidic treatment (hydrofluoric/nitric acids; i.e. fluorinated aqua regia) was set up. To eliminate sp² carbon species such as graphite and amorphous carbon, a thermal oxidation treatment was performed at 420 °C under air in a furnace during several hours. Transmission Electronic Microscopy, Raman spectroscopy, X-ray diffraction and Thermo-Gravimetric Analysis showed that this purification process is very efficient. From TGA measurements, a model of the carbon grain combustion was developed by considering graphitic shells surrounding the nanodiamond particles, and was used to demonstrate that the selective oxidation of graphite was experimentally realistic. Moreover, another model was set up from specific area measurements to evaluate the thickness of the functional groups surrounding the nanodiamonds after the oxidation of sp² carbonaceous species. The treatment described herein was achieved on several tens of grams of product and could be easily adapted to the industrial scale.     

The effect of exchanger inhibitory peptide (XIP) on sodium-calcium exchange current in guinea pig ventricular cells

While the osteopenia associated with oestrogen deficiency is thought to arise from a relative defect in bone formation with respect to resorption, oestrogen administration itself leads to a decrease, rather than an increase, in bone formation. This decrease in bone formation, which arises from oestrogen's inhibitory effect on bone turnover, presumably masks any underlying tendency of oestrogen treatment towards stimulation of bone formation. To investigate this further, we have examined the early effect of discontinuing the administration of oestradiol-17 beta (OE2; 40 micrograms/kg) on bone formation indices in ovariectomized 13-week-old rats, before the turnover-induced increase in formation occurs. Histomorphometric indices were assessed at the proximal tibial metaphysis 0, 7, 10, 13 and 16 days following discontinuation of OE2 treatment. Measurements of body weight, uterine weight and longitudinal growth rate confirmed that there were rapid effects of OE2 deficiency on these parameters. We could detect no significant increase in bone resorption, as measured by osteoclast surface and number, until 16 days after ending treatment with OE2; this was coincidental with a reduction in bone volume. Shorter periods of OE2 deficiency were associated with a marked decrease in bone formation, as assessed by dynamic histomorphometric indices. This inhibition of bone formation was largely due to a reduction in double fluorochrome-labeled trabecular surfaces, which were decreased by approximately 70%. We conclude that ending OE2 administration in ovariectomized rats caused a striking decrease in trabecular bone formation, if such indices are assessed prior to the subsequent turnover-induced increase in formation.(ABSTRACT TRUNCATED AT 250 WORDS)     

The role of forest and bioenergy strategies in the global carbon cycle

Forest and bioenergy strategies offer the prospect of reduced CO₂ emissions to the atmosphere. Such strategies can affect the net flux of carbon to the atmosphere through 4 mechanisms: storage of C in the biosphere; storage of C in forest products; use of biofuels to displace fossil-fuel use; use of wood products which often displaces other products that require more fossil fuel for their production. We use the mathematical model GORCAM (Graz/Oak Ridge Carbon Accounting Model) to examine these mechanisms for 16 land-use scenarios. Over long time intervals the amount of C stored in the biosphere and in forest products reaches a steady state and continuing mitigation of C emissions depends on the extent to which fossil fuel use is displaced by the use of bioenergy and wood products. The relative effectiveness of alternative forest and bioenergy strategies and their impact on net C emissions strongly depend, for example, on the productivity of the site, its current usage, and the efficiency with which the harvest is used. When growth rates are high and harvest is used efficiently, the dominant opportunity for net reduction in C emissions is seen to be fossil-fuel displacement. At the growth rates and efficiencies of harvest utilization adopted in many of our base scenarios, the net C balance at the end of 100 years is very similar whether trees are harvested and used for energy and traditional forest products, or reforestation and forest protection strategies are implemented. The C balance on a plantation system that provides a constant output of biomass products can look different than the balance of a single parcel of land.