车辆联网感知与控制.pdf
随着车载传感器与移动通信技术的快速发展，车辆间的协同感知与控制技术成为智能车辆、智能交通技术的前沿热点。本书在介绍车辆感知、数据处理、行为分析的基础上，论述了联网环境下协同定位、动力学建模的相关方法，并重点分析了车联网队列控制与交叉口安全避撞方法。
天宇
公理化集合论机器证明系统.pdf
布尔巴基学派的序、代数、拓扑三大母结构是现代数学的基础.利用计算机证明辅助工具,可以完整构建这三大母结构的形式化系统.本书利用交互式定理证明工具Coq,实现Morse-Kelley公理化集合论形式化系统,包括对该体系中8个公理(含选择公理)和1个公理图示以及全部181条定义或
配电系统可靠性分析——故障关联矩阵法=Reliability Analysis of Power Distribution Systems: Fault Incidence Matrix Method.pdf
配电系统可靠性分析是配电系统规划、建设、改造和运行的一项基础性工作，是掌握电力用户可靠性水平的有效手段、剖析配电系统薄弱环节的关键环节，并可为配电系统可靠性水平的提升提供指导方向。本书系统介绍了一种配电系统可靠性分析新方法—故障关联矩阵方法，该方法可避免传统可靠性计算方法中烦琐的