Open Access. Powered by Scholars. Published by Universities.®

Computer Sciences Commons™

Open Access. Powered by Scholars. Published by Universities.®

Theses and Dissertations

Discipline
Institution
Keyword
Publication Year
File Type

Articles 2311 - 2340 of 2733

Full-Text Articles in Computer Sciences

Extensible Markup Language As A Weather Tool, Michael J. Calidonna Mar 2000

Extensible Markup Language As A Weather Tool, Michael J. Calidonna

Theses and Dissertations

This thesis is a proof of concept work that will extend the Core Mapping Application Program Interface (CMAPI) components to include weather data. The CMAPI project is headed by Air Force Research Lab (AFRL)/Information Directorate Information Handling Branch (IFEB) at Rome labs in Rome, New York. This work extends the CMAPI project in two distinct areas. The first goal is to figure out how to overlay and display weather data on a dynamically linked Internet platform. This was accomplished by incorporating existing data from the Air Force Weather Agency (AFWA) into the CMAPI program in a static environment. The other …

Go to article

Extracting Mission Semantics From Unmanned Aerial Vehicle Telemetry And Flight Plans, Walter T. Berridge Mar 2000

Extracting Mission Semantics From Unmanned Aerial Vehicle Telemetry And Flight Plans, Walter T. Berridge

Theses and Dissertations

With the acceptance of Unmanned Aerial Vehicles (UAVs) as a primary platform within the Department of Defense (DOD) for gathering intelligence data, the amount of video information being recorded, analyzed, and archived continues to grow. Mechanisms for quickly locating and retrieving video segments of interest amongst the many hours of recorded video are required to accommodate the rapid turnaround expected in today's wartime planning environments. This research demonstrates that text-based data accompanying UAV video yields sufficient information to identify and create data items that can be indexed to provide for rapid identification and retrieval of video segments of interest. Four …

Go to article

An Object-Oriented Repository-Based Software Synthesis System, Gary L. Cornn Jr. Mar 2000

An Object-Oriented Repository-Based Software Synthesis System, Gary L. Cornn Jr.

Theses and Dissertations

This research provides a repository on which various Air Force Institute of Technology (AFIT) transformational software synthesis tools can store, share, and manage data using a common repository information model. This information model was created by integrating a variety of separately developed AFIT software synthesis object models into a "wide-spectrum" model. Additionally, a methodology for describing complex relationships between artifacts in the repository is described. These relationships can be used to relate software synthesis artifacts created in a variety of formats, including text, binary, and the AFIT Wide-Spectrum Object Modeling Environment (AWSOME) information model. The relationships can be exploited for …

Go to article

A 3d Display System For Lightning Detection And Ranging (Ldar) Data, Michael W. Darwin Mar 2000

A 3d Display System For Lightning Detection And Ranging (Ldar) Data, Michael W. Darwin

Theses and Dissertations

Lightning detection is an essential part of safety and resource protection at Cape Canaveral. In order to meet the unique needs of launching space vehicles in the thunderstorm prone Florida environment, Cape Canaveral has the only operational three- dimensional (3D) lightning detection network in the world, the Lightning Detection and Ranging (LDAR) system. Although lightning activity is detected in three dimensions, the current LDAR display, developed 20 years ago, is two-dimensional. This thesis uses modern three-dimensional graphics, object-oriented software design, and innovative visualization techniques to develop a 3D visualization application for LDAR data.

Go to article

Global Positioning System (Gps) Error Source Prediction, Marcus G. Ferguson Mar 2000

Global Positioning System (Gps) Error Source Prediction, Marcus G. Ferguson

Theses and Dissertations

With the initiation of the navigation accuracy prediction algorithm used to estimate the amount of GPS solution (location and time) error for receivers, the capability to accurately predict solution errors due to the major GPS error sources is growing. Although some sources of error within the GPS solution have been previously analyzed, modeled, and/or accounted for within various modeling efforts, a formal evaluation of the seven major error sources that distort GPS activity has not been officially conducted up until this point. This research offers a logical assessment of all the major GPS error sources and their definitive impact on …

Go to article

A Java Universal Vehicle Router In Support Of Routing Unmanned Aerial Vehicles, Robert W. Harder Mar 2000

A Java Universal Vehicle Router In Support Of Routing Unmanned Aerial Vehicles, Robert W. Harder

Theses and Dissertations

