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)     

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).     

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.     

A formal model for the interoperability of service clouds

Large-scale service-oriented computing is based on the idea that services from various servers are combined into one distributed application. Referring to a collection of services on one server as a ??service cloud??, the problem investigated in this paper is to define formal high-level specifications of such distributed applications and to enable the location of suitable services for them. Based on the language-independent model of Abstract State Services (AS²s), which serves as a universal integrated model for data and software as services, we extend AS²s by high-level action schemes called ??plots?? as a means to specify permitted sequences of service operations. On these grounds, we develop a model for service mediators, that is, specifications of composed services in which service slots have to be filled by actual services, and investigate matching conditions for slots of mediators and services. For a services to match a slot in a mediator, a (generalised) projection of the mediator must comply with the plot of the service. Furthermore, the service must be semantically adequate, which requires the use of a service ontology.     

Computergestützte Frühwarn- und Entscheidungssysteme

Zusammenfassung Die massive Bedrohung durch Nuklearwaffen, die den Supermächten die Möglichkeit zur Auslöschung allen Lebens auf der Erde geben, erfordert eine Entscheidungsfindung oftmals innerhalb weniger Minuten. Dies hat beide Seiten zum Aufbau von Frühwarn- und Entscheidungssystemen (FWES) veranlaßt, durch deren Einsatz ein atomarer Angriff noch innerhalb der Raketenflugzeit erkannt werden soll. In diesem FWES spielt die Verarbeitung und Weiterleitung von Informationen durch den Computer eine kriegsentscheidende Rolle: Die Informatik ist zu einer der wichtigsten Grundlagenwissenschaften in der Rüstungsforschung geworden. Dieser Artikel gibt eine Übersicht über die Funktionsweise computergestützter FWES und zeigt Fehlerquellen auf, die es möglich und sogar wahrscheinlich machen, daß eine Verkettung unglücklicher Umstände zu einem Nuklearkrieg aus Versehen führen kann.

---

Liste der Abkürzungen ANMCC Alternate National Military Command Center - BMWES Ballistic Missile Early Warning System - CSS Communication System Segment - EMP Elektromagnetischer Puls - FWES Frühwarn- und Entscheidungssystem - ICBM Intercontinental Ballistic Missile - JCS Joint Chief of Staff - NCS NORAD Computer System - NMCC National Military Command Center - NORAD North American Aerospace Defense Command Center - PAC Pacific Command - PARCS Perimeter Acquisition Radar Attack Characterization System - SAC Strategic Air Command - SCC Space Computational Center - SLBM Submarine-launched Ballistic Missiles - WWMCCS World Wide Military Command and Control System