Cabaret finite-difference schemes for the one-dimensional Euler equations

In the present paper we consider second order compact upwind schemes with a space split time derivative (CABARET) applied to one-dimensional compressible gas flows. As opposed to the conventional approach associated with incorporating adjacent space cells we use information from adjacent time layer to improve the solution accuracy. Taking the first order Roe scheme as the basis we develop a few higher (i.e. second within regions of smooth solutions) order accurate difference schemes. One of them (CABARET3) is formulated in a two-time-layer form, which makes it most simple and robust. Supersonic and subsonic shock-tube tests are used to compare the new schemes with several well-known second-order TVD schemes. In particular, it is shown that CABARET3 is notably more accurate than the standard second-order Roe scheme with MUSCL flux splitting.

A simple closed aquatic ecosystem (CAES) for space

A closed aquatic ecosystem (CAES) was developed to stud), the effects of microgravity on the function of closed ecosystems aboard the Chinese retrieved satellite and on the spacecraft SHENZHOU-II. These systems housed a small freshwater snail (Bulinus australianus) and an autotrophic green algae (Chlorella pyrenoidosa). The results of the test on the satellite were that the concentration of algae changed little, but that the snails died during the experiments. We then sought to optimize the function of the control system, the cultural conditions and the data acquisition system and carried out an experiment on the spacecraft SHENZHOU-II. Using various sensors to monitor the CAES, real-time data regarding the operation of the CAES in microgravity was acquired. In addition, all on-board Ig centrifuge was included to identify gravity-related factors. It was found that microgravity is the major factor affecting the operation of the CAES in space. The change in biomass of the primary producer during each day in microgravity was larger than that of the control groups. The mean biomass concentration per day in the microgravity group decreased, but that of the control groups increased for several days and then leveled off. Space effects on the biomass of a primary producer may be a result of microgravity effects leading to increasing metabolic rates of the consumer combined with decreases in photosynthesis. (c) 2007 COSPAR. Published by Elsevier Ltd. All rights reserved.

An important pitfall of pseudo-static finite element analysis

Finite Element (FE) pseudo-static analysis can provide a good compromise between simplified methods of dynamic analysis and time domain analysis. The pseudo-static FE approach can accurately model the in situ, stresses prior to seismic loading (when it follows a static analysis simulating the construction sequence) is relatively simple and not as computationally expensive as the time domain approach. However this method should be used with caution as the results can be sensitive to the choice of the mesh dimensions. In this paper two simple examples of pseudo-static finite element analysis are examined parametrically, a homogeneous slope and a cantilever retaining wall, exploring the sensitivity of the pseudo-static analysis results on the adopted mesh size. The mesh dependence was found to be more pronounced for problems with high critical seismic coefficients values (e.g. gentle slopes or small walls), as in these cases a generalised layer failure mechanism is developed simultaneously with the slope or wall mechanism. In general the mesh width was found not to affect notably the predicted value of critical seismic coefficient but to have a major impact on the predicted movements. © 2012 Elsevier Ltd.

A model for scattering due to interface roughness in finite quantum wells

A model for scattering due to interface roughness in finite quantum wells (QWs) is developed within the framework of the Boltzmann transport equation and a simple and explicit expression between mobility limited by interface roughness scattering and barrier height is obtained. The main advantage of our model is that it does not involve complicated wavefunction calculations, and thus it is convenient for predicting the mobility in thin finite QWs. It is found that the mobility limited by interface roughness is one order of amplitude higher than the results derived by assuming an infinite barrier, for finite barrier height QWs where x = 0.3. The mobility first decreases and then flattens out as the barrier confinement increases. The experimental results may be explained with monolayers of asperity height 1-2, and a correlation length of about 33 angstrom. The calculation results are in excellent agreement with the experimental data from AlxGa1-xAs/GaAs QWs.

constructing finite algebras with falcon

