Computer Sciences Commons^™

The Cluster Multipole Algorithm For Far-Field Computations, Rakesh R. Patel

Electrical & Computer Engineering Theses & Dissertations

Computer simulations of N-body systems are beneficial to study the overall behavior of a number of physical systems in fields such as astrophysics, molecular dynamics, and computational fluid dynamics. A new approach for computer simulations of N-body systems is proposed in this research. The new algorithm is called the Cluster Multipole Algorithm (CMA). The goals of the new algorithm are to improve the applicability to non-point sources and to provide more control on the accuracy over current algorithms. The algorithm is targeted to applications that do not require rebuilding the data structure about the system every time step due to …

Analyzing The Effects Of Display Characteristics And Cognitive Variables On Performance Using Keystroke And Eye Movement Data, Orhan E. Beckman

Psychology Theses & Dissertations

Information about how operators use their eyes while interacting with visual displays is often an overlooked aspect of human-computer interaction. Such information is fundamental to assessing the quality of software interfaces and understanding the cognitive processes that underlie operator behavior. Other research evaluating information displays evolved from using reaction time and subjective data as dependent variables to using oculometric measures. In the current research conventional performance measures are coupled with oculometric measures to evaluate the influence display characteristics and cognitive variables have on performance.

Twelve subjects used a software program to complete a series of specified tasks. Subjects were asked …

Multiple Streams Synchronization In Collaborative Multimedia Systems, Emilia Stoica

Computer Science Theses & Dissertations

With the recent increase of the communication bandwidth and processor power, new types of applications have emerged. Among them, there are multimedia application, in which users are able to control, combine, and manipulate different types of media, such as text, sound, video, computer graphics, and animation. A key requirement in any multimedia application is to synchronize the delivery of various media streams to the user. To achieve this, the sender has to provide the temporal relations between the streams as they are captured. Since the receiver uses this information in streams presentation, its accuracy is very important.

Our main contribution …

Coupled Electrodynamic-Monte Carlo Simulations Of Nanoscale Gaas Terahertz Optical Mixers, Jiang Li

Electrical & Computer Engineering Theses & Dissertations

The concept of mixing or heterodyning has traditionally been used for microwaves and for radio frequency communications. However, the concept can easily be extended into the optical frequency regime. By doing so, the photomixing process can serve as a very versatile tool for both the generation of ultrahigh frequency (terahertz) and the detection of weak optical signals.

The aim of this thesis is to perform a theoretical study of the photomixing process inside GaAs devices as the non-linear elements. A coupled approach which combines the Monte Carlo simulation scheme for the carrier transport, with Maxwell's equation for the electrodynamics, has …

Spectral/Temporal Segment Features For Automatic Speech Recognition, Xi Hong Wang

Electrical & Computer Engineering Theses & Dissertations

In this thesis an approach for efficiently computing a compact spectral/temporal feature set for representing a segment of speech, with effective resolution depending on both frequency and time position within the segment, is developed, analyzed, and tested. The goal of this method is to mimic the resolution properties of the human auditory system, but using a computationally efficient FFT-based front end rather than a more complex auditory model. In particular this method applies both frequency and time "warping" to FFT spectra to obtain good frequency resolution at low frequencies and good time resolution at high frequencies. Time resolution is also …

A Calibrated Shoreline Change Model For The Southeast Atlantic Ocean Coast Of Virginia, Prasert Vangsantitrakul

Civil & Environmental Engineering Theses & Dissertations

The idea that the long-term historic shoreline change at a given site is mainly caused by spatial gradients in the net longshore sediment transport is generally accepted. The position changes of the coastline can therefore be modeled by calculating the coastal erosion or accretion from the longshore sediment transport. This study used the GENESIS software program, one-line model, to simulate and calibrate the long-term shoreline change of the southeast coast of Virginia from 1925 to 1980. The study reach covers 45- km from Cape Henry to the Virginia-North Carolina border.

