面向可靠性预计的软件运行时行为模型构造方法

运行时行为模型构造是面向可靠性预计的软件运行时模型构造的组成部分，为软件可靠性预计提供运行时组件与组件之间的动态交互关系和状态之间的转移概率信息。基于Java开发平台提出了一种基于非侵入式监控的软件运行时行为模型的构造方法，包括获得当前时刻的运行时体系结构模型；根据运行时体系结构模型确定监控对象；声明监控方法中的代理Bean；声明监控方法中的监控Bean，实现对组件动态调用信息的提取；声明代理Bean和监控Bean的接口；基于模型构造算法实现对运行时行为模型的构造等步骤。基于Rainbow-znn软件进行了实例应用，验证了所提方法的可行性。      

基于区域划分与标准时间的手部异常行为检测

通过监控视频自动检测操作任务中手部异常行为，能够预防人因差错，提高人因可靠性。针对手部操作任务运动特征不明显、常用异常检测和手势识别方法不适用的问题，提出基于区域划分与标准时间的手部异常行为检测技术。使用基于椭圆模型的肤色检测方法，检测视频中手部形心位置；提出工作区域划分方法，根据手部形心在操作过程中所处区域的不同，将连续操作分割为单元任务，获得各段单元任务的起止时间和持续时长；以正常工作时间为标准，对超出标准时间范围的单元任务提出异常警告。实验表明:所提方法的单元任务分割正确率高于93%，异常行为检测率高于86%，能够有效检测手部异常行为，为人为差错的监测与预警提供技术支持。      

模拟月壤铺粉过程DEM数值仿真

空基激光选区熔化（SLM）技术与原位资源利用（ISRU）概念结合，有望解决地外大规模基地建设的工程难题。SLM铺粉过程对成形件性能和质量有重要影响。基于非球形粒子叠加球模型方法，建立模拟月壤颗粒几何模型；基于线性弹簧-阻尼接触作用模型、Hamaker理论及牛顿运动定律，建立颗粒动力学模型；采用三维离散单元方法（DEM）及软球模型，进行不同工况下模拟月壤在铺粉过程中的流变特性研究。结果显示:所提模型和方法能开展指定工况和环境参数的模拟月壤颗粒系统流动性和堆积行为数值仿真研究；月面低重力环境导致粉床表面粗糙度变大、堆积密度和平均配位数变小；通过降低铺粉速度和优化刮刀型面，可以有效改善月基铺粉的粉床质量，获得更密实和均匀的粉床结构。      

确定飞机结构WFD平均行为的寿命升降法

广布疲劳损伤(WFD)问题严重威胁飞机结构的完整性和安全性,为确定支持飞机结构广布疲劳损伤评定和维修大纲的有效性限制,需要先确定飞机结构的广布疲劳损伤平均行为。以疲劳应用统计学中强度升降法的理论为基础,提出了确定飞机结构广布疲劳损伤平均行为的寿命升降法,在不同寿命级上进行疲劳试验,继而进行剩余强度试验,判断剩余强度是否满足要求,当相邻2个寿命级上出现相反结果时,取2个寿命均值为正好满足剩余强度的寿命,重复试验并统计分析得到广布疲劳损伤平均行为。以5细节多部位损伤结构为例,采用提出的寿命升降法,测得了其在指定载荷条件和剩余强度下的广布疲劳损伤平均行为。提出的寿命升降法以疲劳可靠性为理论基础,不依赖于结构的具体形式和受载情况,对多部位损伤和多元件损伤结构均适用。      

Time-series analysis of GPS measurements for long-span bridge movements using wavelet and model prediction techniques

This study aims at assessing the safety behavior of the Incheon long-span bridge using high rate (10?Hz) geodetic monitoring global positioning system (GPS). The time series of wavelet spectrum analysis is utilized to assess the dynamic behavior of the bridge. The coefficients and model errors of the time series autoregressive-moving average (ARMA) model are used to evaluate the movement performances of the bridge. The results show that: (i) the accuracy of GPS measurements to extract the dynamic behavior of the bridge is 97.27% when compared with the design results. (ii) the behavior of the bridge is within the safety limits of the bridge design with minimum observed changes for the historical GPS measurements in time and frequency domains, the mean deflection of bridge deck is 8.26?mm and frequency changes of bridge is 0.004?Hz compared with the design results. (iii) the time series analysis of the wavelet spectrum and ARMA model coefficients can be used to detect the significant frequency changes and study the rigidity of the bridge performance, respectively; and the both methods are found to be suitable techniques to estimate the performance changes of the GPS measurements in the time and frequency domains during the monitoring time period.     

一种高精度视频目标检测与分割新方法

