基于机器学习算法的船舶通信网络信道估计

针对传统船舶通信网络信道估计方法调控响应性能较差的问题,提出一种基于机器学习算法的船舶通信网络信道估计方法。在物理层LTE协议中定义导频序列,基于gold序列设计船舶通信网络信道的导频序列,通过奈奎斯特定理决定导频信号的插入密度,在设计的船舶通信网络信道导频序列中按照该密度插入导频信号,基于机器学习算法拟合不同时间点同一子帧内的信道估计值,以实现船舶通信网络的信道估计。为了证明基于机器学习算法的船舶通信网络信道估计方法的调控响应性能较强,比较该方法与传统船舶通信网络信道估方法。实验结果证明该方法的调控曲线拟合性最强,即该方法的调控响应性能优于实验中的传统方法,证明了该方法的优越性。     

多元协同演绎在一阶逻辑ATP中的应用

一阶逻辑是数理逻辑中重要的分支,对其逻辑公式的自动推理是人工智能领域重要的研究热点之一. 目前一阶逻辑自动定理证明大多采用二元归结方法，每次只有2个子句进行归结，只消去1组互补对，导致演绎归结式文字数较多，影响了演绎效率. 为此，基于矛盾体分离规则提出了一种多元协同演绎算法，该算法每次允许多个子句进行协同演绎，消去多组互补对，从而演绎分离式文字数较少且可控，能有效提高推理能力；并且，该算法通过有效演绎权重和无效演绎权重调整子句演绎顺序，利用回溯机制搜索较优路径，有效规划演绎路径. 将该算法应用于国际顶尖证明器Eprover 2.1，以CADE2017竞赛例（FOF组）为测试对象，对加入多元协同演绎算法的Eprover 2.1证明器进行试验. 试验结果表明其能力超过了Eprover 2.1:多证明定理8个；能证明Eprover 2.1未证明定理31个，占未证明总数的28.2%.      

高阶非齐次马氏链多元函数序列的一类强偏差定理

通过引进广义样本散度概念,采用构造相容分布和非负上鞅方法,研究了任意相依随机变量序列截尾甬数关于m阶非齐次马氏链的一类强偏差定理,作为推论得到了任意相依随机变量序列的几个强偏差定理.     

一类含有时滞的脉冲微分方程的正周期解

研究了一类含有时滞的脉冲微分方程,在系数变号的情形下,利用锥上的不动点定理获得了其正ω-周期解的存在性结果.     

如何解决西安城乡结合部早晨上班乘车难问题

根据实际情况提出一些解决西安城乡结合部乘车难问题的办法。     

管棚预支护条件下水下隧道开挖面三维稳定性分析

基于塑性极限分析理论,建立了考虑渗流力的管棚预支护条件下隧道开挖面三维稳定性分析模型,由此确定开挖面的极限支护压力。结合深圳地铁实际工程,采用该方法计算得到的开挖面极限支护压力与流固耦合数值计算结果吻合较好,验证了该方法的合理性,进而研究了管棚预支护对隧道开挖面渗流力的影响,分析了地下水位和管棚剩余长度与开挖面渗流力的关系。分析结果表明:渗流力对隧道开挖面稳定性有显著的影响,而且渗流力与地下水位呈线性关系,当隧道在富水地层施工时,必须考虑渗流力对隧道开挖面稳定性的影响;采用管棚预支护可以显著地减小隧道开挖面处的渗流力,但当开挖面前方管棚剩余长度超过2倍洞径时,再增加管棚长度对减小开挖面渗流力的效果不明显。     

非关联流动准则对浅埋隧道稳定性影响的上限分析

基于非关联流动准则和极限分析上限理论,通过构建浅埋隧道的简单破坏模式,推导了非关联流动准则下浅埋隧道围岩压力的计算公式.基于内外能耗守恒原理,结合强度折减技术对一定围岩压力下浅埋隧道稳定性进行了分析,并应用非线性优化方法,得出了浅埋隧道围岩压力和一定围岩压力下浅埋隧道稳定性上限解析的优化解答.研究结果表明:岩土材料的剪胀特性和围岩侧压力系数均对浅埋隧道和稳定性有较大影响,且岩土侧压力相关系数对浅埋隧道稳定性的影响程度更为显著.     

地震效应下二级边坡三维动态稳定性上限分析

为了给二级边坡的抗震设计提供参考,对其在地震力作用下的稳定性进行研究。基于三维破坏模型,采用拟静力法将地震力引入计算模型中,运用极限分析上限定理分析二级边坡破坏时的能量耗散,并根据虚功率原理推导稳定系数的解析解。利用穷举法优化计算,得到约束条件下稳定系数的最优上限解,并与已有研究成果进行对比。利用该方法,分析宽高比、内摩擦角、深度系数、上、下台阶倾角、地震力等因素对二级边坡稳定性的影响。针对不同的计算精度,给出二级边坡可简化为二维平面应变问题的最小宽高比。研究结果表明：该方法正确可靠;宽高比对稳定系数影响显著,随着宽高比的增大,二级边坡的三维效应逐渐弱化,最终转变为二维平面应变问题,内摩擦角、深度系数、上、下台阶倾角对稳定系数有较大影响;对边坡进行放坡时,应尽量减小上、下台阶的倾角,并增大上台阶边坡的高度,以提高二级边坡的稳定性;水平地震力与竖直地震力对二级边坡的稳定性有显著影响,如果计算中不考虑地震力,则稳定系数的相对误差分别高达40%和15%。     

Radon-Nikodym定理的两种证明方式的比较

笔者在本文讨论应用Riesz-Frechet定理证明R-N定理.拟定的证明改进了文[1]中给出的简略证明,且在问题的处理方面与文[1]的论述略有不同.R-N定理的两种证明方式各有其独特之处.这两种证法都值得研究.     

微分中值定理的推广

文中对微分中值定理的可导条件改为单侧可导,从而推广了微分中值定理。