TOWARD A SOLUTION OF ALLOCATION IN LIFE CYCLE INVENTORIES: THE USE OF LEAST SQUARES TECHNIQUES

Purpose: The matrix method for the solution of the so-called inventory problem in LCA generally determines the inventory vector related to a specific system of processes by solving a system of linear equations. The paper proposes a new approach to deal with systems characterized by a rectangular (and thus non-invertible) coefficients matrix. The approach, based on the application of regression techniques, allows solving the system without using computational expedients such as the allocation procedure. Methods: The regression techniques used in the paper are (besides the ordinary least squares, OLS) total least squares (TLS) and data least squares (DLS). In this paper, the authors present the application of TLS and DLS to a case study related to the production of bricks, showing the differences between the results accomplished by the traditional matrix approach and those obtained with these techniques. The system boundaries were chosen such that the resulting technology matrix was not too big and thus easy to display, but at the same time complex enough to provide a valid demonstrative example for analyzing the results of the application of the above-described techniques. Results and discussion: The results obtained for the case study taken into consideration showed an obvious but not overwhelming difference between the inventory vectors obtained by using the least-squares techniques and those obtained with the solutions based upon allocation. The inventory vectors obtained with the DLS and TLS techniques are closer to those obtained with the physical rather than with the economic allocation. However, this finding most probably cannot be generalized to every inventory problem. Conclusions: Since the solution of the inventory problem in life cycle inventory (LCI) is not a standard forecasting problem because the real solution (the real inventory vector related to the investigated functional unit) is unknown, we are not able to compute a proper performance indicator for the implemented algorithms. However, considering that the obtained least squares solutions are unique and their differences from the traditional solutions are not overwhelming, this methodology is worthy of further investigation. Recommendations: In order to make TLS and DLS techniques a valuable alternative to the traditional allocation procedures, there is a need to optimize them for the very particular systems that commonly occur in LCI, i.e., systems with sparse coefficients matrices and a vector of constants whose entries are almost always all null but one. This optimization is crucial for their applicability in the LCI contex

Comparison of proposals for the future aeronautical communication system LDACS

Um zukünftigen Kapazitätsbedarf in aeronautischer Navigation abzudecken, werden neue Bord und Boden Kommunikationsdienste gebraucht. Die europäische Organisation für Sicherheit und Luftnavigation, Eurocontrol, unterstützte die Entwicklung zweier Vorschläge für ein solches System. Der erste Vorschlag, genannt LDACS1, ist ein digitales Breitband OFDM basiertes System, welches vom Institut für Kommunikation und Navigation, DLR entwickelt wurde. Der zweite Vorschlag, LDACS2 wird von einem Projektteam bestehend aus EGIS ASVIA, Helios SWEDAVIA und anderen entwickelt. LDACS2 folgt einem single carrier Steuerung mit einer GMSK Modulation. Beide Systeme sind für das Bedienen des aeronautischen Teils des L-Band (960-1164 MHz) gedacht. Diese Frequenz wird jedoch bereits von verschiedenen aeronautischen alte Systemen wie z.B. zivile Luftfahrtnavigation DME oder militärische Kommunikationssystemen (vereinigtes taktisches Informationsverteilungssystem JTIDS) eingesetzt. Darüber hinaus, LDACS ist offen für in der Luft befindlich Empfangsstörungen. Ein entscheidender Punkt im Auswahlprozess für eine der LDACS Systeme ist die Gewährleistung für das Nebeneinander von LDACS und des legacy Systems. Einerseits muss bewiesen werden, dass LDACS nur einen geringen Einfluss auf das legacy System hat. Andererseits muss eine verlässliche Funktion trotz Empfangsstörung (Beeinträchtigung) gewährleistet werden. In dieser Masterarbeit ist die Leistung von LDACS2 analysiert. Die Aufgabe umfasst einige theoretische Überlegungen für Ermittlungen von Kapazität, spektrale Leistungsfähigkeit, Skalierbarkeit und die mögliche Zahl gleichzeitiger Nutzer. Das Ergebnis zeigt die Beschränkung der angebotenen bit rates pro Nutzer gemäß der limitierten Bandbreite. Jedoch für gering bis mittelmäßigen Inanspruchnahme von Anwendern, die angebotenen bit rates sind innerhalb einer akzeptablen Reichweite. Der Hauptteil dieser Arbeit befasst sich mit der Anwendung des LDACS2 Systems gemäß der Simulations-Software. Das umfasst die gesamte physikalische Schichtung und die grundlegenden Teile der höheren Schichtung. Besonderer Schwerpunkt ist auf die Anwendung und Beurteilung von wirksamen Kanal Entzerrung Algorithms, Analyse und Auswertung. Neben AWGN Kanälen wurden auch praxisbezogenen Luftfahrtfrequenzen angewandt. Es stellte sich heraus, dass das Kanalkodierung in dieser Ausführung nicht genügend.Ilmenau, Techn. Univ., Masterarbeit, 201

