变系数分数阶反应-扩散方程的数值解法

考虑了变系数分数阶反应一扩散方程,将一阶的时间偏导数和二阶的空间偏导数分别用Caputo分数阶导数和Riemann-Liouville分数阶导数替换,利用L1算法和G算法对方程的变系数分数阶导数进行适当的离散,给出了该方程的一种计算有效的隐式差分格式,并证明了这个差分格式是无条件稳定和无条件收敛的,且具有o（τ＋h）收敛阶．最后用数值例子说明差分格式是有效的．     

定常对流扩散反应方程的指数型高阶差分格式

提出了一种数值求解一维定常对流扩散反应方程的指数型四阶差分格式．首先,由常数变易法求得模型方程的通解并应用到xi-1,xi,xi＋13点上,得到模型方程的指数型差分格式．然后,利用源项f（x）在点xi处的二阶泰勒展开,得到定常对流扩散反应方程的指数型四阶差分格式．最后,用数值算例验证了该格式的高阶精度和可靠性．     

时间分数阶中立型时滞微分方程的数值解法

对时间分数阶中立型时滞微分方程给出了一种数值解法,证明了当分数阶导数为a（0〈a〈1）时,其差分格式是无条件收敛和稳定的,数值算例也验证了该格式的实用性．     

弹性力学问题的混合有限元分析

就弹性力学问题，我们给出了两种新的混合有限元格式，这两种格式都较现有的同阶格式［１，２］节省了自由度，而且论证方法也较简便．同时，该格式也适用于三维问题．     

四阶抛物方程的一个区域分裂并行差分格式

以四阶抛物型方程为模型,建立了一个区域分裂并行差分格式,并对该格式进行了稳定性以及收敛性的讨论。得出：当网格比r≤0．24时,该格式稳定且收敛。最后,通过数值例子对该结果进行了验证。     

二维麦克斯韦方程改进的无条件稳定的时域有限差分方法

研究了麦克斯韦方程无条件稳定的有限差分格式US—FDTD（见MicrowaveOptTechnolLett38,2003）,证明了该格式是耗散和一阶精度的．在此基础上,利用减少摄动误差的技巧,我们提出了二维麦克斯韦方程改进的无条件稳定的有限差分方法（IUS—FDTD）,应用傅里叶方法证明了新格式IUS—FDTD是无条件稳定的和非耗散的．误差分析表明IUS—FDTD是二阶精度的,比原格式US—FDTD的精度高一阶．数值试验比较了这两种格式的模拟效果,计算结果证实：改进的格式IUS—FDTD比原格式uS—FDTD误差小、稳定性好、精度高．     

非线性Schr(o)dinger方程的辛算法

给出了非线性Schrodinger方程的二阶Euler中点格式、四阶Euler中点格式、二阶蛙跳格式和四阶蛙跳格式，并且作了数值实验验证这些格式的可行性并比较其误差．并且对同样截断误差阶的一种辛格式和一种非辛的差分格式进行比较．我们选取二阶蛙跳格式和二阶两层格式作了数值实验并对它们的运行结果作了比较．发现辛算法比同样截断误差的非辛算法误差小，时间越长优势越明显．     

两点边值问题的混合型高精度紧致差分格式

借助显式紧致格式和隐式紧致格式的思想,构造了求解两点边值问题的一种混合型紧致格式.该格式仅用到3个点上的未知函数值及其一阶导数值,而一阶导数值利用四阶Padé格式进行计算.格式整体具有四阶精度,数值实验结果验证了其精确性和可靠性.     

时间分数阶对流-扩散方程的有限差分法

时间分数阶对流-扩散方程可以用来模拟由传统的对流-扩散方程演变而来的反常扩散方程.本文针对一类时间分数阶对流-扩散方程提出了一个新的隐式差分格式,时间分数阶导数采用直接离散,空间导数采用中心差分格式离散,讨论了差分解的存在唯一性,并利用能量范数证明了该格式的无条件稳定性、收敛性,分析了收敛阶.数值试验验证了该格式的有效性.     

求解分数阶常微分方程的一个高阶数值逼近格式

