基于递归认证测试的SIP协议形式化分析

文章以形式化分析方法证明协议安全为研究目的,以具有灵活性、开放性、可伸缩性等特性的SIP协议为研究对象,运用基于串空间理论改进的递归认证测试形式化分析方法,分析了一种BAN逻辑证明安全的SIP身份认证协商协议,发现了该协议执行过程中协议格式不准确、易受中间人攻击的缺陷,并提出了针对该协议缺陷的改进方案。结果表明,文章所提出的递归认证测试形式化分析方法比BAN逻辑更适用、更有效,同时改进方案也增强了SIP身份认证协商协议的安全性。

无人机播种技术专利现状

我国作为世界上的农业大国,农田面积达到1.2亿公顷,农业发展由人工作业向机械化、自动化,田间管理向精细化、智能化转变是大势所趋。对于播种技术,传统的农业播种方式有撒播、点播、条播等。其中撒播技术作为一种重要的农业播种方式,由于其是采用抛撒的方式实现的播种作业,相比于其他的点播、条播技术,其具有成本低、作业效率高等特点。

玉米摘穗装置研究进展及展望

摘穗装置是玉米收获机的重要组成部分,摘穗装置的工作性能直接影响着整个玉米收获机的工作效率。根据玉米摘穗装置的结构形式和基于国内外的专利数据及期刊文献数据,分别从纵卧式摘穗辊式、立式摘穗辊式、板式摘穗辊式和横卧式摘穗辊式4种摘穗结构对玉米摘穗装置技术的发展现状进行了概括分析,并展望了摘穗装置技术的未来研究趋势。

单一应力下义马原煤热解产物演变规律及动力学模拟

以义马原煤为研究对象,构造晶胞,在ReaxFF力场中施加5×10^(9)s^(-1)的应变率,模拟1000K,1500K,2000K,2500K,3000K终温下义马原煤热解演化过程,分析单一应力对褐煤热解的作用效果。结果表明:不同模拟终温下,不同方向上的应力是上下波动的,在允许一定误差下,应力范围保持在±70GPa之间,即此应力对褐煤热解的作用受温度的影响较弱。模拟过程中,在26ps~33ps之间分子数出现极小值点而种类数出现极大值点,义马原煤热解模拟起始温度点不变,但缩聚反应的温度区间前移,表明反应前期单一应力作用效果优于温度作用效果,应力促进了整体的反应进程。受缩聚反应的影响,CO,CH_(4),H_(2)O和NH_(3)含量先升后降,符合热解一般规律,说明应力没有改变反应的最终趋势。H_(2)和·H的数量随反应进行持续上升,说明缩聚反应过程中,此应力作用促进焦油裂解生成的·H的数量大于缩聚反应消耗的·H的数量;同时,·H和H_(2)含量升高,促进·SH与·H结合,提高了H_(2)S的产率。

SRB还原SO_(4)^(2-)影响因素的广义灰色关联分析

为探究影响硫酸盐还原菌(sulfate-reducing bacteria,SRB)降解污泥还原SO_(4)^(2-)的主要因素,构建广义灰色关联度评价模型,并对变量的重要度进行排序。研究结果表明:在一定条件下,SO_(4)^(2-)还原率随温度及初始pH值的上升呈现先增长后降低的趋势,随氧化还原电位的上升呈现不断降低的趋势;温度,初始pH,氧化还原电位的综合关联度分别为0.690,0.755,0.537,影响SO_(4)^(2-)还原率因素大小顺序为初始pH>温度>氧化还原电位。研究结果可为污泥处理过程中控制硫化氢的释放提供理论支持,并为避免或减少污泥产硫化氢导致的人员伤亡和财产损失提供思路。

关于高校劳动教育的几点思考

为满足新时代背景下对全面发展的高级人才的迫切需要,高校亟待将劳动教育贯穿人才培养全过程。“为什么教”“教什么”“谁来教”和“怎么教”是高校劳动教育开展的基本前提。“为什么教”是高校劳动教育开展的必要性问题;“教什么”是高校劳动教育的内容问题;“谁来教”是高校劳动教育的主体(教育者)问题;“怎么教”是高校劳动教育的方法、形式、手段(教育影响)问题。厘清这四个问题,有利于推动高校劳动教育全面有效的落实。

“三全育人”视域下高校劳动教育的困境及实施路径

