Search results for "dron"
showing 10 items of 4363 documents
ROS/Gazebo Based Simulation of Co-operative UAVs
2019
UAVs can be assigned different tasks such as e.g., rendez-vous and space coverage, which require processing and communication capabilities. This work extends the architecture ROS/Gazebo with the possibility of simulation of co-operative UAVs. We assume UAV with the underlying attitude controller based on the open-source Ardupilot software. The integration of the co-ordination algorithm in Gazebo is implemented with software modules extending Ardupilot with the capability of sending/receiving messages to/from drones, and executing the co-ordination protocol. As far as it concerns the simulation environment, we have extended the world in Gazebo to hold more than one drone and to open a specif…
Co-simulation and Formal Verification of Co-operative Drone Control With Logic-Based Specifications
2021
Abstract Unmanned aerial vehicle (UAV) co-operative systems are complex cyber-physical systems that integrate a high-level control algorithm with pre-existing closed implementations of lower-level vehicle kinematics. In model-driven development, simulation is one of the techniques that are usually applied, together with testing, in the analysis of system behaviours. This work proposes a method and tools to validate the design of UAV co-operative systems based on co-simulation and formal verification. The method uses the Prototype Verification System, an interactive theorem prover based on a higher-order logic language, and the Functional Mock-up Interface, a widely accepted standard for co-…
Search for supersymmetry in events with large missing transverse momentum, jets, and at least one tau lepton in 7 TeV proton-proton collision data wi…
2012
A search for supersymmetry (SUSY) in events with large missing transverse momentum, jets, and at least one hadronically decaying τ lepton, with zero or one additional light lepton (e/μ), has been performed using 4.7 fb[superscript −1] of proton-proton collision data at √s = 7 TeV recorded with the ATLAS detector at the Large Hadron Collider. No excess above the Standard Model background expectation is observed and a 95 % confidence level visible cross-sectionupper limit for new phenomena is set. In the framework of gauge-mediated SUSY-breaking models, lower limits on the mass scale Λ are set at 54 TeV in the regions where the [bar over τ]1 is the next-to-lightest SUSY particle (tanβ > 20). …
Kirkman's tetrahedron and the fifteen schoolgirl problem
2011
We give a visual construction of two solutions to Kirkman's fifteen schoolgirl problem by combining the fifteen simplicial elements of a tetrahedron. Furthermore, we show that the two solutions are nonisomorphic by introducing a new combinatorial algorithm. It turns out that the two solutions are precisely the two nonisomorphic arrangements of the 35 projective lines of PG(3,2) into seven classes of five mutually skew lines. Finally, we show that the two solutions are interchanged by the canonical duality of the projective space.
Historical Notes on Star Geometry in Mathematics, Art and Nature
2018
Gamma: “I can. Look at this Counterexample 3: a star-polyhedron I shall call it urchin. This consists of 12 star-pentagons. It has 12 vertices, 30 edges, and 12 pentagonal faces-you may check it if you like by counting. Thus the Descartes-Euler thesis is not true at all, since for this polyhedron \(V - E + F = - 6\)”. Delta: “Why do you think that your ‘urchin’ is a polyhedron?” Gamma: “Do you not see? This is a polyhedron, whose faces are the twelve star-pentagons”. Delta: “But then you do not even know what a polygon is! A star-pentagon is certainly not a polygon!”
Finite element analysis of varitional crimes for a quasilinear elliptic problem in 3D
2000
We examine a finite element approximation of a quasilinear boundary value elliptic problem in a three-dimensional bounded convex domain with a smooth boundary. The domain is approximated by a polyhedron and a numerical integration is taken into account. We apply linear tetrahedral finite elements and prove the convergence of approximate solutions on polyhedral domains in the $W^1_2$ -norm to the true solution without any additional regularity assumptions.
Unmanned Aerial Vehicle-Based Non Destructive Diagnostics
2018
The paper proposes a cloud platform for analyzing the radiometric infrared videos uploaded by drones which patrol large photovoltaic plants. Thanks to artificial vision algorithms, it does not require any human support to select and associate the framed PV modules to the corresponding ones in the topology of the photovoltaic plant. The algorithm implements an innovative diagnostic protocol, which evaluates the thermal state of the photovoltaic module, whichever the environmental conditions are. The data automatically computed and collected in a multimedia database provide the O&M technicians with significant information to monitor the ageing of each module of the photovoltaic plant. The pro…
Modeling and design of Net ZEBs as integrated energy systems
2015
Net-zero energy buildings (Net ZEBs) are emerging as a quantifiable design concept and a promising solution to minimizing the environmental impact of buildings. This is the main concept that is focused on this chapter with emphasis on dynamic modeling and examples of technological approaches to achieve net-zero energy. Appropriate modeling of building-integrated solar energy systems is essential for the design of Net ZEBs and the study of optimal control strategies. The net-zero energy balance may be achieved through a combination of passive and active solar technologies, heat pumps, combined heat and power, and energy efficiency measures to reduce energy consumption for lighting and applia…
"Table 10" of "Properties of hadronic Z decays and test of QCD generators"
1992
Thrust distribution.
"Table 9" of "Properties of hadronic Z decays and test of QCD generators"
1992
Thrust distribution.