Bi‐objective missile rescheduling for a naval task group with dynamic disruptions

This paper considers the rescheduling of surface‐to‐air missiles (SAMs) for a naval task group (TG), where a set of SAMs have already been scheduled to intercept a set of anti‐ship missiles (ASMs). In missile defense, the initial engagement schedule is developed according to the initial state of the defensive and attacking units. However, unforeseen events may arise during the engagement, creating a dynamic environment to be handled, and making the initial schedule infeasible or inefficient. In this study, the initial engagement schedule of a TG is assumed to be disrupted by the occurrence of a destroyed ASM, the breakdown of a SAM system, or an incoming new target ASM. To produce an updated schedule, a new biobjective mathematical model is formulated that maximizes the no‐leaker probability value for the TG and minimizes the total deviation from the initial schedule. With the problem shown to be NP‐hard, some special cases are presented that can be solved in polynomial time. We solve small size problems by the augmented ? ‐ constraint method and propose heuristic procedures to generate a set of nondominated solutions for larger problems. The results are presented for different size problems and the total effectiveness of the model is evaluated.     

On the conditional residual lifetime of coherent systems under double regularly checking

In this paper, we consider a coherent system with n independent and identically distributed components under the condition that the system is monitored at time instances t₁ and t₂ (t₁ < t₂). First, various mixture representations for reliability function of the conditional residual lifetime of the coherent system are derived under different scenarios at times t₁ and t₂ (t₁ < t₂). Several stochastic comparisons between two systems are also made based on the proposed conditional random variables. Then, we consider the conditional residual lifetime of the functioning components of the system given that j components have failed at time t₁ and the system has failed at time t₂. Some stochastic comparisons on the proposed conditional residual lifetimes are investigated. Several illustrative graphs and examples are also provided.     

Signature based analysis of m‐Consecutive‐k‐out‐of‐n: F systems with exchangeable components

In this article, we study reliability properties of m‐consecutive‐k‐out‐of‐n: F systems with exchangeable components. We deduce exact formulae and recurrence relations for the signature of the system. Closed form expressions for the survival function and the lifetime distribution as a mixture of the distribution of order statistics are established as well. These representations facilitate the computation of several reliability characteristics of the system for a given exchangeable joint distribution or survival function. Finally, we provide signature‐based stochastic ordering results for the system's lifetime and investigate the IFR preservation property under the formulation of m‐consecutive‐k‐out‐of‐n: F systems. © 2011 Wiley Periodicals, Inc. Naval Research Logistics, 2011     

运动心理学在消防灭火攻坚组训练中的应用

运动心理学是研究人在从事体育运动时的心理特点及其规律的心理学分支,与体育学、体育社会学、运动生理学、运动训练理论和方法,以及其他各项运动的理论和方法有着密切的联系。通过分析当前消防攻坚组训练工作中存在的运动心理学上的问题,探讨、分析其原因,探讨运动心理学促进消防攻坚组训练工作,帮助攻坚组成员们创立良好的心理机制,保持良好的心理状态,促进官兵的身心健康,培养官兵健全的人格和坚强意志,使攻坚组成员们更好地完成党和人民赋予的各项任务。     

基于间歇采样转发干扰的ISAR群目标生成方法

基于间歇采样转发干扰理论,提出了一种ISAR二维群目标生成方法。采用伴飞式干扰机,对所掩护的目标回波信号进行间歇采样转发,在ISAR上形成逼真的虚假二维群目标图像;通过调整干扰机和目标的空间位置关系,生成二维假目标序列,并能模拟目标的动态姿态变化。在介绍了间歇采样转发干扰的基本原理后,阐述了伴飞式干扰原理,然后从理论上推导了了伴飞式干扰机的功率和空间位置要求,接下来着重分析了二维群目标生成的理论原因,指出了影响二维群目标分布的关键因素和群目标的姿态角变化规律,最后进行了仿真验证,结果表明了该方法的有效性。研究成果对于ISAR干扰机的设计和工程应用具有指导意义。     

瓶颈指派问题的一种多项式时间算法

本文对瓶颈指派问题给出了一种新的算法,该算法不需要利用最大流算法,而类似于解经典指派问题的匈牙利算法。该算法是一个多项式时间算法,其复杂性为Ｏ（ｎ３）     

团体心理干预对改善维和警察培训学员心理应对能力的效果研究

良好的心理应对能力是维和警察有效遂行维和任务的心理保障。为探讨团体心理干预对维和警察心理应对能力的改善效果,对32名维和警察培训学员分成实验组和控制组进行干预实验。经干预,实验组成员身心状况、应对方式、社会支持有明显改善,自尊状况亦有显著变化。说明团体心理干预对改善培训学员综合心理健康状况、增强其心理应对能力有一定效果。     

标准模型下非基于双线性对的非交互门限密钥封装机制

现有的高安全门限密码方案都是基于双线性配对实现的,由于双线性对的计算需要耗费大量的资源,这些方案在资源受限的环境下很不实用。因此,构造非基于双线性对密码方案是一件非常有意义的工作。带符号的二次剩余类群具有同双线性对类似的优良性质,可以用来构造门限密码方案。在带符号的二次剩余类群中,利用投影公钥技术,构造了一个非交互的门限密钥封装机制。该方案在因子分解困难问题假设下,具有自适用选择密文攻击安全性。由于避免了耗时的双线性对运算,方案具有较高的效率,可应用于资源受限的网络环境中。     

合作学习理论在外语教学中的应用——以“澳大利亚课堂教学”为例

在阐释合作学习理论的基础上,分析了合作式教学的基本特征,并以澳大利亚英语课堂教学活动为例,探讨如何运用合作互动型模式提高外语学习效果。该理论的应用为改进学生英语课堂参与行为及参与模式提供教学启示。     

基于自适应小波阈值的SAR图像去噪算法

针对传统阈值去噪方法处理合成孔径雷达(Synthetic Aperture Radar,SAR)图像存在的失真,边缘模糊等问题,提出了一种自适应小波阈值算法。首先对经过对数变换后的SAR图像进行小波变换。然后利用自适应小波阈值对变换后的SAR图像高频部分进行去噪处理,去噪后再对其进行小波逆变换处理。最后再进行一次指数变换,达到去噪的目的。实验结果表明,该算法能够得到较好的去噪效果,并且还有效地解决了传统算法所带来的不足。