Search
Now showing items 41-50 of 69
Formal Verification Techniques for Safety Critical Medical Device Software Control
(North Dakota State University, 2016)
Safety-critical medical devices play an important role in improving patients health and
lifestyle. Faulty behaviors of such devices can cause harm or even death. Often these faulty
behaviors are caused due to bugs in ...
Multisine Excitation Design to Increase the Efficiency of System Identification Signal Generation and Analysis
(North Dakota State University, 2012)
Reducing sample frequencies in measurement systems can save power, but reduction to the point of undersampling results in aliasing and possible signal distortion. Nonlinearities of the system under test can also lead to ...
A Metamaterial-Based Multiband Phase Shifter
(North Dakota State University, 2014)
A design methodology for a multi-band phase shifter using a metamaterial-based transmission line was developed. This method is different in that the loaded-line phase shifter has a phase shift of 90 degrees at the center ...
Using Formal Methods to Validate the Usage, Protocols, and Feasibility in Large Scale Computing Systems
(North Dakota State University, 2014)
A paradigm shift has occurred in the Information and Communication Technology sector. The main obstacle to relegate complex and sensitive tasks is not the inadequate speed and unsatisfactory computing power of the existing ...
A Formal Verification Methodology for Real-time FPGA
(North Dakota State University, 2017)
Real-time systems in safety-critical and mission-critical domains have stringent or hard timing constraints. The correctness of such systems is of prime importance to avoid any unacceptable consequences like a big financial ...
Energy Efficient Resource Scheduling Methodologies for Cluster and Cloud Computing
(North Dakota State University, 2015)
One of the major challenges in the High Performance Computing (HPC) clusters, Data Centers, and Cloud Computing paradigms is intelligent power management to improve energy efficiency. The key contribution of the presented ...
On Measuring the Robustness of Cloud Computing Systems
(North Dakota State University, 2015)
The diverse computing services offered by the cloud computing paradigm have escalated the interest in cloud deployment to a great extent. Cloud systems need to be resilient to uncertainties and perturbations. However, the ...
A Phase Correction Technique Based on Spatial Movements of Antennas in Real-Time (S.M.A.R.T.) for Designing Self-Adapting Conformal Array Antennas
(North Dakota State University, 2017)
This research presents a real-time adaptive phase correction technique for flexible phased array antennas on conformal surfaces of variable shapes. Previously reported pattern correctional methods for flexible phased array ...
Cloud Based Recommendation Services for Healthcare
(North Dakota State University, 2016)
With the inception of portable computing devices, enormous growth in the healthcare data over the Internet has been observed. Consequently, the Web based systems come across several challenges, such as storage, availability, ...
A New Methodology for the Design and Tuning of Robust PID Controllers in Electric Drives
(North Dakota State University, 2014)
AC induction motor-drive systems are the backbone for numerous industrial
applications, such as aerospace, medical equipment, and nuclear power plants.
The control performance of electric drives is sensitive to several ...