具有非局部条件的测度发展方程适度解的存在性

对具有非局部条件的测度发展方程适度解的存在性进行了研究.通过构造近似解,利用不动点定理和非紧性方法获得了适度解存在的充分条件     

一类带有时滞的Sobolev型Hilfer分数阶非自治发展方程的近似可控性

研究了Hilbert空间中带有时滞的Sobolev型Hilfer分数阶非自治发展方程的近似可控性.在其对应的线性系统是近似可控的这一假设下,通过使用分数阶微积分理论、半群理论、不动点定理,得到了控制系统近似可控的充分条件.     

具有测度脉冲积分边界条件的混合Caputo分数阶微分方程解的性质

运用不动点定理，研究一类具有测度脉冲积分边界条件混合分数阶微分系统，得到测度脉冲积分与混合系统相结合的一种新系统的解，并证明了解的存在性与唯一性.算例验证了结果的准确性.     

时滞脉冲竞争神经网络的指数稳定性(英文)

文章研究了一类带有不同时间尺度和时滞的脉冲竞争神经网络。通过使用Lyapunov泛函方法,LMI方法和数学归纳法,我们得到了网络平衡点全局指数稳定的一些充分条件。我们相信这些结果对脉冲竞争神经网络的设计和应用是重要且有用的。     

一类具有非局部条件的Sobolev型Hilfer分数阶发展方程的有限近似可控性

研究了Hilbert空间中具有非局部条件的Sobolev型Hilfer分数阶发展方程的有限近似可控性.在控制系统对应的线性系统是近似可控的这一假设下,通过使用分数阶微积分理论、半群理论、变分法和Schaefer不动点定理,得到了控制系统有限近似可控的充分条件.     

一类具有非局部条件的Sobolev型Hilfer分数阶发展方程的偏近似可控性

研究了Hilbert空间中具有非局部条件的Sobolev型Hilfer分数阶发展方程的偏近似可控性。 通过使用变分法和近似法，构造了控制系统的近似解算子并得到了近似解集的紧性。 在非局部函数不满足Lipschitz条件的情况下，得到了控制系统偏近似可控的充分条件。     

分数阶边值问题的区间估计

文章讨论了三点边值分数阶微分方程:{~CD_(0+)~αu(t)=-f (t,u(t)), t∈[a,b],2 α3 u(a)=σ_1,u(b)=σ_2,u′(a)=σ_3,σ_i∈R,i=1,2,3解的存在唯一性。首先,给出了方程的解的具体形式并给出了相应的证明;其次,通过使用Schauder不动点定理得到了方程的解唯一存在的充分条件;最后,对解的存在区间进行了估计。     

长大隧道施工通风施工技术探析

随着长大隧道的不断出现,对长大隧道施工通风施工技术的要求也愈来愈高,本文结合施工布置方式图分析多种常见的长大隧道施工通风施工技术,最后结合雅砻江锦屏二级水电站东端4#引水隧洞工程实例谈几点具体的做法。     

基于多站扫描的点云特征参数与材积结构动态分析

【目的】采用地面激光雷达(TLS)进行多站点扫描获取立木的点云信息,提取有关点云分布的特征参数,拓展立木测树因子,建立基于特征参数的材积模型。【方法】以马褂木(Liriodendron chinense)人工林为研究对象,利用点云数据提供的立木上部直径(d)、树高(H)等因子对两期(2014、2017年)林分结构变化进行分析;设计并提取基于TLS点云的特征参数高度累计百分比,同时提取了其他与高度相关的特征参数作为一组变量;将提取的立木胸径(DBH)与特征参数作为另一组变量;最后分析特征参数、胸径与材积的相关性,通过逐步回归法分别建立基于两组变量的材积模型,并分析两期材积的动态变化。【结果】选用特征参数H₂₅与H_{t, var}(点云高度方差)拟合两期材积模型,其决定系数R²分别为0.771 1、0.742 6;利用特征参数H₂₅与胸径拟合,模型预测精度有明显的提升。以上两组材积模型预测各径阶材积变化,其模型值与实测值无显著差异,R²均高于0.9。【结论】研究提取的高度累计百分比与立木测树因子紧密相关,可以很好地反演林木的动态结构。研究建立的材积模型均有较高的精度,可用于林木材积动态变化监测,为地面激光扫描点云参与森林资源动态监测提供理论参考。     

Hilfer分数阶微分方程解的延拓性

文章研究了一类带有初值的Hilfer分数阶微分方程。首先应用Schauder不动点定理,证明了解的局部存在性。然后,在经典微分方程连续性定理的研究思想和方法的基础上,进一步讨论Hilfer分数阶微分方程初值问题延拓定理及分数阶微分方程解的全局存在性。