Fourier-Jacobi展开的Riesz平均

对ｆ∈Ｌｐ（Ｒ＋，Δ（ｔ）ｄｔ），Δ（ｔ）＝（２ｓｉｎｈｔ）２α＋１（２ｃｏｓｈｔ）２β＋１，１ｐ２，本文证明了当Ｒｅｚ＞（２／ｐ－１）（α＋１／２）时，ｆ的Ｆｏｕｒｉｅｒ－Ｊａｃｏｂｉ展开的ｚ－阶Ｒｉｅｓｚ平均几乎处处收敛于ｆ．该结果推广了Ｇｉｕｌｉｎｉ和Ｍａｕｃｅｒｉ在实秩为１的对称空间上的相应结果     

关于Fujita型反应扩散方程组的Cauchy问题

本文研究Ｆｕｊｉｔａ型反应扩散方程组ｕｔ－Δｕ＝α１｜ｕ｜ｑ１－１ｕ＋β１｜ｖ｜ｐ１－１ｖ，（ｘ∈ＲＮ，ｔ＞０），ｖｔ－Δｖ＝α２｜ｕ｜ｑ２－１ｕ＋β２｜ｖ｜ｐ２－１ｖ，ｕ（ｘ，０）＝ｕ０（ｘ）０，ｖ（ｘ，０）＝ｖ０（ｘ）０，（ｘ∈ＲＮ）Ｌｐ解的整体存在性和有限时间Ｂｌｏｗ ｕｐ问题．这里ｑｉ＞１，ｐｉ＞１（ｉ＝１，２），α１０，α２＞０，β１＞０，β２０，１ｐ＋∞．     

解三维热传导方程的一族对称含参数高精度的显式差分格式

对求解三维热传导方程利用待定参数法构造出一族对称的含参数的，截断误差为Ｏ（Δｔ＾１＋Δｘ＾４＋Δｙ＾４＋Δｚ＾４）的便于计算的三层显格式，并讨论了其条件稳定性。     

抛物型方程的一个高精度隐格式

利用待定参数法,对一维抛物型方程构造出了一个截断误差为Ｏ（△ｘ＾４＋△ｘ＾４）的隐式差分格式,格式的稳定性条件为ｒ＝ａ△ｔ／△ｘ＾２≤１／√２,可用追赶法求解。     

关于Hardy-Hilbert积分不等式的推广

本文通过引入适当的参数，及如下形式的权系数（ｘ＋β）１－ｔｋｔ（ｒ）－ｌｎ２α＋βｘ＋β１－１／ｒ，ｘ∈［α，∞）（α－β，ｒ＞１，１－１／ｒ＜ｔ１）．而使Ｈａｒｄｙ－Ｈｉｌｂｅｒｔ积分不等式得到有意义的推广．这里ｋｔ（ｒ）＝∫∞０１（１＋ｕ）ｔ１ｕ１／ｒｄｕ，常数ｌｎ２＝０．６９３１４７１８＋．     

关于两类积分算子的性质

设ｆ（ｚ）＝ｚ＋ａ２ｚ＾２＋…在单位圆的Ｄ内解析，β，γ，ｃ为常数，γ≠０，定义积分虎子，Ｉ１（ｆ）（ｚ）＝∫＾ｚ０（ｆ（ｔ）／ｔ）βｄｔ，Ｉ（ｆ）（ｚ）＝「γ＋ｃ／ｚ＾ｃ∫＾ｚ０ｔ＾ｃ－１（ｆ（ｔ））γｄｔ」＾１／γ。讨论了积分算子Ｉ１与Ｉ２的一些性质，改进了有关这两类积分算子的几个结果。     

一个部份自回归模型的渐近有效性

本文考虑部分自回归模型Ｘｔ＝ｘｔ－１β＋ｇ（Ｕｔ）＋εｔ，ｔ≥１。这里ｇ是一未知函数，β是和待估参数，εｊ是具有０均值和方差σ＾２的ｉ．ｉ．ｄ．误差，Ｕｔｉ．ｉ．ｄ．服从［０，１］上均匀分布。     