高校劳动教育工作的开展对培养德智体美劳全面发展的人才具有重要意义。文章以高校劳动教育工作方案为案例,分析目前高校劳动教育工作现状,提出细化劳动教育实施方案、完善劳动教育课程体系、明确管理主体责任要求、加强劳动教育师资建设、健全劳动教育评价体系,为探索“三全育人”视域下高校劳动教育的实施路径提供参考。

基于串空间的安全协议形式化分析研究

安全协议是信息安全领域的重要组成部分,随着新兴技术的快速发展,安全协议变得越来越复杂,给安全协议的形式化分析带来了挑战。近年来,基于串空间理论的形式化分析方法是一个研究热点,在安全协议分析领域得到了广泛的关注和研究,并取得了一定的成果。文章扩展了串空间理论,提出了匹配串、匹配结点、同一执行丛等概念,并基于扩展的串空间理论形式化分析了基于区块链的公平多方不可否认协议,发现了该协议的不能满足公平性的缺陷。

一种改进的基于认证测试的形式化分析方法

近年来,认证测试定理得到了改进,并应用于各种安全协议的分析。但是这些改进定理在应用范围和准确性方面存在一定的缺陷。针对这些缺陷,文章提出了一种改进的输入测试定理及加密测试定理,并给出了改进定理的证明。通过分析认证测试中常规节点的判定、证明过程中的错误、参数一致性证明过程中的不准确性和错误,指出了认证测试在使用过程中的缺陷。基于这些缺陷,文章提出了一种改进的基于认证测试的形式化分析方法——递归测试,并通过该方法证明了BAN-Yahalom协议。分析结果表明,该方法扩大了认证测试使用范围,且可以有效地、准确地分析安全协议。

Linux多核环境网卡驱动优化研究

Linux多核环境下网卡驱动是影响网络性能的重要因素.网卡接收数据包首先通过硬件中断响应,然后NAPI机制调度,启用软件中断把数据包向网络层传递.通过分析网卡接收数据的过程,对网卡驱动做了优化,做了相应实验并对结果数据进行分析,在一定程度上提高了网络性能,达到预期效果.

几何特征与神经网络联合优化的室内三维点云语义分割方法

室内三维点云数据精准语义分割是实现深层次室内空间应用的基础。针对现有三维点云数据语义分割方法存在目标不完整和不一致的问题,本文提出了一种几何特征与深度神经网络联合优化的室内三维点云语义分割方法。该方法首先利用深度学习实现室内结构信息语义标签的初步提取,然后利用几何与颜色特征的点云分割方法对原始数据进行精确分割,最后利用概率模型将深度学习语义分割结果与几何分割结果进行交叉融合,实现语义分割结果的联合优化。基于开放数据集对本文提出的分割方法进行了精度和有效性验证,分别采用室内场景简单到复杂的三组室内点云数据进行了测试,试验结果表明,本文提出的方法能够有效提升室内三维点云语义分割精度。

基于SEP协议和无线传感网节点剩余能量的多跳传输节能算法的实现

针对基于SEP协议实现的传感器网络存在簇头节点过早死亡的现象和远距离通信网络传输能耗大的弊端。文中设计了一种基于节点剩余能量的多跳传输节能算法。该算法把剩余能量高的节点作为簇头的候选节点,采用多跳树簇拓扑通信机制,建立簇头与汇聚节点间的通信链路。使用Matlab对算法进行仿真实验分析,结果表明,该算法减小了用于网络传输的能量开销,有效延长了网络的生命周期。

物联网在食品及农产品冷链物流中的应用

物联网由于具有低成本、实时、大范围、远距离、高精度的监控特点,将其应用于食品及农产品的冷链物流监控,能够很好地解决食品及农产品在流通环节中出现的质量安全问题。本文首先介绍了物联网技术,然后综述了国内外物联网在食品及农产品冷链物流中的应用研究现状,最后展望了物联网技术在食品及农产品冷链物流中的应用前景。

时间温度指示器等量线匹配适应性评估方法

提出了一种基于等量线匹配的时间温度指示器(TTI)评估方法。首先,从理论方面论证了等量线方法的可行性,然后以不同温度条件下的4种TTI响应值与玫瑰香葡萄硬度变化进行了验证与评估。研究结果表明,Vitsab M25-2型TTI最适于监测玫瑰香葡萄的品质变化,此结果与经过变温方案检验的反应动力学方法的评估结果一致。同时发现,TTI和玫瑰香葡萄等量线之间的差异与其反应活化能之间的差别呈正相关关系,进一步验证了等量线方法的可靠性。

