基于串空间模型的认证测试方法

串空间模型认证测试方法是定理证明安全协议分析法中最具有代表性的一类.利用串空间模型理论对Needham-Schroeder(N-S)公钥协议中中间人攻击问题进行形式化分析与设计,并对其进行证明.与原有技术相比,该方法更为形式化,协议分析人员可以很方便地进行手动分析,并且更有利于协议分析自动化工具的实现.     

污染环境中具有Markov切换的随机互惠三种群生存分析

研究污染环境下受到毒素和双重噪声(白噪声和有色噪声)作用的随机系统,建立污染环境中具有Markov切换的随机互惠三种群模型。利用随机微分方程相关理论和分析方法,考虑系统同时受到白噪声、有色噪声、毒素浓度及种群间相互作用因素对种群生存状态的影响,得到随机互惠三种群系统中各种群趋于灭绝、随机非平均持久、随机弱平均持久和随机强平均持久的充分条件。数值模拟验证了理论结果的正确性。     

基于混合高斯模型的储物柜存取货行为检测方法

针对储物柜存取货物场景的实际情况和人员行为的特点，提出一种通过融合时间调整机制控制前景融入背景的改进型混合高斯建模检测方法，并引入手臂识别机制。融合时间调整机制减小了由于人员停止运动而错误决策为背景的可能性；手臂识别算法模型有效地识别人员伸手动作。实验结果表明，该方法可以简单有效地从连续的图像序列中检测出人员在储物柜场景下的存取货物行为。     

具有Logistic增长项的两种群竞争Keller-Segel模型的稳定性分析

应用线性化方法研究两种群竞争的Keller-Segel模型常数平衡解的个数及其稳定性问题.     

论亳文化背景下的高职校园文化建设

在校园文化建设过程中,把地域特色文化与高职校园文化融合起来,对培养适应地方经济社会发展的人才具有重要的现实意义。在亳文化背景下,围绕高职办学理念,积极探索彰显亳文化特色的高职校园文化建设路径,恰到好处地把亳文化元素与高职校园物质文化、制度文化、精神文化及行为文化相融合,以构建独具个性特色的高职校园文化,从而为实现培养德技双馨的高职人才目标营造浓厚的文化氛围。     

雾霾污染的危害与治理支付意愿研究进展

雾霾污染问题是当前研究的热点问题。雾霾污染会导致出行障碍、相关疾病发病率及死亡率上升、动植物生长受阻、旅游业产值下降、社会经济发展受影响和社会稳定度下降等。可见,治理雾霾污染刻不容缓。雾霾治理的费用相当高,公众参与治理雾霾是一种有效的缓解雾霾治理资金紧张的有效途径之一。由此,本文以我国雾霾污染治理的支付意愿为研究对象,利用文献研究和归纳总结方法,系统介绍了雾霾治理支付意愿的相关问题、雾霾治理支付意愿的评估模型以及雾霾治理支付意愿的影响因素,以期为我国雾霾治理费用的分摊提供重要的理论参考。     

基于边迭代的复杂网络平均路径长度分析研究

复杂网络可以用来描述现实世界中许多复杂系统,而平均路径长度则是其中一个研究重点。针对基于边迭代的复杂网络,以Farey网络这一类网络族为实例,分析和研究其平均路径长度。研究方法将加深对这些确定性网络模型的研究,并为随机复杂网络提供新的思路。     

新时代全面从严治党的意义及监督路径研究

中国特色社会主义进入新时代,这是我国发展新的历史定位。新时代下建设中国特色社会主义仍要统筹推进"五位一体"总体布局和协调推进"四个全面"战略布局。其中全面从严治党是"四个全面"战略布局的重要组成部分,新时代下全面从严治党要求必须深化加强党内监督、加强群众监督以及深化国家监察监督体制改革,将全面从严治党工作推向一个新的高度。