SIMS analysis of residual gas elements with a Cameca IMS-6f ion microprobe

In this paper, we present experimental data for SIMS analysis of residual gas elements (RGEs) with a Cameca IMS-6f ion microprobe. We considered a simple experimental technique, which provides an effective separation of the secondary ions, sputtered from the bulk of a target, and from the molecules, adsorbed on the analyzed surface from the residual atmosphere. The technique needs the sputtering yield of one monolayer (ML) per second to be applied. The method improves (in more than one order of magnitude) the detection limit for RGEs in SIMS analysis, and simultaneously, provides information about the residual atmosphere at the sample surface and in the main chamber of the experimental instrument. The method provides a calibration method for an ion gauge, and can be used for SIMS analysis with a gas (O₂) flooding.     

混合交通OD分布与随机平衡分配组合模型及算法

基于我国城市混合交通的特点,借助于Logit选择模型,建立了混合交通OD分布与随机平衡分配组合的数学规划模型,证明了模型最优解的等价性与唯一性,同时给出了算法和算例.     

Design of recursive least-squares fixed-lag smoother using covariance information in linear continuous stochastic systems

This paper newly designs the recursive least-squares (RLS) fixed-lag smoother and filter using the covariance information in linear continuous-time stochastic systems. It is assumed that the signal is observed with additive white observation noise and the signal is uncorrelated with the observation noise. The estimators require the covariance information of the signal and the variance of the observation noise. The auto-covariance function of the signal is expressed in the semi-degenerate kernel form.     

Maximal Lyapunov exponent and rotation numbers for two coupled oscillators driven by real noise

Asymptotic expansions for the exponential growth rate, known as the Lyapunov exponent, and rotation numbers for two coupled oscillators driven by real noise are constructed. Such systems arise naturally in the investigation of the stability of steady-state motions of nonlinear dynamical systems and in parametrically excited linear mechanical systems. Almost-sure stability or instability of dynamical systems depends on the sign of the maximal Lyapunov exponent. Stability conditions are obtained under various assumptions on the infinitesimal generator associated with real noise provided that the natural frequencies are noncommensurable. The results presented here for the case of the infinitesimal generator having a simple zero eigenvalue agree with recent results obtained by stochastic averaging, where approximate ItÔ equations in amplitudes and phases are obtained in the sense of weak convergence.Dedicated to Thomas K. Caughey on the occasion of his 65th birthday.     

Designing a majorization scheme for the recourse function in two-stage stochastic linear programming

We discuss issues pertaining to the domination from above of the second-stage recourse function of a stochastic linear program and we present a scheme to majorize this function using a simpler sublinear function. This majorization is constructed using special geometrical attributes of the recourse function. The result is a proper, simplicial function with a simple characterization which is well-suited for calculations of its expectation as required in the computation of stochastic programs. Experiments indicate that the majorizing function is well-behaved and stable.     

Discrete storage processes and their Poisson flow and fluid flow approximations

Consider discrete storage processes that are modulated by environmental processes. Environmental processes cause interruptions in the input and/or output processes of the discrete storage processes. Due to the difficulties encountered in the exact analysis of such discrete storage systems, often Poisson flow and/or fluid flow models with the same modulating environmental processes are proposed as approximations for these systems. The analysis of Poisson flow and fluid flow models is much easier than that of the discrete storage processes. In this paper we give sufficient conditions under which the content of the discrete storage processes can be bounded by the Poisson flow and the fluid flow models. For example, we show that Poisson flow models and the fluid flow models developed by Kosten (and by Anick, Mitra and Sondhi) can be used to bound the performance of infinite (finite) source packetized voice/data communication systems. We also show that a Poisson flow model and the fluid flow model developed by Mitra can be used to bound the buffer content of a two stage automatic transfer line. The potential use of the bounding techniques presented in this paper, of course, transcends well beyond these examples.Supported in part by NSF grant DMS-9308149.     

Symmetric form of the Hudson-Parthasarathy stochastic equation

We prove that the Hudson-Parthasarathy equation corresponds, up to unitary equivalence, to the strong resolvent limit of Schrödinger Hamiltonians in Fock space and that the symmetric form of this equation corresponds to the weak limit of the Schrödinger Hamiltonians.Translated fromMatematicheskie Zametki, Vol. 60, No. 5, pp. 726–750, November, 1996.     

Gating processes in Na-channel of biological membrane from the standpoint of superionic phase transition

The method of condensed matter physics is applied to reason out the problem of Na transport through a biological membrane. A similiarity of gating process in Na ion channel to the superionic phase transition is discussed. A possible microscopic mechanism is suggested.     

Proof of the Mixing Theorem for Statistical Systems in Classical Physics

In a general measure-theoretic context, it is proved that the action of a stochastic map on a pair of probability distributions can be characterized by the criterion of decreasing mixing distance.     

Circuit-switching networks with FIFO plus justifying blockout service on infinite graphs

A class of circuit-switching open queueing networks is discussed. The main result of the paper is that if extra message flows are not too intensive and the path distribution is mainly concentrated on the paths of (graph) distance 1 (nearest neighbour connections), then the network has a unique stationary working regime, no matter how large the configuration graph of the network is. Standard properties of this regime are established such as decay of correlation and continuity.