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

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

高速电主轴热特性仿真与实验研究

对高速电主轴温度场分布随转速的变化规律进行了研究。通过在外壳上布置一定数量的温度传感器,对不同转速下的外壳温度进行实时测量,并将实验结果与ANSYS的模拟结果进行对比,验证了采用在电主轴外壳上布置多个测点测量与仿真相结合的方法来预测电主轴内部温度场分布的可行性;另外还分析了在不同转速下,高速电主轴关键部位的温升,仿真结果表明:主轴在6000~10000 r/min时,温升呈线性增加,在大于10000 r/min后,温升以指数规律增加。     

基于变分不等式的多商品流供应链网络模型

针对多商品流的供应链网络均衡问题，考虑电子商务对供应链网络的影响，得到了制造商、零售商及需求市场的均衡条件，利用变分不等式形式把供应链网络均衡模型表述出来，得到了系统均衡的模型，利用拟牛顿法，得到了具多商品流的供应链网络均衡模型的求解方法。 用具体的数值算例验证了模型的合理性。
     

基于改进Faster R-CNN的农田残膜识别方法

为了实现农田残膜的精准捡拾,提高残膜回收机的回收率.将改进Faster R-CNN卷积神经网络运用到农田残膜的识别检测中,提出了一种农田残膜的识别方法.以11MS-1850残膜回收机工作后遗留在农田表面的残膜为研究对象,分别在晴天、阴天不同时间段采集图像共计1648幅.通过更改图像亮度、旋转等方式扩充数据集,最终得到4950幅残膜样本图像,按照7:2:1划分为训练集(3465幅)、验证集(990幅)、测试集(495幅);采用双阈值算法替代传统的单阈值算法,降低了阈值对模型性能的影响;通过对比试验,选取具有残差网络结构的ResNet50作为主干特征提取网络,准确率可达88.84％,召回率为87.70％,总体精度为88.27％;为了使检测模型对小目标更加灵敏,根据数据集中残膜尺寸大小,在原有锚点基础上增加322和642的尺度参数,准确率、召回率、总体精度分别提升了1.29％、0.67％、0.97％,单幅检测时间为284.13 ms,基本满足了识别残膜的要求.可为残膜回收机加装补收装置提供参考,为研制人工智能残膜回收机提供理论基础.     

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

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

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

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

云端运算服务下高职英语交互式教学模式初探

分析当前高职英语交互式教学现状及教学模式,探讨将云端运算服务引入交互式高职英语教学的路径,可以通过网络课件、教学论坛、电子邮件、微博、微信公众号等进行交互教学,提高英语教学质量。     

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

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

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

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

基于ZigBee的低功耗蔬菜大棚远程无线传感测控系统

针对现有的智能蔬菜大棚造价成本高,设备电池使用寿命短,远程自动化控制程度较低等问题,基于ZigBee无线传感器网络,对现有的蔬菜大棚进行智能化改造,设计了一套集低功耗数据监测采集、自动灌溉于一体的远程设备监控系统.系统经过联调测试,终端节点的休眠功耗达到了μA级别,解决了设备电池使用寿命短的问题,达到了延长设备使用寿命的要求;系统与微信公众号结合实现了远程监控的功能,可以实时查看监测数据,远程控制设备,解决了传统的智能蔬菜大棚远程自动化控制程度低的问题.与传统系统相比实现了超低功耗运行,为蔬菜大棚的可感知智能控制提供了新的技术手段.