Unmanned Aerial Vehicles (UAVs) help the military gather information in times of peace and war. During a mission, typically 100 sites or more, a UAV will frequently be re-tasked to visit a pop-up threat, leaving the operator to determine the best way to finish the day's list of sites after the re-tasking. I develop a prototype application to serve the needs of a specific customer, the 11th Reconnaissance Squadron, by helping them preplan missions and dynamically re-task UAVs. This prototype application is built on a reusable airframe router called the core AFIT Router, which can later be added to more …

Go to article

A Distributed Agent Architecture For A Computer Virus Immune System, Paul K. Harmer Mar 2000

A Distributed Agent Architecture For A Computer Virus Immune System, Paul K. Harmer

Theses and Dissertations

Information superiority is identified as an Air Force core competency and is recognized as a key enabler for the success of future missions. Information protection and information assurance are vital components required for achieving superiority in the Infosphere, but these goals are threatened by the exponential birth rate of new computer viruses. The increased global interconnectivity that is empowering advanced information systems is also increasing the spread of malicious code and current anti-virus solutions are quickly becoming overwhelmed by the burden of capturing and classifying new viral stains. To overcome this problem, a distributed computer virus immune system (CVIS) based …

Go to article

An Information Visualization Solution For The Analysis Of The Afm Simulation Output Data, Stuart H. Kurkowski Mar 2000

An Information Visualization Solution For The Analysis Of The Afm Simulation Output Data, Stuart H. Kurkowski

Theses and Dissertations

With the advancement of computer hardware and software computer simulations are now able to run faster and track more elements than ever before burdening the analyst with more and more data to analyze. Air Mobility Command's (AMC) Airlift Flow Model (AFM) is the Air Force's logistics simulator that simulates multi-day mobility scenarios in a matter of minutes producing megabytes of output data. Because the analysts' needs for summaries, trends, and comparisons of the data have surpassed the capabilities of current desktop spreadsheet analysis techniques new tools are needed.

Go to article

A Formal Methodology And Technique For Verifying Communication Protocols In A Multi-Agent Environment, Timothy H. Lacey Mar 2000

A Formal Methodology And Technique For Verifying Communication Protocols In A Multi-Agent Environment, Timothy H. Lacey

Theses and Dissertations

As network bandwidth increases, distributed applications are becoming increasingly prevalent. Systems using these applications are very complicated to build and must be dependable. Software agents are ideal for breaking complicated problems into manageable subtasks. Agent conversations, a series of messages passed between agents, are the cornerstone of multi-agent systems and must be deemed correct before being placed into service. The purpose of this research was to develop a formal methodology and technique to verify that the communication protocols defined in a multi-agent environment were valid. This was accomplished by examining agent conversations before deploying the system. An additional goal of …

Go to article

A Component Based Approach To Agent Specification, David J. Robinson Mar 2000

A Component Based Approach To Agent Specification, David J. Robinson

Theses and Dissertations

The Air Force, as well as all of industry, is currently faced with the problem of having to produce larger and more complex software systems that run efficiently and reliably as well as being extensible and maintainable. This research addresses this problem by developing a knowledge representation language that can be used to unambiguously specify and design software systems in a verifiable, efficient, and understandable manner. The language is a combination of object-oriented and component-based methodologies and makes use of both graphics and text to represent information. Although designed for the development of any type of software system, the language …

Go to article

Improving The Analyst And Decision-Maker’S Perspective Through Uncertainty Visualization, Evan T. Watkins Mar 2000

Improving The Analyst And Decision-Maker’S Perspective Through Uncertainty Visualization, Evan T. Watkins

Theses and Dissertations

This thesis constructs the Taxonomy of Uncertainty and an approach for enhancing the information in decision support systems. The hierarchical categorization of numerous causes for uncertainty defines the taxonomy, which fostered the development of a technique for visualizing uncertainty. This technique is fundamental to expressing the multi-dimensional uncertainty that can be associated with any object. By including and intuitively expressing uncertainty, the approach facilitates and enhances intuition and decision-making without undue information overload. The resulting approach for enhancing the information involves recording uncertainty, identifying the relevant items, computing and visualizing uncertainty, and providing interaction with the selection of uncertainty. A …

Go to article

Explicitly Modeling Hierarchically Heterogeneous Software Architectures In An Object-Oriented Formal Transformation System, Darin L. Williams Mar 2000

Explicitly Modeling Hierarchically Heterogeneous Software Architectures In An Object-Oriented Formal Transformation System, Darin L. Williams

Theses and Dissertations