The generation of models and counterexamples is an important form of reasoning. In this paper, we give a formal account of a system, called FALCON, for constructing finite algebras from given equational axioms. The abstract algorithms, as well as some implementation details and sample applications, are presented. The generation of finite models is viewed as a constraint satisfaction problem, with ground instances of the axioms as constraints. One feature of the system is that it employs a very simple technique, called the least number heuristic, to eliminate isomorphic (partial) models, thus reducing the size of the search space. The correctness of the heuristic is proved. Some experimental data are given to show the performance and applications of the system.

Assessment of genetic diversities of selected Laminaria (Laminariales, Phaeophyta) gametophytes by inter-simple sequence repeat analysis

Inter-simple sequence repeat (ISSR) analysis was used to assess genetic diversity among 10 pairs of male and female Laminaria gametophytes. A total of 58 amplification loci was obtained from 10 selected ISSR primers, of which 34 revealed polymorphism among the gametophytes. Genetic distances were calculated with the Dice coefficient ranging from 0.006 to 0.223. A dendrogram based on the unweighted pair-group method arithmetic (UPGMA) average showed that most male and female gametophytes of the same species were clustered together and that 10 pairs of gametophytes were divided into four groups. This was generally consistent with the taxonomic categories. The main group consisted of six pairs of gametophytes, which were selected from Laminaria japonica Aresch. by intensive inbreeding through artificial hybridization. One specific marker was cloned, but was not converted successfully into a sequence characterized amplified region (SCAR) marker. Our results demonstrate the feasibility of applying ISSR markers to evaluate Laminaria germplasm diversities.

Validating Arbitrarily Large Network Protocol Compositions with Finite Computation

Formal tools like finite-state model checkers have proven useful in verifying the correctness of systems of bounded size and for hardening single system components against arbitrary inputs. However, conventional applications of these techniques are not well suited to characterizing emergent behaviors of large compositions of processes. In this paper, we present a methodology by which arbitrarily large compositions of components can, if sufficient conditions are proven concerning properties of small compositions, be modeled and completely verified by performing formal verifications upon only a finite set of compositions. The sufficient conditions take the form of reductions, which are claims that particular sequences of components will be causally indistinguishable from other shorter sequences of components. We show how this methodology can be applied to a variety of network protocol applications, including two features of the HTTP protocol, a simple active networking applet, and a proposed web cache consistency algorithm. We also doing discuss its applicability to framing protocol design goals and to representing systems which employ non-model-checking verification methodologies. Finally, we briefly discuss how we hope to broaden this methodology to more general topological compositions of network applications.

Deciding Isomorphisms of Simple Types in Polynomial Time

The isomorphisms holding in all models of the simply typed lambda calculus with surjective and terminal objects are well studied - these models are exactly the Cartesian closed categories. Isomorphism of two simple types in such a model is decidable by reduction to a normal form and comparison under a finite number of permutations (Bruce, Di Cosmo, and Longo 1992). Unfortunately, these normal forms may be exponentially larger than the original types so this construction decides isomorphism in exponential time. We show how using space-sharing/hash-consing techniques and memoization can be used to decide isomorphism in practical polynomial time (low degree, small hidden constant). Other researchers have investigated simple type isomorphism in relation to, among other potential applications, type-based retrieval of software modules from libraries and automatic generation of bridge code for multi-language systems. Our result makes such potential applications practically feasible.

Notes on the Effect of Different Access Patterns on the Intensity of Mistreatment in Distributed Caching Groups

In this report, we extend our study of the intensity of mistreatment in distributed caching groups due to state interaction. In our earlier work (published as BUCS-TR-2006-003), we analytically showed how this type of mistreatment may appear under homogeneous demand distributions. We provided a simple setting where mistreatment due to state interaction may occur. According to this setting, one or more "overactive" nodes generate disproportionately more requests than the other nodes. In this report, we extend our experimental evaluation of the intensity of mistreatment to which non-overactive nodes are subjected, when the demand distributions are not homogeneous.

