Experiments and modification on electron cyclotron resonance ion sources at the Institute of Modern Physics

Uranium ion beams were produced from electron cyclotron resonance (ECR) ion sources by sputtering method this year at the Institute of Modern Physics. At first, we chose the Lanzhou ECR No. 3 ion source to implement the production experiment of U ion beams. Finally, 11 e mu A of U28+, 5 e mu A of U32+, and 1.5 e mu A of U35+ were obtained. A U26+ ion beam produced by the LECR2 ion source was accelerated successfully by the cyclotron. This means that the Heavy Ion Research Facility in Lanzhou (HIRFL) has accomplished the acceleration of the ion beam of the heaviest element according to the designed parameters. The Lanzhou ECR ion source No. 2 (LECR2), which was built in 1997, has served the HIRFL for eight years and needed to be upgraded to provide more intense high charge state ion beams for HIRFL cooling storage ring. We started the upgrading project of LECR2 last year, and the modified design just has been finished. (c) 2006 American Institute of Physics.

Research and development of catalytic processes for petroleum and natural gas conversions in the Dalian Institute of Chemical Physics

The Dalian Institute of Chemical Physics (DICP) of the Chinese Academy of Sciences has a long history in the R&D of catalysts and catalytic processes for petroleum and natural gas conversions in China. In this paper, results and features of some commercialized petrochemical catalysts and processes as well as newly developed processes for natural gas conversion in the pilot-plant stage are described. (C) 1999 Elsevier Science B.V. All rights reserved.

The Structure of Mathematical Knowledge

This report develops a conceptual framework in which to talk about mathematical knowledge. There are several broad categories of mathematical knowledge: results which contain the traditional logical aspects of mathematics; examples which contain illustrative material; and concepts which include formal and informal ideas, that is, definitions and heuristics.

Quantum Stratonovich Stochastic Calculus and the Quantum Wong-Zakai Theorem

Gough, John, 'Quantum Stratonovich Stochastic Calculus and the Quantum Wong-Zakai Theorem', Journal of Mathematical Physics. 47, 113509, (2006)

On the problems of object restoration and image extrapolation in optics

In this paper we consider the problems of object restoration and image extrapolation, according to the regularization theory of improperly posed problems. In order to take into account the stochastic nature of the noise and to introduce the main concepts of information theory, great attention is devoted to the probabilistic methods of regularization. The kind of the restored continuity is investigated in detail; in particular we prove that, while the image extrapolation presents a Hölder type stability, the object restoration has only a logarithmic continuity. © 1979 American Institute of Physics.

The calculator as an instrument of validation of mathematical knowledge: a case study

En este trabajo se describe una experiencia llevada a cabo con profesores de matemáticas en formación, sobre el papel que pueden desarrollar las nuevas tecnologías para llevar a cabo procesos de demostración y prueba en el aula de secundaria.

The calculator as an instrument of validation of mathematical knowledge: a case study (extended version)

En este trabajo se describe detalladamente una experiencia llevada a cabo con profesores de matemáticas en formación, sobre el papel que pueden desarrollar las nuevas tecnologías para llevar a cabo procesos de demostración y prueba en el aula de secundaria.

The numerical modelling of multi-physics phenomena: The shape casting process

In this paper a computer simulation tool capable of modelling multi-physics processes in complex geometry has been developed and applied to the casting process. The quest for high-quality complex casting components demanded by the aerospace and automobile industries, requires more precise numerical modelling techniques and one that need to be generic and modular in its approach to modelling multi-processes problems. For such a computer model to be successful in shape casting, the complete casting process needs to be addressed, the major events being:-• Filling of hot liquid metal into a cavity mould • Solidification and latent heat evolution of liquid metal • Convection currents generated in liquid metal by thermal gradients • Deformation of cast and stress development in solidified metal • Macroscopic porosity formation The above phenomena combines the analysis of fluid flow, heat transfer, change of phase and thermal stress development. None of these events can be treated in isolation as they inexorably interact with each other in a complex way. Also conditions such as design of running system, location of feeders and chills, moulding materials and types of boundary conditions can all affect on the final cast quality and must be appropriately represented in the model.