The Equivalence of Several Basic Theorems for Subdifferentials

Several different basic tools are used for studying subdifferentials. They are a nonlocal fuzzy sum rule in (Borwein et al., 1996; Zhu, 1996), a multidirectional mean value theorem in (Clarke and Ledyaev, 1994; Clarke et al., 1998), local fuzzy sum rules in (Ioffe, 1984, 1990) and an extremal principle in (Kruger and Mordukhovich, 1980; Mordukhovich, 1976, 1980, 1994). We show that all these basic results are equivalent and discuss some interesting consequences of this equivalence.     

ContributionsSign-balanced covering matrices

A q × n array with entries from 0, 1,…,q − 1 is said to form a difference matrix if the vector difference (modulo q) of each pair of columns consists of a permutation of [0, 1,… q − 1]; this definition is inverted from the more standard one to be found, e.g., in Colbourn and de Launey (1996). The following idea generalizes this notion: Given an appropriate δ (-[−1, 1]^t, a λq × n array will be said to form a (t, q, λ, Δ) sign-balanced matrix if for each choice C₁, C₂,…, C_t of t columns and for each choice = (₁,…,_t) Δ of signs, the linear combination ∑_j=1^t _jC_j contains (mod q) each entry of [0, 1,…, q − 1] exactly λ times. We consider the following extremal problem in this paper: How large does the number k = k(n, t, q, λ, δ) of rows have to be so that for each choice of t columns and for each choice (₁, …, _t) of signs in δ, the linear combination ∑_j=1^t _jC_j contains each entry of [0, 1,…, q t- 1] at least λ times? We use probabilistic methods, in particular the Lovász local lemma and the Stein-Chen method of Poisson approximation to obtain general (logarithmic) upper bounds on the numbers k(n, t, q, λ, δ), and to provide Poisson approximations for the probability distribution of the number W of deficient sets of t columns, given a random array. It is proved, in addition, that arithmetic modulo q yields the smallest array - in a sense to be described.     

Dimensional Properties of Fractional Brownian Motion

Let B^α = {B^α（t）,t E R^N} be an （N,d）-fractional Brownian motion with Hurst index α∈ （0, 1）. By applying the strong local nondeterminism of B^α, we prove certain forms of uniform Hausdorff dimension results for the images of B^α when N 〉 αd. Our results extend those of Kaufman for one-dimensional Brownian motion.     

工业CT图像均匀性校正

在工业CT图像重建过程中,射束硬化使得图像出现“杯状”伪影,阵列探测器响应不一致使得图像出现环状伪影、带状伪影和点伪影,影响图像均匀性.本文分析了射束硬化的原理和探测器响应不一致的数学模型,并通过实验,对探测器响应进行多挡板定标得到校正系数表.利用查表插值的方法对投影数据进行均匀性校正,消除上述伪影.     

On the Decomposition of Hopf Module Coalgebra

In1969,Sweedler[1]giventhedecompositiontheoreyofcoalgebraswhicharecocommu-tative.In1975,Kaplansky[2]showedthatanycoalgebracanbeuniquelydecomposedintoadirectsumofitsindecomposablesubcoalgebras.From1978to1992,Shudo[3]andXu[4]consructuredtheindecomposabledirectsumcomponentsofacoalggebra,viadefineequivalenceralationforthesetofsimplesubcoalgebras.Asweknow,themodolecoalgebraisthennaturalgeneralizationofcoalgebra.AndittakesplayanimportentroleintheDrinfelddouble.Inthispaper,wediscussthedecompositio…     

Some path properties of generalized Lévy sheet

Let X(t) be an N parameter generalized Lévy sheet taking values in ℝ^d with a lower index α, ℜ = {(s, t] = ∏ _i=1 ^N (s _i, t _i], s _i < t _i}, E(x, Q) = {t ∈ Q: X(t) = x}, Q ∈ ℜ be the level set of X at x and X(Q) = {x: ∃t ∈ Q such that X(t) = x} be the image of X on Q. In this paper, the problems of the existence and increment size of the local times for X(t) are studied. In addition, the Hausdorff dimension of E(x, Q) and the upper bound of a uniform dimension for X(Q) are also established.     

一维问题的一种积分形式的流量重构算法

1引言我们考虑如下一维二阶椭圆边界值问题(-(β(x)p′)(x))′=f(x),x∈(a,b) p(a)=p(b)=0(1))其中β=β(x)是一恒正函数,且β∈H~1(a,b),f∈L~2(a,b)．事实上,在此条件下,我们可保证p∈H~2(a,b)(见[1],[2])．(1)之弱形式为：求p∈H_0~1(a,b)使得a(p,q)=(f,q),(?)q∈H_0~1(a,b),(2)其中a(p,q)=(?)_a~bβp′q′dx,(f,g)=(?)_a~bfqdx．给定(a,b)的一个分割α=x_0＜x_1＜…＜x_(n-1)＜x_n=b,令h=(?)(x_i-x_(i-1)),(?)_i表示通常相应于节点x_i的形状函数,即(?)_i是连续的分段线性函数且满足(?)_i(x_k)=δ_(ik),这里δ_(ik)=(?)i,k=0,1,…,n．又记V_h~0=span{(?)_1,(?)_2,…,(?)_(n-1)),取V_h~0作为p的逼近空间,则求解(1)的标准有限元格式为：求ph∈V_h~0使得     

