带有小参数的抛物型方程的多过渡点差分格式

讨论两类时间上带有小参数的抛物型方程,介绍了多过渡点的选取方法,依此法构造不等距差分格式并证明新的差分格式关于摄动参数是一阶一致收敛.多过渡点差分格式的收敛阶与Bakhvalov法相同,高于Shishkin网格法,但计算量比Bakhvalov法小得多,在实际应用中相当有效.     

奇摄动常微分方程系统的数值解法

讨论奇摄动常微分方程系统的二点边界值问题，这是奇摄动问题中较难的部分．中介绍了多过渡点的选取方法．依此法构造不等距差分格式，在最大范数下证明新的差分格式关于摄动参数是一阶一致收敛．多过渡点确定了网格划分从细网格到中等同格和粗网格的过渡，而Shishkin Sehenle(单过渡点法)只将网格分为细网格和粗网格．多过渡点法很好地拟合了边界层的性质，在实际应用中相当有效，其收敛阶也高于Shishkin网格法．     

三维双调和方程的高阶紧致差分格式及其多重网格方法

提出一类求解三维双调和方程的高精度紧致差分格式.该类格式是以泊松方程的高精度格式为基础的四阶精度19点紧致差分格式和六阶精度27点紧致差分格式.采用多重网格方法求解由高精度紧致差分格式所形成的代数方程组,并与低精度方法进行比较.讨论多重网格方法中不同松驰算子的迭代收敛效果.数值实验结果验证四阶紧致差分格式和六阶紧致差分格式的精度以及多重网格方法的可靠性和高效性.     

带有小参数和不连续源项的反应--扩散问题的多过渡点格式

在许多应用领域常出现带有小参数和不连续源项的反应一扩散问题．这类问题在边界层和内部层附近都出现剧烈振荡现象，解析解根本无法求出．因此人们常采用关于摄动参数为一致收敛的数值方法．本介绍了多过渡点方法，此方法根据边界层和内部层的特点，选择合适的过渡点．在内部层和边界层附近加细了网格点。它很好地拟合了边界层和内部层的性质．证明了新的格式关于小参数一阶一致收敛．提高了Shishkin网格法(单过渡点法)的收敛阶．     

二维变系数反应扩散方程的紧交替方向差分格式

研究二维抛物型方程的紧交替方向隐式差分格式.首先综合运用算子方法导出紧差分格式,并给出了差分格式截断误差的表达式;其次引进过渡层变量,给出了紧交替方向隐式差分格式算法;接着利用Fourier稳定性分析方法证明了差分格式的稳定性和收敛性,且收敛阶为O(T2+h4);最后给出了数值例子,数值结果和理论结果是吻合的.     

关于热传导問題差分解的收斂阶

