摘要：在虚拟化云计算平台中,如何保证其上运行软件的可信性是云平台广泛应用的关键.完整性测量与验证技术是保证软件系统可信性的一种主要方法.然而,现有的软件完整性验证系统大多需要修改操作系统内核,很难为大规模虚拟机环境中的众多异构系统提供一致解决方案,且无法抵御内核级恶意攻击.针对当前方法在兼容性、安全性以及可管理性上存在的问题,设计并实现了一种在VMM层基于系统调用分析技术来验证软件完整性的方法VMGuard.它通过截获客户操作系统中的系统调用来识别软件加载,并基于系统调用关联性分析和虚拟机文件系统元数据重构技术来验证客户操作系统中软件的完整性.在Qemu和KVM两种主流虚拟化平台上实现了VMGuard,并通过实验评测VMGuard的有效性和性能.实验结果表明,VMGuard能够有效验证客户操作系统中软件的完整性,且性能开销在10%以内.

摘要：转/定子间动态接触过程决定行波旋转超声电机(TRUM)的输出性能,但是柔性转子弹性在以往界面接触特性研究中常被忽略.本文中基于建立的考虑柔性转子和摩擦层三维弹性的转-定子动力学耦合模型,从接触界面的接触状态、速度、接触应力、摩擦应力驱动和阻碍子区等空间分布角度,研究了柔性转子弹性对TRUM摩擦界面的动态接触行为和摩擦损耗的影响.结果表明:柔性转子在轴向、径向和切向均呈现出一定的振动速度,且在接触界面沿圆周方向与定子各向速度形成一定的相位关系,显著影响界面动态接触特性、摩擦特性和摩擦损耗;柔性转子与定子轴向位移分布的相位一致性表明,定子与摩擦层的接触界面具有类齿轮啮合机制;与以往中间驱动两端阻碍的分布结果不同,考虑转/定子动力学耦合的接触区摩擦应力分布为一端驱动和一端阻碍的新机制.计算结果表明在建模过程中忽略柔性转子弹性得到的界面摩擦损耗要比考虑柔性转子弹性获得的摩擦损耗大得多,主要原因:(1)柔性转子径向刚度小,摩擦力作用下接触区的运动方向与定子相同,从而减小了径向速度差和径向摩擦损耗;(2)柔性转子界面的切向振动特性,改变了接触界面黏-滑子区分布,使得行波远离端的摩擦应力阻碍子区消失,且摩擦层界面切向剪切变形长度增大,从而减小了切向滑动和摩擦损耗.研究结果将有助于更好地理解TRUM中的动态接触特性,并指导摩擦界面的设计.

摘要：为快速获取航空施药雾滴沉积的连续分布特性,弥补传统离散样点取样方式检测不足,提升航空施药雾滴沉积特性检测准确性,该文结合光谱分析和荧光激发技术设计研发了基于光谱分析的航空施药沉积特性检测系统。系统包括信息采集模块、采集装置模块和数据处理模块3部分。配置质量分数1.0%的荧光示踪剂溶液,采用农用植保无人机现场喷洒作业,同步放置雾滴获取介质和水敏试纸样本采集雾滴分布,系统采集雾滴获取介质的光谱特征曲线。与水敏试纸图像分析获取的雾滴沉积特性参数结果对比分析,结果表明:雾滴获取介质上的荧光示踪剂在450~460 nm和500~520 nm波段范围内产生显著荧光效应,其光谱平均值与雾滴沉积特性参数呈显著正相关。计算出450~460 nm和500~520 nm波段范围光谱平均值,建立雾滴沉积特性参数的检测多元线性回归模型,建模决定系数达0.80以上,验证决定系数达0.83以上,达到了较为理想的拟合结果。

摘要：标准扇形喷头与空气诱导喷头均为地面喷雾常用喷头,其在低速条件下的雾化特性已有较多研究,而在高速气流下的雾化特性尚不清楚。为了探究对比2种喷头在高速气流条件下的雾化特性,以及其用作航空喷头的可能性,基于北京农业智能装备技术研究中心自行设计制造的IEA-I型高速风洞,采用马尔文Spraytec喷雾粒度仪对德国Lechler公司生产的LU-120-03标准扇形压力喷头和IDK-120-03空气诱导喷头进行了测试。试验结果表明,两种类型喷头在距离出口0.15 m时,雾滴并未完全雾化。而在距离出口0.35 m时雾滴均已充分雾化。其中LU-120-03扇形压力喷头雾滴体积中径随风速增大从210μm逐渐减小至130μm,在管道压力达0.4 MPa以上时,其雾滴粒径分布跨度随风速增大逐渐从1.3增至1.5。而IDK-120-03空气诱导喷头产生的雾滴粒径相对较大,在风速为120 km/h时,达420～450μm,但其随着风速进一步增加快速减小,在风速达305 km/h时,其产生的雾滴体积中径降低到150μm。试验还发现管道压力变化对LU-120-03扇形压力喷头产生雾滴体积中径影响较大,而对IDK-120-03空气诱导喷头产生的雾滴体积中径影响较小。该研究可为固定翼有人机航空施药方案,如喷头选型、压力选择、作业速度选择等提供试验数据指导。

