Ion exchange kinetics of the protonation of weak acid ion exchange resins

A mathematical model to describe the protonation of weak acid ion-exchange resins with various acids has been developed. The charge profiles calculated using the theory are demonstrated by photographs. Interdiffusion coefficients in the resin phase have been determined and it is shown how they depend on the system parameters and on the properties of the resin.     

Study of rotational mobility of stable nitroxide radicals in solid polymers

The rotational mobility of stable nitroxide radicals in PS, PMMA, PVC, PP and PE has been studied over a wide temperature range by the e.s.r. method. At temperatures T lower than T_g, spin probes act as kinetically independent particles, the rotational frequency of which is deter mined mainly by the micropore dimensions of the polymer and depends indirectly on the mobility of segments or side groups.     

Improved bibliographic reference parsing based on repeated patterns

Parsing details like author names and titles out of bibliographic references of scientific publications is an important issue that has received considerable attention recently. However, most existing techniques are tailored to the highly standardized reference styles used in the last two to three decades. They do not perform well with the wide variety of reference styles used in older, historic publications. Thus, they are of limited use when creating comprehensive bibliographies covering both historic and contemporary scientific publications. This paper presents a generic approach to bibliographic reference parsing, named RefParse, which is independent of any specific reference style. Its core feature is an inference mechanism that exploits the regularities inherent in any list of references to deduce its format. In addition, our approach learns names of authors, journals, and publishers to increase the accuracy in scenarios where human users double check parsing results to increase data quality. Our evaluation shows that our approach performs comparably to existing ones with contemporary reference lists and also works well with older ones.     

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.     

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.     

Transverse mixing and heat transfer in horizontal rotary drum reactors

The transverse mixing of quartz sand (mean particle sizes 157, 323, 794 and 1038 μm) and sodium carbonate (soda) (mean particle size 137 μm) has been investigated in a laboratory rotary drum reactor of 300 mm length and 310 mm diam. Solid movement in the drum was observed by means of colored tracers and successive exposures as well as by means of hot tracers and recording the local temperature in the bulk of particles. Three different types of the particles and bulk behaviour could be observed for stickly particles. The time constant of the mixing was estimated as a function of the rotational speed of the drum. The “cooling-down” curves of the bulk of particles were measured in a laboratory oven of 250 mm diam. and 600 mm length. The temperature variation as a function of the time can be described by the Newtonian cooling law, from which the heat transfer coefficient at the wall α_w was estimated.The absolute value of α_w's and their dependence on the contact time and particle diameter cannot be calculated by the heat penetration model, which disregards the film resistance at the bulk/wall contact. By taking into account this resistance a good quality of fitting can be achieved.     

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.