Open Access. Powered by Scholars. Published by Universities.®
- Discipline
- Keyword
-
- Asymmetry (1)
- Asynchronous systems (1)
- Automata (1)
- Bubbles (1)
- Communication in medicine (1)
-
- Computer networks--Security measures (1)
- Digital systems (1)
- Fast fourier transforms (1)
- Frequency (1)
- Heterogeneity (1)
- Magnetic fields (1)
- Microcomputers (1)
- Parallel processing (1)
- Radiation hardening tolerance (1)
- Satellite networks (1)
- Scattering (1)
- Space Communication Protocol Standard (SCPS) (1)
- Timing circuits (1)
- Transfer Control Protocol (TCP) (1)
- United States. Air Force (1)
- Very large scale integration (1)
Articles 1 - 6 of 6
Full-Text Articles in Computer Engineering
Network Security Versus Network Connectivity: A Framework For Addressing The Issues Facing The Air Force Medical Community, Franklin E. Cunningham Jr.
Network Security Versus Network Connectivity: A Framework For Addressing The Issues Facing The Air Force Medical Community, Franklin E. Cunningham Jr.
Theses and Dissertations
The Air Force has instituted Barrier Reef to protect its networks. The Air Force medical community operates network connections that are incompatible with Barrier Reef. To overcome this problem, OASD(HA) directed the Tri-Service Management Program Office (TIMPO) to develop an architecture that protects all military health systems and allows them to link with all three services and outside partners. This research studied the underlying networking issues and formed a framework based on data from network experts from the Air Force's medical centers and their base network organizations. The findings were compared TIMPO and a composite framework was developed that more …
Timed Safety Automata And Logic Conformance, Frank C. D. Young
Timed Safety Automata And Logic Conformance, Frank C. D. Young
Theses and Dissertations
Timed Logic Conformance (TLC) is used to verify the behavioral and timing properties of detailed digital circuits against abstract circuit specifications when both are modeled as Timed Safety Automata (TSA) with real-valued clocks. TLC is a bisimulation-style partial order relationship defined over TSA state space. In contrast to timed simulation, Calculus of Timed Refinement, and time-abstracted bisimulation, TLC defines when one system is an acceptable implementation of another by asymmetric action-matching requirements for specification inputs and implementation outputs. TLC intuitively and pragmatically supports writing abstract specifications and verifying them against implementations. TLC scales up by substituting verified specifications for implementations …
Performance Analysis Of Tcp Enhancements In Satellite Data Networks, Ren H. Broyles
Performance Analysis Of Tcp Enhancements In Satellite Data Networks, Ren H. Broyles
Theses and Dissertations
This research examines two proposed enhancements to the well-known Transport Control Protocol (TCP) in the presence of noisy communication links. The Multiple Pipes protocol is an application-level adaptation of the standard TCP protocol, where several TCP links cooperate to transfer data. The Space Communication Protocol Standard - Transport Protocol (SCPS-TP) modifies TCP to optimize performance in a satellite environment. While SCPS-TP has inherent advantages that allow it to deliver data more rapidly than Multiple Pipes, the protocol, when optimized for operation in a high-error environment, is not compatible with legacy TCP systems, and requires changes to the TCP specification. This …
An Improved Asynchronous Implementation Of A Fast Fourier Transform Architecture For Space Applications, David J. Barnhart
An Improved Asynchronous Implementation Of A Fast Fourier Transform Architecture For Space Applications, David J. Barnhart
Theses and Dissertations
A second-generation fully asynchronous Fast Fourier Transform (FFT) processor for space applications is developed in this thesis. A high-performance patented FFT architecture invented by Suter and Stevens was used as the basis for a 16-point FFT (FFT-16) processor design. A brief derivation of the architecture, the asynchronous design methodologies used and space-based integrated circuit issues are presented. The Synopsys VLSI CAD system and a radiation tolerant design library developed by the Air Force Research Laboratory were used to implement the design. A critical building block of the FFT-16, the FFT-4, was fabricated as a cost-effective method to validate the cell …
Te Scattering From Bubbles In Ram, John G. Cochran
Te Scattering From Bubbles In Ram, John G. Cochran
Theses and Dissertations
This research looks at various bubble sizes in one particular magnetic RAM (MAURAM) type, from grazing incidence (00) to 450 and at a frequency range from 2-18 GHz, TE polarization. The results from the absolute RCS measurement of the various sized RAM bubbles are discussed in terms of a frequency dependent increase in RCS. In the frequency band of interest, 2-18GHz, a RAM bubble increases the RCS at all angles, from grazing incidence (00) to 450. From 10-18GHz the RAM bubble does not cause an increase in RCS. In general the highest RCS is at 2GHz and tapers down as …
Asymmetric Load Balancing On A Heterogeneous Cluster Of Pcs, Christopher A. Bohn
Asymmetric Load Balancing On A Heterogeneous Cluster Of Pcs, Christopher A. Bohn
Theses and Dissertations
In recent years, high performance computing with commodity clusters of personal computers has become an active area of research. Many organizations build them because they need the computational speedup provided by parallel processing but cannot afford to purchase a supercomputer. With commercial supercomputers and homogenous clusters of PCs, applications that can be statically load balanced are done so by assigning equal tasks to each processor. With heterogeneous clusters, the system designers have the option of quickly adding newer hardware that is more powerful than the existing hardware. When this is done, the assignment of equal tasks to each processor results …