摘要：实时系统的建模与验证是实时系统开发过程中不可或缺的环节。由于目前业界中广泛使用的建模验证工具UPPAAL存在下载安装慢、拖拽控件不灵活且不支持多用户进行项目团队管理等弊端与局限性,在考虑UPPAAL缺点的同时结合实际应用需要,设计并实现基于B/S架构的实时系统的建模和验证工具。该工具通过浏览器即可访问,提供良好建模操作体验的同时支持多用户进行项目团队管理。使用该工具编辑运行具体实例,验证了实例系统的可达性、安全性等性质,获得了预期的正确结果,完成了该工具的功能测试。

摘要：目的:研究设计一种用于超高剂量率的闪光放射治疗(Flash-RT)设备,用于超高剂量率Flash-RT的机制研究。方法:Flash-RT设备的设计基于大功率花瓣加速器技术路线,可实现Flash-RT对超高剂量率及多照射角度的需求。从设备总体设计、主要组件及特点、束流动力学设计、移动及初步实验平台搭建等方面开展相应设计与研究。结果:设计的Flash-RT设备剂量率在距离靶点0.8 m处可达到100 Gy/s,并且容易实现多角度的放射治疗方式。结论:基于大功率花瓣加速器技术路线设计的X射线设备,可实现超高剂量率的医用Flash-RT设备机制的研究。

摘要：针对大功率(兆瓦级)转子斩波串级调速系统的斩波回路建模问题,提出一种基于状态空间平均法的斩波回路模型,该模型包含了回路中的绝缘栅双极型晶体管(IGBT)与续流二极管(FWD)非线性元件,解决了在大功率下串级调速系统控制系统设计难的问题。实验表明,设计的双闭环调速系统有良好的可靠性,稳定性,静、动态特性及较高的功率因数。现该系统已运行于工业现场,节能效果良好。

摘要：针对直流升压斩波电路中功率模块的散热问题,提出一种在工程设计上简单实用的绝缘栅双极型晶体管(IGBT)功率损耗的计算方法,该方法包含基于相似理论的液冷散热系统的热路等效热阻求解公式,以及一种直流升压斩波模块液冷散热系统的一、二次冷却结构参数设计方法,解决了IGBT冷却系统参数难设计的问题。实验以DYNEX的DIM800ECM33-F000型IGBT液冷散热系统设计为例,依此方法得到理论结果,按照此结果设计的散热系统在现场运行情况良好,证明此设计方法切实有效。

摘要：针对直流升压斩波模块中IGBT的散热问题,提出一种较为实用的IGBT功率损耗的计算方法,并针对该问题设计出一套工程实用的水冷散热系统。首先对其水冷散热系统的热路等效分析,由相似理论得到散热系统的整体热阻的求解公式。然后对冷媒温度变化进行分析,得到散热系统内的热阻分配规律。最后得到水冷散热系统的一、二次冷却结构的有效的参数设计方法。以DYNEX的DIM800ECM33-F000型IGBT的水冷散热系统设计为例,理论计算结果以及工程实际应用情况证明,此设计方法切实有效。

摘要：本文主要讲述的是将状态空间平均法应用于4MW电动机斩波串级调速系统,解决了4MW电机斩波串级调速的控制系统的设计问题。利用状态空间平均法,将绝缘栅双极型晶体管(IGBT)和续流二极管(FWD)考虑为非理想元器件。实验表明,相比于传统串级调速系统,该控制系统可靠稳定,静态特性和动态特性更好,功率因数也更高。工业生产中,采用这种控制系统的设备运行良好,节能效果显著。