A posteriori error estimates for a time discrete scheme for a phase-field system of Penrose-Fife type

A time discrete scheme is used to approximate the solution toa phase field system of Penrose–Fife type with a non-conservedorder parameter. An a posteriori error estimate is presentedthat allows the estimation of the difference between continuousand semidiscrete solutions by quantities that can be calculatedfrom the approximation and given data.     

Theoretical and numerical analysis on multispectral bioluminescence tomography

Recently, molecular imaging has been rapidly developed to studyphysiological and pathological processes in vivo at the cellularand molecular levels. Among molecular imaging modalities, opticalimaging has attracted a major attention for its unique advantages.In this paper, we establish a mathematical framework for multispectralbioluminescence tomography (BLT) that allows simultaneous studiesof multiple optical reporters. We show solution existence, uniquenessand continuous dependence on data as well as the limiting behaviourswhen the regularization parameter approaches zero or when thepenalty parameter approaches infinity. Then, we propose twonumerical schemes for multispectral BLT and derive error estimatesfor the corresponding solutions.     

Boolean algebras and uniform convergence of series

Several classical results on uniform convergence of unconditionally Cauchy series are generalized to weakly unconditionally Cauchy series. This uniform convergence is characterized through subalgebras and subfamilies of . A generalization of the Orlicz-Pettis theorem is also proved by mean of subalgebras of .     

Observability Inequalities by Internal Observation and Their Applications

By means of a Carleman estimate, we obtain several observability inequalities by internal observation for hyperbolic equations with lower-order terms. Also, we apply our observability results to an exact controllability problem and an inverse wave source problem.     

The Cauchy Problem for the System of Maxwell Equations

We consider the problem of analytic continuation of a solution to the system of Maxwell equations in a bounded spatial domain from data on part of the boundary of the domain. We construct an approximate solution to the problem using the Carleman matrix method.     

Bicompletion of Lowen fuzzy quasi-uniform spaces

This paper is devoted to the construction of a bicompletion of Lowen fuzzy quasi-uniform spaces (or just [0,1]-fuzzy quasi-uniform spaces in this paper) and the study of that bicompletion, which appears to have a number of properties that one could resonably expect in analogy to the situation in ordinary quasi-uniform spaces, i.e., denseness of the original spaces in its bicompletion, extension property of quasi-uniformly continuous maps.     

Numerical calculation of invariant manifolds for maps

Many processes in the sciences and in engineering are modelled by dynamical systems and—in discretized version—by nonlinear maps. To understand the often complicated dynamical behaviour it is a well established tool to use the concept of invariant manifolds of the system. In this way it is often possible to reduce the dimension of the system considerably. In this paper we propose a new method to calculate numerically invariant manifolds near fixed points of maps. We prove convergence of our procedure and provide an error estimation. Finally, the application of the method is illustrated by examples.     

The Cauchy Problem for a Class of Semilinear Wave Equations with Piecewise Constants Data

ＴｈｅＣａｕｃｈｙＰｒｏｂｌｅｍｆｏｒａＣｌａｓｓｏｆＳｅｍｉｌｉｎｅａｒＷａｖｅＥｑｕａｔｉｏｎｓｗｉｔｈＰｉｅｃｅｗｉｓｅＣｏｎｓｔａｎｔｓＤａｔａＺｈａｎｇＹｏｎｇｑｉａｎ（张永前）（ＩｎｓｔｉｔｕｔｅｏｆＭａｔｈｅｍａｔｉｃｓ，ＦｕｄａｎＵｎ...     

基于柯西分布的视频图像序列背景建模和运动目标检测

提出了一种用于视觉监视系统的基于柯西分布的发光模型的光照不变变化检测方法.假定视频图像序列中每个背景图像像素点灰度观测值的时序变化由白噪声引起,利用建立的初始化背景高斯统计模型对每帧图像进行归一化,得到了背景像灰度比值的分布符合标准柯西分布的结论,解决了柯西分布的模型参量估计问题.在变化检测的基础上,YCbCr颜色空间的亮度、色调和饱和度被用来识别和消除由阴影和反光等引起的变化区域.结果表明,提出的背景建模方法对场景中各种光线变化、小的背景扰动等噪声具有稳健性,可以较为可靠地检测前景目标,识别和去除阴影和反光.     

The Marple algorithm for the autoregressive spectral estimates of the SMMW fourier transform spectroscopy data

The Marple algorthm for the autoregressive spectral estimates has been applied to the SMMW Fourier transform spectrum analysis. The experimental results have shown that this method yields AR spectra with three times higher resolution than the FFT method does. The improvements obtained from the Marple algorithm over the maximum entropy algorithm include higher resolution, less bias in the spectral peak frequency estimation and absence of observed spectral line splitting. The effects of the structure of the spectral lines and the noise on the resolution are discussed.Projects supported by National Natural Science Foundation of China