关于半鞅的可料表示性

利用鞅空间H1的泛函表示定理、泛函分析中的Hahn-Banach定理、半鞅向量随机积分的Girsanov定理,获得了半鞅可料表示性的特征。由于使用的是半鞅的向量随机积分,它推广了经典的结论。     

石墨烯作为水基半合成切削液添加剂的硬质合金-钢材料摩擦学特性分析

改善加工过程润滑条件是延缓刀具磨损的重要途径。将石墨烯作为3034水基半合成切削液的添加剂,研究石墨烯悬浮切削液的硬质合金-钢材料摩擦学性能,研究对象是由硬质合金YG8制备的金属球和由45#钢制备的圆盘形试件;采用球-盘摩擦副接触方式在摩擦磨损试验机上进行试验,测定了质量分数为0. 1%~0. 9%的石墨烯悬浮切削液的平均摩擦特性和摩擦系数;采用激光共聚焦显微镜对磨痕轮廓进行提取,并得出磨损定量评价指数,并用扫描电镜和拉曼光谱仪对磨痕进行磨损机理分析;进行切削实验来分析石墨烯悬浮切削液对切削性能指标的改善情况。实验分析结果表明:石墨烯悬浮切削液能明显改善硬质合金-45#钢之间的润滑条件,摩擦系数和磨损率显著下降,采用不同质量分数石墨烯悬浮切削液的平均摩擦系数较原半合成切削液下降12. 9%~57. 3%,磨损率下降33. 82%,同时切削合力较原半合成切削液下降18. 58%,加工后工件表面粗糙度下降7. 5%。     

虚拟行为机制下的恶意代码检测与预防

Cohen证明了不存在一个算法可以精确地检测出所有可能的计算机病毒。MCDPM是一种基于虚拟行为机制的恶意代码检测方法,其目的是避开Cohen结论的限制,从而实现对恶意代码的有效检测和预防。MCDPM将传统的代码行为过程分解为虚拟行为发生和实际行为发生两个部分,通过对虚拟行为及其结果的监视和分析,实现对代码行为的精确检测。由于MCDPM的分析结果是建立在代码的确切行为之上,因此其判断结果是真实和准确的。对于非恶意代码,MCDPM则可以通过实际行为发生函数将其运行结果反映到系统真实环境,保持系统状态的一致性。MCDPM可以用于对未知恶意代码的检测,并为可信计算平台技术的信任传递机制提供可信来源支持。     

弯曲载荷作用下复合材料T型接头的失效分析

运用蔡-吴逐步失效判据和黏聚接触模型建立弯曲加载下的T型接头的有限元模型。对复合材料T型接头在弯曲加载下的损伤机理和承载能力进行数值模拟。结合静态弯曲加载实验,揭示T型接头在弯曲破坏过程中的四种失效模式。T型接头的弯曲失效载荷的有限元模型计算结果与实测值吻合较好。     

采用区分性幅相联合字典学习的低截获概率信号分离方法

为解决采用字典学习的信号分离方法存在的相位信息缺失和子字典交叉表示问题，提出一种区分性幅相联合字典学习方法。该方法针对相位信息缺失问题，构建了幅相联合字典模型；针对混合信号在联合字典上投影时存在的交叉表示问题，基于区分性字典学习思想提出在字典学习过程目标函数中加入交叉表示抑制项。仿真结果表明：幅相联合字典能够充分表示典型低截获概率信号的幅相信息，交叉表示抑制项能有效抑制信号间的交叉表示，算法具有良好的分离性能。     

Minimal LST representations of MAP(n)s: Moment fittings and queueing approximations

A Markovian arrival process of order n, MAP(n), is typically described by two n × n transition rate matrices in terms of rate parameters. While it is straightforward and intuitive, the Markovian representation is redundant since the minimal number of parameters is n² for non‐redundant MAP(n). It is well known that the redundancy complicates exact moment fittings. In this article, we present a minimal and unique Laplace‐Stieltjes transform (LST) representations for MAP(n)s. Even though the LST coefficients vector itself is not a minimal representation, we show that the joint LST of stationary intervals can be represented with the minimum number of parameters. We also propose another minimal representation for MAP(3)s based on coefficients of the characteristic polynomial equations of the two transition rate matrices. An exact moment fitting procedure is presented for MAP(3)s based on two proposed minimal representations. We also discuss how MAP(3)/G/1 departure process can be approximated as a MAP(3). A simple tandem queueing network example is presented to show that the MAP(3) performs better than the MAP(2) in queueing approximations especially under moderate traffic intensities. © 2016 Wiley Periodicals, Inc. Naval Research Logistics 63: 549–561, 2016     

Firm embedding behavior of annular grooved projectiles impacting ductile metal targets

Annular grooved projectiles (AGPs) have drawn ongoing concerns as an advanced penetrator for their excellent anti-rebound capability in impacting metal plates. They could become embedded solidly in the target surface during low-velocity impact. In this investigation, the firm embedding behavior of AGP was observed by impact experiments. Corresponding numerical simulations provided a better understanding of this process. Experimental and numerical results indicated that the firm embedding behavior of AGP was mainly due to the filling-material in the groove rather than the friction between the projectile and target, unlike traditional shape such as conical projectile. According to observation, firm embedding process can generally be subdivided into four stages: initial-cratering stage, groove-filling stage, filling-material failure stage and rebound vibration stage. Moreover, the damage mechanics of target material around crater was obtained through microscopic tests. A comparison of the cross-sectional figures between the experiment and simulation proved that the analysis and the proposed method were reasonable and feasible, which further demonstrated that the firm embedding behavior has application potential in new concept warheads.     

基于人眼视觉特性的盲图像质量评价

文中针对含噪图像的质量评价,提出一种基于人眼视觉特性的盲图像质量评价算法。利用人类视觉系统的对比度敏感函数对空间域的噪声检测结果进行加权,得到符合主观评价结果的盲图像质量评价值。利用L IVE图像库的评价图像和主观评价值对算法进行了仿真验证。仿真实验结果表明,该方法具有无参考、运算复杂度低、主客观评价较一致等特点。     

障碍环境下具有多领导者的组行为生成方法

针对由多个领导智能体和多个跟随智能体组成的多智能体组,提出一种障碍环境下具有多领导者的组行为生成方法。该方法属于分布式控制方法,其利用组中的领导智能体控制跟随智能体,使得跟随智能体的中心和速度分别指数收敛于组中所有领导智能体的加权位置中心和加权平均速度,且每个领导智能体权重的大小取决于其所带领的跟随智能体的数目。另外,该方法通过在障碍的边缘引入虚拟的“ β-智能体”,使组中的个体具有与环境中的静态和动态障碍避碰的能力,最终生成真实的障碍空间中具有多领导者的组行为。最后以虚拟人智能体组为载体进行仿真实验,验证了该方法的有效性。     

L1-analysis稀疏重构在阵列信号恢复及波达角估计中的应用

通过适当的空域稀疏化构造了可对阵列接收信号进行冗余稀疏表示的阵列流形矩阵,建立了相应的L1-analysis稀疏重构模型用于恢复阵列接收信号,重点证明了该流形矩阵是满足L1-analysis 稀疏重构条件的紧框架,从理论上保证了将L1-analysis 稀疏重构用于阵列接收信号恢复及波达角估计问题的合理性,并推导出信号恢复误差的理论上界。利用在微波暗室环境中采集的实测数据,结合MUSIC算法进行实验验证,结果表明基于L1-analysis 稀疏重构的信号恢复对提高低信噪比环境下的波达角估计性能是有效的。