Search results for " Programming"

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…

Automated Synthesis of Application-layer Connectors from Automata-based Specifications

2019

Abstract Ubiquitous and Pervasive Computing, and the Internet of Things, promote dynamic interaction among heterogeneous systems. To achieve this vision, interoperability among heterogeneous systems represents a key enabler, and mediators are often built to solve protocol mismatches. Many approaches propose the synthesis of mediators. Unfortunately, a rigorous characterization of the concept of interoperability is still lacking, hence making hard to assess their applicability and soundness. In this paper, we provide a framework for the synthesis of mediators that allows us to: (i) characterize the conditions for the mediator existence and correctness; and (ii) establish the applicability bo…

Cost Reduction in Irrigation Networks by an Efficient Use of Pressure Reducing Valves

1992

The cost effective design of hydraulic networks has been traditionally studied from the point of view of the relationship between hydraulic variables and economic parameters, with piping being the main element studied. The reason is clear: the piping is by far the most costly item of a projected network. However it is not usual to find an explicit consideration of the influence that pipe thickness has on the cost of the network because of the added difficulty that this aspect poses to formulating the problem of optimization. In irrigation networks, which are typically branched, it is advisable to place Pressure Reducing Valves (PRV’s) to fulfil three main goals: 1) to control the flow rate …