A geometric solution to the largest-free-sphere problem in zeolite frameworks

We have applied Delaunay triangulation to models of the known zeolite frameworks. We show that this well-established technique from computational geometry provides for each framework; (i) the location and shape of the open pores and channels, (ii) the diameter of the largest possible included sphere, and indirectly (iii) the diameter of the largest-free-sphere that can diffuse through the framework by at least one lattice translation. Since Delaunay triangulation naturally locates the empty spaces within a set of points, it provides a powerful computer-automated tool for determining the physical characteristics of pores and channels of zeolite frameworks. Such tools will further enhance the usefulness of large databases of hypothetical framework materials.

Here, we tabulate results for the 165 zeolite frameworks that are presently listed in the Atlas of Zeolite Frameworks. Of the known zeolites, refined as pure silicates, the largest included sphere occurs in the TSC framework, with a diameter of 16.39 Å. The largest-free-sphere has a diameter of 11.33 Å, for diffusion along the [0 0 1] direction in the VFI framework.     

Novel Gas-Liquid-Solid Reactors

Multiphase reactors involving gas, liquid, and solid phases have several important applications in the chemical industry, particularly in catalytic processes. Some of the well-known examples are: hydrogenation and oxidation of organic compounds, hydro-processing coal-derived and petroleum oils, Fischer-Tropsch synthesis, and methanation reactions. Due to the presence of three phases, the problem of reactor design is often important to achieve effective mass and heat transfer as well as a mixing pattern favorable to the particular process. The reactors are mainly of two types: (a) solid catalyst is suspended either by mechanical agitation or gas-induced agitation and (b) solid catalyst is in a fixed bed with concurrent or countercurrent feed of gas and liquid re-actants. The reactor types conventionally used in industry are: (a) mechanically agitated or bubble column slurry reactors and (b) trickle-bed or packed-bed bubble reactor. The various design and modeling aspects of these reactors have been reviewed by Satterfield [1], Chaudhari and Ramachandran [2], Shah [3,4], Ramachandran and Chaudhari [5], Shah et al. [6], and Herskowitz and Smith [7]. In several industrial processes these reactor designs are modified to achieve a certain specific objective, such as better heat or mass transfer, higher catalyst efficiency, better reactor performance and selectivity, etc. Similarly, specially designed reactors are often used for laboratory kinetic studies or to understand a certain phenomenon. Thus, novel multiphase reactors are becoming important from both academic and industrial viewpoints. Some of the recently introduced novel gas-liquid-solid reactor types are: (a) loop recycle slurry reactors, (b) basket-type reactors, (c) ebullated-bed reactors, (d) internal or external recycle reactors, (e) multistage slurry or packed-bed reactors, (f) column reactors with sieve trays or multiple agitators, (g) gas-induced agitated reactors, and (h) horizontal-packed-bed reactors. are being used in several new commercial processes, and various design aspects, such as hydrodynamics and mass and heat transfer, have been the subject of investigations in the last few years. However, no attempt to review the scattered information on these novel gas-liquid-solid reactors has been made. Therefore, the main objective of this paper is to review important developments in novel gas-liquid-solid reactors. For each type of reactor, advantages, disadvantages, and applications are discussed. Further, the status of information on hydrodynamics and mass transfer parameters and scale-up considerations is reviewed. These novel reactor designs are being used in several new commercial processes, and various design aspects, such as hydrodynamics and mass and heat transfer, have been the subject of investigations in the last few years. However, no attempt to review the scattered information on these novel gas-liquid-solid reactors has been made. Therefore, the main objective of this paper is to review important developments in novel gas-liquid-solid reactors. For each type of reactor, advantages, disadvantages, and applications are discussed. Further, the status of information on hydrodynamics and mass transfer parameters and scale-up considerations is reviewed.     

Template-based program verification and program synthesis

Program verification is the task of automatically generating proofs for a program’s compliance with a given specification. Program synthesis is the task of automatically generating a program that meets a given specification. Both program verification and program synthesis can be viewed as search problems, for proofs and programs, respectively. For these search problems, we present approaches based on user-provided insights in the form of templates. Templates are hints about the syntactic forms of the invariants and programs, and help guide the search for solutions. We show how to reduce the template-based search problem to satisfiability solving, which permits the use of off-the-shelf solvers to efficiently explore the search space. Template-based approaches have allowed us to verify and synthesize programs outside the abilities of previous verifiers and synthesizers. Our approach can verify and synthesize difficult algorithmic textbook programs (e.g., sorting and dynamic programming-based algorithms) and difficult arithmetic programs.     

Effects of code growth and parsimony pressure on populations in genetic programming

Parsimony pressure, the explicit penalization of larger programs, has been increasingly used as a means of controlling code growth in genetic programming. However, in many cases parsimony pressure degrades the performance of the genetic program. In this paper we show that poor average results with parsimony pressure are a result of "failed" populations that overshadow the results of populations that incorporate parsimony pressure successfully. Additionally, we show that the effect of parsimony pressure can be measured by calculating the relationship between program size and performance within the population. This measure can be used as a partial indicator of success or failure for individual populations.     

Localization of Luminescent Inhomogeneities in Turbid Media with Spatially Resolved Measurements of cw Diffuse Luminescence Emittance

We present a steady-state method for localizing a source ofluminescence (i.e., fluorescence or phosphorescence) buried in asemi-infinite turbid medium with unknown optical properties. Adiffusion theory expression describing the emittance of an isotropicpoint source is fit to spatially resolved surface measurements of thediffuse emittance from the luminescent source. The techniquereports the location of the center of a 6.0-mm-diameter, fluorophore-containing spherical bulb embedded in a liquid phantom withan accuracy of 1.0 mm or better for source depths as great as 40.0mm. Monte Carlo data are analyzed to investigate the range and thepossible sources of error in the reconstructed source depth.     

