A Practical Approach of Data Visualization from Geographic Information Systems by Using Mobile Technologies

The purpose of this paper is to demonstrate a practical approach to data visualization by using mobile technologies and desktop geographic information systems. To do that, we analyze public data for Black Sea water pollution on Varna’s beaches by using real data in real time. Geographic information systems (GISs) are used for visualization, and statistical software is used for correlation analysis. In our approach, the use of open-source software products is essential, namely QGIS and PSPP software. The methodology includes using one dataset, and after extract-transform-load procedures, additional analysis is conducted. Mobile technologies are used to demonstrate the results of the correlation analysis to a wide audience, and data visualization helps for better understanding. A similar visualization approach may be conducted for other subjects and fields of interest

Challenges in using the actor model in software development, systematic literature review

Toimijamalli on hajautetun ja samanaikaisen laskennan malli, jossa pienet osat ohjelmistoa viestivät keskenään asynkronisesti ja käyttäjälle näkyvä toiminnallisuus on usean osan yhteistyöstä esiin nouseva ominaisuus. Nykypäivän ohjelmistojen täytyy kestää valtavia käyttäjämääriä ja sitä varten niiden täytyy pystyä nostamaan kapasiteettiaan nopeasti skaalautuakseen. Pienempiä ohjelmiston osia on helpompi lisätä kysynnän mukaan, joten toimijamalli vaikuttaa vastaavan tähän tarpeeseen. Toimijamallin käytössä voi kuitenkin esiintyä haasteita, joita tämä tutkimus pyrkii löytämään ja esittelemään. Tutkimus toteutetaan systemaattisena kirjallisuuskatsauksena toimijamalliin liittyvistä tutkimuksista. Valituista tutkimuksista kerättiin tietoja, joiden pohjalta tutkimuskysymyksiin vastattiin. Tutkimustulokset listaavat ja kategorisoivat ohjelmistokehityksen ongelmia, joihin käytettiin toimijamallia, sekä erilaisia toimijamallin käytössä esiintyviä haasteita ja niiden ratkaisuita. Tutkimuksessa löydettiin toimijamallin käytössä esiintyviä haasteita ja näille haasteille luotiin uusi kategorisointi. Haasteiden juurisyitä analysoidessa havaittiin, että suuri osa toimijamallin haasteista johtuvat asynkronisen viestinnän käyttämisestä, ja että ohjelmoijan on oltava jatkuvasti tarkkana omista oletuksistaan viestijärjestyksestä. Haasteisiin esitetyt ratkaisut kategorisoitiin niihin liittyvän lisättävän koodin sijainnin mukaan

Proyecto Docente e Investigador, Trabajo Original de Investigación y Presentación de la Defensa, preparado por Germán Moltó para concursar a la plaza de Catedrático de Universidad, concurso 082/22, plaza 6708, área de Ciencia de la Computación e Inteligencia Artificial

Este documento contiene el proyecto docente e investigador del candidato Germán Moltó Martínez presentado como requisito para el concurso de acceso a plazas de Cuerpos Docentes Universitarios. Concretamente, el documento se centra en el concurso para la plaza 6708 de Catedrático de Universidad en el área de Ciencia de la Computación en el Departamento de Sistemas Informáticos y Computación de la Universitat Politécnica de València. La plaza está adscrita a la Escola Técnica Superior d'Enginyeria Informàtica y tiene como perfil las asignaturas "Infraestructuras de Cloud Público" y "Estructuras de Datos y Algoritmos".También se incluye el Historial Académico, Docente e Investigador, así como la presentación usada durante la defensa.Germán Moltó Martínez (2022). Proyecto Docente e Investigador, Trabajo Original de Investigación y Presentación de la Defensa, preparado por Germán Moltó para concursar a la plaza de Catedrático de Universidad, concurso 082/22, plaza 6708, área de Ciencia de la Computación e Inteligencia Artificial. http://hdl.handle.net/10251/18903

Formal Specification and Runtime Verification of Parallel Systems using Interval Temporal Logic (ITL)

