一类非齐次退化抛物方程的零可控性

介绍了解的适定性、Carleman估计、可观测性不等式和最优控制概念,通过推导证明存在一个控制函数,使原方程的解在t=T时为零,说明此方程具有零可控性.     

纳米级超声造影剂的理论研究进展

为了克服超声造影剂中微米级气泡尺寸较大的局限性,大量研究人员对超声应用的替代造影剂(纳米级造影剂)进行了研究。随着生物纳米技术的飞速发展,纳米级超声造影剂在诊断与治疗领域有着广阔的发展前景。与超声造影剂中的微米级气泡相比,纳米级造影剂粒径较小,渗透能力极强,可以通过血管内皮间隙,进而可以实现血管外病变部位的显影。文中详细论述了超声造影剂在超声作用下的行为以及2种主要的纳米级造影剂:纳米气泡和纳米液滴造影剂,对其理论研究进展进行了总结,并提出了目前仍存在的一些问题及其未来的研究方向。     

气藏平均地层压力跟踪计算新方法

平均地层压力是产能评价和动态分析的基础，准确、快速获取平均地层压力对高效开发气藏意义重大。基于地层压力随时间变化的规律，分析了平均地层压力的变化规律。研究结果表明：平均地层压力等效点仅随时间发生改变，平均地层压力的下降速率等于或者近似等于井底流压的下降速率。从封闭弹性驱动气藏的物质平衡方程出发，考虑偏差系数和井底流压随平均地层压力的变化，推导建立了平均地层压力跟踪计算新方法，根据生产数据可迭代计算平均地层压力。方法验证结果显示，采气速度和采出程度共同影响模型的计算结果。应用实例表明，跟踪计算法与压力恢复试井和物质平衡法之间的相对误差均较小，满足工程计算精度要求，且跟踪计算法不需依托生产测试数据，节约了测试费用，避免了测试占产。     

动态限星算法对RTK定位的耗时改进

差分卫导实时动态定位(RTK)依靠 Kalman 滤波功能的实现，当滤波器阶数过高时，会带来计算量的激增，这就会影响定位的耗时。当运算平台能力有限却需要较低的计算时间耗时，动态限星算法能够有效地将 RTK 的计算耗时降低至合适的耗时需求。运动平台实测结果表明，动态限星算法优化后的 RTK 定位耗时较优化前减少了 50%。     

格点QCD基础求解器及其异构计算实现的性能优化

格点量子色动力学(格点QCD)是研究夸克、胶子等微观粒子间相互作用的重要理论和方法. 通过将时空离散化为四维结构网格, 并将量子色动力学的基本场量定义在网格上, 让研究人员可以使用数值模拟方法, 从第一性原理出发研究强子间相互作用和性质, 但这个过程中的计算量极大, 需要进行大规模并行计算. 格点QCD计算的核心基础为格点QCD求解器, 是程序运行主要的计算热点模块. 本文研究在国产异构计算平台下格点QCD求解器的实现与优化, 提出一套格点QCD求解器的设计实现, 实现了BiCGSTAB求解器, 显著降低了迭代次数; 通过对奇偶预处理技术, 降低了所求问题的计算规模; 针对国产异构加速卡的特点, 优化了Dslash模块的访存操作. 实验测试表明, 相比优化前的求解器获得了约30倍的加速比, 为国产异构超算下格点QCD软件性能优化提供了有益的参考价值.     

基于光谱尺度空间与管道滤波的红外目标检测

为了准确地从复杂干扰背景下检测出真实弱小目标，本文引入视觉显著性，设计了基于快速光谱尺度空间与动态管道滤波的红外目标检测算法。基于真实目标与背景内容之间的整体差异，引入快速光谱尺度空间与阈值分割技术，设计视觉显著性机制，对红外图像完成处理，输出全局显著性映射，以高效过滤干扰背景内容。考虑目标与背景的局部特征差异，构建自适应局部对比度增强机制，对粗检测结果实施处理，获取对应的局部显著性映射，改善视觉显著性区域内目标的对比度。引入高斯差分理论，通过估算每一帧红外图像中的目标像素直径，形成动态管道滤波，充分消除虚警，准确识别出弱小目标。多组实验数据显示：较已有的红外目标检测技术而言，在各种不同的复杂背景干扰下，所提算法呈现出更好的检测能力，拥有更理想的接收机工作特性ROC曲线。