多变体执行误报问题分析与解决方法综述

从安全角度出发,多变体执行（multi-variant execution,MVX）被广泛应用于网络安全防御,但多变体执行存在一个共性问题：即各路执行体向裁决器返回内容时,合路产生的误报难以解决。排除机器环境等客观因素,产生误报是因为表决器收到合路信息后开始对非一致变量作安全判断,除真实攻击造成的非一致变量外,还夹杂着正常系统运行产生的非一致变量（如内存描述符、端口号、随机数、代码及进程内的线程调用顺序）,从而造成表决器误判,影响多变体系统正常运行。如果能降低多变体执行的误报率,则可以有效地提高系统效率及防御能力。对近年来多变体执行的类型进行归类,并对多变体执行产生的误报问题及解决策略进行归纳总结,分析多变体执行产生裁决误报的原因,选择Pina算法进行同步的策略、编译器模块插桩的策略、缩小表决边界的策略,对三种方案在特定应用场景下进行实验分析,分析每个方法的功能及性能,指出各自策略的优点及缺点。最后讨论现有多变体执行现有技术未解决的难点和未来的研究方向。     

宁夏沿黄城市带碳水足迹及其关联关系研究

减碳、节水是黄河流域可持续发展面临的重要问题。从水资源生态及碳足迹角度出发,将区域水碳关系进行耦合研究,有助于揭示水资源质量与碳排放之间的关系,为宁夏沿黄城市带实现生态环境保护可持续均衡发展提供指导。基于水资源生态足迹与碳足迹理论,从时空分布差异、水碳关联性特征入手,计算并分析了2010—2019年宁夏沿黄城市带4个中心城市的碳足迹、水资源生态足迹及其时空变化趋势。结果表明：区域内已经形成了以吴忠市 银川市为重心的碳排放和水生态压力区,且与经济高度发展区域有空间重合,但不同地区由于产业结构及资源条件的不同,碳排放与水资源的关联性差异明显,其中水质生态足迹与碳足迹之间的关联性更显著,呈现出水、碳、环境、产业等发展的区域不均衡性。     

一种低耦合位移动镜支撑机构静动态性能分析

为控制FTIR光谱仪中迈克尔逊干涉仪的动镜做一维的精密直线运动,研究了一种低耦合位移的动镜支撑机构。利用单平行和双平行四杆机构的优点,基于柔性铰链设计了一种动镜支撑机构。根据材料力学及机构动力学理论,对基于压电陶瓷（PZT）驱动器驱动的动镜支撑机构系统的静、动态性能进行了分析。仿真结果表明,低耦合位移动镜支撑机构在外力对称作用时无垂直耦合位移,在外力偏移1 mm非对称作用时其耦合转角的数量级（以度为单位）为10-6;在输出相同位移时,动镜机构的最大应力约为双平行四杆机构的0.5倍;动镜机构的基频f为211.3 Hz,PZT驱动器和动镜机构构成的机电系统的固有频率fn为823.7 Hz,fn约为f的4倍,满足动镜支撑机构系统的动态性能要求。该研究为后续的进一步研究打下了基础,具有一定的工程价值及理论指导意义。     

电动舵机伺服系统非线性辨识及补偿

为提高电动舵机伺服系统的跟踪精度,提出了辨识、测试它的摩擦和间隙非线性及对其进行补偿的方法.针对位置和速度双闭环控制的电动舵机伺服系统,建立了基于LuGre摩擦和迟滞间隙的数学模型;依据模型采用前馈补偿方法对系统中的摩擦进行补偿,同时采用逆模型方法对系统中的间隙进行补偿控制.实验显示,对于幅值为1°,频率为2.5Hz的给定正弦信号,补偿后系统的最大位置跟踪误差由原来的0.166°减小到了0.096°,最大速度跟踪误差由原来的2.723 r/min减小到了0.393 r/min.结果表明,本文提出的辨识测试方法能够精确地获得摩擦和间隙模型,基于该模型的补偿能够有效地提高电动舵机伺服系统的跟踪精度.     

基于材料弹塑性的齿轮齿条啮合动态接触研究

基于材料弹塑性及齿面摩擦的影响,建立了齿轮齿条的三维非线性有限元分析模型,并对运转过程进行动态接触仿真,得出纯弹性、弹塑性材料及有、无摩擦4种情况下齿轮齿条的时变接触力、时变接触面积及动态应力,并与Hertz理论计算得到的应力值进行对比分析。     

CON-MVX：一种基于容器技术的多变体执行系统

多变体执行是一种网络安全防御技术,其利用软件多样性生成等价异构的执行体,将程序输入分发至多个执行体并行执行,通过监控和比较执行体的状态来达到攻击检测的目的。相较于传统的补丁式被动防御技术,多变体执行不依赖于具体的攻击威胁特征进行分析,而是通过构建系统的内生安全能力来对大多数已知、甚至未知的漏洞做出有效防御。近年来,多变体执行技术在不断改进和完善,但是误报问题是制约其发展的主要因素。本文针对多变体执行产生误报的原因进行了详细分析,并在此基础上提出利用容器技术实现多变体执行系统在解决误报问题上的优势。为提升多变体执行技术的可用性,本文设计并实现了一种基于容器技术的多变体执行系统CON-MVX,有效解决传统多变体执行系统的误报问题。CON-MVX利用多个经过运行时随机化技术构建的异构容器作为执行体,使用可重构的模块化组件和独立的容器管理工具对容器执行体进行编排管理,建立进程间监控器CGMon,在内核层级实现对多个执行体的输入同步和输出裁决。同时,为满足与客户端良好交互性,建立中继端口策略,保证系统运行状态的正常反馈。实验结果表明,CON-MVX在保证安全能力的前提下,能有效降低多变体执行系统的误报率,在双冗余度执行条件下使用SPEC CPU 2006测试集测试时,系统带来的平均额外性能损耗不超过15%。