Runtime Verification (RV) is the discipline that allows monitoring systems at runtime in order to check the satisfaction or violation of a given correctness property. Parallel systems are more complicated than sequential systems. Therefore, systems that run in parallel need a parallel runtime verification framework to monitor their behaviour and guarantee correctness properties. Parallel systems have correctness properties different from correctness properties of sequential systems. For instance, as a correctness property of parallel systems, absence of deadlock has to be guaranteed and mutual exclusion mechanism has to be applied in case a resource is shared between more than one system and the parallelism form is true concurrency. Therefore, sequential runtime verification framework can not handle systems that run in parallel due to the singularity issue of this kind of framework as they are built to handle a single system at a time, whereas for parallel systems a framework has to handle many systems at a time. AnaTempura is a runtime verification tool which can handle single systems at a time. To solve this problem, I evolved AnaTempura to be able to handle parallel systems. In this thesis, I propose a Parallel Runtime Verification Framework (PRVF) that can handle systems which use architectures of parallelism in their design such as multi-core processor architecture. The proposed model can check system behaviour at runtime in order to either guarantee satisfaction or detect violations of correctness properties. My technique is based on Interval Temporal Logic (ITL) and its executable subset Tempura to verify properties at runtime using the AnaTempura tool. I use, as a demonstration, the case study of private L2 cache memory of multi-core processor architecture. My objectives are to i) design MSI protocol compliant with cache memory coherence and ii) fulfil main memory consistency model at runtime. I achieve this via a formal Tempura specification of the cache controller which is then verified at runtime against my objectives for memory consistency and cache coherence using AnaTempura. The presented specifications allow to extend it allow to extend it to not only capture correctness but also monitor the performance of a cache memory controller. The case study is then evaluated via integrating AnaTempura with MATLAB in order to check correctness properties such as memory consistency and cache coherence

Upowszechnianie wyników badań naukowych w międzynarodowych bazach danych : analiza biometryczna na przykładzie nauk technicznych, ze szczególnym uwzględnieniem elektrotechniki

The issues of bibliometrics, scientometrics, informetrics and webometrics have an important place among research subject undertaken by Polish and foreign scholars. Initially, these notions were used only by researchers in the fields of library science, scientometrics and information science. However, at the turn of the 20th and 21st centuries, quantitative methods became a fundamental tool for evaluation of, among others, sources of academic communication, academic research, research and academic centers. One of the elements of the evaluation is a quantitative analysis of academic publications in databases with international access. It is of particular importance in the case of technical sciences. This work is an attempt at a quantitative analysis of publications by Polish authors (affiliated to Polish technical universities) and Polish journals on electrotechnics in international databases. The contents are organized into four chapters with an introduction, conclusions, bibliography, name index and a list of figures and illustrations. Chapters one and two are devoted to theoretical issues, whereas chapters three and four – to practical issues. In the first chapter, selected issues concerning quantitative methods were presented, including an analysis of literature and a discussion over terminology carried out in book publications and journals. Moreover, selected examples of research conducted with the use of quantitative methods (including rankings and scientific reports) were discussed in this chapter). In chapter two, sources of information on academic publications, their origins and development (from bibliographic bases to citation indexes) were presented. A separate subchapter was devoted to databases of academic publications created by libraries of technical universities, and to indicators in the assessment of academic publications. Chapter three deals with electrotechnics as a field of science. An analysis was conducted with regard to the place of electrotechnics in science classifications based on selected examples, and the development of the teaching of electrotechnics at university level was shown. In this chapter, early and contemporary Polish journals on electrotechnics were presented, including journals published by technical universities themselves. Chapter four contains the results of an analysis of international databases (Scopus, WoS, CC), focusing on the representation of Polish journals, including their citations, and publications of authors with affiliation to Polish technical universities. Final conclusions of research and analyses have brought an answer to questions raised with regard to the assessment of representation in international databases of publications by Polish authors affiliated to Polish technical universities (in its various aspects, e.g., a publication type, language of publication, publication dynamics taking into account years of publications, cooperation with representatives of other European and non-European countries), and of Polish journals

Vertrauenswürdige, adaptive Anfrageverarbeitung in dynamischen Sensornetzwerken zur Unterstützung assistiver Systeme

Assistenzsysteme in smarten Umgebungen sammeln durch den Einsatz verschiedenster Sensoren viele Daten, um die Intentionen und zukünftigen Aktivitäten der Nutzer zu berechnen. In den meisten Fällen werden dabei mehr Informationen gesammelt als für die Erfüllung der Aufgabe des Assistenzsystems notwendig sind. Das Ziel dieser Dissertation ist die Konzeption und Implementierung von datenschutzfördernden Algorithmen für die Weitergabe sensibler Sensor- und Kontextinformationen zu den Analysewerkzeugen der Assistenzsysteme. Die Datenschutzansprüche der Nutzer werden dazu in Integritätsbedingungen der Datenbanksysteme transformiert, welche die gesammelten Informationen speichern und auswerten. Ausgehend vom Informationsbedarf des Assistenzsystems und den Datenschutzbedürfnissen des Nutzers werden die gesammelten Daten so nahe wie möglich am Sensor durch Selektion, Reduktion, Kompression oder Aggregation durch die Datenschutzkomponente des Assistenzsystems verdichtet. Sofern nicht alle Informationen lokal verarbeitet werden können, werden Teile der Analyse an andere, an der Verarbeitung der Daten beteiligte Rechenknoten ausgelagert. Das Konzept wurde im Rahmen des PArADISE-Frameworks (Privacy-AwaRe Assistive Distributed Information System Environment) umgesetzt und u. a. in Zusammenarbeit mit dem DFG-Graduiertenkolleg 1424 (MuSAMA-Multimodal Smart Appliances for Mobile Application) anhand eines Beispielszenarios getestet