列车运行安全行为建模与形式化技术研究

随着我国铁路事业的快速发展，对列车运行控制系统安全性的研究已成为目前铁路运输系统的重要研究问题。形式化方法为设计高可信系统提供了重要途径。本书针对列车运行过程中安全关键因素，如无线通信网络性能、...

列车运行控制系统安全性设计技术

本书为“十二五”重点出版规划项目之一。本书依据IEC61508、EN50126、EN50128、EN50129等国际安全标准，结合轨道交通（铁路、城市轨道交通、高速磁浮）信号系统故障安全技术的发展趋势，针对列车运行控制系统的安...

高速铁路列车运行控制技术 调度集中系统

高速铁路列车运行控制技术 CTCS-2级列车运行控制系统

本书为“十二五”国家重点图书出版规划项目“高速铁路列车运行控制技术”之一。高速铁路列车运行控制系统是一项十分复杂的系统工程，本书通过对CTCS—2级列车运行控制系统技术攻关与创新工作的总结和凝炼，旨...

密云水库调蓄工程安全及经济运行关键技术研究与示范

本书分为理论篇和实践篇两部分：理论篇介绍了梯级泵站输水系统技术体系、梯级泵站输水工程仿真技术、梯级泵站输水工程优化调度技术和梯级泵站输水工程控制运行技术等；实践篇详细介绍了南水北调来水调入密云水...

高速铁路列车运行控制技术 ZPW-2000系列无绝缘轨道电路系统

本书为“十二五”国家重点出版物出版规划项目“高速铁路列车运行控制技术”之一。本书通过对ZPW-2000无绝缘轨道电路进行总结和凝炼，旨在从基础理论、工作原理、工程设计原则、相关专业接口和现场案例等方面...

在线零售市场顾客购买行为实证与建模研究

在线零售市场成长迅速，顾客是商家最重要的资产，全程数字化的交易为研究顾客行为提供了有利条件，然而传统的顾客行为模型不能适用于产品与顾客高度聚集，信息高度透明，交易高度动态的在线零售市场。为此，通过研究.....

应用经济学丛书 会计师事务所合并、组织形式变化与资本市场审计行为研究

书稿立足于我国会计师事务所做大做强的制度背景，分别选取与事务所外延扩张和内涵建设有关的事务所合并与组织形式变化作为制度因素，运用实证研究和案例研究的方法考察了会计师事务所合并与组织形式变化对审计...

计算机编制列车运行图原理与方法

本书主要内容包括：铁路列车运行图及其相关作业计划的基本概念、原理与方法；高速铁路通过能力计算方法；铁路列车运行图编制问题难点浅析；铁路列车运行图编制优化理论及方法；铁路列车运行图编制系统需求分析；铁路.....

规划型铁路列车运行组织理论与方法

本书是国家出版基金资助项目，汇集了作者二十多年间，尤其是近五年来，在“按图行车”领域所取得的创新性科研成果。全书共九章，主要内容包括规划型铁路货物运输生产组织、铁路运输业重组和铁路货运公司、货物列车...