一类捕食-食饵模型的研究

对一类食饵种群具有常数投放率的捕食－食饵系统进行了研究。ｄｘ／ｄｔ＝ｂｘ（ｘ－ｌ１）（ｋ１－ｘ）－βｘｙ＋ｈ１,ｄｙ／ｄｔ＝－ｃｙ＋ａｘｙ得到了该模型极限环的不存在性,存在性及唯一性的条件。     

一类捕食模型的动力学性质(英文)

讨论了具有一般形式的捕食模型■.通过对平衡点稳定性的分析,在不同条件下,判断出系统周期解的存在性和平衡点(k,0)的全局稳定性.     

GPS单频PPP电离层延迟改正模型探讨

针对电离层延迟会导致GPS单频精密单点定位精度严重缺失的情况,分别探讨了克罗布歇模型、格网模型和历元差分模型,并采用IGS跟踪站数据进行电离层延迟改正。同时根据改正后的单频精密单点定位精度,比较了这三种电离层延迟改正模型的改正效果。结果表明:历元差分模型的改正效果最好,其改正后单频精密单点定位精度可达到厘米级,能较好地符合实际应用要求。     

变参数离散动力系统的不动点及其分形图

研究了一类变参数离散动力系统Zk 1=f(λk,Zk,Z↑-k)的不动点分布规律,对该迭代系统的动力行为特征做出了猜想,且利用研究结果和计算机可视化技术中的逃逸时间算法得到了若干二维n次迭代映射中的分形图。计算机图示实验的结果对猜想提供了佐证。     

基于强化局部特征的3D点云分类与分割网络

在点云的处理过程中,许多深度学习网络未能充分考虑局部点之间的复杂关系,导致大量空间几何信息丢失。针对该问题,提出了一个强化局部特征的网络,用于点云的目标分类和语义分割。该网络通过设计编码单元对点的多方向信息进行编码;通过注意力机制学习采样分组后形成局部点云的特征。同时提出了一种新的多维损失函数,结合使用交叉熵损失函数与中心损失函数作用于分类任务。在数据集ModelNet40和ScanNet上进行了大量实验,结果表明：该网络在点云的目标分类和语义分割任务上表现出较好的性能。     

复域微分方程解的不动点与迭代级

文中引入了亚纯函数f(z)的不动点i级收敛指数的概念,并用以研究系数为超越整函数且级无穷的n阶线性微分方程解的不动点与迭代级,得到了一些相关的性质与结果。     

关于中心和焦点判别问题的一个计算机程序

利用maple数学软件强大的符号运算功能,给出一个maple程序,用它可解决原点是系统{dx/dt=y ^∞∑j=2 Xj(x,y), dx/dt=-x ^∞∑j=2 Xj(x,y),其中Xj(x,y),Yj(x,y)均为x和y的j次齐次多项式的任意阶细焦点或中心判别问题。     

冲击荷载下含裂纹缺口三点弯动态断裂实验

为研究缺口大小对含裂纹缺口构件动态断裂的影响,采用动态光弹性实验方法,对含裂纹缺口试件进行了冲击实验.基于冲击断裂过程中试件的等差条纹变化图片和动态应变仪采集的应变数据,分析了冲击荷载下裂纹尖端的动态应力强度因子、裂纹扩展速度和锤头应变的变化规律.结果表明:不同缺口角度试件受到冲击荷载后,应力强度因子的变化随时间变化的...     

面向云审计的轻量级隐私保护方案

在大数据爆发式增长背景下,云存储服务的发展为用户数据存储带来了极大的方便,按需服务特性使其备受青睐。但由于失去了对云服务器中数据的直接控制,不确定因素可能导致用户的数据损坏,这给云存储发展带来极大挑战。笔者提出轻量级计算和验证的数据审计方案,简化了用户在上传数据之前的标签计算操作,保证用户上传数据的安全性。此外,云服务器和审计者的计算任务也得到减轻,进一步降低计算开销。为保护用户数据隐私,借鉴了图像加密中的置乱加密,让用户使用随机函数对数据块的位置进行置乱,同时让审计者计算出数据块的真实位置,完成审计操作。实验结果表明,该方案有效节省了审计流程中用户和服务器、审计者3方的计算资源,提升流程效率。     

关于Poincare-Birkhoff扭转定理的探讨

本文主要是对Poincare-Birkhoff,讲扭转定理进行探讨,对扭转映射的连续性条件做了改进,给出非保面积部分扭转映射至少有一个不动点,而非保面积扭转映射至少有2个不动点的结论。