根据动态视频场景与多目标检测的应用需求,提出了一种变分光流场与mean shift图像分割相结合的高精度运动目标检测与分割新方法.依据动态场景多运动目标检测的约束条件提出变分光流场优化计算模型,并给出其数值解法.在此基础上提出结合meanshift的高精度运动目标检测与分割算法,此方法对摄像机运动和静止情况都适合,能够进行同一场景中多个运动目标的高精度检测,并且不需要事先的学习和人工干预,具有通用性.     

改进的超级电容建模方法及应用

提出了一种改进的基于物理-端行为特性的超级电容建模方法,模型包含3部分分支电路,在即时分支电路里,采用了一个电压受即时电路端电压控制的电压源和一时间常数恒定的电容串联来模拟超级电容器的即时特性,同时给出了等效电路的参数确定方法.仿真结果表明,该模型可以精确描述超级电容充放电过程的非线性及充放电之后的电压自恢复特性,具有很好的静态特性和动态特性.该模型简单实用,已成功应用于均衡电路参数优化设计中,并在其它采用超级电容作为能量源的电力电子装置中有很好的应用前景.     

Java源代码字节码剽窃检测方法及支持系统

提出一种Java源代码和字节码都适用的剽窃检测方法并实现了支持系统,该方法以类的Java文件或class文件为比较单元,从中抽取代表程序语法和语义特征的5种特征向量,综合计算产生两个类文件之间的相似度,可用于帮助判断两个类文件之间是否存在全部或部分剽窃现象.在人工修改程序的场景下进行的对比实验结果和剽窃检测实验结果表明,该方法可有效检测程序代码的严格拷贝和近似拷贝,有较高的检测性能,并且能够识别程序剽窃行为中对Java源文件所做的大部分类型的代码变换.     

基于高时相探测的运动点目标检测方法

针对可见光探测中低信噪比运动点目标检测问题,提出一种基于高时相探测的运动点目标检测方法,构建了基于双谱分析的目标检测器来提取像元时域特征,对背景像元与目标像元进行区分.仿真分析与实验结果均表明,所提出的方法能够对低信噪比运动点目标进行有效检测,在一定帧频范围内,目标检测能力与采样帧频正相关.相比常用的运动点目标检测方法,本文方法具有更高的检测效能.      

基于电学成像的蜂窝夹层结构超高速撞击损伤监测

针对航天器遭受空间碎片和微流星体撞击的问题,对蜂窝夹层结构的超高速撞击损伤监测进行研究。提出将碳纳米管薄膜共固化在蜂窝夹层结构面板表面使之具有自感应能力,结合电学成像技术对超高速撞击造成的损伤进行监测和识别。采用二级轻气炮对自感应蜂窝夹层结构进行了超高速撞击,在撞击前后分别向感应层注入微小的激励电流,根据边界电压变化重建损伤引起的电导率变化图像,从而提供有关撞击和损伤的信息。试验结果表明,基于碳纳米管薄膜的感应层性能良好,重建的电导率变化图像能够较好地反映损伤个数、位置和近似尺寸,验证了所提出技术方法的有效性,为航天器结构超高速撞击监测提供了一种新的技术手段。     

基于异质信息网络的恶意代码检测

恶意代码对网络安全、信息安全造成了严重威胁。如何快速检测恶意代码,阻止和降低恶意代码产生的危害一直是亟需解决的问题。通过获取恶意应用的动态信息、构造异质信息网络(HIN),提出了描述恶意代码动态特征的方法,实现了恶意代码检测与分类。构建了FILE、API、DLL三类对象的4种元图,刻画了恶意代码HIN的网络模式。经过改进的随机游走策略,尽可能多地获取元图中对象节点的上下文信息,将其作为连续词包(CBOW)模型的输入,从而得到词向量的网络嵌入。通过投票方法改进主角度分析模型,得到多元图特征融合的分类结果。在仅可获得有限信息的情况下,大大提高了基于单元图特征的恶意样本分类准确率。      

考虑环境干扰的大型贮液箱结构安全评估模型

针对大型贮液箱(LLT)结构安全评估面临的先验信息缺失、监测信息不完全可靠等问题,基于置信规则库(BRB)和有限元方法(FEM),提出了一种考虑环境干扰的大型贮液箱结构安全评估模型。基于行业标准和专家知识,借助有限元方法进行评估模型初始参数的估计;基于信息一致性方法计算指标可信度,以反映实际工程中扰动因素对监测数据的影响;提出一种新的融合方法,将指标可信度合理融合到模型推理过程中,完成评估模型的构建;选用10⁵ m³石油储罐作为研究对象,对所提模型的有效性进行验证。研究结果表明：所提模型不仅能有效处理监测数据不可靠问题,也能够将大型贮液箱复杂系统内部结构机理考虑在内,有效克服先验信息不足给评估精度带来的影响。     

压力传感器动态特性参数不确定度评定

