Search results for " Program"

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…

Energy Efficiency Evaluation of Dynamic Partial Reconfiguration in Field Programmable Gate Arrays: An Experimental Case Study

2018

Both computational performances and energy efficiency are required for the development of any mobile or embedded information processing system. The Internet of Things (IoT) is the latest evolution of these systems, paving the way for advancements in ubiquitous computing. In a context in which a large amount of data is often analyzed and processed, it is mandatory to adapt node logic and processing capabilities with respect to the available energy resources. This paper investigates under which conditions a partially reconfigurable hardware accelerator can provide energy saving in complex processing tasks. The paper also presents a useful analysis of how the dynamic partial reconfiguration te…

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…

The case of literacy motivation : Playful 3D immersive learning environments and problem-focused education for blended digital storytelling

2018

The University of Patras' Library Services designed and offered to primary and secondary schools the pilot educational program “From the Ancient to the Modern Tablets”, featuring immersive multimedia learning experiences about the book history. The pilot program consisted of three stages: a playful library tour, followed by an interactive game-based digital storytelling activity with game elements, and a collaborative creative reflective hands-on activity. Utilizing the avatar psychology power, the visualization and simulation affordances of 3D immersive learning environments and the appeal of storytelling and game-based learning, the “gamified” blended narrative on the book evolution enabl…

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…