Advanced signal processing concepts for multi-dimensional communication systems

Die weit verbreitete Nutzung von mobilem Internet und intelligenten Anwendungen hat zu einem explosionsartigen Anstieg des mobilen Datenverkehrs geführt. Mit dem Aufstieg von intelligenten Häusern, intelligenten Gebäuden und intelligenten Städten wächst diese Nachfrage ständig, da zukünftige Kommunikationssysteme die Integration mehrerer Netzwerke erfordern, die verschiedene Sektoren, Domänen und Anwendungen bedienen, wie Multimedia, virtuelle oder erweiterte Realität, Machine-to-Machine (M2M) -Kommunikation / Internet of Things (IoT), Automobilanwendungen und vieles mehr. Daher werden die Kommunikationssysteme zukünftig nicht nur eine drahtlose Verbindung über Gbps bereitstellen müssen, sondern auch andere Anforderungen erfüllen müssen, wie z. B. eine niedrige Latenzzeit und eine massive Maschinentyp-Konnektivität, während die Dienstqualität sichergestellt wird. Ohne bedeutende technologische Fortschritte zur Erhöhung der Systemkapazität wird die bestehende Telekommunikationsinfrastruktur diese mehrdimensionalen Anforderungen nicht unterstützen können. Dies stellt eine wichtige Forderung nach geeigneten Wellenformen und Signalverarbeitungslösungen mit verbesserten spektralen Eigenschaften und erhöhter Flexibilität dar. Aus der Spektrumsperspektive werden zukünftige drahtlose Netzwerke erforderlich sein, um mehrere Funkbänder auszunutzen, wie zum Beispiel niedrigere Frequenzbänder (typischerweise mit Frequenzen unter 10 GHz), mm-Wellenbänder (einige hundert GHz höchstens) und THz-Bänder. Viele alternative Technologien wie Optical Wireless Communication (OWC), dynamische Funksysteme und zellulares Radar sollten ebenfalls untersucht werden, um ihr wahres Potenzial abzuschätzen. Insbesondere bietet OWC ein großes, aber noch nicht genutztes optisches Band im sichtbaren Spektrum, das Licht als Mittel zur Informationsübertragung nutzt. Daher können zukünftige Kommunikationssysteme als zusammengesetzte Hybridnetzwerke angesehen werden, die aus einer Anzahl von verschiedenen drahtlosen Netzwerken bestehen, die auf Funk und optischem Zugang basieren. Auf der anderen Seite ist es eine große Herausforderung, fortschrittliche Signalverarbeitungslösungen für mehrere Bereiche von Kommunikationssystemen zu entwickeln. Diese Arbeit trägt zu diesem Ziel bei, indem sie Methoden für die Suche nach effizienten algebraischen Lösungen für verschiedene Anwendungen der digitalen Mehrkanal-Signalverarbeitung demonstriert. Insbesondere tragen wir zu drei verschiedenen Anwendungsgebieten bei, d.h. Wellenformen, optischen drahtlosen Systemen und mehrdimensionaler Signalverarbeitung. Gegenwärtig ist das Cyclic Prefix Orthogonal Frequency Division Multiplexing (CP-OFDM) die weit verbreitete Multitragetechnik für die meisten Kommunikationssysteme. Um jedoch die CP-OFDM-Nachteile in Bezug auf eine schlechte spektrale Eingrenzung, Robustheit in hoch asynchronen Umgebungen und Unflexibilität der Parameterwahl zu überwinden, wurden viele alternative Wellenformen vorgeschlagen. Solche Mehrfachträgerwellenformen umfassen einen Filter bank Multicarrier (FBMC), ein Generalized Frequency Division Multiplexing (GFDM), einen Universal Filter Multicarrier (UFMC) und ein Unique Word Orthogonal Orthogonal Frequency Division Multiplexing (UW-OFDM). Diese neuen Luftschnittstellenschemata verwenden verschiedene Ansätze, um einige der inhärenten Mängel bei CP-OFDM zu überwinden. Einige dieser Wellenformen wurden gut untersucht, während andere sich noch in den Kinderschuhen befinden. Insbesondere die Integration von Multiple-Input-Multiple-Output (MIMO) -Konzepten mit UW-OFDM und UFMC befindet sich noch in einem frühen Forschungsstadium. Daher schlagen wir im ersten Teil dieser Arbeit neuartige lineare und sukzessive Interferenzunterdrückungstechniken für MIMO UW-OFDM-Systeme vor. Das Design dieser Techniken zielt darauf ab, Empfänger mit einer geringen Rechenkomplexität zu erhalten. Ein weiterer Schwerpunkt ist die Anwendbarkeit von Space-Time Block Codes (STBCs) auf UW-OFDM und UFMC-Wellenformen. Zu diesem Zweck stellen wir neue Techniken zusammen mit Detektionsverfahren vor. Wir vergleichen auch die Leistung dieser Wellenformen mit unseren vorgeschlagenen Techniken mit den anderen Wellenformen des Standes der Technik, die in der Literatur vorgeschlagen wurden. Wir zeigen, dass raumzeitblockierte UW-OFDM-Systeme mit den vorgeschlagenen Methoden nicht nur andere Wellenformen signifikant übertreffen, sondern auch zu Empfängern mit geringer Rechnerkomplexität führen. Der zweite Anwendungsbereich umfasst optische Systeme im sichtbaren Band (390-700 nm), die in Plastic Optical Fibers (POFs), Multimode-Fasern oder OWC-Systemen wie der Kommunikation über Visible Light Communication (VLC) verwendet werden können. VLC kann Lösungen für eine Reihe von Anwendungen anbieten, einschließlich drahtloser lokaler, persönlicher und Körperbereichsnetzwerke (WLAN, WPAN und WBANs), Innenlokalisierung und -navigation, Fahrzeugnetze, U-Bahn- und Unterwassernetze und bietet eine Reihe von Datenraten von wenigen Mbps zu 10 Gbps. VLC nutzt voll sichtbare Light Emitting Diodes (LEDs) für den doppelten Zweck der Beleuchtung und Datenkommunikation bei sehr hohen Geschwindigkeiten. Daher verwenden solche Systeme Intensitätsmodulation und Direct Detection (IM / DD), wodurch gefordert wird, dass das Sendesignal reellwertig und positiv sein sollte. Dies impliziert auch, dass die herkömmlichen Wellenformen, die für die Radio Frequency (RF) Kommunikation ausgelegt sind, nicht direkt verwendet werden können. Zum Beispiel muss eine hermetische Symmetrie auf das CP-OFDM angewendet werden, um ein reellwertiges Signal zu erhalten (oft als Discrete Multitone Transmission (DMT) bezeichnet), das im Gegenzug die Bandbreiteneffizienz verringert. Darüber hinaus begrenzt die LED / LED-Treiberkombination die elektrische Bandbreite. Alle diese Faktoren erfordern die Verwendung spektral effizienter Übertragungsverfahren zusammen mit robusten Entzerrungsschemata, um hohe Datenraten zu erzielen. Deshalb schlagen wir im zweiten Teil der Arbeit Übertragungsverfahren vor, die für solche optischen Systeme am besten geeignet sind. Insbesondere demonstrieren wir die Leistung der PAM-Blockübertragung mit Frequenzbereichsausgleich. Wir zeigen, dass dieses Schema nicht nur leistungsstärker ist, sondern auch alle modernen Verfahren wie CP-DMT-Schemata übertrifft. Wir schlagen auch neue UW-DMT-Schemata vor, die vom UW-OFDM-Konzept abgeleitet sind. Diese Schemata zeigen auch ein sehr überlegenes Bitfehlerverhältnis (BER) -Performance gegenüber den herkömmlichen CP-DMT-Schemata. Der dritte Anwendungsbereich konzentriert sich auf mehrdimensionale Signalverarbeitungstechniken. Bei der Verwendung von MIMO, STBCs, Mehrbenutzerverarbeitung und Mehrträgerwellenformen bei der drahtlosen Kommunikation ist das empfangene Signal mehrdimensional und kann eine multilineare Struktur aufweisen. In diesem Zusammenhang können Signalverarbeitungstechniken, die auf einem Tensor-Modell basieren, gleichzeitig von mehreren Formen von Diversität profitieren, um Mehrbenutzer-Signaltrennung / -entzerrung und Kanalschätzung durchzuführen. Dieser Vorteil ist eine direkte Konsequenz der Eigenschaft der wesentlichen Eindeutigkeit, die für matrixbasierte Ansätze nicht verfügbar ist. Tensor-Zerlegung wie die Higher Order Singular Value Decomposition (HOSVD) und die Canonical Polyadic Decomposition (CPD) werden weithin zur Durchführung dieser Aufgaben empfohlen. Die Leistung dieser Techniken wird oft mit zeitraubenden Monte-Carlo-Versuchen bewertet. Im letzten Teil der Arbeit führen wir eine Störungsanalyse erster Ordnung dieser Tensor-Zerlegungsmethoden durch. Insbesondere führen wir eine analytische Performanceanalyse des Semi-algebraischen Frameworks für approximative Canonical polyadic decompositions Simultaneous matrix diagonalizations (SECSI) durch. Das SECSI-Framework ist ein effizientes Werkzeug zur Berechnung der CPD eines rauscharmen Tensor mit niedrigem Rang. Darüber hinaus werden die erhaltenen analytischen Ausdrücke in Bezug auf die Momente zweiter Ordnung des Rauschens formuliert, so dass abgesehen von einem Mittelwert von Null keine Annahmen über die Rauschstatistik erforderlich sind. Wir zeigen, dass die abgeleiteten analytischen Ergebnisse eine ausgezeichnete Übereinstimmung mit den Monte-Carlo-Simulationen zeigen.The widespread use of mobile internet and smart applications has led to an explosive growth in mobile data traffic. With the rise of smart homes, smart buildings, and smart cities, this demand is ever growing since future communication systems will require the integration of multiple networks serving diverse sectors, domains and applications, such as multimedia, virtual or augmented reality, machine-to-machine (M2M) communication / the Internet of things (IoT), automotive applications, and many more. Therefore, in the future, the communication systems will not only be required to provide Gbps wireless connectivity but also fulfil other requirements such as low latency and massive machine type connectivity while ensuring the quality of service. Without significant technological advances to increase the system capacity, the existing telecommunications infrastructure will be unable to support these multi-dimensional requirements. This poses an important demand for suitable waveforms with improved spectral characteristics and signal processing solutions with an increased flexibility. Moreover, future wireless networks will be required to exploit several frequency bands, such as lower frequency bands (typically with frequencies below 10 GHz), mm-wave bands (few hundred GHz at the most), and THz bands. Many alternative technologies such as optical wireless communication (OWC), dynamic radio systems, and cellular radar should also be investigated to assess their true potential. Especially, OWC offers large but yet unexploited optical band in the visible spectrum that uses light as a means to carry information. Therefore, future communication systems can be seen as composite hybrid networks that consist of a number of different wireless networks based on radio and optical access. On the other hand, it poses a significant challenge to come up with advanced signal processing solutions in multiple areas of communication systems. This thesis contributes to this goal by demonstrating methods for finding efficient algebraic solutions to various applications of multi-channel digital signal processing. In particular, we contribute to three different scientific fields, i.e., waveforms, optical wireless systems, and multi-dimensional signal processing. Currently, cyclic prefix orthogonal frequency division multiplexing (CP-OFDM) is the widely adopted multicarrier technique for most of the communication systems. However, to overcome the CP-OFDM demerits in terms of poor spectral containment, poor robustness in highly asynchronous environments, and inflexibility of parameter choice, and many alternative waveforms have been proposed. Such multicarrier waveforms include filter bank multicarrier (FBMC), generalized frequency division multiplexing (GFDM), universal filter multicarrier (UFMC), and unique word orthogonal frequency division multiplexing (UW-OFDM). These new air interface schemes take different approaches to overcome some of the inherent deficiencies in CP-OFDM. Some of these waveforms have been well investigated while others are still in its infancy. Specifically, the integration of multiple-input multiple-output (MIMO) concepts with UW-OFDM and UFMC is still at an early stage of research. Therefore, in the first part of this thesis, we propose novel linear and successive interference cancellation techniques for MIMO UW-OFDM systems. The design of these techniques is aimed to result in receivers with a low computational complexity. Another focus area is the applicability of space-time block codes (STBCs) to UW-OFDM and UFMC waveforms. For this purpose, we present novel techniques along with detection procedures. We also compare the performance of these waveforms with our proposed techniques to the other state-of-the-art waveforms that has been proposed in the literature. We demonstrate that space-time block coded UW-OFDM systems with the proposed methods not only outperform other waveforms significantly but also results in receivers with a low computational complexity. The second application area comprises of optical systems in the visible band (390-700 nm) that can be utilized in plastic optical fibers (POFs), multimode fibers or OWC systems such as visible light communication (VLC). VLC can provide solutions for a number of applications including wireless local, personal, and body area networks (WLAN, WPAN, and WBANs), indoor localization and navigation, vehicular networks, underground and underwater networks, offering a range of data rates from a few Mbps to 10 Gbps. VLC takes full advantage of visible light emitting diodes (LEDs) for the dual purpose of illumination and data communications at very high speeds. Because of the incoherent nature of the LED sources, such systems employ intensity modulation and direct detection (IM/DD), thus demanding that the transmit signal should be real-valued and positive. This also implies that the conventional waveforms designed for the radio frequency (RF) communication cannot be directly used. For example, a Hermitian symmetry has to be applied to the CP-OFDM spectrum to obtain a real-valued signal (often referred to as discrete multitone transmission (DMT)) that in return reduces the bandwidth efficiency. Moreover, the LED/LED driver combination limits the electrical bandwidth. All these factors require the use of spectrally efficient transmission schemes along with robust equalization schemes to achieve high data rates. Therefore, in the second part of the thesis, we propose transmission schemes that are best suited for such optical systems. Specifically, we demonstrate the performance of PAM block transmission with frequency domain equalization. We show that this scheme is not only more power efficient but also outperforms all of the state-of-the-art schemes such as CP-DMT schemes. We also propose novel UW-DMT schemes that are derived from the UW-OFDM concept. These schemes also show a much superior bit error ratio (BER) performance over the conventional CP-DMT schemes. The third application area focuses on multi-dimensional signal processing techniques. With the use of MIMO, STBCs, multi-user processing, and multicarrier waveforms in wireless communications, the received signal is multidimensional in nature and may exhibit a multilinear structure. In this context, signal processing techniques based on a tensor model can simultaneously benefit from multiple forms of diversity to perform multi-user signal separation/equalization and channel estimation. This advantage is a direct consequence of the essential uniqueness property that is not available for matrix based approaches. Tensor decompositions such as the higher order singular value decomposition (HOSVD) and the canonical polyadic decomposition (CPD) are widely recommended for performing these tasks. The performance of these techniques is often evaluated using time consuming Monte-Carlo trials. In the last part of the thesis, we perform a first-order perturbation analysis of the truncated HOSVD and the Semi-algebraic framework for approximate Canonical polyadic decompositions via Simultaneous matrix diagonalizations (SECSI). The SECSI framework is an efficient tool for the computation of the approximate CPD of a low-rank noise corrupted tensor. Especially, the SECSI framework shows a much improved performance and comparatively low-complexity as compared to the conventional algorithms such as alternative least squares (ALS). Moreover, it also facilitates the implementation on a parallel hardware architecture. The obtained analytical expressions for both algorithms are formulated in terms of the second-order moments of the noise, such that apart from a zero-mean, no assumptions on the noise statistics are required. We demonstrate that the derived analytical results exhibit an excellent match to the Monte-Carlo simulations