对于分数阶常微分方程,我们通过直接离散的方法构造了一个高阶数值逼近格式。该数值方法是对分数阶导数直接进行离散。在每个小区间上,利用二次拉格朗日插值来进行逼近,从而获得分数阶导数逼近的高阶数值格式。该数值格式的收敛阶为3-α阶,其中0α1是分数阶导数的阶数。一系列的数值试验验证了理论预测的正确性。     

Rosenau-RLW 方程的加权守恒差分格式

本文对Rosenau-RLW方程初边值问题的数值解法进行了研究,提出了一个三层的加权差分格式,该格式较好地模拟了方程的守恒性质.然后本文讨论了差分解的存在唯一性,给出了差分解的先验估计和误差估计,并利用能量方法分析了该格式的二阶收敛性、无条件稳定性.数值算例验证了格式的可靠性,并且适当调整加权系数还可以提高计算精度.     

可区分秘密分享者角色的防欺诈秘密共享方案

将离散对数、EIGamal体制应用到秘密共享体制,并与随机分配协议相结合,提出了一种可区分秘密分享者角色的秘密共享方案,此种方案有实际的应用背景.对秘密共享体制中的防欺诈措施进行了研究,对该方案的欺诈等价于攻击离散对数,而离散对数是单向函数,因而可以认为本方案是安全的.     

二维半线性抛物方程的一类线性化交替方向隐格式

针对二维半线性抛物型方程初边值问题提出了一类形式非常简单的线性化二层Peaceman-Rachford交替方向差分格式,利用离散能量方法证明了格式在空间和时间方向按照离散L2范数均具有二阶精度.数值例子验证了格式的有效性.     

基于离散对数问题的盲数字签名改进方案

盲数字签名在电子选举协议、安全电子支付等领域应用广泛.针对已有离散对数盲数字签名方案的缺陷,基于求解离散对数问题的困难性,提出了一个改进型盲数字签名方案,可以同时满足盲数字签名的正确性、匿名性、不可伪造性和不可追踪性等特性要求.     

一类时滞非线性抛物型方程时间周期解的有限差分方法

建立了一个用于求解一类时滞非线性抛物型方程时间周期解的有限差分方法,在空间和时间方向上该方法分别具有四阶和二阶精度.为了证明解的存在唯一性,建立了一个单调迭代算法,该算法也给出了一个求解算法.同时讨论了数值解的收敛性.     

非线性抛物型方程时间周期解的有限差分方法(英)

建立了一个用于求解非线性抛物型方程时间周期解的有限差分方法，在空间和时间方向上该方法分别具有四阶和两阶精度. 为了证明解的存在唯一性，建立了一个单调迭代算法，该算法也给出了一个求解算法. 同时讨论了数值解的收敛性. 数值结果显示了该方法的优越性.     

基于离散混沌系统广义同步定理的数字图像加密方案

在建立的离散混沌系统广义同步定理的基础上构造了一个广义混沌同步的离散系统,并结合Henon混沌映射设计了一个数字图像加密方案,能够对灰度图像成功加密并且实现了无失真解密.对该加密方案的密钥空间、密钥参数敏感性分析表明,该加密方案具有较高的安全性.数值仿真实验证明:该加密方案对混沌系统的参数及初始条件扰动极为敏感,任何大于10-15的扰动将使解密失效;该加密方案具有1076的密钥空间,能够有效地应用于网络通讯.     

粱振动方程的多辛格式及其守恒律

提出了梁振动方程的一个新的多辛Hamilton形式,并用中点离散得到了一个新的等价于Preissman多辛积分的格式.进而证明它是无条件稳定且满足离散的多辛守恒律、局部能量守恒律及动量守恒律.最后以数值例子验证了理论分析的正确性.     

EIGamal签名方案的安全性分析及其改进

对EIGamal数字签名方案进行了分析,在指出其安全漏洞的同时,在已有方案的基础上,出了改进的新签名方案,在离散对数问题的困难性假设下,所构造的新方案是安全的.     

ZK-MEM方程的多辛Preissmann格式

ZK-MEM方程作为一类重要的非线性方程有着许多广泛的应用前景,基于Hamilton空间体系的多辛理论研究了ZK-MEM方程的数值解法,讨论了利用Preissmann方法构造离散多辛格式的途径,并构造了一种典型的半隐式的多辛格式,该格式满足多辛守恒律、局部能量守恒律.数值算例结果表明该多辛离散格式具有较好的长时间数值稳定性.