摘要：OpenVPN在现实网络中有广泛应用,对其安全性进行评估具有重要的现实意义.基于自动机理论中模型学习的方法,利用协议状态模糊测试的技术对OpenVPN系统进行黑盒测试分析,自动化推演出目标OpenVPN系统的状态机.提出了状态机时间压缩模型并进行冗余状态和迁移化简,可以准确得到协议状态机中的行为特征.发现了多条期望行为路径外的特别行为路径及可能的安全隐患,为OpenVPN的安全性评估提供了新的思路与方法,同时对类似缺少协议规范但应用广泛的安全协议的内部设计细节分析具有重要参考意义.

摘要：介绍了龙门数控陶瓷切割机床控制系统的组成,构建了控制系统配置传动图,进行了基于台达数控系统的控制系统部件选型,分析了不同双丝杠驱动模式的特点,结合实际需要确定双位置控制模式,设计了控制系统架构并给出了主电路图,并进行了陶瓷切割试验,达到了预期的效果。

摘要：建筑平面图分析是模式识别和图像处理领域的重要研究课题,但是现有的平面图分析方法未能有效检测平面图中的语义信息,不利于建筑设计的智能化。针对该问题,本文提出了一种新的基于卷积神经网络CNN的住宅平面图元素识别与布局语义分析的算法,该算法首先通过一个联合卷积神经网络同时识别平面图中的住宅图元与文本字符,然后通过后处理步骤再对平面图元素识别结果进行优化,并结合文本信息提取平面图中的语义信息与空间布局。实验结果表明,本文提出的平面图识别算法与其他方法相比,图元素检测结果更优,提取的房间语义信息更加准确。