This study experienced the lack of certain important historic data …

Study Of Human Factors Variables In Battle Outcome Prediction Models, David Andrew Glovier

Engineering Management & Systems Engineering Theses & Dissertations

Over time there have been many improvements in models that are used to predict the outcome of battles. Currently there is much supposition and speculation surrounding the use of human performance related factors as additional inputs to battle simulation models to improve their accuracy. However there is no conclusive scientific evidence which shows that these factors do make a significant difference. This study investigates the use of factors that may impact on the human performance directly or indirectly in battle prediction models. These factors consist of traditional human factors and external factors that may influence the human performance. The research …

Building Lms Adaptive Filters With Register-Based Fpgas, Li Ding

Electrical & Computer Engineering Theses & Dissertations

In this thesis, an 8-bit least mean squares (LMS) adaptive digital filter with 16 coefficients is implemented on a single FPGA, using the MaxPlus+2 design environment. The system is constructed as a hierarchical structure, using four different levels of design hierarchy. Subdesigns at each level of the hierarchy project are complied, fitted and simulated to test and verify their functional correctness. The complete system is tested and verified by checking the MaxPlus+2 simulator results against fixed-point integer arithmetic simulations written in Matlab. The resulting adaptive filter is subsequently mapped to the Alters FLEX I OK20TC144-3 device, resulting in a 14,500 …

A Hierarchical Filtering-Based Monitoring Architecture For Large-Scale Distributed Systems, Ehab Salem Al-Shaer

Computer Science Theses & Dissertations

On-line monitoring is essential for observing and improving the reliability and performance of large-scale distributed (LSD) systems. In an LSD environment, large numbers of events are generated by system components during their execution and interaction with external objects (e.g. users or processes). These events must be monitored to accurately determine the run-time behavior of an LSD system and to obtain status information that is required for debugging and steering applications. However, the manner in which events are generated in an LSD system is complex and represents a number of challenges for an on-line monitoring system. Correlated events axe generated concurrently …

An Alternative Method For Determining Adjusted Function Points As The Basis For Software Cost Estimating, William Alexander Eldred

Engineering Management & Systems Engineering Theses & Dissertations

As software costs become an increasingly higher percentage of total computer system costs, it becomes increasingly more important for software development managers to have the ability to predict development costs with reasonable accuracy early in the software development cycle. Software development cost estimates are based in large measure on software size. Function points are considered by many to be a de facto industry standard as a size metric. The function points technique, unlike lines-of-code, can be applied early in the software development cycle and is language independent. Critics claim that the function point “value adjustment factor,” which purports to capture …

The Adjoint Alternative For Matrix Operators, C. H. Cooke

Mathematics & Statistics Faculty Publications

The following inverse problem is considered: given a matrix B of rank r, does there exist a matrix A such that

B = T(A) = adjoint (A)

where the classical adjoint operation is intended? Conditions are determined on the rank of B which decides whether or not B lies in the range of the matrix adjoint operator.

A Framework For Controlling Quality Of Sessions In Multimedia Systems, Alaa S. Youssef

Computer Science Theses & Dissertations

Collaborative multimedia systems demand overall session quality control beyond the level of quality of service (QoS) pertaining to individual connections in isolation of others. At every instant in time, the quality of the session depends on the actual QoS offered by the system to each of the application streams, as well as on the relative priorities of these streams according to the application semantics. We introduce a framework for achieving QoSess control and address the architectural issues involved in designing a QoSess control laver that realizes the proposed framework. In addition, we detail our contributions for two main components of …

Buckets: Aggregative, Intelligent Agents For Publishing, Michael L. Nelson, Kurt Maly, Stewart N. T. Shen, Mohammad Zubair

Computer Science Faculty Publications

