Physical Sciences and Mathematics Commons^™

Student Modeling In An Intelligent Tutoring System, Jeremy E. Thompson

Theses and Dissertations

This thesis explores a new approach to modeling the student in an intelligent tutoring system (ITS), by providing a student model which learns new solutions from the student. A prototype of the new approach to ITS is demonstrated in the Euclidean geometry domain. Complete C++, CLIPS, and Tcl/Tk code listings are included in the appendices for reference. Adaptable multiple software agents were targeted for implementation, based on current literature. However, the student model is found to be maintainable without multiple software agents, while still allowing for tracking several possible solution paths when monitoring student solutions. This capability contradicts previous research …

On Unifying Time And Uncertainty: The Probabilistic Temporal Network, Joel D. Young

Theses and Dissertations

Complex real-world systems consist of collections of interacting processes/events. These processes change over time in response to both internal and external stimuli as well as to the passage of time. Many domains such as real-time systems diagnosis, (mechanized) story understanding, planning and scheduling, and financial forecasting require the capability to model complex systems under a unified framework to deal with both time and uncertainty. Existing uncertainty representations and existing temporal models already provide rich languages for capturing uncertainty and temporal information, respectively. Unfortunately, these partial solutions have made it extremely difficult to unify time and uncertainty in a way that …

Reverse Engineering Of Computer-Based Navy Systems, Lonnie R. Welch, Guohui Yu, Binoy Ravindran, Franz J. Kurfess, Jorge Henriques, Mark Wilson, Antonio L. Samuel, Michael W. Masters

Computer Science and Software Engineering

The financial pressure to meet the need for change in computer-based systems through evolution rather than through revolution has spawned the discipline of reengineering. One driving factor of reengineering is that it is increasingly becoming the case that enhanced requirements placed on computer-based systems are overstressing the processing resources of the systems. Thus, the distribution of processing load over highly parallel and distributed hardware architectures has become part of the reengineering process for computer-based Navy systems.

This paper presents an intermediate representation (IR) for capturing features of computer-based systems to enable reengineering for concurrency. A novel feature of the IR …

Wright State University College Of Engineering And Computer Science Bits And Pcs Newsletter, Volume 12, Number 10, December 1996, College Of Engineering And Computer Science, Wright State University

BITs and PCs Newsletter

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

Cross-Input Amortization Captures The Diffuse Adversary, Neal E. Young

Computer Science Technical Reports

Koutsoupias and Papadimitriou recently raised the question of how well deterministic on-line paging algorithms can do against a certain class of adversarially biased random inputs. Such an input is given in an on-line fashion; the adversary determines the next request probabilistically, subject to the constraint that no page may be requested with probability more than a fixed $\epsilon>0$. In this paper, we answer their question by estimating, within a factor of two, the optimal competitive ratio of any deterministic on-line strategy against this adversary. We further analyze randomized on-line strategies, obtaining upper and lower bounds within a factor of …

Secure Outsourcing Of Some Computations, Mikhail J. Atallah, Konstantinos N. Pantazopoulos, Eugene H. Spafford

Department of Computer Science Technical Reports

No abstract provided.

Low-Threat Security Patches And Tools, Mohd A. Bashar, Ganesh Krishnan, Markus G. Kuhn, Eugene H. Spafford, Samuel S. Wagstaff Jr

Department of Computer Science Technical Reports

No abstract provided.

Searching For Ephemeral Subsequences In Strings, Alberto Apostolico, Mikhail J. Attalah

Department of Computer Science Technical Reports

No abstract provided.

Safe Structural Conformance For Java, Konstantin Laufer, Gerald Baumgartner, Vincent F. Russo

Department of Computer Science Technical Reports

No abstract provided.

Misplaced Trust: Kerberos 4 Session Keys, Bryn Dole, Steve Lodin, Eugene H. Spafford

Department of Computer Science Technical Reports

No abstract provided.

Towards The Determination Of The Optimal P-Cyclic Ssor, A. Hadjidimos, D. Noutsos, M. Tzoumas

Department of Computer Science Technical Reports

No abstract provided.

On The Approximate Pattern Occurrences In A Text, Mireille Régnier, Wojciech Szpankowski

Department of Computer Science Technical Reports

No abstract provided.

Entropy Computations Via Analytic Depoissonization, Philippe Jacquet, Wojciech Szpankowski

Department of Computer Science Technical Reports

No abstract provided.

