Positive interpolation with rational quadratic splines

A necessary and sufficient criterion is presented under which the property of positivity carry over from the data set to rational quadratic spline interpolants. The criterion can always be satisfied if the occuring parameters are properly chosen.     

Putting it all together – Formal verification of the VAMP

In the verified architecture microprocessor (VAMP) project we have designed, functionally verified, and synthesized a processor with full DLX instruction set, delayed branch, Tomasulo scheduler, maskable nested precise interrupts, pipelined fully IEEE compatible dual precision floating point unit with variable latency, and separate instruction and data caches. The verification has been carried out in the theorem proving system PVS. The processor has been implemented on a Xilinx FPGA. A shorter version of this article with the title “Instantiating uninterpreted functional units and memory system: functional verification of the VAMP” appeared in [8]. The work reported here was done while all the authors were with Saarland University.     

刚性棒状全芳香液晶聚酯的合成及性质的研究

以溴和苯基取代的对苯二甲酰氯及2，2′-二甲基联苯-4，4′-二甲酰氯作为单体，分别与甲基、叔丁基、苯基取代的对苯二酚经熔融缩聚反应，合成一类具有刚性棒状结构的全芳香液晶聚酯。聚酯的热性质以TGA、DSC，热台偏光显微镜研究。所有的聚酯均为热致性液晶，它们具有相对较低的转变温度，在普通的有机溶剂中具有较好的溶解性质。     

Magnetic force microscopy studies on the magnetic ordering in organic materials induced by high-energy proton irradiation

In this study, ferromagnetic microstructures in highly oriented pyrolytic graphite and superparamagnetic spots in polyimide foils were created by 2.25 MeV proton microbeam irradiation and characterized using atomic and magnetic force microscopy. For this purpose, graphite samples were irradiated with cross-like patterns of 15 μm × 15 μm size using ion fluences in the range of (0.003–2.5) × 10¹⁸ cm⁻². The irradiated crosses showed strong magnetic signals and a complex domain structure in the magnetic images depending on the geometrical dimensions of the crosses. Furthermore, polyimide foils were irradiated with microspots and fluences in the range of (0.016–3.1) × 10¹⁹ cm⁻². Magnetic force microscopy shows very strong phase shifts in these irradiated areas.     

Kinetic studies on strawberry anthocyanin hydrolysis by a thermostable anthocyanin-β-glycosidase from Aspergillus niger

Several kinetic characteristics of a thermostable anthocyanin-β-glycosidase from Aspergillus niger have been evaluated. With strawberry anthocyanins as substrate, at pH optimum (4·0) and t = 30°C, K_m was found to be $\text{123 ± 4 μ}\text{m}$ and V_max, 1·16 ± 0·06 μmol min^?1mg^?1 protein. Temperature optimum was observed at about 68°C. The apparent energy of activation was calculated to be 11 ± 1 kcal/mol. The inhibitory effect of different sugars and sugar derivatives was examined. Glucono-deltalactone ($\text{K}{}_{\mathrm{<mtext>i</mtext>}}\text{= 2·3 ± 0·1 μ}\text{m}$), gluconic acid ($\text{K}{}_{\mathrm{<mtext>i</mtext>}}\text{= 82 ± 2 μ}\text{m}$) and glucose ($\text{K}{}_{\mathrm{<mtext>i</mtext>}}\text{= 1·3 ± 0·1}\text{m}\text{m}$) appeared to be competitive inhibitors of this enzyme.     

Entschwefelung von gerührtem und ungerührtem Roheisen mit kalkreicher Schlacke unter oxidierender Gasatmosphäre

Aus Betriebsergebnissen bei der Pfannenentschwefelung ist ein negativer Einfluß oxidierender Gasphasen bekannt. Daher war es das Ziel der eigenen Untersuchungen in einer geeigneten Apparatur die Wirkung oxidierender Bedingungen in der Gasphase sowohl auf den Verlauf des Schwefelabbaues in der Schlacke als auch des Schwefeltransportes aus dem Roheisen in die Schlacke zu untersuchen. Oxidierende Gasphasen erwirken bei der Pfannenentschwefelung an der Phasengrenze Schlacke/Gas eine Oxidation des Schwefels aus der Schlacke, ohne jedoch bei ruhender Schlackenschicht ein Oxidationspotential in der Schlacke aufzubauen, das bis zur Phasengrenze Roheisen/Schlacke durchgreift und dort die Entschwefelung des Roheisens durch die Siliciumgehalte stört. Sowohl die Entschwefelung des Roheisens als auch die Oxidation des Schwefels aus der Schlacke werden durch höhere Temperaturen und durch eine Rührwirkung gefördert. Der Schwefeltransport wird bei den ungerührten wie bei den gerührten Schmelzen durch Diffusionsvorgänge gesteuert und auch hier durch steigende Temperaturen und rührende Kräfte begünstigt.     

A microbubble-powered bioparticle actuator

We present the results of a device that uses controllable microbubble actuation to manipulate bioparticles. In order to create a useful device for controlling the position of bioparticles, predictable microfluidic actuation is crucial. The goal of this project was to develop fundamental technology that can be used to manipulate single bioparticles (e.g., cells). We use a thermal bubble actuation method to accomplish this goal. Microbubbles have the advantages of relatively simple electronics and fabrication but can be difficult to control. In this paper, we describe two specific accomplishments: the use of micromachined nucleation cavities to precisely localize thermal bubbles and to achieve controllable bubble formation temperatures and bubble dissipation and the demonstration of controllable microbubbles in a new device for particle sorting.     

Application of the FE‐Method to the Simulation of Fatigue Crack Growth in real Structures

In the following paper at first general concepts which have to be considered for the accomplishment of a 3D fatigue crack propagation simulation by the FE‐method in real structures are introduced. In doing so numerical aspects concerning the necessary mesh generation as well as fracture mechanical issues will be discussed. Furthermore the 3D crack simulation program ADAPCRACK3D, which has been developed at the Institute of Applied Mechanics at University of Paderborn, is presented in its general functionality. The simulation example of the crack propagation in a shutter ring of a hydraulic press shows the practical relevance of both the implemented algorithms and fracture mechanical concepts.