摘要：代码复用技术一直以来都是软件安全研究领域的热点,ROP(return-oriented programming)、JOP(jump-oriented programming)和DOP(data-oriented programming)技术是典型代表。Gadget搜索是代码复用的基础,针对现有静态搜索算法存在支持的Gadget类型不多,不能同时搜索动态链接库等问题,提出了基于动静结合的二进制Gadget搜索方法,基于此开发了搜索工具Xgadget。利用动态映像级插桩,对所有函数进行反汇编;设计了Token级和指令级有穷自动机,实现了基于自动机的静态搜索算法;在五款应用程序中对其进行了测试与评估。实验结果表明,算法支持ROP、JOP、DOP等多种Gadget类型的搜索,能够同时对目标程序动态链接库进行搜索,搜索数量是ROPgadget的12.5倍,单位指令搜索时间较之降低32.1%。算法为不同需求的代码复用提供更为广泛的支持,且输出结果是二进制Gadget,后续复用更直接,有利于代码复用自动化利用。

摘要：车载自组织网络(vehicular ad-hoc network,VANET)在提高交通效率和解决行车安全方面有着广阔的应用前景,但其发展的同时也带来了挑战。随着智能车辆的增加,现有架构不能满足车辆的快速增长需求,同时VANET的开放性也助长了车辆的恶意竞争。使用软件定义车载网络(software-defined vehicle network,SDVN)架构以提升车联网的网络性能,并基于此架构设计了一种信任评估与信任管理机制。信任评估方法考虑车辆的时空特征来限制和标准化车辆的行为,提高了车辆恶意行为检测的准确性。此外,该机制设计了一种基于联盟链Hyperledger Fabric的信任管理方法,借助区块链来实现车辆的数据安全,提高了信任值更新和查询的效率。实验分析表明,所提出的信任管理机制能够在SDVN网络中保证消息的一致性和安全性,缩短了共识时间,提高了信任管理的整体效率。

摘要：相机运动的干扰是造成视频振动检测误差的重要原因。针对该问题,提出一种互抑制一致采样方法,对视频中的振动信号和相机运动信号实现有效分离,从而提高视频振动检测的可靠性。通过SURF(加速稳健特征)算法提取候选的特征点,并设计了振动与相机运动的互抑制测度,对候选的特征点进行分离,以获得相机运动的特征点。根据相机运动特征点对视频图像进行配准,以获得去除相机运动干扰的视频序列。对稳定相机的视频序列,采用欧拉视频振动检测方法获得振动频率。自行采集了不同相机运动下的视频,并针对互抑制测度的参数进行估计。通过对测试集数据进行验证,得到的振动频率准确率优于现有的非接触振动检测方法。

摘要：以ARENA坦克主动防护系统为实例,研究武器系统设计参量的设计方法.基于该类武器系统工作原理分析,建立防护弹药对来袭目标毁伤概率计算的Monte-Carlo仿真模型,开发相应的应用程序,计算不同射击参量下武器系统的单发毁伤概率;通过综合分析,获得合理匹配的射击参量.提出了一种利用计算机仿真来研究武器系统射击诸元的方法.

摘要：由于笛卡尔坐标系的制约,多变量分析及显示成为复杂固体火箭发动机设计优化的难点之一。将平行坐标可视化技术应用于固体火箭发动机设计优化过程,以高压强固体火箭发动机总体参数优化为例,针对不同优化阶段提出不同赋色原则,说明其在发动机设计优化辅助建模、优化过程监控和优化结果鲁棒性分析中的应用。研究结果表明,平行坐标可视化技术在处理固体火箭发动机设计优化多变量分析及显示问题上具有简单、直观等独特优势,易于工程应用。

摘要：为实现非球面的高精度检测,在设计全息图时采用虚拟玻璃的概念,即用光学设计软件ZEMAX建立折射率为0的玻璃模型,实现全息片的出射波前沿非球面的法线方向入射,简化了补偿器的设计优化过程,提高了设计精度,最大光程差小于0.000 7λ(λ=632.8 nm).编制了衍射面工艺参数的计算程序,利用该程序可快速地计算出衍射面各环带的径向坐标、最小特征尺寸、最大环带数,还可以输出位相图、连续面形图、台阶图等,为光学设计和实际加工提供了有效的解决途径.

摘要：真实世界图像包含未知模糊和噪声信息,现有以双三次下采样为退化方式的数据集无法训练出适用于真实世界图像的超分辨率网络。为此设计预测器初步估计模糊核并设计校正器得到准确的图像模糊核信息。高分辨率图像通过模糊化处理并注入噪声构建低分辨率真实世界图像。设计新型超分辨率网络结构,每个卷积层后根据模糊核对特征图进行空间特征变换,提高网络处理不同模糊图像的能力。将非线性映射部分以残差密集块结构相连,并整合入生成对抗网络框架增强纹理细节恢复能力。在Flickr2K和DIV2K两个数据集上的测试结果表明新方法的峰值信噪比、结构相似度和感知指数高于EDSR和ESRGAN等经典方法。

摘要：为了减少二元光学元件设计的计算量并提高设计精度,在对现有算法机理进行深入分析的基础上,提出了适用于二元光学元件设计的两步模拟退火法.该算法在整个退火过程中采用先量化后优化的策略,并将优化过程分为两个阶段:搜索并锁定最优解区间;快速收敛到最优解.模拟实验显示,与传统设计方法相比,该算法不仅保持了全局寻优的特点,而且提高了稳健性和效率.算法剔除了对设计结果影响较大的量化误差,提高了设计精度.用此法实例设计了单焦面辐射聚焦元件,得到了与目标图像一致的光学实验结果.

摘要：提出一种基于介质集成同轴线(SICL)馈电的新型双极化天线实现方案.设计扩展了双极化天线的阻抗带宽且实现了两个正交印刷电路基板的直接装配.馈电结构采用印刷电路技术实现.引入SICL到异面带状线的宽带巴伦,实现SICL到异面带状线的不平衡到平衡的转换.设计了一种从SICL到微带线的渐变式宽带阻抗匹配电路.在2.2~2.8GHz频率范围内,仿真的极化端口隔离度大于20dB,两个极化端口均获得宽角覆盖的方向图,主辐射方向的低交叉极化电平低于-20dB,具有较高的辐射效率.所加工天线的测试结果与仿真结果接近,验证了设计方案的可行性.

摘要：针对磁流变半主动悬架存在的控制策略设计和磁流变阻尼器逆模型求解复杂繁琐的问题,采用天棚控制、SH-ADD控制和频域控制3种典型的开关控制策略,基于具有并联旁通孔的磁流变阻尼器,在1/4车辆悬架试验台上进行半主动振动控制对比试验。结果表明,具有并联旁通孔的磁流变阻尼器与开关控制策略相结合可有效地抑制悬架振动,且控制过程简单,具有较好的实际应用价值。