学术综述

学术综述技术资料下载专区,收录500份相关技术文档、开发源码、电路图纸等优质工程师资源,全部免费下载。

资源总数
500

学术综述 全部资料 500 份

目前,地铁牵引供电系统多采用直流制,因此,变流设备成为该系统中的重要设备,并起着举足轻重的作用。牵引直流电源是由牵引变电所通过整流机组降压整流而获得, 为此就要充分研究整流技术的特点,并针对其特点对整流机组进行相应的保护。2 地铁整流技术的...

2023-09-08 1 学术综述

基于进程代数的CSP 方法是一种重要的形式化协议分析验证方法。本文首先简单介绍了CSP 相关理论,并以NSPK 协议为例系统概述了安全协议的CSP 建模方法。为更好的查明协议的安全缺陷,重点研究如何在

2024-05-09 5 学术综述