Multiple local solutions to nonlinear control processes

We use the topological tool of Nielsen fixed-point theory to study the controllability of perturbed linear control processes whose control space can be reduced to a finite-dimensional one. These methods produce a lower bound on the number of controls that achieve a given target. We concentrate particularly on the case where the perturbation has sublinear growth, and we exhibit examples of multiple controls of various types that are detected by the Nielsen theory method.This research was partly supported by the Research Grant Teoria del Controllo dei Sistemi Dinamici, Ministero della Pubblica Istruzione, Roma, Italy.     

The projection approach to the Fokker-Planck equation. I. Colored Gaussian noise

It is shown that the Fokker-Planck operator can be derived via a projection-perturbation approach, using the repartition of a more detailed operator into a perturbation ₁ and an unperturbed part ₀. The standard Fokker-Planck structure is recovered at the second order in ₁, whereas the perturbation terms of higher order are shown to provoke the breakdown of this structure. To get rid of these higher order terms, a key approximation, local linearization (LL), is made. In general, to evaluate at the second order in ₁ the exact expression of the diffusion coefficient which simulates the influence of a Gaussian noise with a finite correlation time, a resummation up to infinite order in must be carried out, leading to what other authors call the best Fokker-Planck approximation (BFPA). It is shown that, due to the role of terms of higher order in ₁, the BFPA leads to predictions on the equilibrium distributions that are reliable only up to the first order in t. The LL, on the contrary, in addition to making the influence of terms of higher order in ₁ vanish, results in a simple analytical expression for the term of second order that is formally coincident with the complete resummation over all the orders in t provided by the Fox theory. The corresponding diffusion coefficient in turn is shown to lead in the limiting case to exact results for the steady-state distributions. Therefore, over the whole range 0 the LL turns out to be an approximation much more accurate than the global linearization proposed by other authors for the same purpose of making the terms of higher order in ₁ vanish. In the short- region the LL leads to results virtually coincident with those of the BFPA. In the large- region the LL is a more accurate approximation than the BFPA itself. These theoretical arguments are supported by the results of both analog and digital simulation.     

(TiNi)_x(x=2~4)团簇结构和电子结构

从团簇角度对TiNi形状记忆合金进行了量子化学从头算研究。设计并优化了等原子比(TiNi)x(x=2~4)簇的多种可能几何结构,并对较稳定构型进行电子结构的分析。结果表明,等原子比的(TiNi)n团簇以TiNi成键为主要分子骨架,小团簇有较多能量接近的异构体,TiTi成键对能量降低有较大贡献。