5,157 research outputs found

    Graduate Catalog of Studies, 2023-2024

    Get PDF

    UMSL Bulletin 2023-2024

    Get PDF
    The 2023-2024 Bulletin and Course Catalog for the University of Missouri St. Louis.https://irl.umsl.edu/bulletin/1088/thumbnail.jp

    Graduate Catalog of Studies, 2023-2024

    Get PDF

    Resource-aware scheduling for 2D/3D multi-/many-core processor-memory systems

    Get PDF
    This dissertation addresses the complexities of 2D/3D multi-/many-core processor-memory systems, focusing on two key areas: enhancing timing predictability in real-time multi-core processors and optimizing performance within thermal constraints. The integration of an increasing number of transistors into compact chip designs, while boosting computational capacity, presents challenges in resource contention and thermal management. The first part of the thesis improves timing predictability. We enhance shared cache interference analysis for set-associative caches, advancing the calculation of Worst-Case Execution Time (WCET). This development enables accurate assessment of cache interference and the effectiveness of partitioned schedulers in real-world scenarios. We introduce TCPS, a novel task and cache-aware partitioned scheduler that optimizes cache partitioning based on task-specific WCET sensitivity, leading to improved schedulability and predictability. Our research explores various cache and scheduling configurations, providing insights into their performance trade-offs. The second part focuses on thermal management in 2D/3D many-core systems. Recognizing the limitations of Dynamic Voltage and Frequency Scaling (DVFS) in S-NUCA many-core processors, we propose synchronous thread migrations as a thermal management strategy. This approach culminates in the HotPotato scheduler, which balances performance and thermal safety. We also introduce 3D-TTP, a transient temperature-aware power budgeting strategy for 3D-stacked systems, reducing the need for Dynamic Thermal Management (DTM) activation. Finally, we present 3QUTM, a novel method for 3D-stacked systems that combines core DVFS and memory bank Low Power Modes with a learning algorithm, optimizing response times within thermal limits. This research contributes significantly to enhancing performance and thermal management in advanced processor-memory systems

    LIPIcs, Volume 251, ITCS 2023, Complete Volume

    Get PDF
    LIPIcs, Volume 251, ITCS 2023, Complete Volum

    UMSL Bulletin 2022-2023

    Get PDF
    The 2022-2023 Bulletin and Course Catalog for the University of Missouri St. Louis.https://irl.umsl.edu/bulletin/1087/thumbnail.jp

    Contactless excitation for electric machines: high temperature superconducting flux pumps

    Get PDF
    With the intensification of global warming and climate change, the pace of transformation to a neutral-emission society is accelerating. In various sectors, electrification has become the absolute tendency to promote such a movement, where electric machines play an important role in the current power generation system. It is widely convinced that electric machines with very high power density are essential for future applications, which, however, can be hardly achieved by conventional technologies. Owing to the maturation of the second generation (2G) high temperature superconducting (HTS) technologies, it has been recognized that superconducting machine could be a competitive candidate to realize the vision. One significant obstacle that hinders the implementation of superconducting machines is how to provide the required magnetic fields, or in other words, how to energise them appropriately. Conventional direct injection is not suitable for HTS machines, because the current leads would bridge ambident temperature to the cryogenic environment, which can impose considerable heat load on the system and increase the operational cost. Thus, an efficient energisation method is demanded by HTS machines. As an emerging technology that can accumulate substantial flux in a closed loop without any physical contact, HTS flux pumps have been proposed as a promising solution. Among the existing developed HTS flux pumps, rotary HTS flux pumps, or so-called HTS dynamo, can output non-zero time-averaged DC voltage and charge the rest of the circuit if a closed loop has been formed. This type of flux pump is often employed together with HTS coils, where the HTS coils can potentially work in the persistent current mode, and act like electromagnets with a considerable magnetic field, having a wide range of applications in industry. The output characteristics of rotary HTS flux pumps have been extensively explored through experiments and finite element method (FEM) simulations, yet the work on constructing statistical models as an alternative approach to capture key characteristics has not been studied. In this thesis, a 2D FEM program has been developed to model the operation of rotary HTS flux pumps and evaluate the effects of different factors on the output voltage through parameter sweeping and analysis of variance. Typical design considerations, including the operating frequency, air gap, HTS tape width, and remanent flux density have been investigated, in particular, the bilateral effect of HTS tape width has been discovered and explained by looking at the averaged integration of the electric field over the HTS tape. Based on the data obtained from various simulations, regression analysis has been conducted through a collection of machine learning methods. It has been demonstrated that the output voltage of a rotary HTS flux pump can be obtained promptly with satisfactory accuracy via Gaussian process regression, aiming to provide a novel approach for future research and a powerful design tool for industrial applications using rotary HTS flux pumps. To enhance the applicability of the proposed statistical models, an updated FEM program has been built to take more parameters into account. The newly added parameters, namely the rotor radius and the width of permanent magnet, together with formerly included ones, should have covered all the key design parameters for a rotary HTS flux pump. Based on data collected from the FEM model, a well-trained semi-deep neural network (DNN) model with a back-propagation algorithm has been put forward and validated. The proposed DNN model is capable of quantifying the output voltage of a rotary HTS flux pump instantly with an overall accuracy of 98% with respect to the simulated values with all design parameters explicitly specified. The model possesses a powerful ability to characterize the output behaviour of rotary HTS flux pumps by integrating all design parameters, and the output characteristics of rotary HTS flux pumps have been successfully demonstrated and visualized using this model. Compared to conventional time-consuming FEM-based numerical models, the proposed DNN model has the advantages of fast learning, accurate computation, as well as strong programmability. Therefore, the DNN model can greatly facilitate the design and optimization process for rotary HTS flux pumps. An executable application has been developed accordingly based on the DNN model, which is believed to provide a useful tool for learners and designers of rotary HTS flux pumps. A new variant inspired by the working principles of rotary HTS flux pumps has been proposed and termed as stationary wave HTS flux pumps. The superiority of this type is that it has a simple structure without any moving components, and it utilises a controllable current-driven electromagnet to provide the required magnetic field. It has been demonstrated that the origin of the output voltage is determined by the asymmetric distribution of the dynamic resistance in the HTS tape, for which the electromagnet must be placed at such a position that its central line is not aligned with that of the HTS tape. A numerical model has been built to simulate the operation of a stationary wave HTS flux pump, based on which the output characteristics and dynamic resistance against various parameters have been investigated. Besides, accurate and reliable statistical models have been proposed to predict the open circuit voltage and effective dynamic resistance by adapting the previously developed machine learning techniques. The work presented in this PhD thesis can bring more insight into HTS flux pumps as an emerging promising contactless energisation technology, and the proposed statistical models can be particularly useful for the design and optimization of such devices

    Secure storage systems for untrusted cloud environments

    Get PDF
    The cloud has become established for applications that need to be scalable and highly available. However, moving data to data centers owned and operated by a third party, i.e., the cloud provider, raises security concerns because a cloud provider could easily access and manipulate the data or program flow, preventing the cloud from being used for certain applications, like medical or financial. Hardware vendors are addressing these concerns by developing Trusted Execution Environments (TEEs) that make the CPU state and parts of memory inaccessible from the host software. While TEEs protect the current execution state, they do not provide security guarantees for data which does not fit nor reside in the protected memory area, like network and persistent storage. In this work, we aim to address TEEs’ limitations in three different ways, first we provide the trust of TEEs to persistent storage, second we extend the trust to multiple nodes in a network, and third we propose a compiler-based solution for accessing heterogeneous memory regions. More specifically, • SPEICHER extends the trust provided by TEEs to persistent storage. SPEICHER implements a key-value interface. Its design is based on LSM data structures, but extends them to provide confidentiality, integrity, and freshness for the stored data. Thus, SPEICHER can prove to the client that the data has not been tampered with by an attacker. • AVOCADO is a distributed in-memory key-value store (KVS) that extends the trust that TEEs provide across the network to multiple nodes, allowing KVSs to scale beyond the boundaries of a single node. On each node, AVOCADO carefully divides data between trusted memory and untrusted host memory, to maximize the amount of data that can be stored on each node. AVOCADO leverages the fact that we can model network attacks as crash-faults to trust other nodes with a hardened ABD replication protocol. • TOAST is based on the observation that modern high-performance systems often use several different heterogeneous memory regions that are not easily distinguishable by the programmer. The number of regions is increased by the fact that TEEs divide memory into trusted and untrusted regions. TOAST is a compiler-based approach to unify access to different heterogeneous memory regions and provides programmability and portability. TOAST uses a load/store interface to abstract most library interfaces for different memory regions

    The Development of Microdosimetric Instrumentation for Quality Assurance in Heavy Ion Therapy, Boron Neutron Capture Therapy and Fast Neutron Therapy

    Get PDF
    This thesis presents research for the development of new microdosimetric instrumentation for use with solid-state microdosimeters in order to improve their portability for radioprotection purposes and for QA in various hadron therapy modalities. Monte Carlo simulation applications are developed and benchmarked, pertaining to the context of the relevant therapies considered. The simulation and experimental findings provide optimisation recommendations relating to microdosimeter performance and possible radioprotection risks by activated materials. The first part of this thesis is continuing research into the development of novel Silicon-on-Insulator (SOI) microdosimeters in the application of hadron therapy QA. This relates specifically to the optimisation of current microdosimeters, development of Monte Carlo applications for experimental validation, assessment of radioprotection risks during experiments and advanced Monte Carlo modelling of various accelerator beamlines. Geant4 and MCNP6 Monte Carlo codes are used extensively in this thesis, with rigorous benchmarking completed in the context of experimental verification, and evaluation of the similarities and differences when simulating relevant hadron therapy facilities. The second part of this thesis focuses on the development of a novel wireless microdosimetry system - the Radiodosimeter, to improve the operation efficiency and minimise any radioprotection risks. The successful implementation of the wireless Radiodosimeter is considered as an important milestone in the development of a microdosimetry system that can be operated by an end-user with no prior knowledge

    2023-2024 Catalog

    Get PDF
    The 2023-2024 Governors State University Undergraduate and Graduate Catalog is a comprehensive listing of current information regarding:Degree RequirementsCourse OfferingsUndergraduate and Graduate Rules and Regulation
    • …
    corecore