20,030 research outputs found
Educating and Training Accelerator Scientists and Technologists for Tomorrow
Accelerator science and technology is inherently an integrative discipline
that combines aspects of physics, computational science, electrical and
mechanical engineering. As few universities offer full academic programs, the
education of accelerator physicists and engineers for the future has primarily
relied on a combination of on-the-job training supplemented with intense
courses at regional accelerator schools. This paper describes the approaches
being used to satisfy the educational interests of a growing number of
interested physicists and engineers.Comment: 19 pages, 3 figure
Closing Talk: QCD Moriond 2006
I comment on some theoretical work presented at QCD Moriond 2006.Comment: 11 pages, 9 figure
A systematic approach to atomicity decomposition in Event-B
Event-B is a state-based formal method that supports a refinement process in which an abstract model is elaborated towards an implementation in a step-wise manner. One weakness of Event-B is that control flow between events is typically modelled implicitly via variables and event guards. While this fits well with Event-B refinement, it can make models involving sequencing of events more difficult to specify and understand than if control flow was explicitly specified. New events may be introduced in Event-B refinement and these are often used to decompose the atomicity of an abstract event into a series of steps. A second weakness of Event-B is that there is no explicit link between such new events that represent a step in the decomposition of atomicity and the abstract event to which they contribute. To address these weaknesses, atomicity decomposition diagrams support the explicit modelling of control flow and refinement relationships for new events. In previous work,the atomicity decomposition approach has been evaluated manually in the development of two large case studies, a multi media protocol and a spacecraft sub-system. The evaluation results helped us to develop a systematic definition of the atomicity decomposition approach, and to develop a tool supporting the approach. In this paper we outline this systematic definition of the approach, the tool that supports it and evaluate the contribution that the tool makes
- …