Formal software transformation systems are software development environments typified by the semi-automated application of a series of correctness-preserving transformations to formal data models. The range of software architectures such systems are capable of producing is often restricted by the limited ability to accept high-level design inputs as constraints on the transformation process. When architectural inputs are acceptable, often the modeling language excludes the explicit representation of architectural constructs and provides, at best, an extremely limited architectural analysis capability. This research defines a high-level taxonomy of software architectures and proposes a way to explicitly model a broad class of architectures by …

Go to article

Enhancing A Virtual Distributed Library User Interface Via Server-Side User Profile Caching, Jason T. Ward Mar 2000

Enhancing A Virtual Distributed Library User Interface Via Server-Side User Profile Caching, Jason T. Ward

Theses and Dissertations

Various Department of Defense (DoD) agencies archive terabytes of intelligence imagery and electrooptical signature data. The Air Force Research Laboratory, Sensors Directorate (AFRL/SN), is tasked with creating and managing a virtual distributed library that facilitates secure, detailed queries across these distributed holdings using the internally developed Advanced Query Tool (AQT). In this research, a methodology is proposed to utilize user profiling techniques to augment a digital library. As part of this methodology, product-oriented usability analysis metrics are introduced that quantitatively verify the usability of an interface. The methodology is applied to the AFRL/SN's Virtual Distributed Laboratory AQT and subsequently analyzed …

Go to article

Multiagent Systems Engineering: A Methodology For Analysis And Design Of Multiagent Systems, Mark F. Wood Mar 2000

Multiagent Systems Engineering: A Methodology For Analysis And Design Of Multiagent Systems, Mark F. Wood

Theses and Dissertations

This thesis defines a methodology for the creation of multiagent systems, the Multiagent Systems Engineering (MaSE) methodology. The methodology is a key issue in the development of any complex system and there is currently no standard or widely used methodology in the realm of multiagent systems. MaSE covers the entire software lifecycle, starting from an initial prose specification, and creating a set of formal design documents in a graphical style based on a formal syntax. The final product of MaSE is a diagram describing the deployment of a system of intelligent agents that communicate through structured conversations. MaSE was created …

Go to article

Distributed Object System Engineering For Terminal Aerodrome Forecast Validation And Metrics Processing, James S. Douglas Mar 2000

Distributed Object System Engineering For Terminal Aerodrome Forecast Validation And Metrics Processing, James S. Douglas

Theses and Dissertations

Distributed object systems are a very complex intertwining of heterogeneous hardware, software, and operating systems coupled with communication networks of varying protocols and capacities. Distributed components offer improved performance through parallel processing, improved expansion and scalability opportunities through modularity, improved availability through replication, and improved resource sharing and interoperability through interconnection. This research provides a distributed system design methodology to validate terminal forecasts and gather metrics for the Air Force Weather Agency. Proven principles such as component reuse and architectural development are applied through the use of parameterized types and design patterns. A client/server measurement model is developed to show …

Go to article

A Comparative Analysis Of Cockpit Display Development Tools, Matthew J. Gebhardt Mar 2000

A Comparative Analysis Of Cockpit Display Development Tools, Matthew J. Gebhardt

Theses and Dissertations

Currently, no standard methodology exists that enables cockpit display engineers to evaluate software tools used in the development of graphical cockpit displays. Furthermore, little research has been accomplished in comparing current software development tools with traditional hand-coded methods, This research effort discusses a framework for analyzing cockpit display software development tools and follows through with a detailed analysis comparing today's hand-coding standard, OpenGL, with two of today's cockpit display software development suites, Virtual Application Prototyping System (VAPS) and Display Editor. The comparison exploits the analysis framework establishing the advantages and disadvantages of the three software development suites. The analysis framework …

Go to article

Three-Dimensional Data Visualization Of Electronic Military Intelligence Using The Project Broadsword System, Michael L. Goeringer Mar 2000

Three-Dimensional Data Visualization Of Electronic Military Intelligence Using The Project Broadsword System, Michael L. Goeringer

Theses and Dissertations

Today's military electronic infrastructure solves many problems while creating others. Using computers, battlefield and global awareness is brought to bear through the near real-time linking of sensor platforms from around the globe. These intelligence networks produce vast amounts of data that must be parsed, interpreted, digested and stored by information gathering systems. As the amount of intelligence data continues to increase, these text-based systems become cumbersome and inadequate. To ensure vital information is not overlooked or discovered too late, other forms of intelligence product management and data navigation need to be investigated. This thesis explores procedures for enhancing the capabilities …

Go to article

Data Warehouse Techniques To Support Global On-Demand Weather Forecast Metrics, Meriellen C. Joga Mar 2000

