静电加速管中强流空间电荷效应的研究

 对一种工业用大功率电子加速器(450kW)的加速管中的空间电荷效应作了5点假设，建立了物理模型。对模型的束内外径向电位分布、空间电荷对轴上电位的影响，以及空间电荷力对束流传输的影响等进行了理论分析，得到了束内径向电位分布。结果表明：束流内部径向电位沿径向均呈抛物线变化，并在轴上达到最小值；而空间电荷产生的束内电场与半径呈线性变化；空间电荷不仅会引起轴上电位的跌落，而且对束流有发散作用，特别是在电子速度较低时更为明显。在考虑了空间电荷效应后，强流静电加速管的电场设计关键在加速管的前端，与弱流加速管相比，强流加速管的电场变化要大得多。     

Factorization of operator valued Lp for 0 ≤ p < 1

In [5], it is proved that a bounded linear operator u, from a Banach space Y into an L_p(S, ν) factors through L_p1 (S, ν) for some p₁ > 1, if Y* is of finite cotype; (S, ν) is a probability space for p = 0, and any measure space for 0 < p < 1. In this paper, we generalize this result to uv, where u : Y → L_p(S, ν) and v : X → Y are linear operators such that v* is of finite Ka?in cotype. This result gives also a new proof of Grothendieck's theorem. (© 2004 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Carousels,Zindler curves and the floating body problem

A carousel is a dynamical system that describes the movement of an equilateral linkage in which the midpoint of each rod travels parallel to it. They are closely related to the floating body problem. We prove, using the work of Auerbach, that any figure that floats in equilibrium in every position is drawn by a carousel. Of special interest are such figures with rational perimetral density of the floating chords, which are then drawn by carousels. In particular, we prove that for some perimetral densities the only such figure is the circle, as the problem suggests.     

Minimal expansions in redundant number systems: Fibonacci bases and Greedy algorithms

We study digit expansions with arbitrary integer digits in base q (q integer) and the Fibonacci base such that the sum of the absolute values of the digits is minimal. For the Fibonacci case, we describe a unique minimal expansion and give a greedy algorithm to compute it. Additionally, transducers to calculate minimal expansions from other expansions are given. For the case of even integer bases q, similar results are given which complement those given in [6].     

Deciding confluence of certain term rewriting systems in polynomial time

We present a characterization of confluence for term rewriting systems, which is then refined for special classes of rewriting systems. The refined characterization is used to obtain a polynomial time algorithm for deciding the confluence of ground term rewrite systems. The same approach also shows the decidability of confluence for shallow and linear term rewriting systems. The decision procedure has a polynomial time complexity under the assumption that the maximum arity of a function symbol in the signature is a constant.     

Modelling of an underground waste disposal site by upscaling

In this paper, we study the global behaviour of an underground waste disposal in order to have an accurate upscaled model suitable for the computations involved in safety assessment processes. We start from a detailed model describing the transport of pollutant leaking from a high number of units. Using the method of homogenization, going to the limit, we obtain first a macroscopic model where the sources are now appearing globally. Then we compute a first‐order matched asymptotic expansion and we give the error estimates for this approximation. Copyright © 2004 John Wiley & Sons, Ltd.     

The long‐time behaviour of the thermoconvective flow in a porous medium

For the Boussinesq approximation of the equations of coupled heat and fluid flow in a porous medium we show that the corresponding system of partial differential equations possesses a global attractor. We give lower and upper bounds of the Hausdorff dimension of the attractor depending on a physical parameter of the system, namely the Rayleigh number of the flow. Numerical experiments confirm the theoretical findings and raise new questions on the structure of the solutions of the system. Copyright © 2004 John Wiley & Sons, Ltd.     

Delta and singular delta locus for one‐dimensional systems of conservation laws

This work gives a condition for existence of singular and delta shock wave solutions to Riemann problem for 2×2 systems of conservation laws. For a fixed left‐hand side value of Riemann data, the condition obtained in the paper describes a set of possible right‐hand side values. The procedure is similar to the standard one of finding the Hugoniot locus. Fluxes of the considered systems are globally Lipschitz with respect to one of the dependent variables. The association in a Colombeau‐type algebra is used as a solution concept. Copyright © 2004 John Wiley &Sons, Ltd.     

Artificial boundary conditions for Petrovsky systems of second order in exterior domains and in other domains of conical type

The approximation of solutions to boundary value problems on unbounded domains by those on bounded domains is one of the main applications for artificial boundary conditions. Based on asymptotic analysis, here a new method is presented to construct local artificial boundary conditions for a very general class of elliptic problems where the main asymptotic term is not known explicitly. Existence and uniqueness of approximating solutions are proved together with asymptotically precise error estimates. One class of important examples includes boundary value problems for anisotropic elasticity and piezoelectricity. Copyright © 2004 John Wiley & Sons, Ltd.