Physics-based models for the acoustic representation of space in virtual environments

In questo lavoro sono state affrontate alcune questioni inserite nel tema pi\uf9 generale della rappresentazione di scene e ambienti virtuali in contesti d\u2019interazione uomo-macchina, nei quali la modalit\ue0 acustica costituisca parte integrante o prevalente dell\u2019informazione complessiva trasmessa dalla macchina all\u2019utilizzatore attraverso un\u2019interfaccia personale multimodale oppure monomodale acustica. Pi\uf9 precisamente \ue8 stato preso in esame il problema di come presentare il messaggio audio, in modo tale che lo stesso messaggio fornisca all\u2019utilizzatore un\u2019informazione quanto pi\uf9 precisa e utilizzabile relativamente al contesto rappresentato. Il fine di tutto ci\uf2 \ue8 riuscire a integrare all\u2019interno di uno scenario virtuale almeno parte dell\u2019informazione acustica che lo stesso utilizzatore, in un contesto stavolta reale, normalmente utilizza per trarre esperienza dal mondo circostante nel suo complesso. Ci\uf2 \ue8 importante soprattutto quando il focus dell\u2019attenzione, che tipicamente impegna il canale visivo quasi completamente, \ue8 volto a un compito specifico.This work deals with the simulation of virtual acoustic spaces using physics-based models. The acoustic space is what we perceive about space using our auditory system. The physical nature of the models means that they will present spatial attributes (such as, for example, shape and size) as a salient feature of their structure, in a way that space will be directly represented and manipulated by means of them

