INESC TEC Repository
Not a member yet
2130 research outputs found
Sort by
The implementation of digital technologies for operations management: a case study for manufacturing apps
No full textManufacturing applications address business to business (B2B) with highly customised applications developed for specific requirements, offering highly specialised solution-oriented and service-based software components, systems, and digital tools that aim at a fast and accurate decision-making support system. The purpose of this paper is to describe the implementation of digital technologies for operations management using manufacturing or engineering apps (eApps), for product design and manufacturing processes. In particular, starting from the specific needs of two companies from mature European industries as automotive and food, this work depicts how this kind of solutions can support companies and improve their operations. In particular, related benefits and challenges faced for the full implementation of the developed tools are highlighted. Moreover a business model to exploit the manufacturing apps is also proposed. The business model proposed for the exploitation of the eApps supports the commercialisation of all the revenue streams offered by this rapidly growing sector taking into account the specific needs of the concerned stakeholders through a diversified value proposition. © 2017 Informa UK Limited, trading as Taylor & Francis Group
ULTEMAT: A mobile framework for smart ecological momentary assessments and interventions
Get PDFIn this paper we introduce a new Android library, called ULTEMAT, for the delivery of ecological momentary assessments (EMAs) on mobile devices and we present its use in the MoodBuster app developed in the H2020 E-COMPARED project. We discuss context-aware, or event-based, triggers for the presentation of EMAs and discuss the potential they have to improve the effectiveness of mobile provision of mental health interventions as they allow for the delivery of assessments to the patients when and where these are most appropriate. Following this, we present the abilities of ULTEMAT to use such context-aware triggers to schedule EMAs and we discuss how a similar approach can be used for Ecological Momentary Interventions (EMIs). © 201
Graph-Based Entity-Oriented Search: Imitating the Human Process of Seeking and Cross Referencing Information
Get PDFA graph-based framework for the analysis of access control policies
Get PDFWe design a graph-based framework for the analysis of access control policies that aims at easing the specification and verification tasks for security administrators. We consider policies in the category-based access control model, which has been shown to subsume many of the most well known access control models (e.g., MAC, DAC, RBAC). Using a graphical representation of category-based policies, we show how answers to usual administrator queries can be automatically computed, and properties of access control policies checked. We show applications in the context of emergency situations, where our framework can be used to analyse the interaction between access control and emergency management. © 2016 Elsevier B.V
Plug-In Electric Vehicles Parking Lot Equilibria With Energy and Reserve Markets
No full textThis paper proposes a comprehensive model for the interactions of the plug-in electric vehicles (PEVs) involved parties. An aggregator with mixed resources is assumed to be the interface between the parking lot (PL) and the upstream energy and reserve markets. On the other hand, the interactions of the PEV owners and the PL are also modeled as they impose restrictions to the PL's behavior. Therefore, a bilevel problem is constructed where in the upper level the objective of the aggregator is to maximize its profit through its interactions, and in the lower level the PL maximizes its own profit limited to the preferences of PEVs. The objectives of the upper and lower levels are contradictory; hence, an equilibrium point should be found to solve the problem. In this regard, the duality theorem is employed to convert the bilevel model to a mathematical program with equilibrium constraints. The model is implemented on the IEEE 37-bus network with added distributed generations. Various cases are thoroughly investigated and conclusions are duly drawn
Fabrication of Fresnel plates on optical fibres by FIB milling for optical trapping, manipulation and detection of single cells
Get PDFComparing Reverse Complementary Genomic Words Based on Their Distance Distributions and Frequencies
Get PDFControl of an isolated single-phase bidirectional AC-DC matrix converter for V2G applications
No full textThis paper describes a new current control method that enhances the dynamic performance of a single-phase bidirectional AC-DC battery charger to provide a high-frequency link between the grid and electric vehicle. The single-stage structure and the bidirectional power flow make the matrix converter an attractive solution for electric vehicle (EV) battery charging applications in the context of smart grids. The operating principles and modulation method are analyzed and discussed in detail. Furthermore, a current controller improved with a Smith predictor is proposed to decrease the phase delay in the measurement of the average current in the battery pack. The SP reduces the rise time to around a third and the settling time to half when compared with a PI controller. Simulations and experimental results from a laboratory prototype are shown to verify the feasibility of the proposed control scheme. © 2017 Elsevier B.V
A Context-Aware Method for Authentically Simulating Outdoors Shadows for Mobile Augmented Reality
Get PDFMulti-temporal Optimal Power Flow for voltage control in MV networks using Distributed Energy Resources
No full textLarge-scale integration of variable Renewable Energy Sources (RES) brings significant challenges to grid operation that require new approaches and tools for distribution system management, particularly concerning voltage control. Therefore, an innovative approach for voltage control at the MV level is presented. It is based on a preventive day-ahead analysis that uses data from load/RES forecasting tools to establish a plan for operation of the different Distributed Energy Resources (DER) for the next day. The approach is formulated as a multi-temporal Optimal Power Flow (OPF) solved by a meta-heuristic, used to tackle complex multi-dimensional problems. The tuning of the meta-heuristic parameters was performed to ensure the robustness of the proposed approach and enhance the performance of the algorithm. It was tested through simulation in a large scale test network with good results