On Asymptotics Of Certain Recurrences Arising In Multi-Alphabet Universal Coding, Wojciech Szpankowski

Department of Computer Science Technical Reports

No abstract provided.

Knowledge Discovery In Computational Science: A Case Study In Algorithm Selection, N. Ramakrishnan, John R. Rice

Department of Computer Science Technical Reports

No abstract provided.

The Purdue Pse Kernel: Towards A Kernel For Building Pses, Sanjiva Weerawarana, Elias N. Houstis, John R. Rice, Ann C. Catlin, Margaret G. Gaitatzes, Shahani Markus, Tzveten T. Drashansky

Department of Computer Science Technical Reports

No abstract provided.

A Cscw Framework For Networked Multimodal Synthetic Environments, Chandrajit L. Bajaj, Fausto Berardini, Steven Cutchin, Raimund Merket

Department of Computer Science Technical Reports

No abstract provided.

Dynamic Scheduling Of Process Groups, Kuei Yu Wang, Dan C. Marinescu, Octavian F. Carbunar

Department of Computer Science Technical Reports

No abstract provided.

Pulse Coupled Neural Networks For The Segmentation Of Magnetic Resonance Brain Images, Shane L. Abrahamson

Theses and Dissertations

This research develops an automated method for segmenting Magnetic Resonance (MR) brain images based on Pulse Coupled Neural Networks (PCNN). MR brain image segmentation has proven difficult, primarily due to scanning artifacts such as interscan and intrascan intensity inhomogeneities. The method developed and presented here uses a PCNN to both filter and segment MR brain images. The technique begins by preprocessing images with a PCNN filter to reduce scanning artifacts. Images are then contrast enhanced via histogram equalization. Finally, a PCNN is used to segment the images to arrive at the final result. Modifications to the original PCNN model are …

Design And Prototype Of The Afit Virtual Emergency Room: A Distributed Virtual Environment For Emergency Medical Simulation, Brian W. Garcia

Theses and Dissertations

Due to the increasing complexity of emergency medical care, medical staffs require increasingly sophisticated training systems. Virtual environments offer a low cost means to achieve a widely usable yet sophisticated training capability. The Defense Advanced Research Projects Agency (DARPA) has sponsored the Virtual Emergency Room (VER) project to develop a simulation system that enables emergency department personnel within level I and II emergency rooms to practice emergency medical procedures and protocols. The VER is a simulation facility that uses a distributed virtual environment architecture to enable real-time, multi-participant simulations. The potential advantages of this system include the ability to evaluate …

Analysis And Design Of Standard Telerobotic Control Software, Matthew L. June

Theses and Dissertations

The Robotics and Automation Center for Excellence (RACE) has defined an open telerobotics control architecture. This architecture, called the Unified Telerobotic Architecture Project (UTAP), is a proposed standard for all Air Force telerobotic systems. Implementation of UTAP will reduce the cost of robotic applications by increasing software modularity, portability, and reusability. This thesis continued the effort to prove the feasibility of UTAP. In December, 1995, 1st Lt Anchor implemented a portion of the UTAP specification on a PUMA robot. The UTAP-compliant controller exhibited some degradation in the system performance. However, the performance degradation was not fully measured. This thesis extended …

An Approach To Evaluate Software Effectiveness, Timothy J. Schalick

Theses and Dissertations

The Air Force Operational Test and Evaluation Center (AFOTEC) is tasked with the evaluation of operational effectiveness of new systems for the Air Force. Currently, the software analysis team within AFOTEC has no methodology to directly address the effectiveness of the software portion of these new systems. This research develops a working definition for software effectiveness, then outlines an approach to evaluate software effectiveness-- the Software Effectiveness Traceability Approach (SETA). Effectiveness is defined as the degree to which the software requirements are satisfied and is therefore application-independent. With SETA, requirements satisfaction is measured by the "degree of traceability" throughout the …

An Incremental Language Conversion Method To Convert C++ Into Ada95, Ding-Yuan Sheu

Theses and Dissertations

This thesis develops a methodology to incrementally convert a legacy object oriented C++ application into Ada95. Using the experience of converting a graphic application, called Remote Debriefing Tool (RDT), in the Graphics Lab of the Air Force Institute of Technology (AFIT), this effort defined a process to convert a C++ application into Ada95. The methodology consists of five phases: (1) reorganizing the software application, (2) breaking mutual dependencies, (3) creating package specifications to interface the existing C++ classes, (4) converting C++ code into Ada programs, and (5) embellishing. This methodology used the GNAT's C++ low level interface capabilities to support …

