简介:《大容量多电平变换器》一书是将清华大学电力电子及电机控制实验室10年来积累的关于高压大容量多电平变换技术的大量文献、理论研究成果和工业应用经验,系统的整理和总结。本书由清华大学李永东教授主编。该书以高压变频器的应用为出发点,结合电力电子电路的基本规律,详细介绍了多电平变换器技术的主电路结构及分类、分析其工作原理以及相应的控制算法,并结合工程实践给出了几个有代表性的实际系统设计实现的例子,如三电平供电矢量控制和直接转矩控制系统的实现,及多电平变换器在高压大容量调速系统和有源滤波系统中的应用等。此外,该书还介绍了目前国际上较新的研究课题,如多电平变换器的通用PWM控制技术等。
简介:为了减少复杂设计中可能的亚稳态风险,不少公司都采用工具或人工来检查设计中存在跨时钟域的问题。传统的检查方法只能检查设计中是否做了跨时钟域的处理,却无法检查处理得是否合理,而静态Formal验证技术采用数学穷举的方法,利用断言对设计中的同步器进行快速验证,确保数据的可靠传输,有效避免了一些设计缺陷。Mentor公司的QuestaCDC和Forma1工具可以对设计进行跨时钟域的检查,并可用Formal引擎证明设计中跨时钟域同步器与其断言的一致性,可极大地提高复杂设计的验证效率和鲁棒性。