Abstract
The accumulation of dust particles on the solar panels decrease the total amount of solar energy received by the Photovoltaic panel (PV) and, it has also been proven that the increase of temperature reduces the overall efficiency. These effects have been studied by different researchers based on collected data comparison. As both of these parameters have a negative effect on the efficiency of the solar panel, it is essential to keep them clean and at low temperatures. The use of technologies, such as robots, is an effective way of carrying out repetitive tasks at low cost and in a short time. This work consists of developing a robot capable of cleaning and cooling the solar panels, based on images acquired through a camera positioned directly towards the panels, thus maintaining periodic cleaning in order to increase its efficiency. The preliminary results demonstrate the possibility of using this approach for the accomplishment of this task.

Abstract
Nowadays, online route planners for soft modes are provided by several platforms such as Google Maps, OpenStreetMap, Here, or Waze. Itineraries are usually built using Shortest Path Problem algorithms that minimize the travel time or distance. In this work, we aim to identify and quantify the main features that influence itineraries’ choice by soft modes users in urban areas, able to support multi-objective routing, using simulated scenarios. We propose a set of 21 indicators, grouped into five dimensions: Safety-Security, Comfort, Air Quality, Accessibility and Time-Distance. Another contribution of this work is the simulation of scenarios to study soft modes’ multi-objective routing within urban areas.

Abstract
Dynamic Epistemic Logic (DEL) is used in the analysis of a wide class of application scenarios involving multi-agents systems with local perceptions of information and knowledge. In its classical form, the knowledge of epistemic states is represented by sets of propositions. However, the complexity of the current systems, requires other richer structures, than sets of propositions, to represent knowledge on their epistemic states. Algebras, graphs or distributions are examples of useful structures for this end. Based on this observation, we introduced a parametric method to build dynamic epistemic logics on-demand, taking as parameter the specific knowledge representation framework (e.g., propositional, equational or even a modal logic) that better fits the problems in hand. In order to use the built logics in practices, tools support is needed. Based on this, we extended our previous method with a parametric construction of complete proof calculi. The complexity of the model checking and satisfiability problems for the achieved logics are provided. © 2021, IFIP International Federation for Information Processing.

Abstract

Abstract
This study presents a simulation-based procedure to analyse a production line of a metalworking company. We use a simulation tool, ProModel ® software, to reproduce the existing production line layout of the company best-selling product which represents about 70% of the total sales. Our purpose is to get information about the existing system behaviour, and to find strategies to increase actual production level to meet the market’s demand. Based on an initial simulation model, different production scenarios were proposed and results have shown that it is possible to increase the production level allowing to meet the increasing demand for the product. The following changes in the production system were considered: (i) the use of intermediate stock of work-in-process items, (ii) the introduction of new equipment, and (iii) a mixed strategy where the introduction of new equipment is combined with the use of intermediate stock of work-in-process items. In summary, this research exhibits the flexibility of the simulation technique to address manufacturing problems throughout the creation of different scenarios providing some of the behaviour of the systems allowing the anticipation of final outputs. © 2021, Springer Nature Switzerland AG.

Abstract
We present K-band interferometric observations of the PDS 70 protoplanets along with their host star using VLTI/GRAVITY. We obtained K-band spectra and 100 mu as precision astrometry of both PDS 70 b and c in two epochs, as well as spatially resolving the hot inner disk around the star. Rejecting unstable orbits, we found a nonzero eccentricity for PDS 70 b of 0.17 0.06, a near-circular orbit for PDS 70 c, and an orbital configuration that is consistent with the planets migrating into a 2:1 mean motion resonance. Enforcing dynamical stability, we obtained a 95% upper limit on the mass of PDS 70 b of 10 M-Jup, while the mass of PDS 70 c was unconstrained. The GRAVITY K-band spectra rules out pure blackbody models for the photospheres of both planets. Instead, the models with the most support from the data are planetary atmospheres that are dusty, but the nature of the dust is unclear. Any circumplanetary dust around these planets is not well constrained by the planets' 1-5 mu m spectral energy distributions (SEDs) and requires longer wavelength data to probe with SED analysis. However with VLTI/GRAVITY, we made the first observations of a circumplanetary environment with sub-astronomical-unit spatial resolution, placing an upper limit of 0.3 au on the size of a bright disk around PDS 70 b.