Related papers: "PROCESS": a systems code for fusion power plants …
We are interested in verifying dynamic properties of finite state reactive systems under fairness assumptions by model checking. The systems we want to verify are specified through a top-down refinement process. In order to deal with the…
Federated scheduling is a promising approach to schedule parallel real-time tasks on multi-cores, where each heavy task exclusively executes on a number of dedicated processors, while light tasks are treated as sequential sporadic tasks and…
Thermoelectric energy conversion is a direct but low-efficiency process, which precludes the development of long-awaited wide-scale applications. As a breakthrough permitting a drastic performance increase is seemingly out of reach, we…
Study of current controlled systems and scientific publications has shown that the architecture of controlled systems, related to the products conversion is based on the principle of austerity and, in general, does not provide the…
In the wake of the intense effort made for the experimental CILEX project, numerical simulation cam- paigns have been carried out in order to finalize the design of the facility and to identify optimal laser and plasma parameters. These…
We discuss quantum information processing with trapped electrons. After recalling the operation principle of planar Penning traps we sketch the experimental conditions to load, cool and detect single electrons. Here we present a detailed…
For manufacturing of aerospace composites, several parts may be processed simultaneously using convective heating in an autoclave. Due to uncertainties including tool placement, convective Boundary Conditions (BCs) vary in each run. As a…
A heat flux deposition code is a very useful tool for the design of plasma-facing components. The classical cosine model representative of the convective parallel heat flux was coded within the standard finite element code of the CEA Castem…
The goal of this report is to present the final project conducted in order to fulfill the requirements of the M.Sc. degree at the Department of Mechanical Engineering, Ben-Gurion University (BGU) of the Negev. The project comprises…
It is recognized that in the family of heavy charged particle and electron assisted double nuclear processes resonance-like behavior can appear. The transition rates of the heavy particle assisted 3rd-order and electron assisted 4th-order…
This paper presents the design and robustness analysis of fractional and integer order PID controllers for the control of a non-linear industrial process in the presence of parametric uncertainness and external disturbances. The nonlinear…
The multidisciplinarity of robotics creates a need for robust integration methodologies that can facilitate the adoption of state-of-the-art research components in an industrial application. Unfortunately, there are no clear, community…
Quantum chemistry simulations that accurately predict the properties of materials are among the most highly anticipated applications of quantum computing. It is widely believed that simulations running on quantum computers will allow for…
Decades accumulation of theory simulations lead to boom in material database, which combined with machine learning methods has been a valuable driver for the data-intensive material discovery, i.e., the fourth research paradigm. However,…
Liquid resin infusion (LRI) processes are promising manufacturing routes to produce large, thick, or complex structural parts. They are based on the resin flow induced, across its thickness, by a pressure applied onto a preform/resin…
Reservoir computing is a machine learning paradigm that uses a high-dimensional dynamical system, or \emph{reservoir}, to approximate and predict time series data. The scale, speed and power usage of reservoir computers could be enhanced by…
Validation of building energy simulation programs is of major interest to both users and modellers. To achieve such a task, it is essential to apply a methodology based on a priori test and empirical validation. A priori test consists in…
The data processing model for the CDF experiment is described. Data processing reconstructs events from parallel data streams taken with different combinations of physics event triggers and further splits the events into datasets of…
Material defects fundamentally limit the coherence times of superconducting qubits, and manufacturing completely defect-free devices is not yet possible. Therefore, understanding the interactions between defects and a qubit in a real…
The Szilard engine is the simplest possible engine, composed only of one or more particles in a box. The box is then immersed in a heat bath and partitioned into two parts by a wall. It is known that in the cold temperature limit, one may…