Proton transport model in the ionosphere .1. Multistream approach of the transport equations

The suprathermal particles, electrons and protons, coming from the magnetosphere and precipitating into the high-latitude atmosphere are an energy source of the Earth's ionosphere. They interact with ambient thermal gas through inelastic and elastic collisions. The physical quantities perturbed by these precipitations, such as the heating rate, the electron production rate, or the emission intensities, can be provided in solving the kinetic stationary Boltzmann equation. This equation yields particle fluxes as a function of altitude, energy, and pitch angle. While this equation has been solved through different ways for the electron transport and fully tested, the proton transport is more complicated. Because of charge-changing reactions, the latter is a set of two-coupled transport equations that must be solved: one for protons and the other for H atoms. We present here a new approach that solves the multistream proton/hydrogen transport equations encompassing the collision angular redistributions and the magnetic mirroring effect. In order to validate our model we discuss the energy conservation and we compare with another model under the same inputs and with rocket observations. The influence of the angular redistributions is discussed in a forthcoming paper.

Concurreny based transition refinement for the verification of distributed algorithms

We suggest a new notion of behaviour preserving transition refinement based on partial order semantics. This notion is called transition refinement. We introduced transition refinement for elementary (low-level) Petri Nets earlier. For modelling and verifying complex distributed algorithms, high-level (Algebraic) Petri nets are usually used. In this paper, we define transition refinement for Algebraic Petri Nets. This notion is more powerful than transition refinement for elementary Petri nets because it corresponds to the simultaneous refinement of several transitions in an elementary Petri net. Transition refinement is particularly suitable for refinement steps that increase the degree of distribution of an algorithm, e.g. when synchronous communication is replaced by asynchronous message passing. We study how to prove that a replacement of a transition is a transition refinement.

Implicit Taylor methods for stiff stochastic differential equations

In this paper we discuss implicit Taylor methods for stiff Ito stochastic differential equations. Based on the relationship between Ito stochastic integrals and backward stochastic integrals, we introduce three implicit Taylor methods: the implicit Euler-Taylor method with strong order 0.5, the implicit Milstein-Taylor method with strong order 1.0 and the implicit Taylor method with strong order 1.5. The mean-square stability properties of the implicit Euler-Taylor and Milstein-Taylor methods are much better than those of the corresponding semi-implicit Euler and Milstein methods and these two implicit methods can be used to solve stochastic differential equations which are stiff in both the deterministic and the stochastic components. Numerical results are reported to show the convergence properties and the stability properties of these three implicit Taylor methods. The stability analysis and numerical results show that the implicit Euler-Taylor and Milstein-Taylor methods are very promising methods for stiff stochastic differential equations.

Differential inclusions and robust control theory

Uncontrolled systems (x) over dot is an element of Ax, where A is a non-empty compact set of matrices, and controlled systems (x) over dot is an element of Ax + Bu are considered. Higher-order systems 0 is an element of Px - Du, where and are sets of differential polynomials, are also studied. It is shown that, under natural conditions commonly occurring in robust control theory, with some mild additional restrictions, asymptotic stability of differential inclusions is guaranteed. The main results are variants of small-gain theorems and the principal technique used is the Krasnosel'skii-Pokrovskii principle of absence of bounded solutions.

Stiffly accurate Runge-Kutta methods for stiff stochastic differential equations

In this paper we discuss implicit methods based on stiffly accurate Runge-Kutta methods and splitting techniques for solving Stratonovich stochastic differential equations (SDEs). Two splitting techniques: the balanced splitting technique and the deterministic splitting technique, are used in this paper. We construct a two-stage implicit Runge-Kutta method with strong order 1.0 which is corrected twice and no update is needed. The stability properties and numerical results show that this approach is suitable for solving stiff SDEs. (C) 2001 Elsevier Science B.V. All rights reserved.

Differential expression and distribution of syndecan-1 and-2 in periodontal wound healing of the rat

