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

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

2017全国注册消防工程师资格考试教材配套用书 消防安全技术综合能力 考点速记

中国安全生产史 1949-2015

中国农区草业与食物安全研究

低等级公路交通安全防控技术

本书在分析我国低等级公路交通安全主要问题的基础上，从低等级公路交通安全评估技术、防护设施设置、路线交叉安全改善、城乡接合部和村镇路段横向抗干扰与冲突分离、农村客运安全保障、交通安全综合处置和改...

苏州农业职业技术学院2016届学生优秀毕业设计（论文）选编

为了更好地把握和加强毕业设计(论文)这一重要教学环节,扩大学院学生毕业设计（论文）成果，以便今后引导学生撰写更多优秀毕业设计（论文），苏州农业职业技术学院将2016届优秀毕业设计（论文）选编成《苏州农业职业技......

生产安全事故应急救援培训教材 化工火灾应急救援技术

本书是《生产安全事故应急救援培训统编教材》丛书之一，介绍了化工火灾的基本知识、危险化学品火灾扑救技术措施、石油石化火灾控制与灭火、消防物资与技术装备、化学品与化工火灾现场扑救、化工与危化品火灾...

中国农业机械化图鉴

以农机创新发展和大数据为主题，精心编辑农机图鉴，回顾中国农业机械化的发展进程。以纪实的照片，对全国农业机械化的领跑者——黑龙江省区域布局的五大农作物——水稻、玉米、大豆、小麦、马铃薯等主要农作物生...

中国食品安全发展报告2017

建设工程安全生产技术与管理实务 建筑安装工程

本书是中国安装协会组织国内多家大型安装企业组织编写的安全生产便携手册，内容主要分两部分，第一部分建筑机电工程施工安全技术与管理通用要求；第二部分专业工程施工安全技术与管理要求。本书适合安装工程人员...