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)     

Flux Jumps and H-T Diagram of Instability for MgB2

We present a study of magneto-thermal instabilities in polycrystalline MgB₂ superconductor, by magnetic hysteresis loop measurements and by investigations of magnetic flux dynamics with a miniature Hall probe. Temperature and magnetic field ranges where the flux jumps may be observed have been determined. On the basis of measurements of the magnetic flux dynamics, an average magnetic diffusivity describing the process of the flux jump is estimated. This parameter is compared with the thermal and magnetic diffusivities calculated on the basis of available data for thermal conductivity, heat capacity and resistivity. It is shown that the estimated value of the field of the first flux jump is influenced significantly by the field dependence of specific heat. In order to explain the observed phenomenon, the temperature reached by the sample during the flux jump at different magnetic fields is calculated.     

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 quadruple well, quadruple polysilicon BiCMOS process for fast 16Mb SRAM's

An advanced, high-performance, quadruple well, quadruple polysilicon BiCMOS technology has been developed for fast 16 Mb SRAM's. A split word-line bitcell architecture, using four levels of polysilicon and two self-aligned contacts, achieves a cell area of 8.61 μm² with conventional I-line lithography and 7.32 μm² with I-line plus phase-shift or with deep UV lithography. The process features PELOX isolation to provide a 1.0 μm active pitch, MOSFET transistors designed for a 0.80 μm gate poly pitch, a double polysilicon bipolar transistor with aggressively scaled parasitics, and a thin-film polysilicon transistor to enhance bitcell stability. A quadruple-well structure improves soft error rate (SER) and allows simultaneous optimization of MOSFET and bipolar performance     

Motor oil classification by base stock and viscosity based on near infrared (NIR) spectroscopy data

In this paper we have tried to build effective model for classification of motor oils by base stock and viscosity class. Three (3) sets of near infrared (NIR) spectra (1125, 1010, and 1050 spectra) were used for classification of motor oils into 3 or 4 classes according to their base stock (synthetic, semi-synthetic, and mineral), kinematic viscosity at low temperature (SAE 0W, 5W, 10W, and 15W) and kinematic viscosity at high temperature (SAE 20, 30, 40, and 50). The abilities of three (3) different classification methods: regularized discriminant analysis (RDA), soft independent modelling of class analogy (SIMCA), and multilayer perceptron (MLP) - were also compared. In all cases NIR spectroscopy was found to be quite effective for motor oil classification. MLP classification technique was found to be the most effective one.     

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.