双曲-抛物型偏微分方程奇摄动混合问题的数值解法

构造了二阶双曲—抛物型方程奇摄动混合问题的差分格式，给出了差分解的能量不等式，并证明了差分解在离散范数下关于小参数一致收敛于摄动问题的解。     

双曲-双曲奇异摄动混合问题的一致收敛格式

本文构造了二阶双曲-双曲奇异摄动混合问题的差分格式,给出了差分解的能量不等式,并证明了差分解在离散范数下关于小参数一致收敛于摄动问题的解.     

自共轭常微分方程奇异摄动问题一致收敛的差分格式

本文对自共轭常微分方程奇异摄动问题,构造一族带拟合因子的差分格式,用不同于[1]的方法,通过对格式截断误差的分析,给出差分格式解一致收敛于微分方程解的充分条件;由此提出几个具体的差分格式,在较弱的条件下,给出较高的一致收敛阶,并将它们应用于例子,给出数值结果.     

高阶椭圆型偏微分方程奇异摄动问题一致收敛差分格式

本文,我们讨论了一类高阶椭圆型偏微分方程奇异摄动问题。给出了连续问题解的先验估计。另外,我们还提供了一种数值求解该类问题的指数型差分格式。最后,证明了差分问题的解在能量范数意义下关于小参数一致收敛到连续问题的解。     

一类具转向点椭圆型方程奇异摄动问题的数值解法

本文考虑如下一类具转向点椭圆型方程奇异摄动问题的数值解法文［１］已经研究了该问题的渐近解．本文在得到渐近解余项的更好估计式后，证明了所构造的差分格式关于小参数ε的一致收敛结果．误差估计达到α阶，其中．     

具有零阶退化方程的二阶双曲型方程奇异摄动问题的一致差分格式

本文讨论了一个二阶双曲型奇异摄动问题,它的一阶导数项含有小参数ε.首先给出该问题解的能量估计及渐近解的余项估计,然后在均匀网格上构造了一个指数型拟合差分格式,最后证明了差分解在离散的能量范数意义下一致收敛于问题的精确解.     

小参数常微分方程守恒型差分格式的一致收敛性

本文考虑自共轭常微分方程奇异摄动边值问题,构造一族带拟合因子的差分格式,给出差分格式解一致收敛于微分方程解的充分条件,由此提出几个具体格式,在条件较弱的情况下,给出较高的一致收敛阶。     

圆板几何非线性方程摄动解的收敛性

本文从一般角度出发,详细讨论了圆薄板几何非线性方程的正则摄动解和对应的迭代解的计算格式以及它们两者之间的关系,通过证明迭代解的收敛性,解决了摄动解在区域上一致收敛这一棘手问题。     

奇异摄动问题的一致收敛差分格式

本文给出了奇异摄动问题的一族一致收敛的差分格式.     

带有转向点的半线性奇异摄动问题的一致收敛差分格式

本文讨论带有转向点的半线性二阶常微分方程奇异摄动边值问题。首先推导解的导数估计及分解。然后构造一个差分格式,它是Il'in格式的推广。证明了一致收敛性。最后给出一种迭代法解非线性差分方程。并证明迭代法单调收敛,收敛速度与ε无关。     

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

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

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

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

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

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

一个安全有效的智能卡远程用户认证方案

2000年,Hwang和Li提出了一个新的智能卡远程用户认证方案,随后Chan和Cheng对该方案进行了成功的攻击.最近Shen,Lin和Hwang针对该方案提出了一种不同的攻击方法,并提供了一个改进方案用于抵御这些攻击.2003年,Leung等认为Shen-Lin-Hwang改进方案仍然不能抵御Chan和Cheng的攻击,他们用改进后的Chang-Hwang攻击方法进行了攻击.文中主要在Hwang-Li方案的基础上,提出了一个新的远程用户认证方案,该方案主要在注册阶段和登录阶段加强了安全性,抵御了类似Chan-Cheng和Chang-Hwang的攻击.     

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.     

Efficient discrete logarithm based multi-signature scheme in the plain public key model

In this paper, we provide a new multi-signature scheme that is proven secure in the plain public key model. Our scheme is practical and efficient according to computational costs, signature size and security assumptions. At first, our scheme matches the single ordinary discrete logarithm based signature scheme in terms of signing time, verification time and signature size. Secondly, our scheme requires only two rounds of interactions and each signer needs nothing more than a certified public key to produce the signature, meaning that our scheme is compatible with existing PKIs. Thirdly, our scheme has been proven secure in the random oracle model under standard discrete logarithm (DL) assumption. It outperforms a newly proposed multi-signature scheme by Bagherzandi, Cheon and Jarecki (BCJ scheme) in terms of both computational costs and signature size.     

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

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

时间空间均为二阶的新型NND差分格式

张涵信的研究表明,为了避免激波前后差分解的波动,在差分格式的改型方程中三阶导数的系数在激波上游必须是正的,而在激波下游则必须是负的.据此提出了一种新型的无波动、无自由参数耗散性的差分格式,它对时间和空间都是二阶的.证明了此格式是TVD的,而且是推广的二阶Годунов格式.在处理有激波的流场时,此格式是Lax-Wendroff格式的改进和推广.给出了若干算例,计算结果表明,此格式不仅无波动,而且具有形式紧凑、应用方便、分辨率高、稳定性准则中的Courant数较大的优点.     

线性传输方程的几种数值格式的比较

本文研究了线性传输方程的数值计算问题.利用Godunov格式、Entropy格式、Ultra-bee格式和Entropy-Ultra-bee格式对线性传输方程进行了数值计算,获得了相应的数值结果.数值实验结果表明Entropy-Ultra-bee格式结合了Entropy格式和Ultra-bee格式的优点,在整个计算区域都有比较高的分辨率,而且没有出现非物理振荡.