Contribuições para o método Virtual Reference Feedback Tuning

Em métodos de controle baseados em dados o ajuste dos parâmetros do controlador é realizado diretamente a partir dos dados coletados, sem a necessidade de estimar um modelo para o processo. Dentre os métodos propostos na literatura, o Virtual Reference Feedback Tuning (VRFT) talvez seja o método não iterativo mais empregado para realizar o ajuste dos parâmetros de um controlador de modo a atingir um desempenho em malha fechada predeterminado. Contudo, a qualidade da estimativa dos parâmetros com este método é afetada quando: há presença de ruído nos sinais coletados, empregam-se controladores de ordem reduzida, ou os dados são coletados de um experimento pouco informativo. Assim, o presente trabalho propõe soluções para esses três problemas. Para o caso ruidoso, o problema do VRFT é formulado com as soluções de mínimos quadrados Data Least Squares (DLS) e Constrained Total Least Squares (CTLS). Na solução CTLS considerouse não apenas controladores com parametrização linear, mas também controladores com polos e zeros livres, permitindo mais flexibilidade na escolha da estrutura do controlador. Para o caso de controladores de ordem reduzida, são propostos filtros para a solução CTLS, permitindo sua aplicação nesse caso. No caso em que os dados são coletados de um experimento pouco informativo, como dados de operação, por exemplo, a utilização de todo o conjunto de dados não necessariamente melhora a estimativa dos parâmetros, nem o desempenho em malha fechada. Portanto, no presente trabalho foram adaptados para o método VRFT dois critérios de seleção de subconjuntos muito informativos de dados, presentes na literatura de identificação de sistemas. No contexto do presente trabalho, subconjuntos muito informativos de dados são segmentos do conjunto de dados original que contêm informação relevante para identificação dos parâmetros do controlador. Todas as contribuições propostas são ilustradas através de simulações.In the data-driven (DD) control framework, the task of tuning the controller’s parameters is carried out directly from the collected data, without the knowledge of the process model. Among the DD methods proposed in the literature, the Virtual Reference Feedback Tuning (VRFT) is perhaps the non-iterative method most commonly employed to tune a controller’s parameters aiming to achieve a prescribed closed-loop performance. However, the parameters estimate’s quality with this method is compromised: when the collected data is affected by noise, in the reduced-order controllers case, and when the data is little informative. Therefore, the present work proposes solutions to these three problems. For the noisy case, the VRFT problem is formulated using the least squares solutions known as Data Least Squares (DLS) and Constrained Total Least Squares (CTLS). The CTLS solution is formulated not only using linearly parametrized controllers but also controllers with free poles and zeros, allowing more flexibility to the choice of the controller’s structure. For the reduced-order controllers case, filters are proposed for the CTLS solution, allowing its application in this case. For the case of little informative data, such as routine operating data, for example, more data does not necessarily mean a better estimate or a better closed-loop performance. Therefore, in the present work, two data selection criteria to select strongly informative subsets, applied in the system identification framework, were adapted to the VRFT problem. In the present work, strongly informative subsets are defined as sections of the original dataset containing the information relevant to identify the controller’s parameters. All the proposed contributions are illustrated through simulations

