Scoring- und beidseitige Due-Diligence-Prozesse im Rahmen der Lieferantenauswahl beim Infrastrukturoutsourcing

Scoring and double-sided due diligence processes employed with vendor selection for IT infrastructure outsourcing Outsourcing opens the procurement of semi-finished products from business partners that are able to provide the respective processes in the required quality but at lower prices, e. g. because of bundling effects and specialization advantages. In particular, services that are not based on core-processes of an enterprise are well-suited for outsourcing. The evaluation of IT service outsourcing is difficult, because of its strategic position in enterprises. Against this background, this article describes a method to select a suitable vendor for IT infrastructure outsourcing employing scoring and double-sided due diligence processes. Our findings are based on experiences when selecting the vendor for outsourcing the European Information Technology Infrastructure (IT/I) area of the Deutsche Bank AG.     

Locales: A Module System for Mathematical Theories

Locales are a module system for managing theory hierarchies in a theorem prover through theory interpretation. They are available for the theorem prover Isabelle. In this paper, their semantics is defined in terms of local theories and morphisms. Locales aim at providing flexible means of extension and reuse. Theory modules (which are called locales) may be extended by definitions and theorems. Interpretation to Isabelle’s global theories and proof contexts is possible via morphisms. Even the locale hierarchy may be changed if declared relations between locales do not adequately reflect logical relations, which are implied by the locales’ specifications. By discussing their design and relating it to more commonly known structuring mechanisms of programming languages and provers, locales are made accessible to a wider audience beyond the users of Isabelle. The discussed mechanisms include ML-style functors, type classes and mixins (the latter are found in modern object-oriented languages).     

Improved γ-alumina support based pseudo-boehmite shaped by micro-extrusion process for oxygen carrier support application

γ-Alumina extrudates for chemical-looping combustion in fluidized bed reactors were shaped by varying acetic acid concentrations between 0.07 and 3.76 M. Influence of pseudo-boehmite peptization on structural properties, microstructure, chemical phases and attrition resistance was determined. With addition of acetic acid, the d₉₀ of boehmite agglomerates after 1 h kneading decreased from 134 to 40 μm at pH 4. Due to this, the extrusion diameter was reduced from 1500 to 200 μm, as well as median pore radii (from 30.1 to 5.3 nm). Porosity was about 70%. Addition of more than 1.87 M acid lead to a slight increase in mesopore sizes caused by some pore blocking caused by the formation of aluminium acetate salts. A small micropore surface was determined with t-layer model from Harkins and Jura. Higher attrition resistance was observed for samples peptized with lower acid concentration because of the closer contact between particles after decomposition.     

Properties and microstructure of copper-alloyed solid solution-strengthened ductile iron

Solid solution-strengthened ductile iron (DI) exhibits outstanding mechanical properties due to the high silicon content. The strengthening by silicon addition is limited since additions above 4.3?wt-% lead to embrittlement. For a further improvement of mechanical properties, other alloying elements need to be considered. In the present work, the effect of various copper additions on the microstructure and the mechanical properties of solid solution-strengthened DI were investigated. The results show that no appreciable strengthening can be achieved by copper addition without the formation of pearlite in the matrix. The pearlite content increases considerably for Cu-additions above 0.23?wt-% and is independent of the cooling rate for the cooling conditions analysed.     

Phase Transformations and Grain Growth in β-stabilized TiAl Alloys

Solid-state phase transformations and grain growth of an intermetallic γ-TiAl alloy were investigated in-situ using high-temperature laser scanning confocal microscopy (HTLSCM). During isothermal annealing in the single β-phase region, significant grain coarsening was observed. On cooling beneath the β-transus temperature with different rates, a CCT diagram was evaluated for the initiation of β to α phase transformation and changes in the morphology were observed.