摘要：软件可靠性问题对于安全关键软件而言具有极端重要性。本文论述了软件可靠性工程的三个基本问题以及软件可靠性研究现状和面临的主要问题,进而论述了软件控制论产生的背景。软件控制论探讨软件理论和工程与控制理论和工程的交叉应用,其宗旨之一是将控制理论方法较系统地引入软件工程领域,使得软件过程更加有章可循,进一步保证和提高软件可靠性。本文最后概述了软件控制论的几个研究方向。

摘要：未知化学武器弹药的定性识别在犀护社会安全方面是十分重要的,可指导化学武器的分类处理。瞬发伽马射线中子活化分析(PGNAA)技术利用分析活化产生的伽马射线能谱可以实现对物质中元素的无损,快速检测,在化学武器识别中具有独特的优势。因此,本研究基于PGNAA技术进行了化学武器弹药类型识别装置的设计,同时使用逻辑树判别方法对化学武器样品进行定性分析。首先,基于高纯锗(HPGe)探测器与Cf-252中子源,使用蒙特卡罗MCNP程序对装置结构进行设计优化,主要包括中子源容器尺寸、伽马屏蔽体厚度以及探测器相对位置等。为了最大化样品活化产生的特征伽马射线,需要提高样品位置处的热中子通量,采用聚乙烯作为慢化体,模拟结果显示聚乙烯厚度达到6 cm,宽度达到12 cm时,样品中热中子通量达到较高水平。为了降低周围材料活化噪声的干扰,选择铅作为屏蔽结构,模拟显示铅屏蔽厚度达到5 cm时,可满足屏蔽要求。同时,探测器与样品之间的距离也会影响对伽马射线的探测,最终模拟确定探测器与样品之间的距离为28 cm时,特征信号计数最高。根据优化结果搭建测量装置,使用分析纯试剂根据真实化学武器元素含量配制化学武器模拟样品,通过对5种化学武器模拟样品的测量获得伽马能谱。对能谱中的特征峰处理过程中,基于特征峰对元素进行分析,针对计数统计性较好的元素(如H,Cl,S)的特征峰,使用高斯及多项式拟合的方式对特征峰处的高能量康普顿平台进行扣除,获得特征伽马射线的全能峰信息。而对统计性较差的元素特征峰(如N元素的10.829 MeV),采用能量区间加和法,对该能量下的全能峰至单逃逸峰之间的计数求和,进而可确定该元素在样品中的存在情况,最后利用建立的逻辑树判别方法根据元素存在信息对样品类型进行判别。实验结果表明,利用该优化的装置可以获得5种模拟样品的能谱,结合能谱分析方法可以得到化学武器模拟样品中的H,Cl,S和N等元素的存在信息,最后使用逻辑树判别方法可以对化学武器样品种类进行判别。

摘要：针对10 Gbps高速SerDes发送端信号完整性问题,对关键模块进行优化设计,包括高速串行器、前馈均衡电路(FFE)、电流数模转换器(IDAC)控制电路等。为降低时钟性能的要求,对传统电流模逻辑(CML)串行器进行改进,通过调整时钟占空比的方法,设计四分之一速率的串行器,并依次更替控制输入数据的等相位差时钟,可以得到FFE所需的多路延迟数据。为了均衡由于信道的各种非理想因素产生的信号频率上的衰减,采用IDAC控制抽头系数的三抽头前馈均衡器对线路衰减进行均衡,提出使用MATLAB对信道衰减进行建模,并以此来设计滤波器的方法,快速简便确定抽头系数,将抽头系数映射到IDAC的不同控制位从而获得针对不同信道衰减的FFE。最终,设计基于TSMC 28nm CMOS工艺实现。仿真结果显示数据传输达10 Gbps时高速串行器逻辑正常,数据眼图良好,输出抖动在0.09 UI,满足高速背板通信电路的标准。

摘要：多模态对话情绪识别旨在根据多模态对话语境判别出目标话语所表达的情绪类别,是构建共情对话系统的基础任务.现有工作中大多数方法仅考虑多模态对话本身信息,忽略了对话中与倾听者和说话者相关的知识信息,从而限制了目标话语情绪特征的捕捉.为解决该问题,提出一种基于听说知识融合网络的多模态对话情绪识别模型(LSKFN),引入与倾听者和说话者相关的外部常识知识,实现多模态上下文信息和知识信息的有机融合.LSKFN包含多模态上下文感知、听说知识融合、情绪信息汇总和情绪决策4个阶段,分别用于提取多模态上下文特征、融入听说知识特征、消除冗余特征和预测情绪分布.在两个公开数据集上的实验结果表明,与其他基准模型相比,LSKFN能够为目标话语提取到更加丰富的情绪特征,并且获得较好的对话情绪识别效果.

摘要：提出了联想度的概念 ,并由此设计出一种自组织模糊 CMAC(SOFCMAC)及其学习算法 ,证明了 SOFCMAC能以任意精度对非线性特性一致逼近。该网络具有学习速度快 ,逼近精度高等特点。用该SOFCMAC作为非线性系统观测器而生成残差 ,通过支持向量机诊断器得到故障检测与诊断结果。对某型歼击机的结构故障进行诊断 。

摘要：本文以远程空空导弹为研究对象,提出一种角度约束增程弹道规划方案。针对不同飞行段弹道设计问题,研究了一种考虑导弹当前速度的过载控制爬高增程制导律,以及基于最优控制理论的满足终端位置和入射角约束的成型制导律。仿真结果表明,在典型发射条件下,所提出的角度约束增程弹道及其复合制导律,相比常规弹道及其制导律,射程能提高20%以上,并能满足视线角和入射角等约束要求。