On the uniqueness of the foliation of spheres of constant mean curvature in asymptotically flat 3-manifolds

In this note we study constant mean curvature surfaces in asymptotically flat 3-manifolds. We prove that, outside a given compact subset in an asymptotically flat 3-manifold with positive mass, stable spheres of given constant mean curvature are unique. Therefore we are able to conclude that the foliation of stable spheres of constant mean curvature in an asymptotically flat 3-manifold with positive mass outside a given compact subset is unique.

     

用^60Co放射源检测油垢厚度的初步实验研究

本文用石蜡模拟油垢，用^60Co放射源的1．25MeV平均能量的γ射线垂直入射，以一定的散射角和不同的探测立体角接收散射γ光子敫．发现散射γ计数与被测石蜡厚度之间存在不同的线性关系．结果发现，放射源与探测器之间屏蔽的好坏和合理的探测距离对提高线性度有很大关系．本实验测得最佳线性相关系数平方值为0．9981，平均测量精度为1．26mm．这对研究散射法检测油垢厚度和选择合适的探测距离提供了实验基础．     

Linear Relations, Differential Inclusions, and Degenerate Semigroups

A generalized linear differential equation in a Banach space is studied. The construction of a phase space and solutions with the help of the spectral theory of linear operators, ergodic theorems, and degenerate semigroups of linear operators is carried out.     

具功能反应的三种群捕食者——食饵系统数学模型稳定性的研究

[1]中提出了具有功能反应的三种群捕食者——食饵系统的两种模型(Ⅰ)、(Ⅱ),并给出了局部渐近稳定的条件。本文研究了另外两种模型(Ⅲ)和(Ⅳ)的局部渐近稳定的条件。     

Bayes估计的进一步研究及其Pitman最优性

对线性模型参数,讨论了Bayes估计的Pitman最优性,将已有结果进行了改进,去掉了附加条件,证明了在Pitman准则下,Bayes估计一致优于最小二乘估计(LSE),在此基础上,提出了一种基于先验信息的方差分量估计,通过和基于LSE的方差分量估计作比较,证明了新估计是无偏估计且有更小的均方误差．最后,证明了在Pitman准则下生长曲线模型参数的Bayes估计优于最佳线性无偏估计．     

Decision methods for linearly ordered Heyting algebras

The decision problem for positively quantified formulae in the theory of linearly ordered Heyting algebras is known, as a special case of work of Kreisel, to be solvable; a simple solution is here presented, inspired by related ideas in Gödel-Dummett logic.     

�ɲ����˶�����ά��������������һ�������ڵ����Զ������������������

??We study the linear quadratic optimal stochastic control problem which is jointly driven by Brownian motion and L\'{e}vy processes. We prove that the new affine stochastic differential adjoint equation exists an inverse process by applying the profound section theorem. Applying for the Bellman's principle of quasilinearization and a monotone iterative convergence method, we prove the existence and uniqueness of the solution of the backward Riccati differential equation. Finally, we prove that the optimal feedback control exists, and the value function is composed of the initial value of the solution of the related backward Riccati differential equation and the related adjoint equation.     

Automatic detection and identification of shocks in Gaussian state‐space models: a Bayesian approach

An automatic monitoring and intervention algorithm that permits the supervision of very general aspects in an univariate linear Gaussian state–space model is proposed. The algorithm makes use of a model comparison and selection approach within a Bayesian framework. In addition, this algorithm incorporates the possibility of eliminating earlier interventions when subsequent evidence against them comes to light. Finally, the procedure is illustrated with two empirical examples taken from the literature. Copyright © 2005 John Wiley & Sons, Ltd.     

Vector-Orthogonality and Lanczos-Type Methods

A method for solving a linear system is defined. It is a Lanczos-type method, but it uses formal vector orthogonality instead of scalar orthogonality. Moreover, the dimension of vector orthogonality may vary which gives a large freedom in leading the algorithm, and controlling the numerical problems. The ideas of truncated and restarted methods are revisited. The obtained residuals are exactly orthogonal to a space of increasing dimension. Some experiments are done, the problem of finding automaticaly good directions of projection remains partly open.     

Quotient normed cones

Given a normed cone (X, p) and a subconeY, we construct and study the quotient normed cone (X/Y,p) generated byY. In particular we characterize the bicompleteness of (X/Y, ‖·‖ ^p ,p) in terms of the bicompleteness of (X, p), and prove that the dual quotient cone ((X/Y)^*, || · ‖·‖^p,p) can be identified as a distinguished subcone of the dual cone (X ^*, || · ||_{p, u}). Furthermore, some parts of the theory are presented in the general setting of the spaceCL(X, Y) of all continuous linear mappings from a normed cone (X, p) to a normed cone (Y, q), extending several well-known results related to open continuous linear mappings between normed linear spaces.