近十几年来有一系列工作都是用数学分析方法讨论热传导问题差分解的收敛阶(比如所引的文献和.和中只分别讨论了古典显格式和六点对称格式;也只对几个特殊格式作了讲座,但他所得的结果只有当初始函数无穷次连续可微时差分解的收敛阶才和差分方程的逼近阶相同.本文用类似的方法讨论了一般带权θ格式,并且证明了只要初始函数适当光滑差分解的收敛阶就和差分方程逼近阶相等(见基本定理Ⅰ).     

分数阶常微分方程的数值解法

研究分数阶常微分方程,用Grunwald近似逼近分数阶导数,用向后差分逼近一阶导数,构造了差分格式,证明差分格式是稳定的和收敛的,并列举数值例子以说明理论分析是正确的.     

时间分数阶变系数扩散方程的一种差分格式

近些年,越来越多的研究表明,随着时间或者空间变化,方程的扩散系数也会改变.主要研究了变系数分数阶扩散方程的有限差分解法.首先,引入半整数点,在空间网格上进行对偶剖分,再通过差分方法离散空间二阶偏导数.其次,利用两种分数阶导数,即Grünwald-Letnikov导数与Caputo导数的关系,近似替代时间分数阶导数,从而得到了收敛精度为o(t+h~2)的有限差分格式,并且该有限差分格式的解是存在且唯一的.最后,通过利用数学归纳法和最大模方法,证明出差分格式的稳定性和收敛性,并用一个一维时间分数阶变系数扩散方程的数值算例来验证差分格式的收敛阶.     

时空分数阶对流扩散方程的两种有限差分格式的比较（英文）

提出了求解有限区域上的一维时空分数阶变系数对流扩散方程的两种隐式有限差分格式,就格式的精度和收敛阶比较这两种差分格式的优劣.当使用Caputo分数阶导数对a阶时间导数项进行离散时,在两个不同的点上分别采用中心差分,而对β阶空间导数项均使用转化的Grünwald公式进行离散.对得到的两种格式进行稳定性和收敛性分析.用几个已知精确解的数值例子验证和比较这两种有限差分格式的精确性和有效性.     

泊松方程非等间距有限差分的数值求解方法

采用3阶精度中心差分格式对Dirichlet边界条件下的二维泊松方程进行离散,近边界网格点处采用2阶精度差分格式进行离散,利用超松弛迭代进行矩阵求解.数值计算结果表明,该有限差分方法具有收敛速度快、精度高的特点,可推广应用于非等间距网格下其他类型偏微分方程的数值求解.     

对YTH门限代理签名方案的分析与改进

目的 分析YANG,TZENG和HWANG2004年提出的门限代理签名方案(简称YTH方案).方法 利用有限域上离散对数困难问题和安全单向哈希函数对原方案进行改进.结果 分析YTH方案发现该方案是不安全的,容易受到公钥替换攻击,故提出了一种新的安全高效的门限代理盲签名方案.结论 新方案不仅避免了公钥替换攻击,而且还具有不可否认性和不可伪造性等安全门限代理签名和盲签名所具有的性质.     

一种基于几何精度因子的三维室内定位方案

提出了一种基于几何精度因子(GDOP)的三维室内定位方案来解决室内定位系统中的锚节点布置问题.通过该方案可以得到锚节点的双圆锥构型.利用两种测距误差模型来对该方案的性能进行评估,仿真结果表明该方案可以应用于大小不同的场景,而且在相同的定位场景下,该方案的定位精度优于现有的布置方法.     

模拟含随机分布椭圆形夹杂弹性体的边界元法

为了模拟含随机分布椭圆形夹杂固体的等效力学特性 ,根据椭圆形夹杂积分区域的相似性 ,提出了求解此类问题的边界元计算方案。通过利用著名的有限元商用软件MSC.Marc和边界元程序对含有两个非常接近椭圆夹杂板材的对比计算分析 ,表明该文提出的边界元方案比有限元法具有更高的计算精度和计算效率。最后 ,对含有 5 0个随机分布椭圆夹杂的板材进行了计算分析 ,从而为长纤维状复合材料宏观等效力学特性的研究提供了可靠的数值模拟方法。     

基于Schnorr数字签名的顺序群签名方案

给出基于Schnorr数字签名体制的顺序群签名方案.描述了这个顺序群签名体制的密钥生成、群签名生成和群签名验证过程,指出它们对群签名的有效性.讨论这个群签名体制的安全性,利用计算复杂度理论证明了它对抗被动攻击和Schnorr数字签名体制是同样安全的.     

求解热传导方程的一族三层隐式差分格式

提出求解热传导方程的一族高精度三层九点隐式格式,格式的截断误差为O(τ2+h4).利用Fourier方法证明差分格式是绝对稳定的.并通过数值试验,比较差分格式的解和精确解,说明差分格式的有效性.     

基于信道特性的中继选择协作通信方法研究

根据信道统计特性,研究了放大转发(amplify-and-forward,AF)协作中继网络中的中继选择协作通信方法.首先分析指出在等功率条件下,当信噪比小于某个门限时,选择单个中继节点进行转发(pre-select single relay AF,SAF)比所有节点都转发(all relays AF,AAF)的中断概率小.基于此信噪比门限提出一种中继选择协作通信方法,并且指出这种选择方法使得SAF的中断概率最小;然后结合功率分配提出了一种使中断概率最小化的最优中继选择协作通信方法;最后为了降低复杂度,提出了一种次优中继选择协作通信方法.仿真结果表明,这种次优方法和最优中继选择协作通信方法相比,性能相近.     

基于可验证随机数的前后向安全群签名方案

利用有限域上的插值多项式给出一类可验证随机数构造的方法,将此可验证随机数应用到群签名方案中,提出可验证随机函数在群签名系统中的应用方案,然后对方案的安全性进行分析,并与其他方案进行对比.结果表明,此方案具有匿名性、可追踪性、不可伪造性等特性,并且能够灵活添加删除成员,能轻松实现前向安全性和后向安全性,而且在签名的不同阶...     

标准模型下基于属性的高效证明方案

针对可信计算环境下,传统平台认证中所带来的平台配置信息泄露的问题,提出了一个新型的基于属性的证明方案.建立了该方案的模型,给出了方案的具体构建,包括初始化、属性证书颁发、属性证明及验证、撤销等算法.与现有基于属性的证明方案相比,该方案的通信代价更小,计算效率更高.在标准模型下对该方案进行了安全性证明,结果说明了它的正确性、配置隐匿性及不可伪造性等.     

一类ELGamal数字签名方案的安全性分析

对一类原子原型的ELGamal签名变形方案进行有效的存在性伪造攻击,指出该类方案在实用中不可取.根据方案中是否应用杂凑函数将ELGamal签名体制分为两类,深入探讨了杂凑函数在签名中的作用.综述了基于ELGamal签名体制的可证明安全的一般方法,指出对基于ELGamal签名体制的实用签名方案的改进,应规定在带杂凑函数的三元组ELGamal签名方案中.     

跟踪运动目标背景下无人机航路的规划

现代战场中,无人机携带光电设备对运动目标进行跟踪是无人机的重要应用之一。以无人机独立执行跟踪运动目标为背景,在对其所用光电跟踪设备(CCD摄相机)进行分析的基础上,根据跟踪航路的要求,规划出了光栅式跟踪运动目标方案。对所规划方案的技术指标进行了研究,并总结出了光栅式跟踪方案的特点。最后,通过仿真对这此方案进行了验证。仿真结果表明方案可行,这对无人机执行跟踪运动目标的任务在理论上提供了一种可行方案。