Effects of metal-contaminated soils on the growth, sexual development, and early cocoon production of the earthworm Eisenia fetida, with particular reference to zinc

Juvenile Eisenia fetida (Savigny) were exposed for 20 weeks to an uncontaminated soil and to soils contaminated with cadmium, copper, lead, and zinc collected from seven sites at different distances from a smelting works at Avonmouth, southwest England. The survival, growth (= weight after 5 weeks exposure), time to sexual maturation (= percentages of adults present after 8 weeks), and reproduction (= number of cocoons produced by the worms) were compared with soil metal concentrations. Of the parameters measured, growth and sexual maturation time had the lowest EC50 values. The effects of metal-contaminated soils could be attributed both to the direct toxicity of the metals and to changes in the "scope for growth" of the exposed worms. A comparison of the results with those of an earlier toxicity test conducted with adult worms indicated that juveniles are more sensitive to metals than adults. Significant toxic effects on the growth and sexual maturation times of juveniles were detected in soils from sites for which no significant effects on the cocoon production of adults could be detected. The greater sensitivity of juvenile worms indicates the importance of considering effects on a variety of life history stages when conducting a risk assessment of the effects of pollutants in soils. Although E. fetida does not occur naturally in soils at Avonmouth, the present study provides evidence to support the suggestion that pollution from the smelter is responsible for the absence of worms within 2 km of the factory. Results presented in this paper, and from previous studies, suggest the observed absence is due to the effects of zinc on the growth and maturation of juveniles and the cocoon production rate of adult worms.     

Development into blastocysts of bovine oocytes cryopreserved by ultra-rapid cooling

The objective of the research described was to devise an efficient procedure to cryopreserve in vitro-matured bovine oocytes, using in vitro fertilization (IVF) and development of resultant zygotes into blastocysts as criteria of oocyte survival. Oocytes at metaphase II were found to be extremely sensitive to chilling. Cooling them to O degrees C for as little as 5 sec significantly decreased their capability to cleave and develop further after IVF; after 80 sec at 0 degrees C, only approximately 10% of chilled oocytes developed into blastocysts. Oocytes were also adversely affected by brief exposures to 4 M and 5.5 M ethylene glycol (EG) solutions supplemented with sucrose; after being suspended in either of these EG solutions in plastic straws and plunged directly into liquid nitrogen (LN2), few of the oocytes were fertilized and developed. To "outrace" chilling injury, oocytes contained in < 1 microliter of EG solution were placed onto electron microscope grids and plunged directly into N2 slush or LN2. After such ultra-rapidly cooled oocytes were warmed, 30% of them cleaved after IVF, and half of these developed into blastocysts-- survival rates equivalent to those for oocytes that had been exposed to EG without any cooling. This method offers promise as a novel way to cryopreserve bovine oocytes.     

Physical and thermal strain of firefighters according to the firefighting tactics used to suppress wildfires

The aim of this study was to analyse the physiological strain of firefighters, using heart rate (HR) and core temperature, during real wildfire suppression according to the type of attack performed (direct, indirect or mixed). Three intensity zones were established according to the HR corresponding to the ventilatory threshold (VT) and respiratory compensation threshold (RCT): zone 1, RCT. The exercise workload (training impulse (TRIMP)), the physiological strain index (PSI) and the cumulative heat strain index(CHSI) were calculated using the time spent in each zone, and the HR and core temperature, respectively. Significantly higher mean HR, time spent in Z2 and Z3 and TRIMP h(-1) were found in direct and mixed versus indirect attacks. The highest PSI and CHSI were observed in the direct attack. In conclusion, exercise strain and combined thermal strain, but not core temperature during wildfire suppression, are related to the type of attack performed. STATEMENT OF RELEVANCE: Our findings demonstrated that wildfire firefighting is associated with high physiological demands, which vary significantly depending on the tactics chosen for performing the task. These results should be kept in mind when planning programmes to improve wildland firefighters' physical fitness, which will allow improvement in their performance.     

A threshold insensitive method for locating the forest canopy top with waveform lidar

Lidars have the unique ability to make direct, physical measurements of forest height and vertical structure in much denser canopies than is possible with passive optical or short wavelength radars. However the literature reports a consistent underestimate of tree height when using physically based methods, necessitating empirical corrections. This bias is a result of overestimating the range to the canopy top due to background noise and failing to correctly identify the ground.This paper introduces a method, referred to as “noise tracking”, to avoid biases when determining the range to the canopy top. Simulated waveforms, created with Monte-Carlo ray tracing over geometrically explicit forest models, are used to test noise tracking against simple thresholding over a range of forest and system characteristics. It was found that noise tracking almost completely removed the bias in all situations except for very high noise levels and very low (< 10%) canopy covers. In all cases noise tracking gave lower errors than simple thresholding and had a lower sensitivity to the initial noise threshold.Finite laser pulses spread out the measured signal, potentially overriding the benefit of noise tracking. In the past laser pulse length has been corrected by adding half that length to the signal start range. This investigation suggests that this is not always appropriate for simple thresholding and that the results for noise tracking were more directly related to pulse length than for simple thresholding. That this effect has not been commented on before may be due to the possible confounding impacts of instrument and survey characteristics inherent in field data. This method should help improve the accuracy of waveform lidar measurements of forests, whether using airborne or spaceborne instruments.