一类变指数退化抛物方程的解

考虑如下的变指数退化抛物方程解的适定性问题。利用抛物正则化方法证明了解的存在性。对检验函数适当选取，证明了解的唯一性。在边界上，扩散系数b(x,t)=0，解的唯一性可以不依赖于边界条件。     

带有加性噪声的阻尼吊桥方程随机吸引子的存在性

用算子分解技巧, 通过对方程的解进行先验估计, 给出随机动力系统的一致渐近紧性, 从而证明了随机吊桥方程在加性噪声下随机吸引子的存在性.     

分布式声传感器井中背景噪声统计特性分析

分布式声传感器技术(DAS: Distributed Acoustic Sensor)是一种新近提出的高精度勘探数据采集方法,受制于复杂背景噪声的影响,DAS记录处理水平有待进一步提高.针对上述问题,采用基于替代序列的时间序列平稳性检验方法和Lilliefors检验法对DAS记录中复杂背景噪声的平稳性和高斯性进行研究.用以分析的实际地震数据是按照勘探工业要求采集的井中DAS记录.研究结果表明,DAS背景噪声是非平稳、非高斯随机过程且噪声特性随记录时长发生变化.相关研究成果实现了针对DAS背景噪声特性的可靠认知,对提高DAS记录处理水平具有重要参考价值.     

中国手语的羡余性及对手语翻译的启示

羡余性被认为是语言的一大本质属性,手语也具有羡余性.与汉语的羡余性相比,中国手语的羡余性主要有三方面的特点,一是兼具时间线条性和空间共时性的呈现特点,二是常常体现出汉语对中国手语的接触影响作用,三是与手语的表义特点有关.在汉语手译时,可利用增译和加注、表情和口动等羡余手段以处理汉语生僻词、新生词和难解词的翻译,以完足语义,减少歧义;还应简省处理汉语的羡余表达,以达到最佳翻译效果;另外,在手语汉译时需要增加必要的羡余信息以符合汉语表达习惯.     

企业现金持有水平对创新投入的影响研究基于现金保障天数的实证检验

目前我国新发展格局正在加速形成，企业需要抓住自主创新的机遇，因此一定水平的创新投入必不可少。然而，企业持有足够的现金是否能有效促进创新？本研究以2014~2019年我国A股上市公司为研究样本，首次使用企业的现金保障天数衡量现金持有水平，实证检验了现金持有水平与企业创新投入的关系。结论表明，现金持有水平能正向影响企业创新投入，且业绩波动性正向调节企业现金持有水平与创新投入之间的关系。异质性检验表明，非国有企业比国有企业现金持有水平对创新投入的促进作用更大，业绩波动性在非国有企业中调节效应更显著。企业可通过提高其现金保障天数来保证创新项目的资金投入，提高创新投入水平。     

非均匀断层上的破裂传播及对震级预测的挑战

针对发震断层上的潜在地震开展震级和地表震动预测,对开展地震灾害区划、防震减灾等工作十分关键.由于断裂带本身的多种非均匀性,如断层几何、介质结构、应力的非均匀分布,准确预测震级面临着众多挑战.本文简要回顾了影响地震破裂传播及震级的因素,指出了应力分布状态、断层孕震带尺度、断裂带介质结构对破裂传播过程的影响.在非均匀应力分布下,震级对破裂起始位置(震中)具有强烈的依赖性,即震中-震级存在“测不准”关系,震中对破裂是否延伸到地表也有控制作用.走滑断裂带孕震带尺度(在倾向上的深度)对破裂是否发展为“逃逸型”大地震有控制作用.近断裂带的介质结构对破裂方向性、延展尺度都有显著影响.未来可通过密集地震台阵观测获取高分辨率断裂带结构,并结合实验室流变性质测量,推断发震断层的流变结构,为刻画可能发震的凹凸体提供支撑.针对震中对震级的影响,可以通过破裂动力学模拟,结合大地测量观测、地震学观测、实验室摩擦实验结果,进行数值实验,探索可能发生强震的震中区域,为野外观测提供参照.此外,动力学数值模拟结果也可以弥补大地震近场地表震动观测数据缺乏的不足,为开展基于地震物理过程的灾害区划提供参考.     

有限域上四次对角方程ax^4+by^4=c解的存在性

设Fq是特征为p的有限域,d为正整数.对任意的a,b∈F*q,c∈Fq方程.axd+byd=c在Fq上是否恒有解这一问题长期吸引着大量研究者的关注.当d=2时,Cauchy给出了肯定结论.当d=3时,Skolem证明,对任意的素数p≠7,方程.ax3+by3=c在Fq上恒有解;Singh证明,对任意的素数方幂q≠4,方程.ax3+by3=c在Fq上恒有解.本文研究d=4的情形,给出了该方程解的存在性,即当q≠5,9,13,17,25,29时,对任意的a,b∈F*q,c∈Fq,方程.ax4+by4=c在Fq上恒有解.     

云计算视角下可验证计算的分析研究

云计算能否在未来的各个领域中被广泛运用,决定因素在于其可信度。可验证计算在检测云计算结果的可信度方面具有其独特优势。利用可验证计算协议可验证云服务器端所返回的数据是否正确,它成为实现云计算可信度的重要保障。文中在阐述可验证计算基本内容和相关设计原则的基础上,分析了可验证计算协议的一般流程、设计原则及计算模型,并结合基于交互系统的可验证计算协议分析,探讨在云计算视角下可验证计算的研究展望。     

基于应用型创新人才培养的综合设计性实验改革

综合设计性实验是培养应用型创新人才的重要环节.以培养应用型创新人才为目标,结合学校的实际情况,从不同途径开发了新的综合设计性实验项目,并提出了与之相适应的有效教学模式.