Uniformly convergent finite element and finite difference methods for singularly perturbed ordinary differential equations

This thesis is concerned with uniformly convergent finite element and finite difference methods for numerically solving singularly perturbed two-point boundary value problems. We examine the following four problems: (i) high order problem of reaction-diffusion type; (ii) high order problem of convection-diffusion type; (iii) second order interior turning point problem; (iv) semilinear reaction-diffusion problem. Firstly, we consider high order problems of reaction-diffusion type and convection-diffusion type. Under suitable hypotheses, the coercivity of the associated bilinear forms is proved and representation results for the solutions of such problems are given. It is shown that, on an equidistant mesh, polynomial schemes cannot achieve a high order of convergence which is uniform in the perturbation parameter. Piecewise polynomial Galerkin finite element methods are then constructed on a Shishkin mesh. High order convergence results, which are uniform in the perturbation parameter, are obtained in various norms. Secondly, we investigate linear second order problems with interior turning points. Piecewise linear Galerkin finite element methods are generated on various piecewise equidistant meshes designed for such problems. These methods are shown to be convergent, uniformly in the singular perturbation parameter, in a weighted energy norm and the usual L2 norm. Finally, we deal with a semilinear reaction-diffusion problem. Asymptotic properties of solutions to this problem are discussed and analysed. Two simple finite difference schemes on Shishkin meshes are applied to the problem. They are proved to be uniformly convergent of second order and fourth order respectively. Existence and uniqueness of a solution to both schemes are investigated. Numerical results for the above methods are presented.

Chemistry of B1- and B10- boranes containing halogen or pseudohalogen groups

The research described in this thesis involved the chemistry of borane-species which contain one or more halide or pseudohalide groups. Both monoboron species e.g. [BH3X]- and "cluster" borane species e.g. [B10H9X]2- and I-Se B11H10 were studied. The first chapter is a review of the syntheses, properties and reactions of halide and pseudohalide species containing from one to ten boron atoms. Chapter Two is a theoretical investigation of' the electronic and molecular structures of two series of boranes i. e. [BH3X]- and [B10H9X]2- where X = H, CI, CN, NCS, SCN and N3. The calculational method used was the Modified Neglect of Differential Overlap (MNDO) method of Dewar et al. The results were compared where possible with experimental results such as the X-ray crystallographically determined structures of [BH3CI]- and [B10H10]2-. Chapter Three concerns halogenated selenaborane clusters and reports an improved synthesis of 12-Br-SeB11H10 and the first structural data for a simple non-metal containing selenaborane cage with the X-ray crystallographically determined structure of 12-1-SeB11H10. Finally, an indepth n.m.r. study of Se2B9H9 is also reported together with attempts to halogenate this compound. The last two chapters are based on single boron systems. Chapter Four concerns the synthetic routes to amine-boranes and -cyanoboranes from [BH4]- and [BH3CN]- substrates. This chapter discusses some difficulties encountered when polyamines were used in these reactions. The characterisation of an unusual ketone isolated from some of these reactions, the X-ray crystallographically determined structure of 4-dimethylamino-pyridine-cyanoborane and a new route to pyrazabole dimeric species are also discussed. The final chapter reports on work carried out at producing BH2X (X = H, CN) adducts of aminophosphines. Three routes were attempted to generate P-B and N-B bonded species with varying degrees of success. Some unusual products of these reactions are discussed including [Ph2(O) PPPh2 ] [Ph2NH]2, the structure of which was determined by X-ray crystallography.

A natural extension of the conventional finite volume method into polygonal unstructured meshes for CFD application.