鞅差几何级数的重对数律

设｛Ｘｋ，Ｆｋ，ｋ≥０｝是（Ω，Ｆ，Ｐ）上的鞅差序列，在本文中我们讨论了以｛Ｘｋ｝为系数的幂级数Ｓ（β＝Σ∞ｋ＝０βｋＸｋ，当β↑１时的渐近行为，本文证明了：如果│Ｘｋ│≤ｃ，Ｅ（Ｘ＾２ｋ│Ｆｋ－１）＝１，则有下面的重对数律成立ｌｉｍβ↑１√１－β＾２／√２ｌｏｇｌｏｇ（１－β＾２）－１Ｓ（β）＝１ａ．ｓ。     

局部平方可积鞅的Chug重对数律

设Ｘ＝（Ｘｔ，ｔ≥０）为局部平方可积鞅，且Ｘ０＝０〈Ｘ，Ｘ〉ｔ为其二阶可料变差。利用继续半鞅的强逼近结果，我们证明了在较弱的条件下，Ｘ的Ｃｈｕｎｇ重对数律成立，即ｐ（＾ｌｉｍｉｎｆ ｔ→∞ ＾ｓｕｐ│Ｘｓ│ ｏ≤ｓ≤ｔ／（〈ｘ，ｘ〉ｔ／ｌｏｇｌｏｇ〈Ｘ，Ｘ〉 ｔ）＾１／２＝π／根号８）＝１。     

方差估计的随机加权分布的渐近展开—非独立同分布情形

设Ｘ１，．．．，Ｘｎ是一组独立的随机变量序列，设ＥＸｉ＝０，ＶａｒＺｉ＝μ２，ｉ＝１，２，．．．，ｎ，其中μ２是待估参数，当Ｘｉ，ｉ＝１，２，．．．ｎ给定后，分别用Ｄｎ＝ｎ∑ｉ＝１Ｖｉ（Ｘｉ－Ｘ）＾２－１／ｎｎ∑ｉ＝１（Ｘｉ－Ｘ）＾２及Ｕｎ＝ｎ∑ｉ＝１（Ｘｉ－Ｘ）＾２及Ｕｎ＝ｎ∑ｉ＝１Ｖｉ（Ｘｉ－ｎ∑ｉ＝１ＶｉＸｉ）＾２－１／ｎｎ∑ｉ－１（Ｘｉ－Ｘ）＾２两种形式的随机加权分布来逼近Ｔｎ＝１／ｎｎ∑     

Du Fort-Frankel格式及DFF-I并行格式的稳定性

 本文对抛物型方程的Du Fort-Frankel(DFF)格式以及基于该格式构造的并行差分格式(DFF-I)进行了稳定性分析。采用矩阵分析方法, 证明了其无条件(LR)稳定性, 给出了DFF格式的稳定性系数的最小值的上界估计, 结果表明其与网格比有关, 从而DFF格式并非绝对稳定。本文改进了并行差分格式(DFF-I)的稳定性分析结果, 证明了其增长矩阵的谱半径严格小于1, 从而具有长时间稳定性。数值算例验证了DFF-I格式具有空间二阶精度, 且有很好的稳定性。     

求解一维定常对流扩散反应方程的混合型紧致差分格式

借助显式紧致格式和隐式紧致格式的思想,基于截断误差余项修正,并结合原方程本身,构造出了一种求解一维定常对流扩散反应方程的高精度混合型紧致差分格式.格式仅用到三个点上的未知函数值及一阶导数值,而一阶导数值利用四阶Pade格式进行计算,格式整体具有四阶精度.数值实验结果验证了格式的精确性和可靠性.     

色散方程的一类本性并行的差分格式

对一维色散方程给出了本性并行的一般的交替差分格式，证明了该类格式的绝对稳定性已有的交替分组显格式(AGE)是该类格式的特例．作为特例，进一步得到交替分段显一隐格式(ASF-I)和交替分段Crank-Nicolson格式(ASC-N)．数值实验比较了这几个格式数值解的精确性．     

On stability of difference schemes. Central schemes for hyperbolic conservation laws with source terms

