Open Access. Powered by Scholars. Published by Universities.®
Articles 1 - 4 of 4
Full-Text Articles in Computer Engineering
Formally Designing And Implementing Cyber Security Mechanisms In Industrial Control Networks., Mehdi Sabraoui
Formally Designing And Implementing Cyber Security Mechanisms In Industrial Control Networks., Mehdi Sabraoui
Electronic Theses and Dissertations
This dissertation describes progress in the state-of-the-art for developing and deploying formally verified cyber security devices in industrial control networks. It begins by detailing the unique struggles that are faced in industrial control networks and why concepts and technologies developed for securing traditional networks might not be appropriate. It uses these unique struggles and examples of contemporary cyber-attacks targeting control systems to argue that progress in securing control systems is best met with formal verification of systems, their specifications, and their security properties. This dissertation then presents a development process and identifies two technologies, TLA+ and seL4, that can be …
Cognitive Satellite Communications And Representation Learning For Streaming And Complex Graphs., Wenqi Liu
Cognitive Satellite Communications And Representation Learning For Streaming And Complex Graphs., Wenqi Liu
Electronic Theses and Dissertations
This dissertation includes two topics. The first topic studies a promising dynamic spectrum access algorithm (DSA) that improves the throughput of satellite communication (SATCOM) under the uncertainty. The other topic investigates distributed representation learning for streaming and complex networks. DSA allows a secondary user to access the spectrum that are not occupied by primary users. However, uncertainty in SATCOM causes more spectrum sensing errors. In this dissertation, the uncertainty has been addressed by formulating a DSA decision-making process as a Partially Observable Markov Decision Process (POMDP) model to optimally determine which channels to sense and access. Large-scale networks have attracted …
Development Of Enhanced Weed Detection System With Adaptive Thresholding, K-Means And Support Vector Machine, Dheeman Saha
Development Of Enhanced Weed Detection System With Adaptive Thresholding, K-Means And Support Vector Machine, Dheeman Saha
Electronic Theses and Dissertations
This paper proposes a sophisticated classification process to segment the leaves of carrots from weeds (mostly Chamomile). In the early stages, of the plants’ development, both weeds and carrot leaves are intermixed with each other and have similar color texture. This makes it difficult to identify without the help of the domain experts. Therefore, it is essential to remove the weed regions so that the carrot plants can grow without any interruptions. The process of identifying the weeds become more challenging when both plant and weed regions overlap (inter-leaves). The proposed system addresses this problem by creating a sophisticated means …
Development Of Semantic Scene Conversion Model For Image-Based Localization At Night, Dongyoun Kim
Development Of Semantic Scene Conversion Model For Image-Based Localization At Night, Dongyoun Kim
Electronic Theses and Dissertations
Developing an autonomous vehicle navigation system invariant to illumination change is one of the biggest challenges in vision-based localization field due to the fact that the appearance of an image becomes inconsistent under different light conditions even with the same location. In particular, the night scene images have greatest change in appearance compared to the according day scenes. Moreover, the night images do not have enough information in Image-based localization. To deal with illumination change, image conversion methods have been researched. However, these methods could lose the detail of objects and add fake objects into the output images. In this …