相关论文: TESLA Technical Design Report Part I: Executive Su…

The Detector Concept Report (DCR) consists of two parts, one for the physics and the other for ILC detectors. It has been prepared as the accompany document of the ILC Accelerator Reference Design Report. The detector DCR describes ILC…

This chapter: o Motivates the clinical use of robotic tele-echography o Introduces the TER system o Describes technical and clinical evaluations performed with TER

The physics at a 500-800 GeV electron positron linear collider, TESLA, is reviewed. The machine parameters that impact directly on the physics are discussed and a few key performance goals for a detector at TESLA are given. Emphasis is…

Rejoinder: Expert Elicitation for Reliable System Design [arXiv:0708.0279]

The implementation of the compiler of the UPLNC language is presented with a full source code listing.

A (personal) experimental summary of the Hard Probes 2010 conference is presented.

Communication is an important part of accelerator design, though it is under researched and under developed. Today, designers often face relatively low-level communication tools requiring them to design straightforward but error-prone…

This text aims to provide a self-contained, comprehensive, and reasonably detailed presentation of the theory of Stallings automata and some of its main applications.

As robot systems become more ubiquitous, developing understandable robot systems becomes increasingly important in order to build trust. In this paper, we present an approach to developing a holistic robot explanation system, which consists…

Timed automata (TA) have been widely adopted as a suitable formalism to model time-critical systems. Furthermore, contemporary model-checking tools allow the designer to check whether a TA complies with a system specification. However, the…

This article is a review of analytical performance modeling for computer systems. It discusses the motivation for this area of research, examines key issues, introduces some ideas, illustrates how it is applied, and points out a role that…

Modern power steering systems employ an electric motor drive system to provide torque assistance to the driver. The closed-loop mechanical system dynamics that impact stability, performance and steering feel are significantly impacted by…

A well-designed control system facilitates the functions of machine operation, maintenance and development. In addition, the overall effectiveness of the control system can be greatly enhanced by providing reliable mechanisms for…

Automotive engineering is recognized as a combination of software and mechanical engineering due to the ever-increasing number of software-based components in vehicles. Since vehicles have become more sophisticated than before to ensure…

This paper proposes an extensive overview of safety applications and approaches as it relates to automated driving from the prospectives of sensor configurations, vehicle dynamics modelling, tyre modeling, and estimation approaches. First,…

The formulation of hybrid crossing angle schemes has been a recent development of the TESLA collision geometry debate. Here we report on two such schemes, characterised by either a small vertical or horizontal beam crossing angle.

The use of partially automated driving systems raises concerns about potential responsibility issues, posing risk to the system safety, acceptance, and adoption of these technologies. The concept of meaningful human control has emerged in…

This technical description details the design and engineering process of a semi-autonomous robotic partition. This robotic partition prototype was subsequently employed in a longer-term evaluation in-the-wild study conducted by the authors…

In this paper I will commend on the early CEPC design as of October 2014. In particular I will comment on the choice of circumference, minimum and maximum energy, number of collision points and target luminosity. I will finish with…

A summary of the electroweak results at HERA is presented.