Data Warehouse Techniques To Support Global On-Demand Weather Forecast Metrics, Meriellen C. Joga

Theses and Dissertations

Air Force pilots and other operators make crucial mission planning decisions based on weather forecasts; therefore, the ability to forecast the weather accurately is a critical issue to Air Force Weather (AFW) and its customers. The goal of this research is to provide Air Force Weather with a methodology to automate statistical data analysis for the purpose of providing on-demand metrics. A data warehousing methodology is developed and applied to the weather metrics problem in order to present an option that will facilitate on-demand metrics. On-line analytical processing (OLAP) and data mining solutions are also discussed.

Go to article

A Human-Centered Approach For Designing Decision Support Systems, Sean G. Kern Mar 2000

A Human-Centered Approach For Designing Decision Support Systems, Sean G. Kern

Theses and Dissertations

The choice to include the human in the decision process affects four key areas of system design: problem representation, system analysis and design, solution technique selection, and interface requirements specification. I introduce a design methodology that captures the necessary choices associated with each of these areas. In particular I show how this methodology is applied to the design of an actual decision Support system for satellite operations scheduling. Supporting the user's ability to monitor the actions of the system and to guide the decision process of the system are two key considerations in the successful design of a decision support …

Go to article

An Intelligent User Interface To Support Air Force Weather Product Generation And Automated Metrics, Darryl N. Leon Mar 2000

An Intelligent User Interface To Support Air Force Weather Product Generation And Automated Metrics, Darryl N. Leon

Theses and Dissertations

Air Force pilots require dependable weather reports so they may avoid unsafe flying conditions. In order to better gauge the accuracy of its weather products, Air Force Weather has established the requirement for an Air Force-wide automated weather metrics program. Under the guidelines for this program, forecasts will automatically be compared to observed weather to determine their accuracy. Statistics will be collected in the hopes of determining forecast error trends that can be corrected through education and training. In order for the statistical data produced by such a program to draw reliable conclusions about forecast accuracy, however, the correct format …

Go to article

Formal Object State Model Transformations For Automated Agent System Synthesis, David W. Marsh Mar 2000

Formal Object State Model Transformations For Automated Agent System Synthesis, David W. Marsh

Theses and Dissertations

Automated agent system synthesis is the process of generating code from a requirements specification with appropriate inputs from the software engineer. Object-oriented (OO) specifications are frequently used to model intelligent software agent systems and software requirements in general; formal representations capture precisely the intentions of the specifier. Portions of OO specifications can be classified as the structural, functional, and state (or dynamic) models; major strides have been taken in the development of transformations for creating code from formal OO specifications, specifically the structural and functional aspects, and are captured within the AFIT Wide-Spectrum Object Modeling Environment (AWSOME). This research creates …

Go to article

A Method Of Focusing The Attention Of The Decision-Maker On Uncertain Information, John F. Moesner Iv Mar 2000

A Method Of Focusing The Attention Of The Decision-Maker On Uncertain Information, John F. Moesner Iv

Theses and Dissertations

Military decision-makers need to be able to synthesize large amounts of information quickly and make accurate and timely decisions. However, all too often, when a decision-maker is bombarded with important information that has an uncertainty associated with it, that information is often neglected. One method of dealing with this type of information overload is through proper data orientation. By reducing the clutter of irrelevant information, the proportions of useful and relevant data can be increased. At the same time, the attention of the decision-maker is directed to the critical tasks or centers of gravity. The WATCHDOG Decision Support Tool is …

Go to article

Knowledge Base Support For Design And Synthesis Of Multi-Agent Systems, Marc J. Raphael Mar 2000

Knowledge Base Support For Design And Synthesis Of Multi-Agent Systems, Marc J. Raphael

Theses and Dissertations

AgentTool is an AFIT-produced, AFOSR-sponsored multi-agent system (MAS) development tool intended for production of MASs that meet military requirements. This research focuses on enabling MAS design and synthesis tools like agentTool to store, retrieve, and filter persistent, reusable, and reliable agent domain knowledge. This "enabling" is vital if such tools are expected to produce consistent, maintainable, and verifiable agent applications on short timetables. Enabling requires: 1) modeling the agent knowledge domain, 2) designing and employing a persistent knowledge base, and 3) bridging that domain model to the knowledge base with an extensible domain interchange grammar. The achieved interchange grammar, called …

Go to article

Implementation Of Speech Recognition Software For Text Processing: An Exploratory Analysis, Sean P. Abell Dec 1999

