一种基于HMM模型改进的地图匹配算法

针对轨迹数据在线地图匹配中难以同时保障算法的准确率和时间效率的问题, 提出一种基于隐马尔科夫模型(HMM)改进的在线地图匹配算法, 并提出综合距离因素和方向因素计算发射概率的方法。与其他全局或者局部算法的不同之处在于, 改进的在线地图匹配算法引入可靠点进行轨迹分割, 减少了转移概率的计算和匹配结果的输出延时。用西雅图市浮动车的轨迹数据进行算法的实验验证, 结果表明, 与传统的HMM地图匹配算法相比, 改进的算法在准确率和时间效率上更优, 能够满足在线地图匹配的需求。     

考虑多人给出参照点的风险型多属性决策方法

针对多人给出参照点的风险型多属性决策问题,提出了一种基于累积前景理论的决策分析方法.在该方法中,首先依据累积前景理论,计算每个参与决策人针对不同自然状态下每个方案的属性值的前景价值及决策权重函数值,进而得到每个参与决策人针对各方案的综合累积前景值;然后,计算每个参与决策人的决策信息与总体决策信息的期望一致性程度,并得到每个参与决策人的权重;在此基础上,计算各方案的总体累积前景值,并依据总体累积前景值的大小对各备选方案进行排序.最后,通过一个数值算例来说明该方法的可行性.     

椭圆曲线y2=(x+a)(x2-ax+p)的大整数点

确定椭圆曲线的有理点(尤其大整数点)是数论与算术代数几何中十分有趣的问题。尤其椭圆曲线在密码学等方面的应用中,针对不同的情况,需要构造不同的椭圆曲线。本文在这类椭圆曲线y²=(x+a)(x²-ax+p)中找到了一族有大整数点的椭圆曲线。同时得到了这族椭圆曲线有整数解的充要条件,且给出了8条椭圆曲线的大整数点。     

污染环境下森林发展系统的最优控制

研究了污染环境下一类森林发展系统的最优控制问题。首先,提出所研究的模型并通过Banach不动点定理证明了解的存在唯一性,然后根据凸泛函的性质以及Mazur引理得出最优控制的唯一解。     

一个典型弹性梁方程涉及第一特征值的正解

运用锥理论和不动点指数方法,在与相应的线性算子第一特征值有关的条件下,获得了一个典型弹性梁方程正解的存在性,改进了相关文献的结论.     

一类非线性微分方程耦合系统无穷边值问题解的存在性

在Banach空间中，利用M?nch不动点定理，结合一个新的比较结果，研究一类一阶非线性微分方程耦合系统无穷边值问题，其非线性项和边值条件均具有耦合性。获得该问题解的存在性定理，并给出一个应用实例。     

不同阶次下分数阶SIR传染病模型的稳定性分析

建立一类考虑Logistic增长与饱和传染率的不同阶次分数阶时滞传染病模型. 首先, 利用Jacobi矩阵和特征根轨迹法, 分析该模型的局部稳定性, 并给出基本再生数; 其次, 选取分岔参数作为时滞, 给出地方病平衡点发生Hopf分岔的充分条件； 最后, 利用数值仿真验证理论分析的正确性. 研究结果表明, 分数阶次的改变会影响系统的稳定性.     

取用水监测点的水量计算与变化趋势分析

加强取用水监测是实施最严格水资源管理制度的重要举措.为了更有效地利用大量的取用水在线监测数据,需要对获取的监测数据进行预处理.本文首先提出应用中位数法与曲线拟合相结合的方法对取用水监测数据进行异常值检测,再用曲线拟合方法对异常值进行校正;其次,根据校正后得到的数据进行两个方面的分析,一方面是计算监测点的年取水量,另一方面是应用集成经验模态分解方法分析监测点的日取水量变化趋势;最后,以M市的16个自来水厂2016年取用水在线监测数据为例进行实证分析,结果表明,本文提出的中位数法与曲线拟合相结合的方法能够有效地检测异常值,进而再用曲线拟合方法能够更好地对异常值校正.根据校正后得到的数据进行分析发现81%的监测点年取水量相对2011年水利普查数据有所增加,个别监测点超出许可取水量较多,75%的监测点从春季到冬季日取水量变化为先增后减的抛物线趋势.     

带有渐近条件奇异微分方程的有界解

应用Schauder不动点定理考虑一类带有渐近条件的二阶奇异微分方程, 证明其有界解的存在性, 从而将北极环流模型有界解的结论推广到一般的二阶奇异微分方程中.     

一种混合型CFAR 处理方法

从理论上分析HCE(heterogeneous clutter estimate)恒虚警方法的检测概率与虚警概率。得出HCE—CFAR处理性能随参考滑窗中两杂波区域功率水平之比γ变化的曲线，并与单元平均(CA)方法的性能进行比较。设计混合型CFAR处理方法，给出其工作原理并通过分析、比较得出混合型CFAR具有优越的性能。