-
智能交通系统(Intelligent Transportation Systems)
作者:王晓原 孙锋 郭永青
本书是在收集近年来国内外ITS最新研究成果的基础上,结合作者在这一领域的科研和教学实践编写而成的。全书采用中英文对照的形式,内容新颖,共分为八章:第一章介绍什么是ITS,第二章介绍ITS是如何工作的,第三章介绍ITS体系框架和标准,第四章介绍ITS的效益,第五章介绍如何进行ITS的规划和投资,第六章介绍如何启动ITS,第七章介绍转型及发展中国家的ITS,第八章介绍ITS的发展趋势。本书可作为开设“智能交通系统”课程的教材或讲义,也可为从事智能交通系统设计、开发和运营等工作的相关工作人员提供理论、方法和应用案例。
-
基于UCSA框架的零知识证明协议验证
作者:王正才
本书为专著,致力于计算机信息安全协议的研究。针对目前安全协议中存在的不具有实用性或过于复杂等问题,本书以UC安全属性作为主要对象,研究ZK协议及对它的形式化甚至自动化进行分析验证,主要工作有:研究UC模型的可描述性及UC模型中协议模块化设计与分析方法,利用UC模型分析密码协议的安全性,主要是利用协议仿真严格证明协议是否能安全实现特定安全任务;研究通用可组合零知识证明协议,可规约到通用可组合不经意传输(UCOT)协议的实现;研究基于零知识证明的通用可组合形式化分析模型的扩展和形式化分析。本书可供高等院校从事相关课题研究的师生参考,也对信息安全相关专业研究人员具有一定的启示作用。
-
客运专线旅客列车开行方案优化
作者:闫海峰
高速客运专线是当代世界铁路的一项重大技术成就,客运专线的建设、组织、管理都需要新的理论与之适应。本书以理论研究为主,从旅客列车开行方案优化和运行图编制这三个主要环节入手,对客运专线开行方案优化问题进行介绍。
图书分类
Book classification- 由于计算机建模技术、传感器技术的发展,制造过程的在线监控及分析技术已经发展到一个相对成熟的地步,本书综合应用这些技术,对金属切削过程进行监控、分析和诊断,从而使金属切削的工艺系统工作在一个理想的状态。同时计算机仿真在各种过程仿真中得到充分应用,通过对工艺系统的切削过程仿真,对切削参数的确定、机床结构的设计、刀具几何参数的选取等具有重要的意义。本书可作为机械制造及其自动化专业的研究生教材,也可作为对...查看更多
- 前 言
制造业不仅为国民经济各部门提供必要的产品,同时也为科学研究、制造业本身提供装备。人类进入21世纪,科学技术得到突飞猛进的发展,各行业向制造业提出了更高的要求,要求零件的表面质量和精度越来越高、研制周期越来越短,从而使高速和超高速加工、精密和超精密加工技术得到发展并在制造业中得到广泛的应用。在高速和精密加工中,需要对切削加工的基础理论进行深入研究,在此基础上对工...查看更多
-
目 录
目 录
1 绪 论 1
1.1 金属切削动力学研究的意义 1
1.2 金属切削动力学研究面临的挑战 2
1.3 金属切削动力学研究的主要内容 3
2 金属切削的基本理论...查看更多 - 马术文,西南交通大学副教授,从1997年4月到西南交通大学工作以来,主要从事机械制造方面的教学工作。本科课程主要有“机械制造工艺学”“现代机械制造工艺与刀具设计”“计算机辅助制造”