Pore structure of bulk tungsten carbide powder catalysts

Bulk tungsten carbide catalysts are prepared by direct carburization/reduction of tungsten trioxide in methane-hydrogen mixtures. The catalytic properties of such catalysts have been studied by several authors. The porous structure of these catalysts is studied by adsorption of N₂, Kr, CF₄ and neohexane. Adsorption isotherms and hysteresis loops for the catalysts suggest the presence of a microporous structure made of parallel plates distant approximately by 20 Å. These results are compared to those obtained using such catalysts for hydrogen oxidation and where condensation in the porous structure was observed.     

Application of K2CO3 catalysts in the coal gasification process using nuclear heat

Conventional gasification processes use coal not only as feedstock to be gasified but also for supply of energy for reaction heat, steam production, and other purposes. With a nuclear high temperature reactor (HTR) as a source for process heat, it is possible to transform the whole of the coal feed into gas. This concept offers advantages over existing gasification processes: saving of coal, as more gas can be produced from coal; less emission of pollutants, as the HTR is used for the production of steam and electricity instead of a coal-fired boiler; and a lower production cost for the gas. However, the process has the disadvantage that the temperature is limited to the outlet temperature (950 °C max) of the helium cooling gas of the HTR. Therefore the possibility of catalytic steam gasification was examined. Model calculations based on experimental results show that use of 3–4 wt% relative to coal of K²CO³ catalyst increases the throughput of a large scale nuclear gasification plant by ≈65%, while gas production costs decrease by ≈15%. Corrosion by catalysts is not significant at low concentration (< 5 wt%) and low temperature (< 900 °C).     

Forced intercalation probes (FIT Probes): thiazole orange as a fluorescent base in peptide nucleic acids for homogeneous single-nucleotide-polymorphism detection

Fluorescent base analogues in DNA are versatile probes of nucleic acid-nucleic acid and nucleic acid-protein interactions. New peptide nucleic acid (PNA) based probes are described in which the intercalator dye thiazole orange (TO) serves as a base surrogate. The investigation of six TO derivatives revealed that the linker length and the conjugation site decided whether a base surrogate conveys sequence-selective DNA binding and whether fluorescence is increased or decreased upon single-mismatched hybridization. One TO derivative conferred universal PNA-DNA base pairing while maintaining duplex stability and hybridization selectivity. TO fluorescence increased up to 26-fold upon hybridization. In contrast to most other probes, in which fluorescence is invariant once hybridization had occurred, the emission of TO-containing PNA probes is attenuated when forced to intercalate next to a mismatched base pair. The specificity of DNA detection is therefore not limited by the selectivity of probe-target binding and a DNA target can be distinguished from its single-base mutant under nonstringent hybridization conditions. This property should be of advantage for real-time quantitative PCR and nucleic acid detection within living cells.     

Early hydration of tricalcium silicate I. Kinetics of the hydration process and the stoichiometry of the hydration products

The initial hydration of C₃S in paste form at room temperature was studied. The process is initiated by a short lasting rapid hydration in which about 1 – 2% of C₃S is hydrated and a hydrate with low C/S and high H/S ratio is formed. After a subsequent induction period of 4 hours a renewed rapid hydration is observed in which a hydrate of constant stoichiometric composition, independent on the time of hydration is formed. This hydrate has a higher C/S and lower H/S ratio than the one formed initially. The liquid phase stays supersaturated with respect to calcium hydroxide for several hours after the induction period is terminated.     

The reduction/oxidation behaviour of MnAPO-5 as studied by ESR spectroscopy

It is shown by ESR spectroscopy that Mn²⁺ ions in MnAPO-5 are oxidized to Mn³⁺ during calcination atT475 K. Mn²⁺ occupies variously distorted tetrahedral positions within the framework and in extra-lattice sites. Octahedrally coordinated Mn²⁺ presumably located in the channels becomes detectable after adsorption of water. The ESR spectra of reduced MnAPO-5 show line-narrowing due to spin exchange interactions. The material behaves reversible in redox cycles at temperatures near 500 K.     

Production of niobium powder by magnesiothermic reduction of niobium oxides in a cyclone reactor

In the last years, a variety of processes respectively process steps have been investigated for the production of niobium powder. This is due to the fact that niobium capacitors could be a viable alternative to tantalum capacitors from a performance, availability, and price point of view. The reduction of niobium pentoxide by magnesium results in fine powders with high specific surface area but has the disadvantages of a very exothermic nature and the formation of magnesium niobate. It is shown in this work that the application of a continuously operating cyclone reactor and the use of niobium(IV) oxide as raw material solve these problems. A good control of the highly exothermic reaction within the cyclone reactor was achieved in the cyclone reactor by the ratio between gas flow rate and powder flow rate as well as by a proper preheating of the gas.     

Contract-based verification of discrete-time multi-rate Simulink models

This paper presents an approach to modular contract-based verification of discrete-time multi-rate Simulink models. The verification approach uses a translation of Simulink models to sequential programs that can then be verified using traditional software verification techniques. Automatic generation of the proof obligations needed for verification of correctness with respect to contracts, and automatic proofs are also discussed. Furthermore, the paper provides detailed discussions about the correctness of each step in the verification process. The verification approach is demonstrated on a case study involving control software for prevention of pressure peaks in hydraulics systems.     

An architectural counterpoint in Universal Everything: Fluid Bodies exhibition

ABSTRACT

This exhibition review focuses on the quest for weaving boundaries between body-form-space-and material relationship using immersive technologies. Emerging as an architectural counterpoint, Universal Everything: Fluid Bodies exhibition held in Borusan Contemporary focuses on how we perceive the motion and form in relation to it, as well as fusing senses of kinaesthetic and synaesthetic through a data driven and motion-based visual representation. Through these algorithms, the exhibition displays how neuroarchitecture reminds us of the senses of perception. The architectural counterpoint, intention as an interaction and encounter of the body with ‘the machine’ as the ‘voyeur body’ and how this observational dialogue becomes a research methodology in understanding the nature of movement in space through digital tools.