Search results for " programmi"

Orbits of bounded bijective operators and Gabor frames

2020

This paper is a contribution to frame theory. Frames in a Hilbert space are generalizations of orthonormal bases. In particular, Gabor frames of $L^2(\mathbb{R})$, which are made of translations and modulations of one or more windows, are often used in applications. More precisely, the paper deals with a question posed in the last years by Christensen and Hasannasab about the existence of overcomplete Gabor frames, with some ordering over $\mathbb{Z}$, which are orbits of bounded operators on $L^2(\mathbb{R})$. Two classes of overcomplete Gabor frames which cannot be ordered over $\mathbb{Z}$ and represented by orbits of operators in $GL(L^2(\mathbb{R}))$ are given. Some results about opera…

A note on the iterative object symmetry transform

2004

This paper introduces a new operator named the iterated object transform that is computed by combining the object symmetry transform with the morphological operator erosion. This new operator has been applied on both binary and gray levels images showing the ability to grasp the internal structure of a digital object. We present also some experiments on artificial and real images and potential applications.

Strict quasi-concavity and the differential barrier property of gauges in linear programming

2014

Concave gauge functions were introduced to give an analytical representation of cones. In particular, they give a simple and a practical representation of the positive orthant. There is a wide choice of concave gauge functions with interesting properties, representing the same cone. Besides the fact that a concave gauge cannot be identically zero on a cone(), it may be continuous, differentiable and even on its interior. The purpose of the present paper is to present another approach to penalizing the positivity constraints of a linear programme using an arbitrary strictly quasi-concave gauge representation. Throughout the paper, we generalize the concept of the central path and the analyti…

A General and Accurate Measurement Procedure for the Detection of Power Losses Variations in Permanent Magnet Synchronous Motor Drives

2020

The research of innovative solutions to improve the efficiency of electric drives is of considerable interest to challenges related to energy savings and sustainable development. In order to successfully validate the adoption of new and innovative software or hardware solutions in the field of electric drives, accurate measurement procedures for either efficiency or power losses are needed. Moreover, high accuracy and expensive measurement equipment are required to satisfy international standard prescriptions. In this scenario, this paper describes an accurate measurement procedure, which is independent of the accuracy of the adopted instrumentation, for the power losses variations involved…

Observer-Based Robust Control for Switched Stochastic Systems with Time-Varying Delay

2013

Published version of an article in the journal: Abstract and Applied Analysis. Also available from the publisher at: http://dx.doi.org/10.1155/2013/320703 Open Access This paper investigates the problem of observer-based robust H ∞ control for a class of switched stochastic systems with time-varying delay. Based on the average dwell time method, an exponential stability criterion for switched stochastic delay systems is proposed. Then, H ∞ performance analysis and observer-based robust H ∞ controller design for the underlying systems are developed. Finally, a numerical example is presented to illustrate the effectiveness of the proposed approach.

Protection against Discrimination under the European Convention on Humau Rights―A Second-Class Guarantee?

2002

Neuro-Dynamic Programming for Cooperative Inventory Control

2004

Flipping and Blending : An Action Research Project on Improving a Functional Programming Course

2016

This article reports on an action research project on improving a functional programming course by moving toward a practical and flexible study environment—flipped and blended classroom. Teaching the topic of functional programming was found to be troublesome using a traditional lectured course format. The need to increase students’ amount of practice emerged while subsequent challenges relating to students’ independent practical coursework were observed. Particular concerns relating to group work, learning materials, and the attribute of flexibility were investigated during the third action research cycle. The research cycle was analyzed using a qualitative survey on students’ views, teach…

Differences in Technical Development and Playing Space in Three UEFA Champions Leagues

2021

[Abstract] The analysis of football grows exponentially, with many researchers adopting it as an object of study. The thematic range that addresses it, as well as the different methodologies used, are of a very different nature—physical, psychological, technical, tactical—enriching every day the knowledge, and understanding of the game itself. The objective of this study has been to identify the differences between the different styles of play that lead to becoming the champion of the UEFA Champions League in the last 3 years of the pre-COVID stage, by analyzing the spatial performance developed, the association between the players that make up the different lines of the game system and the…

Integrated Simulation and Formal Verification of a Simple Autonomous Vehicle

2018

This paper presents a proof-of-concept application of an approach to system development based on the integration of formal verification and co-simulation. A simple autonomous vehicle has the task of reaching an assigned straight path and then follow it, and it can be controlled by varying its turning speed. The correctness of the proposed control law has been formalized and verified by interactive theorem proving with the Prototype Verification System. Concurrently, the system has been co-simulated using the Prototype Verification System and the MathWorks Simulink tool: The vehicle kinematics have been simulated in Simulink, whereas the controller has been modeled in the logic language of t…