一种基于距离导向的模糊测试变异方法北大核心CSCD

为解决现有的导向性灰盒测试工具生成的输入中能够到达目标代码段的输入占比较低的问题,文章提出一种基于距离导向的变异方法。该方法利用强化学习算法,以最小化新输入与目标代码段之间的距离为目标,使得导向性灰盒测试在生成输入时选择生成的新输入与目标代码段之间距离最小的修改动作,从而提高到达目标代码段的输入占比。文章实现了基于该变异方法的导向性灰盒测试工具,并与现有的导向性灰盒测试工具进行对比,结果表明,基于文中的变异方法的导向性灰盒测试工具能够有效提升到达目标代码段的输入占比。     

半主动TMD控制双跨轴系过临界振动的研究

针对多轴串联机械通过临界转速时振动过大的问题,对调谐质量阻尼器在双跨轴系振动控制中的应用进行了研究。并基于转子结构,设计了具有对称结构的笼式半主动调谐质量阻尼器用于控制轴系振动;搭建了双跨转子实验台,在不改变转子轴系原有支撑形式上,在两根轴上分别安装了调谐质量阻尼器,对调谐质量阻尼器对轴系各跨转子振动的影响规律进行了实验研究。研究结果表明,不可控调谐质量阻尼器可以有效抑制安装所在轴临界转速附近的振动,对相邻轴影响较小,但会引起新共振峰。根据此实验结果通过开关控制策略实现调谐质量阻尼器半主动控制,说明半主动调谐质量阻尼器可以在不停机的情况下,抑制转子轴系通过各阶临界转速时的振动,避免失谐。     

双速比拖网渔船机桨网匹配动态特性研究

针对拖网渔船在拖网工况下主机和螺旋桨匹配工作点发生显著变化,渔船变工况动态特性影响渔船运行可靠性和经济性的问题,对双速比渔船在正常航行工况和拖网工况下的航速、扭矩、功率等动态特性进行了研究。基于船机桨网匹配理论模型,通过对螺旋桨特性曲线进行数值拟合,构建了适合数字仿真研究的Chebyshev多项式解析形式,建立了基于AMESim的双速比拖网渔船机桨网匹配数学模型,对双速比渔船在多工况下的运行特性进行了仿真研究。研究结果表明:双速比推进方式能够使主机在拖网工况时维持额定转速的状态下降低主机扭矩和功率,有效地提高动力系统的可靠性和经济性,基于AMESim的船机桨网匹配建模仿真研究结果与实船运行情况十分接近。     

谈生态住区与人性化空间

对Townhouse住区的产品特点及规划概念的形成等方面予以论述，对Townhouse住宅进行分析和研究，探讨如何运用现代的技术手段最大限度地满足个性化居住需求的生态型、人性化住区。     

电抗器参数对弧焊过程动特性的影响分析

利用自行研制的焊接动态电孤小波分析仪时KR焊接电源的焊接过程的引孤、中间过程、熄孤的电信号进行采集.针对不同的电抗器材料,采用数理统计方法提取焊接过程电流波形的特征信息,从而对焊接过程的动特性进行分析.结果表明,该方法能综合反映孤焊电潭的动特性,可为改进焊接工艺和波形控制方法提供依据.     

一种基于静态分析的多视图硬件木马检测方法北大核心CSCD

随着集成电路产业的全球化,大部分设计、制造和测试过程已经转移到了世界各地不受信任的第三方实体,这样可能存在攻击者在硬件设计中插入有恶意行为电路的风险,即硬件木马。在早期发现硬件木马至关重要,若在设计后期或制造后再想移除它将开销很大。文章提出一种基于静态分析的多视图硬件木马检测方法,首先通过分析Verilog代码得出变量数据依赖图和变量控制依赖图,从多个视角深度挖掘硬件设计的语义信息;然后通过多视图表示目标硬件设计不同视角下的行为表示向量;最后利用多视图融合方法进行协同融合,将得出的表示向量送入分类器中,从而检测Verilog代码是否被插入了硬件木马。实验结果表明,文章所提的检测方法在不依赖设计规范和不局限于模式库的情况下,实现了对硬件木马精确且全面的检测以及对Verilog代码的全自动分析。     

飞机舱内噪声预计模型中座椅的简化方法

利用统计能量分析方法进行飞机舱内噪声预计时,为保证预计的精度,需在仿真模型中建立座椅子系统.为达到简化模型、提高建模效率的目的,建立座椅吸声量与飞机座舱声空间子系统阻尼损耗因子的关系,从而提出基于赛宾公式及统计能量分析原理的简化方法,并利用机身声学试验平台,对该方法进行验证.     

两河口堆石料侧限压缩和蠕变的耦合影响研究

采用两河口特高砾石土心墙堆石坝的坝壳风干板岩堆石料,开展了大型侧限压缩和蠕变试验。考察了恒定应力速率加载-蠕变、恒定应力速率加载-卸载-再加载后蠕变中的堆石料体积变形发展过程,以研究加载和蠕变的相互影响。除前期存在卸载或低速加载后的蠕变外,各方案蠕变体积变形随时间发展均大致遵循相似的归一化过程,且应力越高,蠕变变形量值越大;蠕变速率随时间增长而下降,且与时间在双对数坐标系中呈良好线性关系;蠕变速率起始值与应力正相关,但随时间的衰减速度与应力无关,也与之前的加载、蠕变历史没有关系。当前期存在卸载或低速加载时,后继蠕变量值明显大幅减小,且蠕变初期存在蠕变速率随时间逐步增大或随时间维持不变的现象。蠕变后再加载过程类似卸载后再加载过程,侧限压缩模量初期数值明显高于正常加载模量,随着再加载应力增大,模量快速减小并接近正常加载模量。蠕变后继加载过程中后期受之前的蠕变次数、时间影响较小。