大约有10,000项符合查询结果项。(搜索耗时:0.0472秒)
为您推荐: 网络安全协议 原理 结构与应用 可证明安全算法与协议 网络协议的形式化分析与设计 工业互联网安全体系理论与方法 安全协议形式化分析与验证 列车运行安全行为建模与形式化技术研究
-
-
安全生产十大定律与方法
崔政斌,刘炳安,周礼庆编著2017 年出版264 页ISBN:9787122289889《安全生产十大定律与方法》一书从安全生产规律入手,提炼和总结了企业安全生产领域内诸多安全生产定律,并以“十”这个数字将这些规律集锦起来,供企业主要负责人和安全管理者在工作中参考。全书分为八章:绪论、...
-
公共安全与应急管理 模型与方法
吕伟,刘丹著2017 年出版268 页ISBN:9787010184159《公共安全与应急管理:模型与方法》将结合国内外公共安全与应急管理的现状和高校公共管理专业课程现状及发展趋势,在了解读者学习和实践需求的基础上,全面讲授与公共安全相关的理论模型和分析方法,包括爆炸损伤...
-
生鲜乳质量安全检测标准与方法
方芳,郑君杰编著2017 年出版432 页ISBN:9787511628220本书收载了截止到2016年10月底有关生鲜乳重金属、毒素、药物残留、非法添加物、理化和微生物等相关领域检测标准或方法45项,包括国标、行标及相关部委指定方法等,是从事生鲜乳生产、经营以及质量监控和检测技...
-
大空间建筑消防安全技术与设计方法
孙楠楠编著2017 年出版215 页ISBN:9787561858783本书针对大空间建筑的结构与火灾特点,结合国家相关标准的技术知识要点,对适用于大空间建筑的消防安全技术进行归纳、总结与分析。本书主要内容包括大空间建筑概述、火灾特性及火灾动力学分析、防火分隔与安全...
-
山区高速公路路侧安全保障理论与方法
陈宽民,李岩辉,谢晓如著2017 年出版201 页ISBN:9787030533531在江西省特殊的自然地理、生态等环境背景下,通过对典型山区高速公路交通事故数据资料的统计分析,系统研究环境因素(路段环境、路侧景观、路侧人工障碍物、不良天气)对交通安全的影响,提出相应的交通安全保障理...
-
列车运行安全行为建模与形式化技术研究
陈永,胡晓辉著2017 年出版269 页ISBN:9787113225797随着我国铁路事业的快速发展,对列车运行控制系统安全性的研究已成为目前铁路运输系统的重要研究问题。形式化方法为设计高可信系统提供了重要途径。本书针对列车运行过程中安全关键因素,如无线通信网络性能、...
-
食品安全风险评估 毒理学原理、方法与应用
杨杏芬,吴永宁,贾旭东,黄俊明编著2017 年出版322 页ISBN:9787122298065《食品安全风险评估——毒理学原理、方法与应用》一书由广东省疾病预防控制中心首席科学家杨杏芬教授和国家食品安全风险评估中心技术总师吴永宁研究员联合主编。陈君石院士特为本书作序。全书系统介绍了食...
-
基于环境承载力的城市公共安全规划理论与方法
孙明,赵天宇著2017 年出版274 页ISBN:9787030518255当前世界各国城市灾害均呈现出复杂而多发的趋势,灾害研究正逐渐成为城市安全亟待解决的热点。本书通过风险控制为主线,以预防和减缓城市重大灾害风险为目标,通过融合不同的灾害风险数据,识别城市主要灾害类型和...
-
科大通讯 高校校报优秀作品集
杜薇主编2017 年出版244 页ISBN:9787519424992本书是《辽宁科技大学报》从1958年创刊以来到2016年上半年刊登的优秀通讯报道结集,主要是通过对优秀教师和学生的事迹进行了报道,展示了该校从鞍山钢院到辽宁科技大这的发展的历史和现状,以及该校师生刻苦学习...
