介绍了一种用于丝阵Z箍缩(Z-pinch)内爆实验研究的脉冲放电模块的设计。模块基于直线型变压器驱动器(LTD)技术,包含34个放电支路,通过4个铁基非晶磁芯耦合。每支路由2个40nF电容器和1只4间隙串联气体开关组成,回路电感为220nH。设计了...介绍了一种用于丝阵Z箍缩(Z-pinch)内爆实验研究的脉冲放电模块的设计。模块基于直线型变压器驱动器(LTD)技术,包含34个放电支路,通过4个铁基非晶磁芯耦合。每支路由2个40nF电容器和1只4间隙串联气体开关组成,回路电感为220nH。设计了水电阻负载检验模块输出性能,在匹配状态下,负载上的输出电流峰值916 k A,上升时间99.8 ns。设计了磁绝缘传输线将输出脉冲传输至Z-pinch丝阵负载,并利用"零维模型"对LTD模块和负载的耦合放电进行了模拟计算。结果显示,丝阵负载上的放电电流峰值可达960 k A,上升时间为114 ns。展开更多
The transmission-line-circuit model of the Z accelerator, developed originally by W. A. STYGAR, P. A. CORCORAN, et al., is revised. The revised model uses different calculations for the electron loss and flow impedanc...The transmission-line-circuit model of the Z accelerator, developed originally by W. A. STYGAR, P. A. CORCORAN, et al., is revised. The revised model uses different calculations for the electron loss and flow impedance in the magnetically insulated transmission line system of the Z accelerator before and after magnetic insulation is established. By including electron pressure and zero electric field at the cathode, a closed set of equations is obtained at each time step, and dynamic shunt resistance （used to represent any electron loss to the anode） and flow impedance are solved, which have been incorporated into the transmission line code for simulations of the vacuum section in the Z accelerator. Finally, the results are discussed in comparison with earlier findings to show the effectiveness and limitations of the model.展开更多
Based on analysis of the syntax structure and semantics model of the metric interval temporal logic （MITL） formulas, it is shown how to transform a formula written in the real-time temporal logic MITL formula into a...Based on analysis of the syntax structure and semantics model of the metric interval temporal logic （MITL） formulas, it is shown how to transform a formula written in the real-time temporal logic MITL formula into a fair timed automaton （TA） that recognizes its satisfying models with prototype verification system （PVS） in this paper. Both the tabular construction＇s principles and the PVS implementation details are given for the different type of MITL formula according to the corresponding semantics interpretations. After this transformation procedure, specifications expressed with MITL formula can be verified formally in the timed automata framework developed previously.展开更多
文摘介绍了一种用于丝阵Z箍缩(Z-pinch)内爆实验研究的脉冲放电模块的设计。模块基于直线型变压器驱动器(LTD)技术,包含34个放电支路,通过4个铁基非晶磁芯耦合。每支路由2个40nF电容器和1只4间隙串联气体开关组成,回路电感为220nH。设计了水电阻负载检验模块输出性能,在匹配状态下,负载上的输出电流峰值916 k A,上升时间99.8 ns。设计了磁绝缘传输线将输出脉冲传输至Z-pinch丝阵负载,并利用"零维模型"对LTD模块和负载的耦合放电进行了模拟计算。结果显示,丝阵负载上的放电电流峰值可达960 k A,上升时间为114 ns。
基金supported by National Natural Science Foundation of China (No. 50637010)
文摘The transmission-line-circuit model of the Z accelerator, developed originally by W. A. STYGAR, P. A. CORCORAN, et al., is revised. The revised model uses different calculations for the electron loss and flow impedance in the magnetically insulated transmission line system of the Z accelerator before and after magnetic insulation is established. By including electron pressure and zero electric field at the cathode, a closed set of equations is obtained at each time step, and dynamic shunt resistance （used to represent any electron loss to the anode） and flow impedance are solved, which have been incorporated into the transmission line code for simulations of the vacuum section in the Z accelerator. Finally, the results are discussed in comparison with earlier findings to show the effectiveness and limitations of the model.
基金Project supported by the National Natural Science Foundation of China （Grant Nos.60373072, 60673115）, the National Basic Research Program of China （Grant No.2002CB312001）, and the National High-Technology Research and Development Program of China （Grant No.2007AA012144）
文摘Based on analysis of the syntax structure and semantics model of the metric interval temporal logic （MITL） formulas, it is shown how to transform a formula written in the real-time temporal logic MITL formula into a fair timed automaton （TA） that recognizes its satisfying models with prototype verification system （PVS） in this paper. Both the tabular construction＇s principles and the PVS implementation details are given for the different type of MITL formula according to the corresponding semantics interpretations. After this transformation procedure, specifications expressed with MITL formula can be verified formally in the timed automata framework developed previously.