Molecular Articulation In Response To Interactive Atomic Forces In Docker, Todd R. Kellett

Theses and Dissertations

Molecular docking aids in the design of materials supporting the current and future needs of the warfighter by simulating the real-world results of combining molecules. Specifically, it supports research and development in novel non-linear optical materials for laser-hardening and other advanced optical applications. Potential uses for these materials range from personnel and optical system laser protection to holographic information displays. DOCKER, our baseline docking system, minimizes the computational overhead of the simulation by modeling the molecules as rigid objects. This simplification can cause DOCKER's solutions to disagree with the real-world results, because molecules flex as they react to one another …

The Development Of A Scenario Translator For Distributed Simulations, Heon-Gyu Park

Theses and Dissertations

There exists a variety of simulation generation and analysis products which have differing purposes and functions designed to simulate a real military battlefield. Due to the particular purpose of each simulation it is impractical to use one scenario of a simulation directly with another simulation without a translator since there is no standard scenario format. In the current environment interoperability between simulations is becoming more important in large scale simulations and distributed exercises. The Scenario File Translator (SFT) provides an easy and accurate way to create a scenario from a heterogeneous simulation. The SFT can load and save the three …

Algorithms For Adapting Materialised Views In Data Warehouses, Mukesh Mohania, Guozhu Dong

Kno.e.sis Publications

In this paper we consider the problem of materialised view adaptation in data warehouses. Materialised views are important in data warehousing where they are used to speed up query processing on large amounts of data. User requirements change over time, which may change the definitions of views dynamically. For such situations, the question arises whether the materialised views should be recomputed from scratch for every change in the definition or they should be obtained by adapting old materialised views. Changes to a view definition may be expensive, if the view is recomputed from scratch. Therefore, it is worthwhile to examine …

An Efficient Collective Communication Library For Pvm, Chirapol Mathawaphan

Masters Theses

PVM enables the use of network of workstations for parallel and distributed computation. PVM provides the message-passing primitives which include those for point-to-point communication and collective communications. The current approaches for the collective communication operations in PVM use algorithms that do not exhibit good performance.

In this thesis, we develop new approaches to improve the performance of collective communication operations in PVM by using shared memory with IP broadcasting and IP multicasting mechanism. We have implemented these approaches and have run extensive tests. This report shows the comparison of the time used by current approaches and our approaches.

A Strategy For Distributed Relational Database Design, Ismail Omar Hababeh

Masters Theses

This thesis presents a strategy for the fragmentation and allocation of data in a distributed relational database. The strategy introduces a way to fragment and allocate data to accomplish the benefits of allocating each fragment independently for each site. Some fragments may be allocated to multiple sites in order to achieve some constraints such as availability, consistency, and integrity. The strategy is appropriate for different types of computers at various sites connected to a network, with different costs of retrieval, update, and communication.

To increase the system 1/0 performance, sites having similar communication costs are grouped into clusters to which …

Graphical Display Of A Missile Endgame Scenario, Joseph E. Moritz

Theses and Dissertations

Traditionally, computer programs to model and simulate air-to-air missile endgame engagements have focused on improving the underlying probability of kill models. This focus, however, understates the benefits of current computer graphics technology for visualization and direct manipulation of missile endgame parameters and building engagement understanding through real-time, three dimensional simulation of the endgame. Our research has been to develop a versatile simulation system to display the missile endgame parameters and allow graphical interaction with these parameters. This program also allows the user to view animated engagements of previously designed endgames. The current project scope is to provide user feedback of …

Simulation Based Performance Evaluation Of Resource Allocation Algorithms For Implementation In The Shf-Dama Satellite Network, Eric P. Hobson

Theses and Dissertations

Sponsored by DISA, the SHF-DAMA Standard addresses the warfighter's requirements for flexible, reliable, and efficient (technically and fiscally) satellite communications. The Standard proposes a system supporting both packet data transfer and single-channel-per-carrier voice and data circuits assigned on a demand basis. The Standard does not address management of the DSCS 3 transponder's bandwidth and power resources among priority classes of users. This effort characterizes the SHF-DAMA system's performance over each combination of the following resource management algorithm features: (1) preemption enabled and disabled; (2) using the Standard-specified collision resolution technique and a binary exponential backoff; (3) using complete partitioning, complete …