交通隧道抢险救援需要把握和解决的几个问题

基于多年工作经验,分析总结了我国交通隧道抢险救援的主要特点,明确了交通隧道抢险救援中需要把握和解决的主要问题,并提出了具体的战术战法,为我国交通隧道抢险救援工作提供参考。     

二十世纪美国反恐情报应用模式初探

美国作为较早受到恐怖主义威胁的西方发达国家,自20世纪70年代逐渐发展起了一套完善的执法体系,并积累了成熟的执法经验,特别是信息化时代背景下,美国执法部门的反恐斗争渗透着强烈而鲜明的信息情报色彩,是“情报导侦”理念和模式的现实体现,为我国执法与行动部门提供了一定的经验。其中的“威胁评估”综合情报分析模式是美国反恐情报工作的典型代表,对于预防恐怖主义犯罪起着特殊的作用。     

在科学发展观教育实践活动中推进马克思主义学习型政党建设

党的十七届四中全会首次向全党发出努力建设“马克思主义学习型政党”的号召,当前,如何把握住科学发展观教育实践活动的有利契机,大力加强马克思主义学习型政党建设,整体提升其创建水平,从而巩固教育成果,形成长效机制,既是搞好科学发展观教育实践活动的内在要求,也是推进马克思主义学习型政党建设的必然选择。     

浅谈《孙子兵法》与竞争智慧

孙子有备无患的军事思想,早已成为现代竞争领域的指导原则之一。每个人都有非常强烈的成功欲望,这样的人生,是一个永不停息的决策过程。从事什么样的工作,怎样做才能使自己在竞争中立于不败之地。《孙子兵法》告诉我们：人生竞争有策略。     

一类具脉冲和垂直传染的传染病模型的一致持续生存

本文建立了一类具脉冲和垂直传染的传染病模型,应用脉冲微分议程周期解的全局稳定性、比较原理和分析方法,得到了该模型一致持续生存的充分条件,通过结果可以帮助我们了解,注射疫苗的周期T和注射比例P与疾病控制的联系。     

收发合置情况下海底混响仿真

为了实现收发合置情况下海底混响时间序列仿真,提出了一种混合模型方法。该方法将点散射模型方法与单元散射模型方法混合使用,既能够克服单元散射模型方法中高斯分布假设带来的计算误差,又能够克服点散射模型方法计算复杂的问题。针对窄带发射信号,为了便于计算,设计了一种适用于任意采样率的基于复包络的混响信号仿真方法。最后,通过仿真试验证实了仿真方法的有效性。     

两种捆绑火箭弹性振动建模方法对比分析及其对姿控系统的影响

针对长助推和短助推两种类型捆绑火箭的不同模态特点,分析了两者弹性振动建模方法的区别和联系,在此基础上建立了某型固体捆绑火箭姿态动力学新模型,模型中基于有限元法导出了弹性振动方程,基于该模型对箭体复杂弹性振动引起的通道间耦合进行了研究,采用逆Nyquist阵列法进行设计。结果表明,该模型能更准确地反映捆绑火箭纵、横、扭耦合运动特性;新模型三通道之间存在弹性耦合,但耦合矩阵具有对角优势性质,采用逆Nyquist阵列法进行姿控系统设计是有效的,仿真结果表明设计的控制器可行,能够取得比较好的性能。     

Concise RLT forms of binary programs: A computational study of the quadratic knapsack problem

The reformulation‐linearization technique (RLT) is a methodology for constructing tight linear programming relaxations of mixed discrete problems. A key construct is the multiplication of “product factors” of the discrete variables with problem constraints to form polynomial restrictions, which are subsequently linearized. For special problem forms, the structure of these linearized constraints tends to suggest that certain classes may be more beneficial than others. We examine the usefulness of subsets of constraints for a family of 0–1 quadratic multidimensional knapsack programs and perform extensive computational tests on a classical special case known as the 0–1 quadratic knapsack problem. We consider RLT forms both with and without these inequalities, and their comparisons with linearizations derived from published methods. Interestingly, the computational results depend in part upon the commercial software used. © 2009 Wiley Periodicals, Inc. Naval Research Logistics, 2010     

参数化系统二维抽象框架

针对参数化系统状态空间爆炸问题提出了一个通用的参数化系统二维抽象框架TDA。对所有进程单独进行抽象,利用参数化系统的设计思想,隐藏系统参数构建全系统的抽象模型,最大限度地剔除了原始系统中的冗余信息。建立的具有真并发语义的参数化系统的形式化模型,更适合描述一般意义上的并发系统,较好地解决了验证大规模同构和异构系统的空间激增问题。理论推导和实例均证实了TDA的正确性和合理性。     

基于云-神经网络的液体火箭发动机故障检测方法

根据故障检测原理,研究和实现了基于云-神经网络的液体火箭发动机故障检测方法。根据训练结果、测试结果和故障检测结果可以看出,云-神经网络用于液体火箭发动机的故障检测是可行的,经过历次试车数据验证,该方法没有误报警和漏报警。