Search results for "programming."
showing 10 items of 3035 documents
Alignment for the first precision measurements at Belle II
2019
On March 25th 2019, the Belle II detector recorded the first collisions delivered by the SuperKEKB accelerator. This marked the beginning of the physics run with vertex detector. The vertex detector was aligned initially with cosmic ray tracks without magnetic field simultaneously with the drift chamber. The alignment method is based on Millepede II and the General Broken Lines track model and includes also the muon system or primary vertex position alignment. To control weak modes, we employ sensitive validation tools and various track samples can be used as alignment input, from straight cosmic tracks to mass-constrained decays. With increasing luminosity and experience, the alignment is …
The role of the committee of the regions (CoR) to implement the Green Deal at the local level: an overview of Italy
2021
<abstract> <p>The contribution focuses on the role of cities in the implementation of the so-called Green Deal, the ambitious program proposed by the European Commission, in accordance with the objectives set by the Paris Agreements, to implement the use of clean energy resources, favour the circular economy, restore biodiversity and reduce pollution. The Plan, which for the seven-year period 2021-2027 has a budget of economic resources of 100 billion Euro, aims to involve in transcalar perspective all territorial and administrative levels of the Member States and thus contribute to the achievement, in 2050, of climate neutrality. The main objective of the work is then to concen…
Erle-copter Simulation using ROS and Gazebo
2020
The recent decrease in the price as well as size of semi-conductor logic and due to significant advancements in technologies such as microcontrollers, motors and sensors, the application of quadcopters in several fields has been achieved. However, testing of quadcopter prototypes still has a risk of damage due to faults and unexpected behavior. Hence, a method of testing of quadcopters in simulation mimicking the actual conditions of the real environment in an actual hardware test has been proposed. For this purpose, Gazebo simulator integrated with ROS has been chosen for the simulation of the path of the quadcopter. Moreover, the software Matlab/Simulink has been interfaced with Gazebo in…
Demo: Co-simulation of UAVs with INTO-CPS and PVSio-web
2018
This demo shows our ongoing work on the co-simulation of co-operative Unmanned Aerial Vehicles (UAVs). The work is based on the INTO-CPS co-simulation engine, which adopts the widely accepted Functional Mockup Interface (FMI) standard for co-simulation, and the PVSioweb prototyping tool, that extends a system simulator based on the PVS logic language with a web-based graphical interface. Simple scenarios of Quadcopters with assigned different tasks, such as rendez-vous and space coverage, are shown. We assumed a linearized dynamic model for Quadcopters formalized in OpenModelica, and a linearized set of equations for the flight control module written in C language. The co-ordination algorit…
The Effect of the Return of Serve on the Server Pair’s Movement Parameters and Rally Outcome in Padel Using Cluster Analysis
2019
Purpose: The pressure exerted on racket sports players by the service has been well documented. Whilst the return of serve has been suggested through qualitative interviews as being of similar importance there is a dearth of quantitative data to support this contention. This study analyzed time, speed, and distance parameters related to the outcome of the return of serve (ROS) in Padel, a sport similar to tennis but played on a court bounded by walls and played in doubles format only. Methods: Matches (n = 18) at two tournaments, sanctioned by the Valencian Federation, in 2012 were recorded and processed using Tracker software. ROS shot type (flat or lob), ball location, players’ positions …
The improvement of quality management system in a porcelain factory
2019
According to SR EN ISO 9000:2015, quality management system can be considered “a set of Policies, Procedures, Processes and resources used to achieve the organization objectives and desired results, by manages the interacting processes, resources required and inter-related parts of the business”. The requirements of a quality management system that need to be implemented by companies in order to produce high quality products and to achieve continual improvement are described in ISO 9001. The aim of this research is to improve the quality management system implemented in a porcelain factory, named S.C. APULUM S.A. The implementation of ISO 9001:2015 in the organization involves monitoring pr…
Snapshots of a solid-state transformation: coexistence of three phases trapped in one crystal† †Electronic supplementary information (ESI) available:…
2016
Solvent extrusion leads to crystallographic–magnetic transition within a molecular complex via an intermediate that can be trapped and characterized.
Solvent-induced free energy landscape and solute-solvent dynamic coupling in a multielement solute
1999
AbstractMolecular dynamics simulations using a simple multielement model solute with internal degrees of freedom and accounting for solvent-induced interactions to all orders in explicit water are reported. The potential energy landscape of the solute is flat in vacuo. However, the sole untruncated solvent-induced interactions between apolar (hydrophobic) and charged elements generate a rich landscape of potential of mean force exhibiting typical features of protein landscapes. Despite the simplicity of our solute, the depth of minima in this landscape is not far in size from free energies that stabilize protein conformations. Dynamical coupling between configurational switching of the syst…
Supersymmetry parameter analysis: SPA convention and project.
2005
18 páginas, 6 figuras, 12 tablas.-- et al.
On the class of languages recognizable by 1-way quantum finite automata
2000
It is an open problem to characterize the class of languages recognized by quantum finite automata (QFA). We examine some necessary and some sufficient conditions for a (regular) language to be recognizable by a QFA. For a subclass of regular languages we get a condition which is necessary and sufficient. Also, we prove that the class of languages recognizable by a QFA is not closed under union or any other binary Boolean operation where both arguments are significant.