一种带有高精度多维限制器的中心格式

通过将高精度多维限制器(MLP)引入中心迎风格式(KT格式)中,重构出一种具有高分辨率的KT-MLP格式.该格式弥补了KT格式一维构造中的缺陷,且保留了KT格式无需求解黎曼求解器的优点.通过对几类经典二维黎曼问题的数值求解,相比经典的KT格式,KT-MLP格式具有更高的分辨率和精度.     

时间分数阶扩散方程的三次样条差分格式

提出求解时间分数阶扩散方程的三次样条差分格式,证明该格式是无条件稳定的,其局部截断误差阶为O(Δt+Δx2)。该分数阶扩散方程是将一般的扩散方程中的时间一阶导数用α(0<α<1)阶导数代替所得到的。数值算例表明三次样条差分格式是有效的。     

基于Taylor级数构造高阶差分格式的方法与应用研究

有限差分方法常用于求解微分方程的数值解,而高阶差分格式在数值计算中有着非常重要的地位.Taylor级数的应用非常广泛,在数值微分中有着非常重要的作用,尤其是在获得截断误差的过程中.以3阶、4阶、6阶差分格式为例,给出了利用Taylor展开式构造对应差分格式的详细过程和一般高阶差分格式的构造方法.通过两个具体应用实例,利用高阶、低阶差分格式求解常微分方程的数值解,并对结果进行分析,验证高阶差分格式的高效性.结果表明,基于Taylor级数构造高阶差分格式的方法可行.     

KT格式数值求解几类典型流体力学问题

KT格式是Kurganov和Tadmor于2000年提出的一类用来求解双曲守恒律的高精度中心格式.本文利用KT格式分别求解一维、二维激波管模型问题,通过与其他几种经典格式的计算结果进行比较,发现KT格式在间断处展现出更高的精度.本文结果很好地验证了KT格式理论.     

一类Riesz空间分数阶时滞扩散微分方程的隐-显差分格式

通过对一类含有非线性时滞项的Riesz分数阶扩散微分方程的线性项采用隐式差分格式离散,对含有时滞非线性项采用显式差分格式离散,构造了求解该问题的隐-显差分格式.并证明了方法是收敛和稳定的.最后还利用外推技巧提高了方法的收敛阶,若干的数值结果也验证了本文的理论结果.     

二阶隐—显迎风差分格式

本文采用显格式与隐格式交替使用的方法，针对一阶线性双曲方程提出了一种隐－显迎风差分格式，这种隐－显凶风差分格式综合了隐格式与显格式的优点，具有稳定性好、计算简便的特性、数值计算结果表明这种格式是实用的。     

时间分数阶色散方程的有限差分方法

提出求解时间分数阶色散方程的一类隐式差分格式,并证明其无条件稳定性和收敛性,收敛阶为O(τ+h2).该分数阶色散方程是将一般的色散方程中的时间一阶导数用α(0＜α＜1)阶导数代替所得到的.数值算例表明本方法是有效的.     

解Schrodinger方程的差分格式

本文构造了求解Ｓｃｈｒｏｄｉｎｇｅｒ方程的二层差分格式，其一为半显式格式，其二为跳点格式，利用Ｖｏｎ Ｎｅｎｍａｎｎ准则可以证明这二个格式为无条件稳定的，当所需边界条件给定时，格式可以用显式计算。     

一阶线性双曲方程组的隐—显迎风差分格式

采用显格式与隐格式交替使用的方法，针对一阶线性双曲方程组提出了一种隐－显迎风差分格式。它综合了隐格式与显格式的优点，具有稳定性好，计算简便的特性，数值计算结果表明，这种格式是实用的。     

使用高格式数值模拟腔内亚跨声速流

把一阶迎风有限体积格式的高算法重构格式——高的迎风有限体积格式（GUVS）与不可压缩流和可压缩流SIMPLE算法相结合,数值模拟了各种宽深比的亚跨声速腔内流动.利用六阶高迎风有限体积格式（GUVS）在结构和非结构同位网格上模拟不同宽深比亚跨声速腔体流动,获得较好的数值结果.例如亚声速方腔流动的数值结果与Ghia等用多重网格技术获得的Benchmark解吻合得非常好;对不同宽深比腔内流动,数值模拟了大尺度漩涡、腔角小尺度漩涡的形成、分岔、破碎和边界层分离等演化情况,表明六阶精度GUVS具有分辨率高、稳定性好的良好性能.     

基于证书授权和基于身份的代理签名方案

基于因数分解困难问题假设,构造了一个新的基于证书授权的代理鉴名方案和基于身份的代理签名方案.新方案具有强不可伪造性、强不可否认性、可区分性、可验证性、原始签名者和代理签名者的身份真实性以及代理签名权的可撤消性等特点,弥补了现存的许多代理签名方案中不含有原始签名人和代理签名人的身份信息这一缺点,解决了原始签名者在线问题.新方案具有算法简单、效率高等特点,能够抵抗对代理签名方案的已知攻击,可以方便地应用于分布计算、移动代理以及电子商务和电子政务系统中.     

