Open Access. Powered by Scholars. Published by Universities.®
- Keyword
-
- Air Traffic Management (1)
- Aviation Communications (1)
- CAmkES (1)
- Communications Demand (1)
- Computer graphics (1)
-
- Computer programs (1)
- Cyber security (1)
- Electric field modeling (1)
- FORTRAN (1)
- Flight Trajectory Prediction (1)
- Genetic algorithm (1)
- HP/1000 (1)
- Hybrid-Recurrent Neural Network (1)
- Model checking (1)
- Neuron (1)
- Plotting charts (1)
- Pulse position optimization (1)
- SeL4 (1)
- Simulation (1)
- Spinal cord stimulation (1)
- TLA+ (1)
- Verification (1)
Articles 1 - 4 of 4
Full-Text Articles in Other Computer Engineering
Flight Trajectory Prediction For Aeronautical Communications., Nathan T Schimpf
Flight Trajectory Prediction For Aeronautical Communications., Nathan T Schimpf
Electronic Theses and Dissertations
The development of future technologies for the National Airspace System (NAS) will be reliant on a new communications infrastructure capable of managing a limited spectrum among aircraft and ground systems. Emerging approaches to this spectrum allocation task mostly consider machine learning techniques reliant on aircraft and Air Traffic Control (ATC) sector data. Much of this data, however, is not directly available. This thesis considers the development of two such data products: the 4D trajectory (latitude, longitude, altitude, and time) of aircraft, and the anticipated airspace utilization and communication demand within an ATC sector. Data predictions are treated as a time …
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 …
Modeling And Simulation Methodologies For Spinal Cord Stimulation., Saliya Kumara Kirigeeganage
Modeling And Simulation Methodologies For Spinal Cord Stimulation., Saliya Kumara Kirigeeganage
Electronic Theses and Dissertations
The use of neural prostheses to improve health of paraplegics has been a prime interest of neuroscientists over the last few decades. Scientists have performed experiments with spinal cord stimulation (SCS) to enable voluntary motor function of paralyzed patients. However, the experimentation on the human spinal cord is not a trivial task. Therefore, modeling and simulation techniques play a significant role in understanding the underlying concepts and mechanics of the spinal cord stimulation. In this work, simulation and modeling techniques related to spinal cord stimulation were investigated. The initial work was intended to visualize the electric field distribution patterns in …
Design And Applications Of A Graphics Package For The Hp1000 Computer., Hsiao-Chih George Lee
Design And Applications Of A Graphics Package For The Hp1000 Computer., Hsiao-Chih George Lee
Electronic Theses and Dissertations
The objective of this thesis is to develop the FORTRAN subroutine PLOTER which is a general-purpose plotting tool to plot charts on a Hewlett Packard plotter. The programs RESP and INVLAP which can plot the frequency and time responses of system functions are modified to adopt the PLOTER subroutine and are stored of the HP1000-A900 minicomputer whose software, the GRAPHICS/1000, supports the graphics ability of PLOTER. This thesis describes the theories, functions, software techniques and operations of the PLOTER subroutine and the application programs RESP and the INVLAP. It also provides program listings and example plots.