A mathematical model for Escherichia coli debris size reduction during high pressure homogenisation based on grinding theory

Experimental data for E. coli debris size reduction during high-pressure homogenisation at 55 MPa are presented. A mathematical model based on grinding theory is developed to describe the data. The model is based on first-order breakage and compensation conditions. It does not require any assumption of a specified distribution for debris size and can be used given information on the initial size distribution of whole cells and the disruption efficiency during homogenisation. The number of homogeniser passes is incorporated into the model and used to describe the size reduction of non-induced stationary and induced E. coil cells during homogenisation. Regressing the results to the model equations gave an excellent fit to experimental data ( > 98.7% of variance explained for both fermentations), confirming the model's potential for predicting size reduction during high-pressure homogenisation. This study provides a means to optimise both homogenisation and disc-stack centrifugation conditions for recombinant product recovery. (C) 1997 Elsevier Science Ltd.

Simulated-annealing-based genetic algorithm for modeling the optical constants of solids

We propose a simulated-annealing-based genetic algorithm for solving model parameter estimation problems. The algorithm incorporates advantages of both genetic algorithms and simulated annealing. Tests on computer-generated synthetic data that closely resemble optical constants of a metal were performed to compare the efficiency of plain genetic algorithms against the simulated-annealing-based genetic algorithms. These tests assess the ability of the algorithms to and the global minimum and the accuracy of values obtained for model parameters. Finally, the algorithm with the best performance is used to fit the model dielectric function to data for platinum and aluminum. (C) 1997 Optical Society of America.

The chemistry of novolac resins .3. C-13 and N-15 nmr studies of curing with hexamethylenetetramine

The reactions between novolac resins and hexamethylenetetramine (HMTA) which occur on curing have been studied by C-13 and N-15 high-resolution n.m.r. in both solution and the solid state. Strong evidence for the existence of many curing intermediates is obtained. New curing intermediates are reported along with experimental data to support previously postulated intermediates. The initial curing reactions between novolac and HMTA produce various substituted benzoxazines and benzylamines. Thermal decomposition/oxidation and further reactions of these initial intermediates generate methylene linkages between phenolic rings for chain extension and cross-linking. Among the three kinds of methylene linkages, the para-para methylene linkages are formed at relatively lower temperatures. Various imine, amide and imide side-products also concurrently appear during the process. The initial amount of HMTA plays a critical role in the curing reactivity and chemical structures of the cured resins. The lower the amount of HMTA, the lower the temperature at which curing occurs, and the lower the amount of the nitrogen-containing side-products in the finally cured resins. The ortho-linked intermediates are relatively stable, and can remain in the cured resins up to higher temperatures. The study provides an extensive description of the curing reactions of novolac resins. (C) 1997 Elsevier Science Ltd.

Concurreny based transition refinement for the verification of distributed algorithms

We suggest a new notion of behaviour preserving transition refinement based on partial order semantics. This notion is called transition refinement. We introduced transition refinement for elementary (low-level) Petri Nets earlier. For modelling and verifying complex distributed algorithms, high-level (Algebraic) Petri nets are usually used. In this paper, we define transition refinement for Algebraic Petri Nets. This notion is more powerful than transition refinement for elementary Petri nets because it corresponds to the simultaneous refinement of several transitions in an elementary Petri net. Transition refinement is particularly suitable for refinement steps that increase the degree of distribution of an algorithm, e.g. when synchronous communication is replaced by asynchronous message passing. We study how to prove that a replacement of a transition is a transition refinement.