keywords numerical methods particle accelerators shellfish experimental evaluation lhc project quarter waves semi-analytical methods super proton synchrotrons thermal budget budget control