Implementation Of Speech Recognition Software For Text Processing: An Exploratory Analysis, Sean P. Abell

Theses and Dissertations

The rationale behind implementing new information technologies is often to gain productivity improvements associated with the substitution of machinery for labor. However, the literature shows little direct evidence of a positive relationship between information technology investment and subsequent productivity benefits. This thesis reports on the examination into the productivity implications of implementing speech recognition software in a text processing environment. More specifically, research was conducted to compare text processing speeds and error rates using speech recognition software versus the keyboard and mouse. Of interest was the time required to input and proofread text processing tasks as well as the number …

Go to article

Network Security Versus Network Connectivity: A Framework For Addressing The Issues Facing The Air Force Medical Community, Franklin E. Cunningham Jr. Dec 1999

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 …

Go to article

Towards A Game Theory Model Of Information Warfare, David A. Burke Dec 1999

Towards A Game Theory Model Of Information Warfare, David A. Burke

Theses and Dissertations

The repeated game of incomplete information model, a subclass of game theory models, was modified to include aspects of information warfare. The repeated game of incomplete information model was first developed to analyze nuclear weapons disarmament negotiations. The central role of information in this model suggested its applicability to IW, which focuses on the defense and acquisition of information. A randomized experimental design was utilized to determine how people behave in a laboratory IW setting and to test the IW game model's basic predictions. The impact of experience and learning on IW performance was also assessed during the experiment. IW …

Go to article

Information System Incidents: The Development Of A Damage Assessment Model, Mark D. Horony Dec 1999

Information System Incidents: The Development Of A Damage Assessment Model, Mark D. Horony

Theses and Dissertations

Information system (IS) incidents are on the rise. With low manning and undertrained information security specialists it is difficult for organizations to stop IS incidents from occurring. Once an incident has occurred it is the IS manager's responsibility to ensure that a full and accurate damage assessment has been accomplished. However, most IS managers lack the necessary tools to assess the damage from an incident. This exploratory thesis developed an IS incident damage assessment model (DAM) that can be part of the IS manager's tool kit. During the development of the model, it became apparent that the model was supported …

Go to article

Power, Performance, And Perception (P3): Integrating Usability Metrics And Technology Acceptance Determinants To Validate A New Model For Predicting System Usage, Alan P. Fiorello Dec 1999

Power, Performance, And Perception (P3): Integrating Usability Metrics And Technology Acceptance Determinants To Validate A New Model For Predicting System Usage, Alan P. Fiorello

Theses and Dissertations

Currently, there are two distinct approaches to assist information technology managers in the successful implementation of office automation software. The first approach resides within the field of usability engineering, while the second approach is derived from the discipline of management information systems (MIS). However, neither approach has successfully produced conclusive evidence that explains what characteristics facilitate system use as well as influence user acceptance of the system. This study reports on the validity of a new model, entitled the Power, Performance, Perception (P3) model, that links the constructs of usability engineering to user acceptance. Additionally, speech recognition software (SRS) was …

Go to article

Formal Representation And Application Of Software Design Information, Thomas M. Schorsch Sep 1999

Formal Representation And Application Of Software Design Information, Thomas M. Schorsch

Theses and Dissertations

Formal methods for developing software use mathematical frameworks to specify, develop and verify software systems, especially safety critical systems where error free software is a necessity. A transformation system is a formal method that refines a requirement specification into an implementation by successively adding design decisions in the form of precisely verified design information. Current algebraic representations of design information (specifications, morphisms, and interpretations) and methods for applying algebraic specification design information (diagram refinement) cannot correctly represent and apply design information involving higher level design information. This investigation develops innovative methods for constructing and refining structured algebraic requirement specifications, as …

Go to article

Analysis Of N-Tier Architecture Applied To Distributed-Database Systems, Alexandre G. Valente Jun 1999

Analysis Of N-Tier Architecture Applied To Distributed-Database Systems, Alexandre G. Valente

Theses and Dissertations

N-tier architecture has been more commonly used as a methodology for developing large database applications. This work evaluates the use of this architecture instead of the classical Client/Server architecture in developing corporate applications based on distributed databases. The comparison between architectures is performed using applications that execute transactions similar to those defined in the Transaction Process Council Type C benchmark (TPC-C). The environment used for development and testing was the AFIT Bimodal Cluster (ABC); a heterogeneous cluster of PCs, running Microsoft Windows NT 4.0 OS. The comparative experimental analysis demonstrated that the N-tier architecture allows more efficient bandwidth utilization between …

Go to article

First Prev Next Last