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.     

The influence of trigger configurations and laminate lay-up on the failure mode of composite crush cylinders

In this paper the results are presented of a test program on the energy absorption of composite cylinders loaded in compression. The influence of the laminate lay-up and of the trigger configuration were determined. Two different failure modes for the different laminates and triggers were observed: a splaying mode and a fragmentation mode. The splaying mode is more efficient in absorbing energy. The failure mode did not change during the crushing process.     

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

Telephone booster sessions for optimizing smoking cessation for patients in rehabilitation centers.

Smokers with smoking-related diseases who are hospitalized in rehabilitation centers should be offered smoking cessation. This is the first study evaluating whether telephone booster sessions after intensive inpatient treatment are an effective strategy. The present study was conducted in 13 rehabilitation centers for somatic disorders as a prospective multicenter study with a randomized treatment-control group design. We compared abstinence rates after hospital discharge from treatment that included a group smoking cessation program with (treatment group) and without telephone booster sessions (control group). Data from 290 smokers were analyzed. After 6 and 12 months the treatment group achieved abstinence rates twice as high as those of the control group. Men profited more from telephone booster sessions than did women. Results indicated that telephone booster sessions were highly effective (even) after an inherently intensive group program during a hospital stay. Further research should focus on the special needs of women receiving telephone counseling.     

Multiprotocol label switching and IP. Part 2. Multicast virtual private networks

For pt.1 see ibid., vol.9, no.3, p.68-72 (2005). Part I of this series discussed a solution for running multiprotocol label switching virtual private networks (MPLS VPNs) across a service provider's native IP network. Yet, MPLS VPNs support only unicast routing, whereas many of the enterprise customers that use the service run applications that require IP multicast. This article examines multicastVPN (mVPN), which provides the ability to support IP multicast across MPLS VPNs. Service providers can thus offer IP VPN services that support unicast and multicast applications.     

The neu-oncogene product in serum and tissue of patients with breast carcinoma

Patients with non-cardiac chest pain (NCCP) (n = 387) and cardiac chest pain (CCP) (n = 93) were compared with community controls (n = 81), using a symptom questionnaire that assessed the presence of irritable bowel syndrome (IBS), functional dyspepsia, and oesophageal dysfunction and chest pain characteristics. A significantly (p < 0.05) increased prevalence of symptoms compatible with IBS occurred in NCCP patients when compared with those with CCP and with controls. Dysphagia was more frequent in both those with non-cardiac and cardiac chest pain than in controls; this was not apparent, however, when patients with concomitant IBS were excluded. The presence of oesophageal or gastrointestinal symptoms did not enable discrimination with regard to the chest pain characteristics. We conclude that unselected referred patients with documented NCCP are more likely to have IBS and that the presence of oesophageal symptoms such as dysphagia may merely reflect the spectrum of the 'irritable gut'.     

Regulated production of type I collagen and inflammatory cytokines by peripheral blood fibrocytes

We recently described a novel population of blood-borne cells, termed fibrocytes, that display a distinct cell surface phenotype (collagen+/CD13+/CD34+/CD45+), rapidly enter sites of tissue injury, and contribute to scar formation. To further characterize the role of these cells in vivo, we examined the expression of type I collagen and cytokine mRNAs by cells isolated from wound chambers implanted into mice. Five days after chamber implantation, CD34+ fibrocytes but not CD14+ monocytes or CD90+ T cells expressed mRNA for type I collagen. Fibrocytes purified from wound chambers also were found to express mRNA for IL-1beta, IL-10, TNF-alpha, JE/MCP, MIP-1alpha, MIP-1beta, MIP-2, PDGF-A, TGF-beta1, and M-CSF. The addition of IL-1beta (1-100 ng/ml), a critical mediator in wound healing, to fibrocytes isolated from human peripheral blood induced the secretion of chemokines (MIP-1alpha, MIP-1beta, MCP-1, IL-8, and GRO alpha), hemopoietic growth factors (IL-6, IL-10, and macrophage-CSF), and the fibrogenic cytokine TNF-alpha. By contrast, IL-1beta decreased the constitutive secretion of type I collagen as measured by ELISA. Additional evidence for a role for fibrocytes in collagen production in vivo was obtained in studies of livers obtained from Schistosoma japonicum-infected mice. Mouse fibrocytes localized to areas of granuloma formation and connective matrix deposition. We conclude that fibrocytes are an important source of cytokines and type I collagen during both the inflammatory and the repair phase of the wound healing response. Furthermore, IL-1beta may act on fibrocytes to effect a phenotypic transition between a repair/remodeling and a proinflammatory mode.