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

Modern automobiles have evolved from just being mechanical machines to having full-fledged electronics systems that enhance vehicle dynamics and driver experience. However, these complex hardware and software systems, if not properly…

I summarise the QCD programme at the high-energy linear e+e- collider, as reported in the TESLA TDR and Linear Collider Physics Resource Book.

TLA+ is a formal specification language used for designing, modeling, documenting, and verifying systems through model checking. Despite significant interest from the research community, knowledge about usage of the TLA+ ecosystem in…

Controller networks in today's automotive systems consist of more than 100 ECUs connected by various bus protocols. Seamless operation of the entire system requires a well-orchestrated interaction of these ECUs. Consequently, to ensure…

Vehicle data is essential for advancing data-driven development throughout the automotive lifecycle, including requirements engineering, design, verification, and validation, and post-deployment optimization. Developers currently collect…

Small-scale autonomous vehicle platforms provide a cost-effective environment for developing and testing advanced driving systems. However, specific configurations within this scale are underrepresented, limiting full awareness of their…

The article provides an overview of the latest developments on control approaches for connected and automated vehicles along with their effectiveness on energy and transportation efficiency.

This document describes the functions as they are treated in the DLV system. We give first the language, then specify the main implementation issues.

This report aims at presenting (yet) a(nother) methodology to design and implement a linear controller for linear dynamical systems on practical applications. The specificity of this report is that authors try to cover (obviously in a non…

State-of-the-art review of cellular automata, cellular automata for partial differential equations, differential equations for cellular automata and pattern formation in biology and engineering.

The recent advances in the area of design obfuscation are encouraging, but may present themselves as hard to read for a non-specialist audience. This tutorial uncovers these advances in a clear language, contrasting the approaches that can…

This paper contains a loose collection of remarks on F1-schemes. Etale morphisms and universal coverings are introduced. The relation to toric varieties, at least for integral schemes, is clarified.In this paper it is shown that integral…

Ecodriving guidance includes courses or suggestions for human drivers to improve driving behaviour, reducing energy use and emissions. This paper presents a systematic review of existing eco-driving guidance studies and identifies…

Development cycles are getting shorter and Continuous Integration and Delivery are being established in the automotive industry. We give an overview of the peculiarities in an automotive deployment pipeline, introduce technologies used and…

A specification theory combines notions of specifications and implementations with a satisfaction relation, a refinement relation and a set of operators supporting stepwise design. We develop a complete specification framework for real-time…

The use of Automated Machine Learning (AutoML) systems are highly open-ended and exploratory. While rigorously evaluating how end-users interact with AutoML is crucial, establishing a robust evaluation methodology for such exploratory…

This document gathers high-level users requirements and describes the system features. It provides a detailed explanation of the main functionalities of the system with a more emphasis on the stakeholders needs and wants. Indeed, the…

This report summarises the activity of the E3 working group "Experimental Approaches at Linear Colliders". The group was charged with examining critically the physics case for a linear collider of energy of order 1 TeV as well as the cases…

We describe a plan how to prove an effective Siegel theorem (about the exceptional Dirichlet character). We give a brief outline in Section 0. We give a more detailed plan in Sections 1-5. The missing details (mostly routine elementary…

Questions concerning the development of a logical model of innovation project data, as well as those concerning the design of information systems for decision-making support in the management of innovation projects, are discussed.