BLE-based Indoor Localization and Contact Tracing Approaches

Internet of Things (IoT) has penetrated different aspects of modern life with smart sensors being prevalent within our surrounding indoor environments. Furthermore, dependence on IoT-based Contact Tracing (CT) models has significantly increased mainly due to the COVID-19 pandemic. There is, therefore, an urgent quest to develop/design efficient, autonomous, trustworthy, and secure indoor CT solutions leveraging accurate indoor localization/tracking approaches. In this context, the first objective of this Ph.D. thesis is to enhance accuracy of Bluetooth Low Energy (BLE)-based indoor localization. BLE-based localization is typically performed based on the Received Signal Strength Indicator (RSSI). Extreme fluctuations of the RSSI occurring due to different factors such as multi-path effects and noise, however, prevent the BLE technology to be a reliable solution with acceptable accuracy for dynamic tracking/localization in indoor environments. In this regard, first, an IoT dataset is constructed based on multiple thoroughly separated indoor environments to incorporate the effects of various interferences faced in different spaces. The constructed dataset is then used to develop a Reinforcement Learning (RL)-based information fusion strategy to form a multiple-model implementation consisting of RSSI, Pedestrian dead reckoning (PDR), and Angle-of-Arrival (AoA)-based models. In the second part of the thesis, the focus is devoted to application of multi-agent Deep Neural Networks (DNN) models for indoor tracking. DNN-based approaches are, however, prone to overfitting and high sensitivity to parameter selection, which results in sample inefficiency. Moreover, data labelling is a time-consuming and costly procedure. To address these issues, we leverage Successor Representations (SR)-based techniques, which can learn the expected discounted future state occupancy, and the immediate reward of each state. A Deep Multi-Agent Successor Representation framework is proposed that can adapt quickly to the changes in a multi-agent environment faster than the Model-Free (MF) RL methods and with a lower computational cost compared to Model-Based (MB) RL algorithms. In the third part of the thesis, the developed indoor localization techniques are utilized to design a novel indoor CT solution, referred to as the Trustworthy Blockchain-enabled system for Indoor Contact Tracing (TB-ICT) framework. The TB-ICT is a fully distributed and innovative blockchain platform exploiting the proposed dynamic Proof of Work (dPoW) approach coupled with a Randomized Hash Window (W-Hash) and dynamic Proof of Credit (dPoC) mechanisms

