Practical stopping criteria for validating safety-critical software by estimating impartial reliability

In this research, we investigate stopping rules for software testing and propose two stopping rules from the aspect of software reliability testing based on the impartial reliability model. The impartial reliability difference (IRD-MP) rule considers the difference between the impartial transition-probability reliabilities estimated for both software developer and consumers at their predetermined prior information levels. The empirical–impartial reliability difference (EIRD-MP) rule suggests stopping a software test when the computed empirical transition reliability is tending to its estimated impartial transition reliability. To insure the high-standard requirement for safety-critical software, both rules take the maximum probability (MP) of untested paths into account.     

G-网络排队系统的研究新进展

在研究排队网络的文献中,G-网络(即推广的排队网络)最近受到了国际学者广泛的关注,它的研究在一定程度上丰富了排队网络的内容.正因为有很多学者投入到此项研究中,新的结果是层出不穷的.本文简短地介绍G-网络近年来的发展.     

Convergence Rate of The Trust Region Method for Nonlinear Equations Under Local Error Bound Condition

In this paper, we present the new trust region method for nonlinear equations with the trust region converging to zero. The new method preserves the global convergence of the traditional trust region methods in which the trust region radius will be larger than a positive constant. We study the convergence rate of the new method under the local error bound condition which is weaker than the nonsingularity. An example given by Y.X. Yuan shows that the convergence rate can not be quadratic. Finally, some numerical results are given. This work is supported by Chinese NSFC grants 10401023 and 10371076, Research Grants for Young Teachers of Shanghai Jiao Tong University, and E-Institute of Computational Sciences of Shanghai Universities. An erratum to this article is available at .     

Nonlinear Time Series Analysis Since 1990:Some Personal Reflections

Abstract I reflect upon the development of nonlinear time series analysis since 1990 by focusing on five majorareas of development. These areas include the interface between nonlinear time series analysis and chaos,thenonparametric/semiparametric approach,nonlinear state space modelling,financial time series and nonlinearmodelling of panels of time series.     

Characterisations of function spaces of generalised smoothness

We investigate function spaces of generalised smoothness of Besov and Triebel–Lizorkin type. Equivalent quasi-norms in terms of maximal functions and local means are given. An atomic decomposition theorem for this type of spaces is proved. Mathematics Subject Classification (2000) 46E35     

Action Principle and Modification of the Faddeev–Popov Factor in Gauge Theories

The quantum action (dynamical) principle is exploited to investigate the nature and origin of the Faddeev–Popov (FP) factor in gauge theories without recourse to path integrals. Gauge invariant as well as gauge non-invariant interactions are considered to show that the FP factor needs to be modified in more general cases and expressions for these modifications are derived. In particular we show that a gauge invariant theory does not necessarily imply the familiar FP factor for proper quantization. PACS numbers: 11.15.-q; 12.10.-g; 12.15.-y; 12.38.-t     

Density Correlations in the Two-Dimensional Coulomb Gas

We consider a two-dimensional Coulomb gas of positive and negative pointlike unit charges interacting via a logarithmic potential. The density (rather than the charge) correlation functions are studied. In the bulk, the form-factor theory of an equivalent sine-Gordon model is used to determine the density correlation length. At the surface of a rectilinear plain wall, the universality of the asymptotic behavior of the density correlations is suggested. A scaling analysis implies a local form of the compressibility sum rule near a hard wall. A symmetry of the Coulomb system with respect to the Möbius conformal transformation, which induces a gravitational source acting on the particle density, is established. Among the consequences, a universal term of the finite-size expansion of the grand potential is derived exactly for a disk geometry of the confining domain.     

On error bounds for lower semicontinuous functions

We give some sufficient conditions for proper lower semicontinuous functions on metric spaces to have error bounds (with exponents). For a proper convex function f on a normed space X the existence of a local error bound implies that of a global error bound. If in addition X is a Banach space, then error bounds can be characterized by the subdifferential of f. In a reflexive Banach space X, we further obtain several sufficient and necessary conditions for the existence of error bounds in terms of the lower Dini derivative of f. Received: April 27, 2001 / Accepted: November 6, 2001?Published online April 12, 2002     

有限局部环Z/2\+kZ上斜对称矩阵标准形和伪辛群的阶

设R=Z/2\+kZ(k>1)是\{2\}[TX-]为非单位的有限局部环. 该文首先确定了R上斜对称矩阵标准形. 设G\+m\-p(R,H)={P∈GL\-m(R)|PHP′=H}是由矩阵H确定的伪辛群,其中H=[JB((][HL(2]0[]I\+\{(v)\}\=-I\+\{(v)\}[]0[HL)][JB))]Δ，Δ=[JB((][HL(2]\{2\}[TX-]\+\{k-1\}[]\{1\}[TX-]\=-\{1\}[TX-][]0[HL)][JB))]. 其次,计算了伪辛群G\+m\-P(R,H)的阶|G\+m\-P(R,H)|.     

Features of the Motion of a Gas-Liquid Medium in a Compound Shell (Sphere and Truncated Cone) Subject to Vibration

The results from an experimental study into the dynamic behavior of a gas-liquid medium and solid particles in a compound shell (sphere-truncated cone) are reported on. The following processes are studied: formation of gas bubbles and their clusters, strong macroflows, and intensive chaotic motion of the medium in the truncated cone as a nonlinear vibrating liquid-gas system__________Translated from Prikladnaya Mekhanika, Vol. 41, No. 1, pp. 112–118, January 2005.