Balancing a one‐way corridor capacity and safety‐oriented reliability: A stochastic optimization approach for metro train timetabling

In urban rail transit systems of large cities, the headway and following distance of successive trains have been compressed as much as possible to enhance the corridor capacity to satisfy extremely high passenger demand during peak hours. To prevent train collisions and ensure the safety of trains, a safe following distance of trains must be maintained. However, this requirement is subject to a series of complex factors, such as the uncertain train braking performance, train communication delay, and driver reaction time. In this paper, we propose a unified mathematical framework to analyze the safety‐oriented reliability of metro train timetables with different corridor capacities, that is, the train traffic density, and determine the most reliable train timetable for metro lines in an uncertain environment. By employing a space‐time network representation in the formulations, the reliability‐based train timetabling problem is formulated as a nonlinear stochastic programming model, in which we use 0‐1 variables to denote the time‐dependent velocity and position of all involved trains. Several reformulation techniques are developed to obtain an equivalent mixed integer programming model with quadratic constraints (MIQCP) that can be solved to optimality by some commercial solvers. To improve the computational efficiency of the MIQCP model, we develop a dual decomposition solution framework that decomposes the primal problem into several sets of subproblems by dualizing the coupling constraints across different samples. An exact dynamic programming combined with search space reduction strategies is also developed to solve the exact optimal solutions of these subproblems. Two sets of numerical experiments, which involve a relatively small‐scale case and a real‐world instance based on the operation data of the Beijing subway Changping Line are implemented to verify the effectiveness of the proposed approaches.     

自然冷却混凝土显微痕迹研究

模拟火灾情况,分别对不同受热温度、自然冷却条件下的混凝土样品进行扫描电子显微镜分析。发现自然冷却条件下,混凝土受热温度不同时,微观形貌成一定的变化规律。C-S-H凝胶结构和骨料与水泥浆体界面处都会随温度发生特征变化。根据这一变化规律可鉴定自然冷却条件下混凝土受热温度,有助于准确认定起火部位。     

舰载弹炮结合武器系统抗击效率模型

根据舰载弹炮结合武器系统的战技性能,结合该系统应对目标的特点,在研究该系统毁伤区域和毁伤概率的基础上首先研究了系统对来袭目标的搜索概率,建立系统的火力分配的模型,再基于火力分配模型和导弹舰炮对来袭目标的毁伤概率,构建实用的系统对来袭目标抗击效率的数学模型,为进一步对弹炮结合系统分析提供参考.     

李先念指导实施三线建设

李先念长期担任中共中央政治局委员、书记处书记、国务院副总理兼财政部部长等职,参与制定了三线建设一系列重大战略决策,直接领导实施了三线重点工程建设,并指导三线建设重点企业进行调整改造,是第一、第二两代中央领导集体中唯一参加了三线建设决策制定、指导实施、调整改造三个阶段全过程的重要成员,为三线建设做出重要贡献。     

含偶氮甲酰胺复合食品添加剂生产的火灾危险性及消防安全对策

偶氮甲酰胺是一种常用食品添加剂,通常与其它添加剂复合以后使用,在复配过程中有发生燃烧爆炸的危险。对含偶氮甲酰胺复合食品添加剂生产中的火灾危险性进行分析,探讨预防火灾及爆炸事故发生的有效措施,并提出应急处理、灭火需要注意的事项。     

宋代商标及其使用研究

宋代商业分工细致,竞争激烈,商人为了招揽顾客,推销自家商品,开始用“新颖”、“文雅”的名称命名自家商品,逐渐形成文字、图形或实物等不同类别的商品标识。宋代商标的使用,既维护了生产者和经营者的利益,也有利于商业经济的正常秩序;既提高了商品的信誉,保证了商品的质量,又扩大了商品服务的范围,增加了商品在市场中的竞争力。     

支持向量顺序回归机的线性规划算法

支持向量顺序回归机是标准支持向量分类机的一个推广,它是一个凸的二次规划问题。本文根据l1范数与l2范数等价关系和优化问题的对偶原理,把凸的二次规划转化成线性规划。由此提了支持向量顺序回归机的线性规划算法,进一步用数值实验验证了此算法的可行性和有效性。并与支持向量顺序回归机相比,它的运行时间缩短了,而且误差i不超过支持向量顺序回归机;     

一种无线传感器网络中的Sybil攻击检测方案

Sybil攻击破坏无线传感器网络中的数据融合、公平资源分配等机制,因此对Sybil攻击的防范与检测具有很重要的意义。将一种基于到达时间差（TDOA）的三维定位引入到Sybil攻击的检测中,算法可以检测存在的Sybil攻击并对Sybil节点进行定位。通过性能分析证明该算法具有开销小、有效性高的特点。     

浅谈《人民武装警察法》的颁布对武警部队执勤、处突工作的积极影响

武警部队肩负着维护国家安全和社会稳定的神圣使命。《人民武装警察法》的颁布为武警部队履行使命提供了强有力的法律保障的同时,也对武警部队的建设提出了更高的要求。从《人民武装警察法》的若干条款和武警部队现行的相关规定为基点,探讨了此法对武警部队执勤、处突工作的积极影响。