Buckets are an aggregative, intelligent construct for publishing in digital libraries. The goal of research projects is to produce information. This information is often instantiated in several forms, differentiated by semantic types (report, software, video, datasets, etc.). A given semantic type can be further differentiated by syntactic representations as well (PostScript version, PDF version, Word version, etc.). Although the information was created together and subtle relationships can exist between them, different semantic instantiations are generally segregated along currently obsolete media boundaries. Reports are placed in report archives, software might go into a software archive, but most of the data and …

Creating A Canonical Scientific And Technical Information Classification System For Ncstrl+, Melissa E. Tiffany, Michael L. Nelson

Computer Science Faculty Publications

The purpose of this paper is to describe the new subject classification system for the NCSTRL+ project. NCSTRL+ is a canonical digital library (DL) based on the Networked Computer Science Technical Report Library (NCSTRL). The current NCSTRL+ classification system uses the NASA Scientific and Technical (STI) subject classifications, which has a bias towards the aerospace, aeronautics, and engineering disciplines. Examination of other scientific and technical information classification systems showed similar discipline-centric weaknesses. Traditional, library-oriented classification systems represented all disciplines, but were too generalized to serve the needs of a scientific and technically oriented digital library. Lack of a suitable existing …

On The Structure Of Graphs With Few P4s, Luitpold Babel, Stephan Olariu

Computer Science Faculty Publications

We present new classes of graphs for which the isomorphism problem can be solved in polynomial time. These graphs are characterized by containing — in some local sense — only a small number of induced paths of length three. As it turns out, every such graph has a unique tree representation: the internal nodes correspond to three types of graph operations, while the leaves are basic graphs with a simple structure. The paper extends and generalizes known results about cographs, P₄-reducible graphs, and P₄-sparse graphs.

A Fast Parallel Algorithm To Recognize P4-Sparse Graphs, Rong Lin, Stephan Olariu

Computer Science Faculty Publications

A number of problems in mobile computing, group-based collaboration, automated theorem proving, networking, scheduling, and cluster analysis suggested the study of graphs featuring certain “local density” characteristics. Typically, the notion of local density is equated with the absence of chordless paths of length three or more. Recently, a new metric for local density has been proposed, allowing a number of such induced paths to occur. More precisely, a graphG is called P4-sparse if no set of five vertices inG induces more than one chordless path of length three. P4-sparse graphs generalize the well-known class of cographs corresponding to …

Corrigendum To “Post-Surgical Passive Response Of Local Environment To Primary Tumor Removal”: Mathl. Comput. Modelling, Vol. 25, No. 6, Pp. 7–17, 1997, J. A. Adam, C. Bellomo

Mathematics & Statistics Faculty Publications

The computer program that was used to generate the graphs for the concentration of inhibitor contained an error. This influenced the scaling in the original Figures 2 and 3. As an example, a sample of the corrected graphs are given below. Copies of other corrected figures can be obtained from the authors. It is important to note that the “pulse” appears for the function rC(r, t). As can be seen, it travels slowly outward with decreasing amplitude. The mathematical analysis in the paper remains unchanged.

Formal Specification Of Fragmentation And Reassembly In Ipv6, Ibrahim Sahin

Electrical & Computer Engineering Theses & Dissertations

Development and implementation of a networking standard such as the new Internet Protocol (IPv6) is a very difficult process. Different implementations of the standard must be fully compatible to allow different computers to communicate with each other. However, standards are often ambiguous, frequently a result of providing specifications in the English language. A more formal specification could assist in the design of systems. This thesis demonstrates that capability using the Prototype Verification System (PVS).

In this thesis study, a formal specification for fragmentation and reassembly in IPv6 was created to provide a tool for the standardization of IPv6 using PVS. …

Velocity Estimation Via A Neural Network Enhanced By Classical Detection Algorithms, Zeki Berk Hamşioğlu

Electrical & Computer Engineering Theses & Dissertations