压力传感器动态特性参数的不确定度是表征其动态测量性能的重要指标。提出了一种压力传感器动态特性参数的不确定度评定方法。首先,使用激波管动态校准系统产生阶跃压力信号激励压力传感器,得到传感器的输出信号;其次,采用基于经验模态分解（EMD）的传感器输出信号预处理方法,减小动态校准过程中噪声的影响;然后,根据传感器的输入输出信号,采用自适应最小二乘法建立压力传感器的数学模型,进而得到其时频域动态特性参数;最后,针对重复校准实验得到的动态特性参数序列的小样本特点,采用自助法计算参数的扩展不确定度和相对不确定度。采用激波管系统对压力传感器进行多次重复动态校准实验,计算时频域动态特性参数的不确定度,并与现有方法进行对比。实验结果表明:本文方法可以弥补贝塞尔法在处理小样本量数据中的不足,且与蒙特卡罗法的不确定度评定结果相对误差小于10%,说明本文方法可以有效地评定压力传感器动态特性参数的不确定度。分析时频域动态特性参数的相对不确定度得到传感器的工作频带和超调量受噪声的影响较大,为动态校准实验条件的改善提供了重要依据。      

蜂窝结构异面变形动态塑性坍塌力学

在蜂窝结构静态塑性坍塌应力理论计算模型的基础上,建立了蜂窝结构在冲击载荷作用下的动态塑性坍塌应力的理论计算模型.考虑应变率对蜂窝结构动态力学性能的影响,使用Cowper-Symonds模型建立了静态塑性坍塌应力与动态塑性坍塌应力之间的关系;基于薄板弯曲理论,由平均冲击速度得到了应变率的计算公式,进而得出动态塑性坍塌应力关于冲击速度与静态塑性坍塌应力的函数关系.使用LS-DYNA动力学软件模拟了铝合金蜂窝结构在冲击载荷作用下的异面变形,数值计算结果与理论模型计算结果一致.     

时钟偏差辅助的GPS完整性监测算法

对伪距残差最小二乘的接收机自主完整性监测(RAIM)算法进行了分析.在此基础上,通过对接收机时钟偏差的建模,将模型预测的时钟偏差引入伪距残差最小二乘的RAIM算法中,保证了在可见星仅为4颗的情况下,仍能利用χ2检验法对全球定位系统(GPS)进行完整性监测,从而达到提高完整性监测算法有效性的目的.计算机仿真的结果显示,这种辅助方式不仅计算简单,而且有效可行.      

微小卫星液化推进剂气化过程可视化检测方法

微小卫星在科学研究、交通导航、自然灾害预报、城市规划、环境监测、国防安全等领域应用潜力巨大.然而，作为常用于微小卫星系统的液化气推进装置，其推进剂存在气化不完全问题，导致推进性能下降.为了有效控制气化过程，研究了基于电容层析成像(ECT)技术的液化推进剂气化过程可视化和气相含率检测方法.为了提高测量信噪比和降低加工难度，设计了一个6电极柔性PCB传感器.针对6电极成像质量较差问题，在线性反投影(LBP)和Tikhonov正则化的基础上，提出了像素插值法，建立了灰度值 相含率映射模型.仿真结果表明，应用像素插值后，重建图像平均相对误差降低了7.72%，图像质量显著提高，相含率测量误差显著减低(不大于4.86%).最后，基于微小卫星推进剂气化的实际情况设计了模拟实验装置，证明了所设计的柔性PCB传感器和所提出算法及映射模型的可行性.     

一种鲁棒性增强的机载网络流量分类方法

针对机载网络高度动态、高度不稳定造成流量监测设备难以在有限的监测周期内完成完整数据流负载特征的提取，限制了基于深度学习的流量分类方法的应用问题，提出了一种鲁棒性增强的机载网络流量分类方法。通过数据预处理及缺失样本处理方法将数据流映射为灰度矢量集合，基于完整的数据流训练数据集实现鲁棒性增强的长时递归卷积神经网络（RE-LRCN）分类模型的训练，在线上分类阶段，通过分类模型实现样本缺失数据流负载空间特征及数据流时序特征的提取，并进行数据流分类。通过在数据包缺失的流量测试数据集上的实验结果表明，所提方法可以有效抑制数据包缺失对分类准确性能的恶化。      

基于动态故障树的卫星可靠性分析

针对卫星系统的可靠性问题，提出了一种基于动态故障树的卫星可靠性分析方法。采用马尔可夫链和二元决策图相结合的分析方法，建立卫星的电源、姿轨控和推进3个分系统的动态故障树模型，在此基础上得到卫星的随机故障模型，并综合考虑损耗故障建立卫星可靠性模型。利用蒙特卡洛仿真对随机故障模型进行评估分析，并将其与Weibull分布模型进行性能比较，仿真结果表明该方法能够有效分析卫星的随机故障，具有计算精度高、效率高的优点，并能更有效地模拟卫星部件随机故障的动态行为。