Optimal algebraic multilevel preconditioning for local refinement along a line

The application of some recently proposed algebraic multilevel methods for the solution of two-dimensional finite element problems on nonuniform meshes is studied. The locally refined meshes are created by the newest vertex mesh refinement method. After the introduction of this refinement technique it is shown that, by combining levels of refinement, a preconditioner of optimal order can be constructed for the case of local refinement along a line. Its relative condition number is accurately estimated. Numerical tests demonstrating the performance of the proposed preconditioners will be reported in a forthcoming paper.     

On the solution of Maxwell's equations in polygonal domains

This paper is concerned with the structure of the singular and regular parts of the solution of time‐harmonic Maxwell's equations in polygonal plane domains and their effective numerical treatment. The asymptotic behaviour of the solution near corner points of the domain is studied by means of discrete Fourier transformation and it is proved that the solution of the boundary value problem does not belong locally to H² when the boundary of the domain has non‐acute angles. A splitting of the solution into a regular part belonging to the space H², and an explicitly described singular part is presented. For the numerical treatment of the boundary value problem, we propose a finite element discretization which combines local mesh grading and the singular field methods and derive a priori error estimates that show optimal convergence as known for the classical finite element method for problems with regular solutions. Copyright © 2006 John Wiley & Sons, Ltd.     

A Compositional Framework for Hardware/Software Co-Design

We describe a compositional framework, together with its supporting toolset, for hardware/software co-design. Our framework is an integration of a formal approach within a traditional design flow. The formal approach is based on Interval Temporal Logic and its executable subset, Tempura. Refinement is the key element in our framework because it will derivefrom a single formal specification of the system the software and hardware parts of the implementation, while preserving all properties of the system specification. During refinement simulation is used to choose the appropriate refinement rules, which are applied automatically in the HOL system. The framework is illustrated with two case studies. The work presented is part of a UK collaborative research project between the Software Technology Research Laboratory at the De Montfort University and the Oxford University Computing Laboratory.     

Solutions in Sobolev spaces of vector refinement equations with a general dilation matrix

In this paper, we present a necessary and sufficient condition for the existence of solutions in a Sobolev space W_p^k(ℝ^s) (1≤p≤∞) to a vector refinement equation with a general dilation matrix. The criterion is constructive and can be implemented. Rate of convergence of vector cascade algorithms in a Sobolev space W_p^k(ℝ^s) will be investigated. When the dilation matrix is isotropic, a characterization will be given for the L_p (1≤p≤∞) critical smoothness exponent of a refinable function vector without the assumption of stability on the refinable function vector. As a consequence, we show that if a compactly supported function vector φ∈L_p(ℝ^s) (φ∈C(ℝ^s) when p=∞) satisfies a refinement equation with a finitely supported matrix mask, then all the components of φ must belong to a Lipschitz space Lip(ν,L_p(ℝ^s)) for some ν>0. This paper generalizes the results in R.Q. Jia, K.S. Lau and D.X. Zhou (J. Fourier Anal. Appl. 7 (2001) 143–167) in the univariate setting to the multivariate setting. Dedicated to Professor Charles A. Micchelli on the occasion of his 60th birthday Mathematics subject classifications (2000) 42C20, 41A25, 39B12. Research was supported in part by the Natural Sciences and Engineering Research Council of Canada (NSERC Canada) under Grant G121210654.     

Structures and syntheses of layered and framework amine-bearing uranyl phosphate and uranyl arsenates

Two hydrated uranyl arsenates and a uranyl phosphate were synthesized by hydrothermal methods in the presence of amine structure-directing agents and their structures determined: (N₂C₆H₁₄)[(UO₂)(AsO₄)]₂(H₂O)₃, DabcoUAs, {NH(C₂H₅)₃}[(UO₂)₂(AsO₄)(AsO₃OH)], TriethUAs, and (N₂C₄H₁₂)(UO₂)[(UO₂)(PO₄)]₄(H₂O)₂, PiperUP. Intensity data were collected at room temperature using MoKα X-radiation and a CCD-based area detector. The crystal structures were refined by full-matrix least-squares techniques on the basis of F² to agreement indices (DabcoUAs, TriethUAs, PiperUP) wR₂=5.6%, 8.3%, 7.2% for all data, and R₁=2.9%, 3.3%, 4.0%, calculated for 1777, 5822, 9119 unique observed reflections (|F_o|?4σ_F), respectively. DabcoUAs is monoclinic, space group C2/m, Z=2, a=18.581(1), b=7.1897(4), c=7.1909(4) Å, β=102.886(1)°, V=936.43(9) Å³, D_calc=3.50 g/cm³. TriethUAs is monoclinic, space group P2₁/n, Z=4, a=9.6359(4), b=18.4678(7), c=10.0708(4) Å, β=92.282(1)°, V=1790.7(1) Å³, D_calc=3.41 g/cm³. PiperUP is monoclinic, space group Pn, Z=2, a=9.3278(4), b=15.5529(7), c=9.6474(5) Å, β=93.266(1)°, V=1397.3(1) Å³, D_calc=4.41 g/cm³. The structure of DabcoUAs contains the autunite-type sheet formed by the sharing of vertices between uranyl square bipyramids and arsenate tetrahedra. The triethylenediammonium cations are located in the interlayer along with two H₂O groups and are disordered. Both TriethUAs and PiperUP contain sheets formed of uranyl pentagonal bipyramids and tetrahedra (arsenate and phosphate, respectively) with the uranophane sheet-anion topology. In TriethUAs, triethlyammonium cations are located in the interlayer. In PiperUP, the sheets are connected by a uranyl pentagonal bipyramid that shares corners with phosphate tetrahedra of adjacent sheets, resulting in a framework with piperazinium cations and H₂O groups in the cavities of the structure.     

多重向量值正交小波包

本文引入多重向量值小波包的概念,提供一类多重向量值正交小波包的构造方法,并运用积分变换和算子理论,讨论了多重向量值正交小波包的性质．利用多重向量值正交小波包,构造了空间L2(R,Cs×s)的新的正交基．