Korteweg-de-Vries方程有限谱数值格式

以kdV方程为模型,利用有限谱方法构造数值计算格式,检验有限谱法计算含有色散项的非线性方程的精度,并对孤立波的演化及孤立波的碰撞进行了数值模拟,结果说明有限谱数值格式能较准确地模拟孤立波的行为.同时,把有限谱数值格式的计算结果同解析解进行对比,结果表明有限谱法具有较高的精度.     

两类"称球问题"的统一非序列解

讨论称球问题的两个版本,通过综合文中华[湘潭大学自然科学学报,2004,26(1):42-48]和Born[InformationProcessing Letters,2003,86:137-141]的研究结果,给出一种可同时用于解决两个问题的通用算法.算法生成的方案是非序列的,且对于这两个版本而言都是最优的.     

岩溶地区高层建筑砼桩复合地基运用分析

通过某高层建筑实际工作资料,对岩溶发育地区地质勘察、施工手段、地基处理和基础方案选择作了运用分析,其中在地基处理上采用砼桩复合地基取得了较好的效果,为岩溶地区覆盖土的加固处理提供了一个可借鉴的方法.     

岛屿隧道群施工监控量测优化组织方案探讨

从人员、人工费和监控量测交通费等角度,在考虑掌子面多少、隧道交通条件及隧道间距离等条件下,以千岛湖岛屿隧道群为例,研究了岛屿隧道群的施工监控量测组织方案,得到了千岛湖岛屿隧道群施工监控量测的最佳组织方案.为类似隧道群施工监控量测的投标及组织方案选择提供了参考.     

在不规则四边形网格上逼近扩散算子的五点及九点差分格式的测试

在Lagrange坐标下使用四边形网格进行二维辐射流体力学数值计算的难点之一是需要构造在不规则四边形网格上仍能较好地逼近扩散算子的差分格式。本文就五点差分格式和目前常用的九点差分格式进行了比较全面的数值测试和理论分析。结果表明五点格式仅在均匀矩形网格上具有二阶逼近精度，九点格式仅在均匀平行四边形网格上具有二阶逼近精度，这两种格式在一般的不规则四边形网格上通常都是不相容的。尽管九点格式优于五点格式，但它对不规则网格的适应性远不如人们以前所想象的那么好。由此可见，为了进一步改进二维辐射流体力学的数值计算，构造真正能在比较一般的不规则四边形网格上逼近扩散算子的更为优越的差分格式是一件迫在眉睫的事。     

成兰铁路引入成都枢纽接轨方案研究

根据成都铁路枢纽现状,结合城市总体规划、城际铁路网规划、成兰铁路线客货运量、列车开行方案及特点提出成兰铁路引入成都枢纽方案研究思路,确定成兰铁路由青白江站引入成都枢纽和由广汉站引入成都枢纽两个接轨方案．综合考虑运输组织条件、工程投资、铁路线对城市的影响,以及对既有线运营干扰,对两个接轨方案进行综合比选,推荐成兰铁路由青白江站接轨引入成都铁路枢纽方案．     

基于中心点和双重注意力机制的无人机高分辨率图像小目标检测算法

无人机拍摄的图像具有分辨率高、视野大以及目标小的特点,而现有的目标检测方法对小目标特征的提取能力不足。为此,首先采用以中心点表示目标的检测网络CenterNet,引入可变形双重注意力机制,以提高对小目标的特征表达能力;然后针对原始非极大值抑制难以处理嵌套型冗余框的问题,在冗余检测剔除过程中提出了广义非极大值抑制方法;最后引入LegoNet卷积单元,减少了卷积参数,实现了精度与速度的平衡。实验主要采用的验证数据集为VisDrone2019和UAV_OUC,UAV_OUC数据集相比于VisDrone2019,其图片具有更高的分辨率。相比于CenterNet,所提出的方法在数据集UAV_OUC和VisDrone2019上的检测精度大约分别提高了10%和2%。     

基于身份的盲签名方案设计

利用椭圆曲线上Weil配对的双线性性质,提出了基于身份的盲消息、盲参数和弱盲等3种签名方案.这些方案用以身份为基础的公钥取代数字证书形式的公钥,有效地省略了验证签名时从系统中获取公钥的步骤,减少了交互的次数并节省了存储空间.     

构造高阶精度基本不振荡格式的理论证明

本文研讨了Ｈａｒｔｅｎ等人提出的高阶业有度基本浊振荡格式ＥＮＯ，给出一种构造一致三次分段插值多项式函数Ｒ（ｘ，ｗ）以及四阶ＥＮＯ格式的方法，并在理论上 证明了如此构造的格式是基本不振荡的一致三阶守恒型格式。