Cell-surface proteoglycans participate in several biological functions including interactions with adhesion molecules, growth factors and a variety of other effector molecules. Accordingly, these molecules play a central role in various aspects of cell-cell and cell-matrix interactions. To investigate the expression and distribution of the cell surface proteoglycans, syndecan-1 and -2, during periodontal wound healing, immunohistochemical analyses were carried out using monoclonal antibodies against syndecan-1, or -2 core proteins. Both syndecan-1 and -2 were expressed and distributed differentially at various stages of early inflammatory cell infiltration, granulation tissue formation, and tissue remodeling in periodontal wound healing. Expression of syndecan-1 was noted in inflammatory cells within and around the fibrin clots during the earliest stages of inflammatory cell infiltration. During granulation tissue formation it was noted in fibroblast-like cells and newly formed blood vessels. Syndecan-1 was not seen in newly formed bone or cementum matrix at any of the time periods studied. Syndecan-1 expression was generally less during the late stages of wound healing but was markedly expressed in cells that were close to the repairing junctional epithelium. In contrast, syndecan-2 expression and distribution was not evident at the early stages of inflammatory cell infiltration. During the formation of granulation tissue and subsequent tissue remodeling, syndecan-2 was expressed extracellularly in the newly formed fibrils which were oriented toward the root surface. Syndecan-2 was found to be significantly expressed on cells that were close to the root surface and within the matrix of repaired cementum covering root dentin as well as at the alveolar bone edge. These findings indicate that syndecan-1 and -2 may have distinctive functions during wound healing of the periodontium. The appearance of syndecan-1 may involve both cell-cell and cell-matrix interactions, while syndecan-2 showed a predilection to associate with cell-matrix interactions during hard tissue formation.

Differential requirements for COPI coats in formation of replication complexes among three genera of Picornaviridae

Picornavirus RNA replication requires the formation of replication complexes (RCs). consisting of virus-induced vesicles associated with viral nonstructural proteins and RNA. Brefeldin A (BFA) has been shown to strongly inhibit RNA replication of poliovirus but not of encephalomyocarditis virus (EMCV). Here, we demonstrate that the replication of parechovirus 1 (ParV1) is partly resistant to BFA, whereas echovirus 11 (EV11) replication is strongly inhibited. Since BFA inhibits COPI-dependent steps in endoplasmic reticulum (ER)-Golgi transport, we tested a hypothesis that different picornaviruses may have differential requirements for COPI in the formation of their RCs. Using immunofluorescence and cryo-immunoelectron microscopy we examined the association of a COPI component, beta-COP, with the RCs of EMCV, ParV1, and EV11 EMCV RCs did not contain beta-COP. In contrast, beta-COP appeared to be specifically distributed to the RCs of EV11 In ParV1-infected cells beta-COP was largely dispersed throughout the cytoplasm, with some being present in the RCs. These results suggest that there are differences in the involvement of COPI in the formation of the RCs of various picornaviruses, corresponding to their differential sensitivity to BFA. EMCV RCs are likely to be formed immediately after vesicle budding from the ER, prior to COPI association with membranes. ParV1 RCs are formed from COPI-containing membranes but COPI is unlikely to be directly involved in their formation, whereas formation of EV11 RCs appears to be dependent on COPI association with membranes.

Existence of multiple solutions for second-order discrete boundary value problems

We give conditions on f involving pairs of discrete lower and discrete upper solutions which lead to the existence of at least three solutions of the discrete two-point boundary value problem yk+1 - 2yk + yk-1 + f (k, yk, vk) = 0, for k = 1,..., n - 1, y0 = 0 = yn,, where f is continuous and vk = yk - yk-1, for k = 1,..., n. In the special case f (k, t, p) = f (t) greater than or equal to 0, we give growth conditions on f and apply our general result to show the existence of three positive solutions. We give an example showing this latter result is sharp. Our results extend those of Avery and Peterson and are in the spirit of our results for the continuous analogue. (C) 2002 Elsevier Science Ltd. All rights reserved.

Polarised infrared and differential scanning calorimetry studies on oriented vinyl pipe materials

