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.     

Real-time control of video surveillance systems with program supervision techniques

In this article, we describe a knowledge-based controlled platform using program supervision techniques. This platform eases the creation and the configuration of video surveillance systems. Several issues need to be addressed to provide a correct system configuration: (1) to choose, among a library of programs, those which are best satisfying a given user request, (2) to assign a correct value for each program parameter, (3) to evaluate performances and to guarantee a performance rate which is satisfactory regarding end-user requirements. This platform is composed of three main components: the library of programs, the knowledge base and the control component. The knowledge is either given by experts or learnt by the system. The control is generic in the sense that it is independent of any application. To validate this platform, we have built and evaluated six video surveillance systems which are featured with three properties: adaptability, reliability and real-time processing.     

Coriolis effects in the dynamics of a rotating elastic structure

Summary Small oscillations of a rotating elasticum with a mass at the free end are investigated with Poincaré-Lindstedt series. It is shown that the mass moves on a figure-eight shaped curve in a direction determined by the sign of the angular velocity and hence that the Coriolis force influences the motion.     

Different immunological mechanisms contribute to cartilage destruction in antigen-induced arthritis

Antigen-induced arthritis in guinea pigs was used as a model to investigate the pathogenic mechanisms responsible for cartilage destruction in chronic joint inflammation. The activation of macrophages, their effects on cartilage metabolism, and the development of autoimmunity to cartilage constituents were studied during the progression of arthritis. The results show that in arthritic animals the macrophages are systemically activated, with a peak in the early phase of inflammation. Interleukin 1, produced by the activated cells, suppresses the proteoglycan synthesis in cartilage explants and cultured chondrocytes and increases the proliferation of the cells in vitro. During the progression of arthritis humoral and cell-mediated immune responses to collagen type II and cartilage proteoglycans occur correlating with the severity of arthritis. It is concluded that different immunological mechanisms may be involved in cartilage destruction during antigen-induced arthritis. Mediator-induced metabolic reactions dominate in the early phase, whereas autoimmunity to cartilage might play an essential role in later phases of arthritis.     

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)     

Possibilities and extension of XRD material response analysis in failure research for the advanced evaluation of the damage level of Hertzian loaded components

Due to clearly distinguishable damage symptoms, it is differentiated between the surface and sub‐surface failure mode of rolling bearings. Material states red out by X‐ray diffraction (XRD) residual stress measurements point to a variety of loading conditions especially at raceway surfaces that are associated with several competing failure mechanisms. The corresponding lifetime reduction can range from the lower fatigue strength region to material ratcheting in extreme cases. Relevant position of the microstructural changes and nature of the failure mechanisms are characterized. The time alteration of the XRD material parameters measured at or near the surface and at the depth of the maximum equivalent stress correlates, in a different manner, with the statistical parameter of the 10 % bearing life. Both failure modes are illustrated by concrete examples. Contaminated lubricant and boundary lubrication, which represent practically important surface‐induced failures, are discussed in more detail. Gray staining, i.e. shallow pitting, often occurs without distinct indication of global material aging by means of XRD characteristics. Here, scanning electron microscopy observations and electron microprobe analyses point to corrosion fatigue as acting surface failure mechanism. The interaction between material and lubricant under complex loading regimes particularly of mixed friction and corrosion opens further failure research areas in the field of tribology.     

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 growth of ferrite in Fe-C-X alloys: The role of thermodynamics, diffusion, and interfacial conditions

The growth of allotriomorphic ferrite from austenite in Fe-C-X alloys is studied. Two systems have been selected: the Fe-C-Ni system, in which the substitutional alloying element is expected to have a weak interaction with both the C and the moving interface, and the Fe-C-Mo system, in which these interactions are expected to be non-negligible. The ferrite growth kinetics was measured using two types of experiments: classical isothermal heat treatments and decarburization experiments. All of the experimental observations can be quantitatively rationalized using a model that describes an evolution in interfacial conditions from paraequilibrium (PE) to local equilibrium with negligible partitioning (LENP) during growth. This article is based on a presentation made in the “Hillert Symposium on Thermodynamics & Kinetics of Migrating Interfaces in Steels and Other Complex Alloys,” December 2–3, 2004, organized by the The Royal Institute of Technology in Stockholm, Sweden.