The goal of this research is to show how to solve a velocity estimation problem using a neural network connected to an array of sensors. Motivated by biological studies involving insect vision, the neural network utilized is a member of a class of shunting neural networks. When an object moves across the face of the sensor array, the neural network's pulse response is first temporally located using classical M-ary detection techniques. Both the deterministic and stochastic cases are considered. Then the network's pulse response is post-processed via an existing velocity estimation algorithm based on a Volterra series model of the …

Building Multi-Discipline, Multi-Format Digital Libraries Using Clusters And Buckets, Michael L. Nelson

Computer Science Theses & Dissertations

Our objective was to study the feasibility of extending the Dienst protocol to enable a multi-discipline, multi-format digital library. We implemented two new technologies: cluster functionality and publishing buckets. We have designed a possible implementation of clusters and buckets, and have prototyped some aspects of the resultant digital library.

Currently, digital libraries are segregated by the disciplines they serve ( computer science, aeronautics, etc.), and by the format of their holdings (reports, software, datasets, etc.). NCSTRL+ is a multi-discipline, multi-format digital library (DL) prototype created to explore the feasibility of the design and implementation issues involved with created a …

Specification And Verification Of Generic Cell Rate Algorithms In Pvs, Huseyin Ozgungor

Electrical & Computer Engineering Theses & Dissertations

Formal verification methods have been considered as a powerful complementary approach to define standards and to prove correctness of the systems. In this work, formal specification of Generic Cell Rate Algorithms are defined and proved. The specification process enables standardization for constructing Generic Cell Rate Algorithms. Standardization is an important process in the Asynchronous Transfer Mode (ATM) networks. By employing formal methods, the necessary standards could be constructed to allow different algorithms to be employed which still meet system requirements. Those system requirements are quantified in the Quality of Service (QOS).

Congestion management is a vital concept for networks in …

A Synthesized Methodology For Eliciting Expert Judgment For Addressing Uncertainty In Decision Analysis, Richard W. Monroe

Engineering Management & Systems Engineering Theses & Dissertations

This dissertation describes the development, refinement, and demonstration of an expert judgment elicitation methodology. The methodology has been developed by synthesizing the literature across several social science and scientific fields. The foremost consideration in the methodology development has been to incorporate elements that are based on reasonable expectations for the human capabilities of the user, the expert in this case.

Many methodologies exist for eliciting assessments for uncertain events. These are frequently elicited in probability form. This methodology differs by incorporating a qualitative element as a beginning step for the elicitation process. The qualitative assessment is a more reasonable way …

Single Row Routing: Theoretical And Experimental Performance Evaluation, And New Heuristic Development, David A. Hysom

Computer Science Theses & Dissertations

The Single Row Routing Problem (SRRP) is an abstraction arising from real-world multilayer routing concerns. While NP-Complete, development of efficient SRRP routing heuristics are of vital concern to VLSI design. Previously, researchers have introduced various heuristics for SRRP; however, a comprehensive examination of SRRP behavior has been lacking.

We are particularly concerned with the street-congestion minimization constraint, which is agreed to be the constraint of greatest interest to industry. Several theorems stating lower bounds on street congestion are known. We show that these bounds are not tight in general, and argue they may be in error by at least 50% …

Three-Dimensional Aerodynamic Design Optimization Using Discrete Sensitivity Analysis And Parallel Computing, Amidu Olawale Oloso

Mechanical & Aerospace Engineering Theses & Dissertations

A hybrid automatic differentiation/incremental iterative method was implemented in the general purpose advanced computational fluid dynamics code (CFL3D Version 4.1) to yield a new code (CFL3D.ADII) that is capable of computing consistently discrete first order sensitivity derivatives for complex geometries. With the exception of unsteady problems, the new code retains all the useful features and capabilities of the original CFL3D flow analysis code. The superiority of the new code over a carefully applied method of finite-differences is demonstrated.

A coarse grain, scalable, distributed-memory, parallel version of CFL3D.ADII was developed based on "derivative stripmining". In this data-parallel approach, an identical copy …

