Physical Sciences and Mathematics Commons^™

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.

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 …

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 …

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 …

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 …

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 …

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 …

Generating Executable Persistent Data Storage/Retrieval Code From Object-Oriented Specifications, Steven R. Buckwalter

Theses and Dissertations

This research creates a methodology and corresponding prototype for the transformation of object-oriented (OO) specifications to represent the corresponding relational schemas that are used to automatically generate database design language (DDL). The transformation design decisions and specifications are then used to generate database manipulation language (DML) that can be embedded within the software application code generated from the same OO specifications. This concept of developing a model for producing compilable and executable code from formal software specifications has long been a goal of software engineers. Previous research at the Air Force Institute of Technology (AFIT) has not focused on the …

The Development Of The 'Ethical' Ict Professional And The Vision Of An Ethical On-Line Society: How Far Have We Come And Where Are We Going?, Frances Grodzinsky

School of Computer Science & Engineering Faculty Publications

It has been a decade since Computer Ethics came into prominence within the field of computer science and engineering, changing not only the profession but the classroom as well. The commercialization and globalization of the World Wide Web has impacted us all, both producers and consumers alike. What was once the province of the few has become the virtual society of the multitudes. Ethical issues concerning security, privacy, information, identity, community and equity of access once contained and localized, have assumed additional complexity in the global environment. Every day, the front pages of our newspapers and magazines report violations of …

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 …

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 …

Designing Human-Centered Automation: Tradeoffs In Collision Avoidance System Design, Michael A. Goodrich, Erwin R. Boer

Faculty Publications

Technological advances have made plausible the design of automated systems that share responsibility with a human operator. The decision to use automation to assist or replace a human operator in safety-critical tasks must account for not only the technological capabilities of the sensor and control subsystems, but also the autonomy, capabilities, and preferences of the human operator. By their nature, such human-centered automation problems have multiple attributes: an attribute reflecting human goals and capabilities, and an attribute reflecting automation goals and capabilities. Although good theories exist that describe portions of human behavior generation, in the absence of a general theory …

Learning Quantum Operators, Dan A. Ventura

Faculty Publications

Consider the system Fx = w where F is unknown. We examine the possibility of learning the operator F inductively, drawing analogies with ideas from classical computational learning.

Alternate Path Routing For Multicast, Daniel Zappala

Faculty Publications

Alternate path routing has been well-explored in telecommunication networks as a means of decreasing the call blocking rate and increasing network utility. However, aside from some work applying these concepts to unicast flows, alternate path routing has received little attention in the Internet community. We describe and evaluate an architecture for alternate path routing for multicast flows. For path installation, we design a receiver-oriented alternate path protocol and prove that it reconfigures multicast trees without introducing loops. For path computation, we propose a scalable local search heuristic that allows receivers to find alternate paths using only partial network information. We …

Perl For Librarians (Workshop On The Practical Extraction And Reporting Language), Patrick Yott, Christopher Hoebeke

Christopher H Hoebeke

No abstract provided.

Techniques For Effectively Exploiting A Zero Overhead Loop Buffer, Gang-Ryung Uh, Yuhong Wang, David Whalley, Sanjay Jinturkar, Chris Burns, Vincent Cao

Gang-Ryung Uh

Crop Updates 2000 Cereals - Part 4, C. Tang, Z. Rengel, E. Diatloff, B. Mcgann, Mehmet Cakir, Nick Galwey, David Poulsen, M. Carter, A. Briney, R. Wilson, R. H. Potter, M. G. K. Jones, Ian Barclay, Robyn Mclean, Dean Diepeveen, Robert Loughman, Ross Kingwell, Michael O'Connell, Simone Blennerhasset, Benjamin Michael Tiller, Senthold Asseng, Holger Meinke, Bill Bowden, Jeff Russell, Ivan Lee, Clare Johnson, Chris Newman, Robert Emery, Romolo Tassone, Ernestos Kostas, Graeme Ralph, Robert Sudmeyer, David Hall, Harvey Jones

Crop Updates

This session covers twelve papers from different authors:

BREEDING

1.Response to subsoil acidity of wheat genotypes differing in Al-tolerance, C. Tang, Z. Rengel, E. Diatloff and B. McGann, Soil Science and Plant Nutrition/CLIMA, University of Western Australia

2. Application of molecular markers in Barley Improvement, Mehmet Cakir¹, Nick Galwey¹ and David Poulsen^{2, 1}Plant Sciences, Faculty of Agriculture, University of Western Australia, ²Queensland Department of Primary Industries, Hermitage Research Station, Queensland

3. Implementation of molecular markers for wheat improvement in the Western Region, M. Carter¹, A. Briney¹, …

