2n阶常微分方程边界问题解的存在性

本文运用上下解的方法,对方程中某些项的条件放宽的情况下,给出了一类2n阶常微分方程边界问题解的存在性定理.     

KKM映射和KKM型定理及其相关结果

简要介绍古典的KKM映射的演变过程和KKM理论的发展历史,并给出利用KKM型定理得到的最近的一些重要研究成果,以进一步了解和掌握并研究KKM理论．     

一类二阶边值问题反对称变号解的存在唯一性

研究了一类二阶边值问题反对称变号解的存在唯一性,利用上下解方法、单调迭代方法及解的延拓技巧研究一类非线性二阶边值问题,得到了该问题反对称变号解的存在唯一性定理,应用该定理说明了一个具体的二阶边值问题具有唯一反对称变号解。     

矩阵的Hadamard积最小特征值的下界估计

对A和B是非奇异M矩阵,利用著名的Gerschgorin圆盘定理,给出了B和A-1的Hadamard积B。A-1的最小特征值τ(BA-1)新的下界估计式,此下界估计式改进了现有的几个结果,并且这个下界估计式只涉及矩阵A和B的元素,易于计算.例证表明,所得下界估计式要比现有的下界估计式更加精确.     

认知无线电网络中基于检测概率的主用户定位算法

为了解决认知无线电网络中次用户对主用户进行定位的问题,提出了一种加权最小二乘的迭代定位算法。采用两状态马尔可夫模型作为主用户头像模型,能量检测作为次用户的感知模型。该算法可以在不干扰主用户正常工作的情况下,利用次用户之间的合作感知结果进行定位,并估计出主用户的三维地理位置位置信息。提出了一种可以降低定位算法复杂度的简化算法。通过对定位问题进行了理论分析,求出了均方误差的Cramer-Rao理论下界。仿真结果表明,算法的均方误差非常接近理论下界,能有效地估计主用户的三维位置信息,提高定位精度。     

荆江门弯道近期滩槽演变特点及影响因素分析

三峡水库运用改变了下泄水沙条件,坝下游弯曲河型均呈现“凸冲凹淤”演变规律,以致碍航问题日益突出。为研究弯曲河型滩槽演变特点及其成因,以下荆江河段荆江门弯道为例,利用三峡蓄水后近15 a实测地形资料,采用逻辑推理及统计分析方法分析其影响因素并预测了航道变化趋势。结果表明:三峡工程运用后,凸岸边滩年际间呈持续冲刷趋势,冲刷位置不断下移导致河段展宽引起航道条件恶化;在平滩流量(20 000~25 000 m³/s)持续时间＞15 d的年份,凸岸边滩冲刷后退,反之淤长;冲淤幅度与年均来沙量,尤其细沙(d≤0.125 mm)含量密切相关,基本呈同步变化趋势;荆江一期工程实施后,在当前水沙条件下凸岸边滩会继续受冲,形成枯水双槽,航道条件将恶化。水沙过程的改变是弯曲河型滩槽演变的主要原因,遇大水且来沙量较少的年份,荆江门河段很可能出浅碍航,这可为下荆江弯曲河段航道治理提供一定的参考价值。     

多溶洞地层桩端极限承载力下限有限元法分析

为计算多溶洞地层桩基的极限承载力,通过MatLab平台编制了用于分析多溶洞地层桩端极限承载力下限的有限元法计算程序。采用平面应变模型,并假定材料符合Mohr-Coulomb准则和塑性关联流动法则。定义无量纲参数N来衡量各参数对桩端极限承载力的影响。根据桩与溶洞间的相对位置关系,详细探讨了6种工况下桩端极限承载力的变化规律,并分析了嵌岩深度h_r、上覆土层自重q_s和溶洞直径D的影响程度。分析结果表明:桩端极限承载力随h_r的增大而增大,随D的增大而减小,而q_s的影响基本可忽略不计。此外,还对不同工况下桩端的极限破坏模式进行了分析。最后,通过考虑无溶洞、有溶洞下的2种桩基算例,验证了本文方法的正确性。     

Visible light localization algorithm based on multi-measurements constraints

In the indoor visible light transmission environment with complex noise, traditional received signal strength indication(RSSI)localization algorithm and imaging localization algorithm are unable to accurately determine the reason of the inaccurate localization model and inadequate constraints of position coordinates. In order to solve the problems, a visible light localization algorithm based on multi-measurements constraints is presented in the paper. The algorithm first constructs a joint localization state space model based on RSSI localization and the imaging localization algorithm. Then, states, measurements and their equations are constructed based on the space model. Finally, the equations are resolved using the unscented Kalman filter(UKF). Compared with RSSI localization and imaging localization, simulation results show that the RMSE of the proposed algorithm could be closer to the Cramer Rao bound. Besides, the localization probability of the proposed algorithm is higher than that of RSSI localization and imaging localization algorithm.     

一类分数阶q-差分方程边值问题正解的存在性

研究了一类分数阶q-差分方程多点边值问题,其中控制函数含有分数阶导数.首先通过变换将该问题转化为带有分数阶积分控制的边值问题,并分析了格林函数的一些性质;其次利用Arzela-Ascoli不动点定理及上下解方法,证明了该方程正解的存在性;最后通过实例验证了本文所得结论的正确性.     

利用面-面模式分析高阶和低阶单元的接触搜索

为了在研究接触问题的数值模拟中更加明确地分析接触界面,提出了基于面〖CDF*3〗面模式的搜索算法,这种搜索模式更能提高搜索精度.首先利用预搜索,排除不相干的点对,从而减少计算量,缩小计算范围.利用有限元的等参概念,根据投影定律,定义接触点间的接触关系,同时为了避免变形过程对接触搜索的影响,将时程分析引入搜索的目标方程中,根据优化原理搜索接触点对,分析了搜索算法在高阶单元和低阶单元中的应用.最后通过算例证明了该算法的有效性和可靠性.