2017
Authors
Olival, PC; Madureira, AG; Matos, M;
Publication
ELECTRIC POWER SYSTEMS RESEARCH
Abstract
Large scale integration of distributed generation (DG), particularly based on variable renewable energy sources (RES), in low voltage (LV) distribution networks brings significant challenges to operation. This paper presents a new methodology for mitigating voltage problems in LV networks, in a future scenario with high integration of distributed energy resources (DER), taking advantage of these resources based on a smart grid type architecture. These resources include dispersed energy storage systems, controllable loads of residential clients under demand side management (DSM) actions and microgeneration units. The algorithm developed was tested in a real Portuguese LV network and showed good performance in controlling voltage profiles while being able to integrate all energy from renewable sources and minimizing the energy not supplied.
2017
Authors
Yung, CK; O’Connor, BD; Yakneen, S; Zhang, J; Ellrott, K; Kleinheinz, K; Miyoshi, N; Raine, KM; Royo, R; Saksena, GB; Schlesner, M; Shorser, SI; Vazquez, M; Weischenfeldt, J; Yuen, D; Butler, AP; Davis-Dusenbery, BN; Eils, R; Ferretti, V; Grossman, RL; Harismendy, O; Kim, Y; Nakagawa, H; Newhouse, SJ; Torrents, D; Stein, LD; Rodriguez, JB; Boroevich, KA; Boyce, R; Brooks, AN; Buchanan, A; Buchhalter, I; Byrne, NJ; Cafferkey, A; Campbell, PJ; Chen, Z; Cho, S; Choi, W; Clapham, P; De La Vega, FM; Demeulemeester, J; Dow, MT; Dursi, LJ; Eils, J; Farcas, C; Favero, F; Fayzullaev, N; Flicek, P; Fonseca, NA; Gelpi, JL; Getz, G; Gibson, B; Heinold, MC; Hess, JM; Hofmann, O; Hong, JH; Hudson, TJ; Huebschmann, D; Hutter, B; Hutter, CM; Imoto, S; Ivkovic, S; Jeon, S; Jiao, W; Jung, J; Kabbe, R; Kahles, A; Kerssemakers, J; Kim, H; Kim, H; Kim, J; Korbel, JO; Koscher, M; Koures, A; Kovacevic, M; Lawerenz, C; Leshchiner, I; Livitz, DG; Mihaiescu, GL; Mijalkovic, S; Lazic, AM; Miyano, S; Nahal, HK; Nastic, M; Nicholson, J; Ocana, D; Ohi, K; Ohno-Machado, L; Omberg, L; Francis Ouellette, B; Paramasivam, N; Perry, MD; Pihl, TD; Prinz, M; Puiggròs, M; Radovic, P; Rheinbay, E; Rosenberg, MW; Short, C; Sofia, HJ; Spring, J; Struck, AJ; Tiao, G; Tijanic, N; Loo, PV; Vicente, D; Wala, JA; Wang, Z; Werner, J; Williams, A; Woo, Y; Wright, AJ; Xiang, Q;
Publication
Abstract
2017
Authors
Proença, J; Clarke, D;
Publication
Sci. Comput. Program.
Abstract
Typed models of connector/component composition specify interfaces describing ports of components and connectors. Typing ensures that these ports are plugged together appropriately, so that data can flow out of each output port and into an input port. These interfaces typically consider the direction of data flow and the type of values flowing. Components, connectors, and systems are often parameterised in such a way that the parameters affect the interfaces. Typing such connector families is challenging. This paper takes a first step towards addressing this problem by presenting a calculus of connector families with integer and boolean parameters. The calculus is based on monoidal categories, with a dependent type system that describes the parameterised interfaces of these connectors. We use families of Reo connectors as running examples, and show how this calculus can be applied to Petri Nets and to BIP systems. The paper focuses on the structure of connectors—well-connectedness—and less on their behaviour, making it easily applicable to a wide range of coordination and component-based models. A type-checking algorithm based on constraints is used to analyse connector families, supported by a proof-of-concept implementation. © 2017 Elsevier B.V.
2017
Authors
Castro, S; Mens, K; Moura, P;
Publication
SCIENCE OF COMPUTER PROGRAMMING
Abstract
The number of approaches existing to enable a smooth interaction between Java and Prolog programs testifies the growing interest in solutions that combine the strengths of both languages. Most of these approaches provide limited support to allow programmers to customise how Prolog artefacts should be reified in the Java world, or how to reason about Java objects on the Prolog side. This is an error-prone task since often a considerable amount of mappings must be developed and organised. Furthermore, appropriate mappings may depend on the particular context in which a conversion is accomplished. Although some libraries alleviate this problem by providing higher-level abstractions to deal with the complexity of custom conversions between artefacts of the two languages, such libraries are difficult to implement and evolve, because of a lack of appropriate underlying building blocks for encapsulating, categorising and applying Java-Prolog conversion routines. We therefore introduce a new library, JPC, serving as a development tool for both programmers willing to categorise context-dependent conversion constructs in their Java-Prolog systems, and for architects implementing frameworks providing higher-level abstractions for better interoperability between these two languages.
2017
Authors
Ribeiro, SP; Santos, VR; Pereira, CS;
Publication
IC3K 2017 - Proceedings of the 9th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management
Abstract
Globalization and the rapid market changes increased the perception in the Portuguese footwear industry that success in the value chain is closely tied to information sharing, the creation and development of collaborative networks, and the management of the knowledge of the various partners. Business to Business (B2B) and e- Commerce (eC) are a key opportunity, and at the same time, a challenge for contemporary companies. We believe that the insights provided in this paper allow theory and practice to better understand the reasons for the success of the Portuguese footwear industry and of its key cluster of Felgueiras. Based on the research conducted, we argue that there is a lack of B2B-eC initiatives in the footwear industry and the existing ones are still incipient. Furthermore, the existence of only one platform that to some extent addresses B2B-eC, also indicates that there is a need for greater research and development of approaches/technology allowing companies to explore opportunities to collaborate and negotiate among themselves.
2017
Authors
Costa, P; Galdran, A; Meyer, MI; Mendonça, AM; Campilho, A;
Publication
IMAGE ANALYSIS AND RECOGNITION, ICIAR 2017
Abstract
Synthesizing images of the eye fundus is a challenging task that has been previously approached by formulating complex models of the anatomy of the eye. New images can then be generated by sampling a suitable parameter space. Here we propose a method that learns to synthesize eye fundus images directly from data. For that, we pair true eye fundus images with their respective vessel trees, by means of a vessel segmentation technique. These pairs are then used to learn a mapping from a binary vessel tree to a new retinal image. For this purpose, we use a recent image-to-image translation technique, based on the idea of adversarial learning. Experimental results show that the original and the generated images are visually different in terms of their global appearance, in spite of sharing the same vessel tree. Additionally, a quantitative quality analysis of the synthetic retinal images confirms that the produced images retain a high proportion of the true image set quality. © Springer International Publishing AG 2017.
The access to the final selection minute is only available to applicants.
Please check the confirmation e-mail of your application to obtain the access code.