Now showing items 119-138 of 153

    • Power System Stability Enhancement through Data Center Ancillary Services 

      Ali, Muhammad (North Dakota State University, 2015)
      The primary objective of a control system is stability and steady-state performance under varying dynamics, such as faults and disturbances. The stable power system should continue to function properly in case of faults ...
    • Power-Efficient Adaptive Memory Design and Optimization for Video and Deep Learning 

      Das, Hritom (North Dakota State University, 2020)
      Memory devices such as Static Random-Access Memory (SRAM) and Dynamic Random-Access Memory (DRAM) are dominating members of today’s semiconductor industry. Most of the silicon area in a digital system is occupied by memory ...
    • A Precision Slip Frequency Detector 

      Horvik, Eivind (North Dakota State University, 1957)
      The problem of measuring low values of slip of induction machines is present in most Electrical Engineering laboratories. A rather high accuracy of the determination is necessary for theoretical calculations of motor ...
    • Provable Data Possession Using Sigma Protocols 

      Mohan, Akshaya (North Dakota State University, 2013)
      A Provable Data Possession (PDP) scheme allows a client which has stored data at an untrusted server to verify that the server possesses the original data that it stored without retrieving the entire file. In this thesis ...
    • Rare Molecule Biomarker Detection Using Dielectrophoresis Spectroscopy 

      Gudagunti, Fleming Dackson (North Dakota State University, 2021)
      According to the American cancer society, 1.9 million new cancer cases and 608,570 cancer deaths are projected to occur in the United States. There is a fundamental technology gap that prevents the availability of tools ...
    • Refinementbased Verification of Elastic Pipelined System with Early Evaluation 

      Cai, Yangwei (North Dakota State University, 2010)
      This thesis presents a formal verification procedure to check correctness of the synchronous elastic pipelined system that incorporates early evaluation against its synchronous parent system. Note that the goal of the ...
    • Resilient Monitoring and Robust Control towards Blackout Prevention in Modern Power Grids 

      Banerjee, Abhishek (North Dakota State University, 2020)
      This dissertation embodies a comprehensive approach towards resilient monitoring of frid events using Structure Preserving Energy Functions (SPEFs) and introduces a novel control architecture in Multi Terminal Direct Current ...
    • Secure Data Sharing in Cloud 

      Dhamotharan, Revathi (North Dakota State University, 2014)
      Cloud storage is widely used for sharing data due to low cost maintenance. But, it is also necessary to secure data on cloud. Secure Data Sharing in Cloud focuses mainly on: a) privacy and confidentiality, b) key management ...
    • Semantic Security for the Fast Fading Wiretap Channel. 

      Pavlicek, Parker (North Dakota State University, 2018)
      We provide a set of semantically secure achievable rates for the fast fading wiretap channel. In particular, we do so for the cases where there is channel state information at the transmitter (CSIT) for both the main and ...
    • A Sensor System Designed for Electrochemical Impedance Spectroscope-based Coating Performance Evaluation 

      Shi, Yulong (North Dakota State University, 2010)
      One of the traditional methods for coating performance evaluation is using Electrochemical Impedance Spectroscopy (EIS). The theory of using EIS to evaluate coating performance is to measure the coating impedance in a ...
    • Solution Processing Electronics Using Si6 H12 Inks: Poly-Si TFTs and Co-Si MOS Capacitors 

      Ullah, Syed Shihab (North Dakota State University, 2011)
      The development of new materials and processes for electronic devices has been driven by the integrated circuit (IC) industry since the dawn of the computer era. After several decades of '"Moore's Law"-type innovation, ...
    • State-Space Randles Cell Model for Instrument Calibration 

      Fonseca, Aaron James (North Dakota State University, 2020)
      It is desirable to calibrate electrochemical impedance spectroscopy (EIS) instrumentation using a Randles circuit. This presents a challenge as realistic loads, simulated by this circuit, contain theoretical components ...
    • A Study of Conformal Metasurfaces on Passive Beam Steering for Arrays 

      Ge, Ruisi (North Dakota State University, 2022)
      Beam-steering has drawn significant interest due to the expansion of network capacity. However, a traditional beam steering system involves active phase shifters and controlling networks which can be complex. This work ...
    • A Study of Inverter-Based Resources on Power Grid Operation Under Uncertain Operating Conditions 

      Maharjan, Manisha (North Dakota State University, 2022)
      The electric power grid is undergoing a rapid change predominantly driven by high penetration levels of renewable energy resources (RERs) such as wind and solar. These resources are interfaced with the power grid through ...
    • Synthesis of Specifications and Refinement Maps for Real-Time Object Code Verification 

      Al-Qtiemat, Eman Mohammad (North Dakota State University, 2020)
      Formal verification methods have been shown to be very effective in finding corner-case bugs and ensuring the safety of embedded software systems. The use of formal verification requires a specification, which is typically ...
    • Thermo-Mechanical Selective Laser Assisted Die Transfer 

      Miller, Ross Alan (North Dakota State University, 2011)
      Laser Induced Forward Transfer (LIFT) techniques show promise as a disruptive technology which will enable the placement of components smaller than what conventional pick-and-place techniques are capable of today. Limitations ...
    • Thrombolysis of Blood Clots using Wirelessly Powered Inferior Vena Cava Filters 

      Schwarz, Nolan (North Dakota State University, 2018)
      Venous thromboembolisms (VTE) are estimated to affect up to 900,000 individuals in the U.S. each year. Traditionally, VTE is treated prophylactically with anticoagulants or directly with thrombolytic therapies. Both ...
    • Timed Refinement for Verification of Real-Time Object Code Programs 

      Dubasi, Mohana Asha Latha (North Dakota State University, 2018)
      Real-time systems such as medical devices, surgical robots, and microprocessors are safety- critical applications that have hard timing constraint. The correctness of real-time systems is important as the failure may result ...
    • Timed Refinement for Verification of Real-Time Object Code Programs 

      Dubasi, Mohana Asha Latha (North Dakota State University, 2018)
      Real-time systems such as medical devices, surgical robots, and microprocessors are safety-critical applications that have hard timing constraint. The correctness of real-time systems is important as the failure may ...
    • Towards Secure Cloud Storage Services 

      Ali, Mazhar (North Dakota State University, 2015)
      Cloud computing is anticipated to revolutionize the Information and Communication Technology sector and has been a mainstream of research over the last decade. The cloud computing, upsurges the capabilities of the hardware ...