The molecular orientation in a conventionally extruded PVC pipe, a uniaxially oriented PVC pipe and a biaxially oriented PVC pipe has been studied via Infrared dichroism. The degree of order or crystallinity has also been studied by Differential Scanning Calorimetry and also via Infrared Spectroscopy. The fundamental structural difference between the conventional and oriented pipes was that polymer chains were preferentially aligning in the hoop direction for oriented pipes whereas they were fairly isotropic in the conventional pipe with a slight preferential alignment in the axial direction. Analysis of the C-Cl stretching mode indicated that the uniaxially oriented pipe had much higher alignment of the C-Cl bond in the axial direction than the biaxial pipe, which correlates with higher fracture toughness for circumferential cracking in the biaxial pipe. Both DSC and Infrared spectroscopy detected little change in the crystallinity or order in the oriented pipes compared to the conventionally extruded pipes. (C) 2002 Kluwer Academic Publishers.

Predictor-corrector methods of Runge-Kutta type for stochastic differential equations

In this paper we construct predictor-corrector (PC) methods based on the trivial predictor and stochastic implicit Runge-Kutta (RK) correctors for solving stochastic differential equations. Using the colored rooted tree theory and stochastic B-series, the order condition theorem is derived for constructing stochastic RK methods based on PC implementations. We also present detailed order conditions of the PC methods using stochastic implicit RK correctors with strong global order 1.0 and 1.5. A two-stage implicit RK method with strong global order 1.0 and a four-stage implicit RK method with strong global order 1.5 used as the correctors are constructed in this paper. The mean-square stability properties and numerical results of the PC methods based on these two implicit RK correctors are reported.

A variable stepsize implementation for stochastic differential equations

Stochastic differential equations (SDEs) arise from physical systems where the parameters describing the system can only be estimated or are subject to noise. Much work has been done recently on developing higher order Runge-Kutta methods for solving SDEs numerically. Fixed stepsize implementations of numerical methods have limitations when, for example, the SDE being solved is stiff as this forces the stepsize to be very small. This paper presents a completely general variable stepsize implementation of an embedded Runge Kutta pair for solving SDEs numerically; in this implementation, there is no restriction on the value used for the stepsize, and it is demonstrated that the integration remains on the correct Brownian path.

Heterogeneity in olfactory neurons in mouse revealed by differential expression of glycoconjugates

Cell surface glycoconjugates have been implicated in the growth and guidance of subpopulations of primary olfactory axons. While subpopulations of primary olfactory neurons have been identified by differential expression of carbohydrates in the rat there are few reports of similar subpopulations in the mouse. We have examined the spatiotemporal expression pattern of glycoconjugates recognized by the lectin from Wisteria floribunda (WFA) in the mouse olfactory system. In the developing olfactory neuroepithelium lining the nasal cavity, WFA stained a subpopulation of primary olfactory neurons and the fascicles of axons projecting to the target tissue, the olfactory bulb. Within the developing olfactory bulb, WFA stained the synaptic neuropil of the glomerular and external plexiform layers. In adults, strong expression of WFA ligands was observed in second-order olfactory neurons as well as in neurons in several higher order olfactory processing centres in the brain. Similar, although distinct, staining of neurons in the olfactory pathway was detected with Dolichos biflorus agglutinin. These results demonstrate that unique subpopulations of olfactory neurons are chemically coded by the expression of glycoconjugates. The conserved expression of these carbohydrates across species suggests they play an important role in the functional organization of this region of the nervous system.

Existence of multiple solutions for finite difference approximations to second-order boundary value problems

Error condition detected We consider discrete two-point boundary value problems of the form D-2 y(k+1) = f (kh, y(k), D y(k)), for k = 1,...,n - 1, (0,0) = G((y(0),y(n));(Dy-1,Dy-n)), where Dy-k = (y(k) - Yk-I)/h and h = 1/n. This arises as a finite difference approximation to y" = f(x,y,y'), x is an element of [0,1], (0,0) = G((y(0),y(1));(y'(0),y'(1))). We assume that f and G = (g(0), g(1)) are continuous and fully nonlinear, that there exist pairs of strict lower and strict upper solutions for the continuous problem, and that f and G satisfy additional assumptions that are known to yield a priori bounds on, and to guarantee the existence of solutions of the continuous problem. Under these assumptions we show that there are at least three distinct solutions of the discrete approximation which approximate solutions to the continuous problem as the grid size, h, goes to 0. (C) 2003 Elsevier Science Ltd. All rights reserved.