基于YCbCr肤色检测与AdaBoost联级算法的嘴部特征定位

为了结合面部其他融合特征研究疲劳状态模式识别,主要研究了人的嘴部特征的定位及状态分析。对基于YCb Cr肤色结合Ada Boost联级算法采集帧图像定位人脸,在人脸定位的基础上,基于三庭五眼的先验知识对嘴部特征进行粗定位,采用迭代法自适应阈值分割法进行嘴部特征状态分析,利用最小外接法优化了嘴部状态参数。结果表明,提出的嘴部特征定位方法具有可行性、实时性。

放射治疗老年脑胶质瘤预后影响因素

目的探讨影响放射治疗胶质瘤患者预后的因素。方法胶质瘤患者105例术后接受60℃射线放射治疗,生存率分析采用KaplanMeier法,生存曲线比较采用Log-rank法,采用COX比例风险回归方程分析患者预后的影响因素。结果随访4.31~94.80个月,中位随访期52.79个月。共有37例存活,死亡68例,死亡率为66.67%;单因素分析结果显示:年龄、手术切除程度、病理类型、手术放疗时间和术前Karnofsky功能状态评分(KPS)是影响胶质瘤术后放疗疗效的相关因素;Cox比例风险回归模型分析结果显示:影响胶质瘤患者预后的影响因素包括年龄(RR=3.021,P<0.05)、病理分级(RR=3.417,P<0.05)、KPS(RR=0.542,P<0.05)和手术切除程度(RR=1.685,P<0.05)。结论年龄、病理分级、手术切除程度和KPS是影响放射治疗胶质瘤预后的影响因素,胶质瘤仍以手术治疗为主,术中应尽量完整切除肿瘤,术后尽早辅以放化疗。

空间数据在嵌入式导航系统中的索引

研究了基于嵌入式Linux平台电子地图数据的空间索引,介绍了空间索引的基本方法。通过分析常见的空间索引算法如B树、R树、四叉树等算法的特点,结合嵌入式电子地图数据特点,设计了基于Hilbert编码的格网空间数据索引机制,并改进了格网索引的数据结构,从而提高了索引效率;并使用嵌入式数据库SQLite管理空间数据,达到了预期效果。

我国职业教育心理学发展存在的问题及对策

我国职业教育心理学存在学科地位不高,发展不成熟,内容体系不完善,研究方法单一,研究成果质量不高等问题,使得它在职业教育实践领域未能发挥相应的作用。因此,今后的职业教育心理学发展要抓住机遇,突出特色,发展完善内容体系,运用多样化研究方法,建设高水平的研究队伍。

港口集装箱号图像倾斜校正识别仿真

在港口智能集装箱号识别系统中,为准确识别集装箱编号,需对采集的倾斜箱号图像校正。针对传统校正中,由于干扰字符的存在导致图像校正精度低、算法复杂导致处理时间长等问题,提出一种基于分块质心和旋转投影的倾斜校正方法。水平倾斜角检测采用分块质心法,即对图像分块得到无干扰区,计算每列像素质心并用最小二乘拟合直线得到水平倾斜角,逐行扫描去除干扰字符,垂直倾斜角检测采用旋转投影法,依据设定的步长旋转并投影,统计最大投影值,对应的角度为垂直倾斜角。通过仿真分析得出:水平和垂直角度检测都能精确在2°以内且运行时间较传统方法提高了22.8%。与其它方法相比在校正精度上和校正是时间上均有优势,是一种有效可行的集装箱号校正方法。

基于事件的群组密钥协商协议形式化分析研究

群组密钥协商协议应用于物联网、无线通信、区块链、视频会议等领域,是当前的一个研究热点。该协议的交互消息较多,且消息认证、加密所使用的密码算法也复杂,这就给密码协议的形式化描述与安全性分析带来一定的困难。文章基于串空间理论,提出了相关概念以及基于事件的形式化分析方法。该方法直观、简洁、有效,易于对复杂的密码协议进行形式化描述,并能简化密码协议的安全性分析过程。文章基于事件的形式化分析方法对簇间非对称群组密钥协商协议进行形式化描述和分析,发现该协议不能满足一致性,即不能认证参与协议交互节点的身份。通过对该协议的分析,也证明了文章所提形式化分析方法的有效性与正确性。