东露天铁路专线采空区治理对策研究

针对东露天铁路专线所经过的采空区特点,分析了典型采空区上覆岩层的稳定性和上覆岩层移动形式,提出该地区采空区的治理措施。     

Interpolation by a Game

We introduce a notion of a real game (a generalisation of the Karchmer-Wigderson game (cf. [3]) and of real communication complexity, and relate this complexity to the size of monotone real formulas and circuits. We give an exponential lower bound for tree-like monotone protocols (defined in [4, Definition 2.2]) of small real communication complexity solving the monotone communication complexity problem associated with the bipartite perfect matching problem. This work is motivated by a research in interpolation theorems for prepositional logic (by a problem posed in [5, Section 8], in particular). Our main objective is to extend the communication complexity approach of [4, 5] to a wider class of proof systems. In this direction we obtain an effective interpolation in a form of a protocol of small real communication complexity. Together with the above mentioned lower bound for tree-like protocols this yields as a corollary a lower bound on the number of steps for particular semantic derivations of Hall's theorem (these include tree-like cutting planes proofs for which an exponential lower bound was demonstrated in [2]).     

中日刑事强制措施制度之比较

刑事强制措施是刑事程序法的重要组成部分。但自1996年修改《刑事诉讼法》至今，由于立法观念及技术等方面的原因，刑事强制措施在立法和司法实践中暴露出许多问题。故从比较法的角度，对日本的刑事强制措施制度和我国的法制现状进行分析比较。并从我国司法实践出发，对刑事强制措施的改进提出若干建议。     

The characteristic of noncompact convexity and random fixed point theorem for set-valued operators

Let (Ω, Σ) be a measurable space, X a Banach space whose characteristic of noncompact convexity is less than 1, C a bounded closed convex subset of X, KC(C) the family of all compact convex subsets of C. We prove that a set-valued nonexpansive mapping T: C → KC(C) has a fixed point. Furthermore, if X is separable then we also prove that a set-valued nonexpansive operator T: Ω × C → KC(C) has a random fixed point.     

从B~0到E(p，q)和E_0(p，q)空间的复合算子(英文)

设φ是单位园盘D到自身的解析映射,X是D上解析函数的Banach空间,对f∈X,定义复合算子C_φ∶C_φ)(f)=fφ．我们利用从B~0到E(p,q)和E_0(p,q)空间的复合算子研究了空间E(p,q)和E_0(p,q),给出了一个新的特征．     

Carleson测度与Bloch的刻画

在文中，对于C^n中有界强拟凸域。我们得到Carleson测度，消没Carleson测度的刻画。利用Carleson测度，我们还得到Bloch，小Bloch的刻画。     

One-dimensional stochastic Burgers equation driven by Lévy processes

In this paper, we proved the global existence and uniqueness of the strong, weak and mild solutions for one-dimensional Burgers equation perturbed by a Poisson form process, a Poisson form and Q-Wiener process with the Dirichlet bounded condition. We also proved the existence of the invariant measure of these models.     

A four-parameter partition identity

We present a new partition identity and give a combinatorial proof of our result. This generalizes a result of Andrews in which he considers the generating function for partitions with respect to size, number of odd parts, and number of odd parts of the conjugate. 2000 Mathematics Subject Classification Primary—05A17; Secondary—11P81     

Multipliers of convergence in norm of series with respect to multiplicative systems

We prove analogs of the Telyakovskii-Pochuev criteria for multipliers of uniform convergence and of convergence in the integral metric for multiplicative systems with bounded generating sequence.     

On error operators related to the arbitrary functions principle

The error on a real quantity Y due to the graduation of the measuring instrument may be asymptotically represented, when the graduation is regular and fines down, by a Dirichlet form on R whose square field operator does not depend on the probability law of Y as soon as this law possesses a continuous density. This feature is related to the “arbitrary functions principle” (Poincaré, Hopf). We give extensions of this property to Rd and to the Wiener space for some approximations of the Brownian motion. This gives new approximations of the Ornstein-Uhlenbeck gradient. These results apply to the discretization of some stochastic differential equations encountered in mechanics.