The stability of nonlinear explicit difference schemes with not, in general, open domains of the scheme operators are studied. For the case of path-connected, bounded, and Lipschitz domains, we establish the notion that a multi-level nonlinear explicit scheme is stable iff (if and only if) the corresponding scheme in variations is stable. A new modification of the central Lax–Friedrichs (LxF) scheme is developed to be of the second-order accuracy. The modified scheme is based on nonstaggered grids. A monotone piecewise cubic interpolation is used in the central scheme to give an accurate approximation for the model in question. The stability of the modified scheme is investigated. Some versions of the modified scheme are tested on several conservation laws, and the scheme is found to be accurate and robust. As applied to hyperbolic conservation laws with, in general, stiff source terms, it is constructed a second-order nonstaggered central scheme based on operator-splitting techniques.     

XTR-Kurosawa-Desmedt Scheme

This paper proposes an XTR version of the Kurosawa-Desmedt scheme. Our scheme is secure against adaptive chosen-ciphertext attack under the XTR version of the Decisional Diffie- Hellman assumption in the standard model. Comparing efficiency between the Kurosawa-Desmedt scheme and the proposed XTR-Kurosawa-Desmedt scheme, we find that the proposed scheme is more efficient than the Kurosawa-Desmedt scheme both in communication and computation without compromising security.     

XTR-Kurosawa-Desmedt Scheme

This paper proposes an XTR version of the Kurosawa-Desmedt scheme. Our scheme is secure against adaptive chosen-ciphertext attack under the XTR version of the Decisional Diffie-Hellman assumption in the standard model. Comparing efficiency between the Kurosawa-Desmedt scheme and the proposed XTR-Kurosawa-Desmedt scheme, we find that the proposed scheme is more efficient than the Kurosawa-Desmedt scheme both in communication and computation without compromising security.     

An Analysis of the Blended Three-Step Backward Differentiation Formula Time-Stepping Scheme for the Navier-Stokes-Type System Related to Soret Convection

In this article, we investigate the stability and convergence of a new class of blended three-step Backward Differentiation Formula (BDF) time-stepping scheme for spatially discretized Navier-Stokes-type system modeling Soret driven convective flows. A Galerkin mixed finite element spatial discretization is assumed, and the temporal discretization is by the implicit blended three-step BDF scheme. The blended BDF scheme is more accurate than the classical second order accurate two-step BDF (BDF2) scheme, yet strongly A-stable. We consider an implicit, linearly extrapolated version of the scheme to improve its efficiency. We present optimal finite element error estimates and prove the scheme is unconditionally stable and convergent. Numerical experiments are presented that compare the scheme to the classical BDF2 scheme.     

对一群签名方案的分析与改进

通过对夏祥盛等人的动态门限群签名方案的研究,指出该方案的若干不足,其中最主要的不足是通过伪造和不可追踪性,并对该方案进行了改进．与现有群签名方案不同,新方案中用户的秘密数由用户自己选取,从而避免了双线性对的计算,大大提高了效率．分析说明改进的群签名方案几乎克服了原方案的所有缺点．     

一类多维非线性反应扩散方程有限差分格式的稳定性问题(英文)

本文研究了一类多维线性反应扩散方程差分格式的稳定性.利用量未知元方法,建立了具有增量未知元的有限差分格式;然后利用非线性Galerkin方法,得到该差分格式的稳定性条件.通过对该格式的稳定性分析,说明和经典的差分格式的稳定性相比较,带有增量未知元的有限差分格式的稳定性得到了提高.     

可证明安全的基于证书聚合签名方案

对刘云芳等人提出的基于证书聚合签名方案进行安全性分析,指出方案不能抵抗类型Ⅱ敌手攻击,并给出两种攻击方法,在此基础上提出了一个新的可证安全的基于证书聚合签名方案,利用Diffie-Hellman困难问题,在随机预言模型下证明了新方案是存在性不可伪造的.另外,新方案的聚合签名长度是固定常数,与签名者的数量无关,在签名验证中只需要4个对运算和n个标量乘运算,因此,新方案的签名验证效率得到很大提高.