Design and low power test of Preparing a prototype HOM linac
10TH INTERNATIONAL PARTICLE ACCELERATOR CONFERENCE
Authors: Lu, Ling; Xing, Chaochao; He, Tao; Yang, Lei; Xu, Xianbo; Li, Jia; Xia, Qianxu; Gao, Zhichao
Abstract
Normally, drift tube linacs (DTLs) are used following RFQ linacs for beam acceleration in middle and high energy region. The acceleration efficiency of DTLs is decreasing with beam energy increasing. Using resonated higher order mode (HOM) of cavity, DTLs can achieve a higher effective shunt impedance. We proposed a 325 MHz DTL with TE115 mode and finished the 1st HOM-DTL assembly. In this paper, the designs and results of low power test of the 1st HOM-DTL will be reported.
A SOC-Based Formal Specification and Verification of Hybrid Systems
RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES (WADT 2014)
Authors: Yu, Ning; Wirsing, Martin
Abstract
In order to specify hybrid systems in a SOC paradigm, we define Hybrid Doubly Labeled Transition Systems and the hybrid trace of it. Then we extend SRML notations with a set of differential equation-based expressions and hybrid programs and interpret the notations over Hybrid Doubly Labeled Transition Systems. By redefining the dynamic temporal logic dTL, we provide a logic basis for reasoning about the behavior of hybrid transition systems. We illustrate our approach by a case study about the control of a moving train, in which the movement of the train is regulated by ordinary differential equations.
COA
Publication 
Loading ......
