Multi-level simulation of metal-forming processes

The IBF has for some years made use of finite element programmes to solve metal-forming problems. In the course of this investigation, it has become evident that a problem-oriented adaptation of FEM simulation to the problem in hand is beneficial in terms of computation effort. The computation time for the process parameters is optimised in a multi-level simulation. At level 1 (global analysis) integral parameters such as the required force and required work are computed using a coarse FEM mesh. At level 2 (local analysis) an optimised number of elements is used to determine continuum mechanics parameters like stress, strain and temperature. Microscopic phenomena are simulated at level 3 (microscopic analysis), using special micro-material elements and thermodynamic models.     

Relative frequency of a subclavian vs. a transverse cervical origin for the dorsal scapular artery in humans

Scanning electron microscopy of external ornamentation and internal armature of the pharynx was used to identify females of Sergentomyia sensu stricto. Five species from the eastern Mediterranean basin were compared; S. minuta clearly was separated from species of the fallax-group. Within the fallax-group, S. fallax was distinguished readily by its heart-shaped pharynx and the difference in armature between the dorsal and lateral plates.     

Alternating,all-trans polyenynes: Model compounds for poly(diacetylene)s with defined conjugation length

The syntheses of polyenynes as model compounds for poly(diacetylene)s (PDAs) are described. Variation of properties (UV–VIS, Raman, NMR and bond geometries) as a function of the chain length was investigated. After extrapolation to infinite chain length these data were compared to those for PDAs. From UV–VIS spectra a value of λ = 551 nm (2.25 eV) was calculated corresponding to the electronic transition of a single polyenyne chain. This energy is located at the low energy end of a yellow PDA solution spectrum. From Raman scattering v_(C?C) = 2108–2128 cm^?1 and v_(C?C) = 1505–1532 cm^?1 were calculated after extrapolation. Similarly sp-C¹³C NMR data yielded a shift of δ = 100 ppm. These data are almost identical to data known for yellow PDA solutions. Bond geometries are almost identical to those of poly(diacetylene)s and theoretical data.     

Delayed self-heterodyne linewidth measurement of VCSELs

We report on high-resolution linewidth measurements of proton-implanted InGaAs-GaAs VCSELs employing the delayed self-heterodyne method. Devices with 16-/spl mu/m active diameter exhibit record low linewidths of 20 MHz and 4-MHz residual linewidth. The linewidth enhancement factor is accurately determined from the ratio of induced phase to amplitude modulation indexes.     

More applicable environmental scanning systems leveraging “modern” information systems

With Ansoff’s article about weak signals as a flagship example, a substantial body of knowledge about environmental scanning systems exists. However, these concepts often go unused in practice. The 2008/2009 economic crisis provided a strong, ongoing impulse for redesigning such information systems (IS). This article develops six guidelines for the conceptual design of environmental scanning systems that are more applicable than those specified by previous research. We start with literature research, which reveals three gaps in existing approaches. Then we develop design guidelines to fill these gaps with the help of “modern” IS. To address the lack of sound requirements analysis, our first design principle proposes 360-degree environmental scanning systems for executives and suggests how to select the most important scanning areas. Three further findings cover weaknesses in the IS model perspective, focusing on more effective implications of weak signals. In terms of method, we propose incorporating scanning results more closely into executives’ decision-making processes. Applying the design guidelines at a raw materials and engineering company, we arrive at a prototype we call the “corporate radar.” It includes an IS-based tree with economic value added at risk on top. The resulting lessons learned help to evaluate our findings and the research method presented here, as well provide concrete starting points for future research.     

The liberalized δ-rule in free variable semantic tableaux

In this paper we have a closer look at one of the rules of the tableau calculus presented by Fitting [4], called the -rule. We prove that a modification of this rule, called the ⁺-rule, which uses fewer free variables, is also sound and complete. We examine the relationship between the ⁺-rule and variations of the -rule presented by Smullyan [9]. This leads to a second proof of the soundness of the ⁺-rule. An example shows the relevance of this modification for building tableau-based theorem provers.     

Tests and Proofs

This special issue collects current advances in the ongoing attempt to obtain synergies from the combination of Tests and Proofs.     

Mass-controlled capillary viscometer for a Newtonian liquid: viscosity of water at different temperatures

The operation principle of the mass-controlled capillary viscometer is presented for a Newtonian liquid. The derived equation for the temporal changes of the mass in a liquid column draining under gravity through a discharge capillary tube accounts self-consistently for the inertial convective term associated with the acceleration effect. The viscosity of water measured at different temperatures using the new approach is in good agreement with literature data.     

Solid state reaction in sandwich-type Al/Cu thin films

Al/Cu/Al and Cu/Al/Cu triple layers with approximately 10 nm single layer thickness deposited on tungsten substrates were analyzed in the early stages of reactive interdiffusion by means of atom probe tomography. The first reaction product is found after 5 min thermal treatment at 110 degrees C and identified by direct chemical analysis to be Al2Cu. Surprisingly, we found a significant asymmetry in the reaction rate of the new phase with the stacking sequence: the thickness of the product grown at the interfaces, at which Cu is deposited on top of the Al layer, is approximately 1.5-2 times thicker than the other one at the interfaces at which Al is deposited onto a Cu layer. On the other hand, at both interfaces the thickness of the product layer depends parabolically on time. No precursory interdiffusion and no distinct nucleation process of the product are observed.