A new general cell-centered solution procedure based upon the conventional control or finite volume (CV or FV) approach has been developed for numerical heat transfer and fluid flow which encompasses both structured and unstructured meshes for any kind of mixed polygon cell. Unlike conventional FV methods for structured and block structured meshes and both FV and FE methods for unstructured meshes, the irregular control volume (ICV) method does not require the shape of the element or cell to be predefined because it simply exploits the concept of fluxes across cell faces. That is, the ICV method enables meshes employing mixtures of triangular, quadrilateral, and any other higher order polygonal cells to be exploited using a single solution procedure. The ICV approach otherwise preserves all the desirable features of conventional FV procedures for a structured mesh; in the current implementation, collocation of variables at cell centers is used with a Rhie and Chow interpolation (to suppress pressure oscillation in the flow field) in the context of the SIMPLE pressure correction solution procedure. In fact all other FV structured mesh-based methods may be perceived as a subset of the ICV formulation. The new ICV formulation is benchmarked using two standard computational fluid dynamics (CFD) problems i.e., the moving lid cavity and the natural convection driven cavity. Both cases were solved with a variety of structured and unstructured meshes, the latter exploiting mixed polygonal cell meshes. The polygonal mesh experiments show a higher degree of accuracy for equivalent meshes (in nodal density terms) using triangular or quadrilateral cells; these results may be interpreted in a manner similar to the CUPID scheme used in structured meshes for reducing numerical diffusion for flows with changing direction.

K1 of Chevalley groups are nilpotent

Abstract Let F be a reduced irreducible root system and R be a commutative ring. Further, let G(F,R) be a Chevalley group of type F over R and E(F,R) be its elementary subgroup. We prove that if the rank of F is at least 2 and the Bass-Serre dimension of R is finite, then the quotient G(F,R)/E(F,R) is nilpotent by abelian. In particular, when G(F,R) is simply connected the quotient K1(F,R)=G(F,R)/E(F,R) is nilpotent. This result was previously established by Bak for the series A1 and by Hazrat for C1 and D1. As in the above papers we use the localisation-completion method of Bak, with some technical simplifications.

Decay measures on locally compact abelian topological groups

Source: PROCEEDINGS OF THE ROYAL SOCIETY OF EDINBURGH SECTION A-MATHEMATICS Volume: 131 Pages: 1257-1273 Part: Part 6 Published: 2001 Times Cited: 5 References: 23 Citation MapCitation Map beta Abstract: We show that the Banach space M of regular sigma-additive finite Borel complex-valued measures on a non-discrete locally compact Hausdorff topological Abelian group is the direct sum of two linear closed subspaces M-D and M-ND, where M-D is the set of measures mu is an element of M whose Fourier transform vanishes at infinity and M-ND is the set of measures mu is an element of M such that nu is not an element of MD for any nu is an element of M \ {0} absolutely continuous with respect to the variation \mu\. For any corresponding decomposition mu = mu(D) + mu(ND) (mu(D) is an element of M-D and mu(ND) is an element of M-ND) there exist a Borel set A = A(mu) such that mu(D) is the restriction of mu to A, therefore the measures mu(D) and mu(ND) are singular with respect to each other. The measures mu(D) and mu(ND) are real if mu is real and positive if mu is positive. In the case of singular continuous measures we have a refinement of Jordan's decomposition theorem. We provide series of examples of different behaviour of convolutions of measures from M-D and M-ND.

Simple control of the polarisation in uniform hybrid waveguide-planar leaky-wave antennas

A simple and original mechanism to control the polarisation of uniform hybrid waveguide-planar leaky-wave antennas is proposed. The operation is based on introducing simple modifications of the planar dimensions of the structure cross-section, which is shown to control the horizontal and vertical components of the radiated fields. The proposed antenna dispenses with the need for periodic elements, commonly used in flexible polarised leaky-wave antennas, and therefore significantly reduces the design complexity. Parametric curves have been obtained to assist in the simple and efficient design of the proposed antenna. The novel mechanism is illustrated by means of several antenna prototypes operating at 5.7 GHz, producing linear, elliptical and circular polarisations. Commercial three-dimensional Finite Element Method has been used for the simulations, and the results are validated with experimental testing.[br].