Designing A High-Quality Network: An Application-Oriented Approach, Sudheer Dharanikota

Computer Science Theses & Dissertations

As new computer network technologies emerge, the application designers and the application users expect an increasing level of quality of service from them. Hence, it is a common practice in the newer technologies to provide more Quality of Service (QoS) components. Until now, these QoS solutions have been both network-technology specific and network-oriented solutions. In this thesis, we present an application-oriented approach to design a high quality network which is independent of the underlying communication technology. In this thesis, we propose a QoS architecture to "provide predictable performance to the end-to-end application users in a high quality networking environment." In …

Post-Surgical Passive Response Of Local Environment To Primary Tumor Removal, J. A. Adam, C. Bellomo

Mathematics & Statistics Faculty Publications

Prompted by recent clinical observations on the phenomenon of metastasis inhibition by an angiogenesis inhibitor, a mathematical model is developed to describe the post-surgical response of the local environment to the “surgical” removal of a spherical tumor in an infinite homogeneous domain. The primary tumor is postulated to be a source of growth inhibitor prior to its removal at t = 0; the resulting relaxation wave arriving from the disturbed (previously steady) state is studied, closed form analytic solutions are derived, and the asymptotic speed of the pulse is estimated to be about 2 × 10⁻⁴ cm/sec for the …

The Effects Of Human-Computer Communication Mode, Task Complexity, And Desire For Control On Performance And Discourse Organization In An Adaptive Task, Cristina Bubb-Lewis

Psychology Theses & Dissertations

The present study examined how different communication patterns affected task performance with an adaptive interface. A Wizard-of-Oz simulation (Gould, Conti, & Hovanyecz, 1983) was used to create the impression of a talking and listening computer that acted as a teammate to help participants interact with a computer application.

Four levels of communication mode were used which differed in the level of restriction placed on human-computer communication. In addition, participants completed two sets of tasks (simple and complex). Further, a personality trait, Desire for Control (DC), was measured and participants were split into high and low groups for analysis. Dependent measures …

The Hadamard Matroid And An Anomaly In Its Single Element Extensions, C. H. Cooke

Mathematics & Statistics Faculty Publications

A nonstandard vector space is formulated, whose bases afford a representation of what is called a Hadamard matroid, M_p. For prime p, existence of M_p is equivalent to the existence of both a classical Hadamard matrix H(p,p) and a certain affine resolvable, balanced incomplete block design AR(p). An anomaly in the representable single element extension of a Hadamard matroid is discussed.

Antiplane Shear Of A Strip Containing A Staggered Array Of Rigid Line Inclusions, G. Kerr, G. Melrose, J. Tweed

Mathematics & Statistics Faculty Publications

Motivated by the increased use of fibre-reinforced materials, we illustrate how the effective elastic modulus of an isotropic and homogeneous material can be increased by the insertion of rigid inclusions. Specifically we consider the two-dimensional antiplane shear problem for a strip of material. The strip is reinforced by introducing two sets of ribbon-like, rigid inclusions perpendicular to the faces of the strip. The strip is then subjected to a prescribed uniform displacement difference between its faces, see Figure 1. it should be noted that the problem posed is equivalent to that of the uniform antiplane shear problem for an infinite …

Lyceum: A Multi-Protocol Digital Library Gateway, Ming-Hokng Maa, Michael L. Nelson, Sandra L. Esler

Computer Science Faculty Publications

Lyceum is a prototype scalable query gateway that provides a logically central interface to multi-protocol and physically distributed, digital libraries of scientific and technical information. Lyceum processes queries to multiple syntactically distinct search engines used by various distributed information servers from a single logically central interface without modification of the remote search engines. A working prototype (http://www.larc.nasa.gov/lyceum/) demonstrates the capabilities, potentials, and advantages of this type of meta-search engine by providing access to over 50 servers covering over 20 disciplines.