Simulation of the Action of a Permeable Barrier on an Ideal Incompressible Channel Flow

Plane ideal incompressible flow in a rectangular channel partitioned by a thin permeable barrier (lattice) is considered. In flowing through the lattice the stream suddenly (jumpwise) changes direction and loses energy. The flow is assumed to be vortical; the vorticity is discontinuous on the lattice. A mathematical formulation of the problem for the stream function is proposed in the form of a nonlinear elliptic equation with coefficients discontinuous on the lattice line. A numerical solution is constructed using the finite-element iteration method. The results of the numerical simulation show how the flow velocity profile in the channel can be controlled by means of permeable barriers.     

瓣形均匀带电面在其直径处的电势分布

从点电荷的电势计算公式出发推导出了瓣形均匀带电面在其直径处的电势分布.进一步讨论了均匀带电半球面在其底面以及均匀带电球面内部和外部的电势分布.     

Calibrating software reliability models when the test environment does not match the user environment

Software failures have become the major factor that brings the system down or causes a degradation in the quality of service. For many applications, estimating the software failure rate from a user's perspective helps the development team evaluate the reliability of the software and determine the release time properly. Traditionally, software reliability growth models are applied to system test data with the hope of estimating the software failure rate in the field. Given the aggressive nature by which the software is exercised during system test, as well as unavoidable differences between the test environment and the field environment, the resulting estimate of the failure rate will not typically reflect the user‐perceived failure rate in the field. The goal of this work is to quantify the mismatch between the system test environment and the field environment. A calibration factor is proposed to map the failure rate estimated from the system test data to the failure rate that will be observed in the field. Non‐homogeneous Poisson process models are utilized to estimate the software failure rate in both the system test phase and the field. For projects that have only system test data, use of the calibration factor provides an estimate of the field failure rate that would otherwise be unavailable. For projects that have both system test data and previous field data, the calibration factor can be explicitly evaluated and used to estimate the field failure rate of future releases as their system test data becomes available. Copyright © 2002 John Wiley & Sons, Ltd.     

On the counting function of the lattice profile of periodic sequences

The lattice profile analyzes the intrinsic structure of pseudorandom number sequences with applications in Monte Carlo methods and cryptology. In this paper, using the discrete Fourier transform for periodic sequences and the relation between the lattice profile and the linear complexity, we give general formulas for the expected value, variance, and counting function of the lattice profile of periodic sequences with fixed period. Moreover, we determine in a more explicit form the expected value, variance, and counting function of the lattice profile of periodic sequences for special values of the period.     

The Development of the Asymptotic Viscous Dissipation Profile in a Vertical Free Convective Boundary Layer Flow in a Porous Medium

The effect of viscous dissipation on the development of the boundary layer flow from a cold vertical surface embedded in a Darcian porous medium is investigated. It is found that the flow evolves gradually from the classical Cheng–Minkowycz form to the recently discovered asymptotic dissipation profile which is a parallel flow.     

基于图像处理技术的束流剖面监视系统

 介绍了在兰州重离子加速器上利用荧光靶图像获取装置测量并计算束流剖面参数的方法，并建立了图像获取、处理、束流参数计算的实时测量软件系统。该系统具有可靠性好、测量直观、界面友好等优点。     

Measurement of storage time, estimation of ion number and study of absorption line profile in a Paul trap

Europium (Eu⁺) ions were confined in a Paul trap and detected by non-destructive method. Storage time of Eu⁺ ions achieved in vacuum was improved by orders of magnitude employing buffer gas cooling. The experimentally detected signal was fitted to the ion response signal and the total number of ions trapped was estimated. It is found that the peak signal amplitude as well as the product of FWHM and the peak signal amplitude is proportional to the total number of trapped ions. The trapped ion secular frequency was swept at different rates and its effect on the absorption line profile was studied both experimentally and theoretically.     

A virtual instrumentation based protocol for the automated implementation of the inner field compensation method

One influential parameter which mediates interactions between many types of molecules and biological membranes stems from the lumped contributions of the transmembrane potential, dipole potential and the difference in the surface potentials on both sides of a membrane. With relevance to cell physiology, such electrical features of a biomembrane are prone to undergoing changes as a result of interactions with the aqueous surrounding. Among the most useful tools devoted to exploring changes of electrical parameters of a lipid membrane induced by certain extracellular ions, lipid composition, and embedded membrane peptides and proteins, are spectroscopic imaging and the inner field compensation (IFC) method. In this work we layout the principles of a fully computerized version of the IFC method, which makes it more readily available to users. As a direct application, we deployed this improved version of the IFC method to time-resolve changes induced by alamethicin monomers upon membrane dipole potential, following their aggregation within an artificial lipid membrane. Intriguingly, even prior crossing the membrane core, the membrane-bound alamethicin monomers are shown to significantly increase the dipole potential of the monolayer they reside in. Such data further emphasize the yet less-explored interplay between membrane-based protein and peptides, and the membrane dipole potential.     

On the Linear Complexity Profile of Nonlinear Congruential Pseudorandom Number Generators with Dickson Polynomials

Linear complexity and linear complexity profile are important characteristics of a sequence for applications in cryptography and Monte-Carlo methods. The nonlinear congruential method is an attractive alternative to the classical linear congruential method for pseudorandom number generation. Recently, a weak lower bound on the linear complexity profile of a general nonlinear congruential pseudorandom number generator was proven by Gutierrez, Shparlinski and the first author. For most nonlinear generators a much stronger lower bound is expected. Here, we obtain a much stronger lower bound on the linear complexity profile of nonlinear congruential pseudorandom number generators with Dickson polynomials.