等距半群的扰动

对于Hilbert空间H上等距群的无穷小生成元A，在其扰动算子B是反对称算子且关于A的相对界小于1的条件下，利用m-保守耗散算子和自伴算子的扰动定理，证明扰动后算子A B仍然是等距群的无穷小生成元，并以Schrǒdinger方程的初值问题为例说明了所得结果．     

矩阵特征值内插定理的拓广

推广了一般图邻接矩阵的插值定理，在更广泛的意义下给出矩阵特征根的内插定理，并得出了一些新的结果。     

一类微分方程反问题解的存在唯一性

对在等离子体和一维波动方程中出现的具有初始分布数据的一类双曲微分方程反问题,用压缩映像原理给出了解的存在唯一性.     

一类奇异泛函微分方程边值问题的正解

利用锥拉伸与锥压缩不动点理论讨论了一类具有限时滞二阶奇异泛函微分方程三点边值问题正解的存在性,建立了一类奇异泛函微分方程边值问题至少存在一个正解的充分性条件并推广和改进了已有的结果.     

基于 FEM/BEM 的浸水结构振动及声辐射特性国内研究综述

文章基于有限元（FEM）或有限元结合边界元（FEM/BEM）分析方法,对浸水结构振动及声辐射特性国内公开发表的文献进行梳理,从低频流固耦合的振动特性、弱耦合与强耦合的声辐射特性、直/间接边界元的非唯一性与奇异性等着重流体数值模拟方面,对国内相关研究进行了综述分析,就浸水结构振动及声辐射特性的研究发展动态做出了总结,为相关科研人员研究浸水结构振动特性及声辐射提供了有益参考。     

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

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

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

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

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

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

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

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

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

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