Crop Updates 2000 Cereals - Part 3, Roslyn Jettner, Blakely Paynter, Glen Mcdonald, Pierre Fievez, Ian Foster, David Tennant, Wal Anderson, James Ridsdill-Smith, Celia Pavri, Ross Chapman, Senthold Asseng, Steve Carr, Brad Nutt, Lindrea Latham, Roger Jones, Anyou Liu, Clinton Revell, David Ferris, Roy Latta, Lisa-Jane Blacklow, Chris Matthews, Ted Woodburn, Paul Yeoh, Ian Rose, Anita Lyons, Simon Cook, Matthew L. Adams, Robert J. Corner

Crop Updates

This session covers eighteen papers from different authors:

BARLEY AND OAT AGRONOMY

1. Unicorn barley must meet malting specifications to be a viable option, Roslyn Jettnerand Blakely Paynter, Agriculture Western Australia

2. Optimum oat seed rates, Glenn McDonald, Agriculture Western Australia

3. Production and Quality of export Oaten Hay (1998 and 1989), Pierre Fievez, Pierre Fievez and Associates

FROST

4. Climatology of Frost in Southern Western Australia, Ian Foster, Agriculture Western Australia

5. Flowering calculator, David Tennant, Agriculture Western Australia

6. Some options for managing the risk of frost damage, Wal Anderson, Agriculture Western Australia

PASTURE

7. …

Two Schools Of Thought About The Political Psychology Of The Internet, Ibpp Editor

International Bulletin of Political Psychology

This article describes and critiques two common assumptions about the psychopolitical consequences of continual modification and dispersal of the Internet.

Human Fallacies And Personnel Security: James Deutch And Wen Ho Lee, Ibpp Editor

International Bulletin of Political Psychology

This article describes psychological phenomena that can easily subvert personnel security standards in government, the military, and business.

Infofilter: Supporting Quality Of Service For Fresh Information Delivery, Ling Liu, Calton Pu, Karsten Schwan, Jonathan Walpole

Computer Science Faculty Publications and Presentations

With the explosive growth of the Internet and World Wide Web comes a dramatic increase in the number of users that compete for the shared resources of distributed system environments. Most implementations of application servers and distributed search software do not distinguish among requests to different web pages. This has the implication that the behavior of application servers is quite unpredictable. Applications that require timely delivery of fresh information consequently suffer the most in such competitive environments. This paper presents a model of quality of service (QoS) and the design of a QoS-enabled information delivery system that implements such a …

Cataloging Expert Systems: Optimism And Frustrated Reality, William Olmstadt

E-JASL 1999-2009 (Volumes 1-10)

There is little question that computers have profoundly changed how information professionals work. The process of cataloging and classifying library materials was one of the first activities transformed by information technology. The introduction of the MARC format in the 1960s and the creation of national bibliographic utilities in the 1970s had a lasting impact on cataloging. In the 1980s, the affordability of microcomputers made the computer accessible for cataloging, even to small libraries. This trend toward automating library processes with computers parallels a broader societal interest in the use of computers to organize and store information. Following World War II, …

Wright State University College Of Engineering And Computer Science Bits And Pcs Newsletter, Volume 16, Number 2, February 2000, College Of Engineering And Computer Science, Wright State University

BITs and PCs Newsletter

A ten page newsletter created by the Wright State University College of Engineering and Computer Science that addresses the current affairs of the college.

Resource Management In Software Programmable Router Operating Systems, David K.Y. Yau, Xiangjing Chen

Department of Computer Science Technical Reports

No abstract provided.

Gasturbnlab: A Problem Solving Environment For Simulating Gas Turbines, Sanford Fleeter, Elias N. Houstis

Department of Computer Science Technical Reports

No abstract provided.

The Height Of A Binary Search Tree: The Limiting Distribution Perspective, Charles Knessl, Wojciech Szpankowski

Department of Computer Science Technical Reports

No abstract provided.

An Agent-Based Netcentric Framework For Multidisciplinary Problem Solving Environments (Mpse), S. Markus, Elias N. Houstis, A. C. Catlin, John R. Rice, P. Tsompanopoulou, D. Gottfried, Ke Su, G. Balakrishnan

Department of Computer Science Technical Reports

No abstract provided.

Validation Methodology For Gasturbnlab, S. Fleeter, Elias N. Houstis, John R. Rice, C. Zhou

Department of Computer Science Technical Reports

No abstract provided.

Separating Touching Objects In Remote Sensing Imagery: The Restricted Growing Concept And Implementations, Leen-Kiat Soh, Costas Tsatsoulis

School of Computing: Faculty Publications

This paper defines the restricted growing concept (RGC) for object separation and provides an algorithmic analysis of its implementations. Our concept decomposes the problem of object separation into two stages. First, separation is achieved by shrinking the objects to their cores while keeping track of their originals as masks. Then the core is grown within the masks obeying the guidelines of a restricted growing algorithm. In this paper, we apply RGC to the remote sensing domain, particularly the synthetic aperture radar (SAR) sea ice images.

Computational Geometry Column 37, Erik D. Demaine, Joseph O'Rourke

Computer Science: Faculty Publications

Open problems from the 15th Annual ACM Symposium on Computational Geometry.