摘要：为解决LoRaWAN通信时的数据碰撞问题,在LoRaWAN的MAC协议的基础上,对18000-6C的防碰撞算法进行研究,提出MAC_6C协议。将基于Q算法的动态帧时隙Aloha算法与LoRaWAN的MAC协议相结合,利用LoRa独有的CAD检测信道前导码功能,使LoRaWAN与6C的防碰撞算法的空闲时隙、碰撞时隙和应答时隙成功结合。通过测试实现了MAC_6C协议的适配,验证了该协议的有效性,LoRaWAN自组网络的公平性和吞吐量得到了提高。

摘要：针对滑模控制存在的抖振问题,通过分析抖振产生的原因,提出一种基于改进趋近律的滑模控制方案。对传统的趋近率进行改进,提高系统的初始运动速度,降低系统在切换面附近的趋近速度。该算法可以改善趋近运动的动态特性,明显削弱系统的抖振。在Matlab中实现该算法,仿真结果表明,此控制方案是可行的,有较好的控制效果。

摘要：针对实时操作系统内存分配的性能,分析了一个现有的测试模型,提出了模型中存在的问题,并给出了改进方法。改进后的模型比原模型可以产生更多的内存碎片,这样可以更充分地反映内存碎片对内存分配性能的影响。改进后的模型也更符合真实环境下的内存分配规律,且考虑了内存分配失败的情况对内存分配整体性能的影响。最后通过实验结果表明了改进方法的有效性和正确性。

摘要：针对GUI软件数据流异常难以跟踪与分析的问题,提出一种基于事件驱动模型的GUI数据流异常分析方法。基于有限状态机,对变量生命周期状态迁移进行建模,引入别名分析方法,实现过程内数据流分析;通过获取化简的交互事件序列,将序列引入到代码数据流跟踪中。实验结果表明,该方法可有效检测由于GUI软件不确定性导致的数据流异常问题。

摘要：为保证OAuth2.0协议的安全性,防止实施过程中出现令牌泄露、钓鱼攻击及中间人攻击等威胁,对原有的协议框架进行优化。通过在Authorization Server和Resource Server之间建立信任机制,同步信任信息,在Authorization Server中引入"安全节点"增强安全检查、提高系统的安全性。使用Sycther工具对OAuth2.0协议进行形式化的安全性分析,验证协议存在令牌泄露等安全威胁。协议优化前后的形式化分析及实际应用场景的对比验证结果表明,该方法能够有效抵御令牌泄露、钓鱼攻击等安全威胁,提升协议的安全性。

摘要：为提升辅助维修技术在实际工程应用中的性能,解决嵌入式设备性能有限,难以实现实时物体识别任务这一问题,以提高轻量级卷积神经网络在嵌入式平台中的识别速度为目标,提出一种基于通道剪枝和量化的综合卷积神经网络压缩方法。以MobileNet V3模型进行实验,其结果表明,该卷积神经网络压缩方法有效压缩了网络结构,在识别精度损失可接受的情况下,实现了目标物体在嵌入式平台上的实时识别。

摘要：为使用户信任安全系统,保证OAuth2.0协议的有效实施,提出对OAuth2.0协议进行详细的安全性分析。通过对Scyther的研究和OAuth2.0协议的分析,形式化验证OAuth2.0协议的安全性。将OAuth2.0协议标准转化为Scyther的形式化语义,分析协议的安全目标,将安全目标转化为安全属性,与形式化语义相结合,利用Scyther的对手模型和基于模型的改进算法进行安全性形式化分析。结合实例分析协议角色执行轨迹,得到协议的攻击路径。

摘要：为解决在利用增强现实技术进行装备维修的应用中,由于头戴设备硬件资源受限和计算能力不足导致的三维场景建模实时性差、回环检测鲁棒性低问题,利用RGB-D相机对传统视觉SLAM方法中计算费时的环节进行优化。通过将帧间匹配的SIFT算法提取主要素对特征描述符合理降维,优化匹配距离;利用RGB-D相机获取场景轮廓以降低关键帧数目;在回环检测中增加轮廓粗匹配步骤,减少词袋模型中用于聚类的特征描述子数量,提高回环检测的速度和效果。实例验证了该算法的可行性。

摘要：针对布谷鸟搜索算法在解决作业调度问题时存在收敛速度慢等问题,提出一种基于混合并行布谷鸟搜索的作业调度算法。在传统布谷鸟搜索基础上,结合多核集群的拓扑结构特点,将消息传递编程模型MPI与共享存储编程模型OpenMP结合,采用基于作业优先级的编码方式将布谷鸟搜索算法中的鸟巢位置转换为作业调度序列进行求解。仿真结果表明,与传统的串行布谷鸟搜索算法相比,使用该方法求解作业调度问题的收敛速度有明显加快。

摘要：为了解决多重中断的执行不确定性带来的测试困难问题,在多重中断产生并发错误的特点的基础上,提出了一种多重中断程序测试框架。该测试框架通过从外部加载一组合适的中断信号序列控制中断处理程序的执行过程,迫使中断程序经历待测序列,避免了构造复杂的运行时控制环境。实验结果表明,相对于一般的中断错误分析方法,该测试框架能够对顺序程序多重中断环境下可能产生并发错误的时序环境和具体原因进行较为准确地分析。