Formalizing graphical notations

The thesis describes research into graphical notations for software engineering, with a principal interest in ways of formalizing them. The research seeks to provide a theoretical basis that will help in designing both notations and the software tools that process them. The work starts from a survey of literature on notation, followed by a review of techniques for formal description and for computational handling of notations. The survey concentrates on collecting views of the benefits and the problems attending notation use in software development; the review covers picture description languages, grammars and tools such as generic editors and visual programming environments. The main problem of notation is found to be a lack of any coherent, rigorous description methods. The current approaches to this problem are analysed as lacking in consensus on syntax specification and also lacking a clear focus on a defined concept of notated expression. To address these deficiencies, the thesis embarks upon an exploration of serniotic, linguistic and logical theory; this culminates in a proposed formalization of serniosis in notations, using categorial model theory as a mathematical foundation. An argument about the structure of sign systems leads to an analysis of notation into a layered system of tractable theories, spanning the gap between expressive pictorial medium and subject domain. This notion of 'tectonic' theory aims to treat both diagrams and formulae together. The research gives details of how syntactic structure can be sketched in a mathematical sense, with examples applying to software development diagrams, offering a new solution to the problem of notation specification. Based on these methods, the thesis discusses directions for resolving the harder problems of supporting notation design, processing and computer-aided generic editing. A number of future research areas are thereby opened up. For practical trial of the ideas, the work proceeds to the development and partial implementation of a system to aid the design of notations and editors. Finally the thesis is evaluated as a contribution to theory in an area which has not attracted a standard approach

Proceedings of the 7th Sound and Music Computing Conference

Proceedings of the SMC2010 - 7th Sound and Music Computing Conference, July 21st - July 24th 2010

Proceedings of the 19th Sound and Music Computing Conference

Proceedings of the 19th Sound and Music Computing Conference - June 5-12, 2022 - Saint-Étienne (France). https://smc22.grame.f