Effect of the preparation technique on the catalytic properties of mesoporous V-HMS for the oxidation of toluene

Various mesoporous catalysts with vanadium loadings between 0.5 and 6 V wt.% and surface areas around 1300 m(2)/g were synthesized using the isomorphous substitution (IS) and molecular designed dispersion (MDD) techniques. Their catalytic properties were tested using toluene as a model VOC in a fixed bed reactor at temperatures between 300 and 550 degrees C. It was found that during the oxidation of toluene, over V-HMS synthesized via IS, conversion of toluene mainly results in carbon oxides, benzene, benzaldehyde and water. Total conversion is greatly improved when the vanadium content is increased from around 1.5 to 3.0 wt.%, but an increase in the textural porosity (V-TEX/V-MESO) from 0.3 to 0.6 had no discernable effect on the conversion. This can be explained by the fact that a V-TEX/V-MESO as low as 0.3 is sufficient to facilitate the access of toluene into the framework confined mesopores without any molecular transport limitations. However, when using V-HMS synthesized by MDD, conversion of toluene is greatly improved when the V-TEX/ V-MESO ratio is increased from 0.1 to 0.6. This is because the diffusion limitations are minimized by this increase. V-HMS synthesized via MDD does not exhibit selectivity to benzaldehyde, favoring total oxidation to CO and CO2. This different oxidation mechanism can be explained in terms of location, accessibility and number of active species on the surface of the HMS support. (c) 2005 Elsevier Inc. All rights reserved.

Construction of an Intraplate Fault System Model of South Australia, and Simulation Tool for the iSERVO Institute Seed Project

To foster ongoing international cooperation beyond ACES (APEC Cooperation for Earthquake Simulation) on the simulation of solid earth phenomena, agreement was reached to work towards establishment of a frontier international research institute for simulating the solid earth: iSERVO = International Solid Earth Research Virtual Observatory institute (http://www.iservo.edu.au). This paper outlines a key Australian contribution towards the iSERVO institute seed project, this is the construction of: (1) a typical intraplate fault system model using practical fault system data of South Australia (i.e., SA interacting fault model), which includes data management and editing, geometrical modeling and mesh generation; and (2) a finite-element based software tool, which is built on our long-term and ongoing effort to develop the R-minimum strategy based finite-element computational algorithm and software tool for modelling three-dimensional nonlinear frictional contact behavior between multiple deformable bodies with the arbitrarily-shaped contact element strategy. A numerical simulation of the SA fault system is carried out using this software tool to demonstrate its capability and our efforts towards seeding the iSERVO Institute.

Viewpoint-based testing of concurrent components

The use of multiple partial viewpoints is recommended for specification. We believe they also can be useful for devising strategies for testing. In this paper, we use Object-Z to formally specify concurrent Java components from viewpoints based on the separation of application and synchronisation concerns inherent in Java monitors. We then use the Test-Template Framework on the Object-Z viewpoints to devise a strategy for testing the components. When combining the test templates for the different viewpoints we focus on the observable behaviour of the application to systematically derive a practical testing strategy. The Producer-Consumer and Readers-Writers problems are considered as case studies.

Biologically inspired visual landmark processing for simultaneous localization and mapping

This paper illustrates a method for finding useful visual landmarks for performing simultaneous localization and mapping (SLAM). The method is based loosely on biological principles, using layers of filtering and pooling to create learned templates that correspond to different views of the environment. Rather than using a set of landmarks and reporting range and bearing to the landmark, this system maps views to poses. The challenge is to produce a system that produces the same view for small changes in robot pose, but provides different views for larger changes in pose. The method has been developed to interface with the RatSLAM system, a biologically inspired method of SLAM. The paper describes the method of learning and recalling visual landmarks in detail, and shows the performance of the visual system in real robot tests.