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

Physical Sciences and Mathematics Commons

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

Computer Sciences

Institution
Keyword
Publication Year
Publication
Publication Type
File Type

Articles 55111 - 55140 of 58033

Full-Text Articles in Physical Sciences and Mathematics

A Generalized Schwarz Splitting Method Based On Hermite Collocation For Elliptic Boundary Value Problems, Yu-Ling Lai, Apostolos Hadjidimos, Elias N. Houstis Dec 1993

A Generalized Schwarz Splitting Method Based On Hermite Collocation For Elliptic Boundary Value Problems, Yu-Ling Lai, Apostolos Hadjidimos, Elias N. Houstis

Department of Computer Science Technical Reports

No abstract provided.


Parallel Dynamic Mesh Generation And Domain Decomposition, Poting Wu, Elias N. Houstis Dec 1993

Parallel Dynamic Mesh Generation And Domain Decomposition, Poting Wu, Elias N. Houstis

Department of Computer Science Technical Reports

No abstract provided.


Combinatorial Optimization Problems For Which Almost Every Algorithm Is Asymptotically Optimal, Wojciech Szpankowski Dec 1993

Combinatorial Optimization Problems For Which Almost Every Algorithm Is Asymptotically Optimal, Wojciech Szpankowski

Department of Computer Science Technical Reports

No abstract provided.


A Probabilistic Analysis Of A String Editing Problem And Its Variations, Guy Louchard, Wojciech Szpankowski Dec 1993

A Probabilistic Analysis Of A String Editing Problem And Its Variations, Guy Louchard, Wojciech Szpankowski

Department of Computer Science Technical Reports

No abstract provided.


A Scheduling Policy With Maximal Stability Region For Rings Networks With Spatial Reuse, Leonidas Georgiadis, Wojciech Szpankowski, Leondros Tassiulas Dec 1993

A Scheduling Policy With Maximal Stability Region For Rings Networks With Spatial Reuse, Leonidas Georgiadis, Wojciech Szpankowski, Leondros Tassiulas

Department of Computer Science Technical Reports

No abstract provided.


Extending Multidatabase Transaction Management Techniques To Software Development Environments, Aidong Zhang, Omran Bukhres Dec 1993

Extending Multidatabase Transaction Management Techniques To Software Development Environments, Aidong Zhang, Omran Bukhres

Department of Computer Science Technical Reports

No abstract provided.


C3: A Parallel Model For Coarse-Grained Machines, Susanne E. Hambrusch, Ashfaq A. Khokhar Dec 1993

C3: A Parallel Model For Coarse-Grained Machines, Susanne E. Hambrusch, Ashfaq A. Khokhar

Department of Computer Science Technical Reports

No abstract provided.


A View-Based Approach To Relaxing Global Serializability In Multidatabase Systems, Aidong Zhang, Evaggelia Pitoura, Bharat K. Bhargava Dec 1993

A View-Based Approach To Relaxing Global Serializability In Multidatabase Systems, Aidong Zhang, Evaggelia Pitoura, Bharat K. Bhargava

Department of Computer Science Technical Reports

No abstract provided.


Constructing Distributed Schedulers Using The Messiahs Interface Language, Steve J. Chapin, Eugene H. Spafford Dec 1993

Constructing Distributed Schedulers Using The Messiahs Interface Language, Steve J. Chapin, Eugene H. Spafford

Department of Computer Science Technical Reports

No abstract provided.


Data Structures And Algorithms For The String Statistics Problem, Alberto Apostolico, Franco P. Preparata Dec 1993

Data Structures And Algorithms For The String Statistics Problem, Alberto Apostolico, Franco P. Preparata

Department of Computer Science Technical Reports

No abstract provided.


The Use Of Neural Networks To Support "Intelligent" Scientific Computing, Anupam Joshi, Csanjiva Weerawarana, Elias N. Houstis Dec 1993

The Use Of Neural Networks To Support "Intelligent" Scientific Computing, Anupam Joshi, Csanjiva Weerawarana, Elias N. Houstis

Department of Computer Science Technical Reports

No abstract provided.


Asymptotic Behavior Of The Lempel-Ziv Parsing Scheme And Digital Search Trees, Philippe Jaquet, Wojciech Szpankowski Dec 1993

Asymptotic Behavior Of The Lempel-Ziv Parsing Scheme And Digital Search Trees, Philippe Jaquet, Wojciech Szpankowski

Department of Computer Science Technical Reports

No abstract provided.


Scheduling Support Mechanisms For Autonomous, Heterogeneous, Distributed Systems (Ph.D. Thesis), Steve J. Chapin Dec 1993

Scheduling Support Mechanisms For Autonomous, Heterogeneous, Distributed Systems (Ph.D. Thesis), Steve J. Chapin

Department of Computer Science Technical Reports

No abstract provided.


Parallel Numerical Methods For Partial Differential Equations (Ph.D. Thesis), Sang-Bae Kim Dec 1993

Parallel Numerical Methods For Partial Differential Equations (Ph.D. Thesis), Sang-Bae Kim

Department of Computer Science Technical Reports

No abstract provided.


Correctness Proof Of A Geometric Constraint Solver, Ioannis Fudos, Christoph M. Hoffmann Dec 1993

Correctness Proof Of A Geometric Constraint Solver, Ioannis Fudos, Christoph M. Hoffmann

Department of Computer Science Technical Reports

No abstract provided.


Object-Orientation In Multidatabase Systems, Evaggelia Pitoura, Omran Bukhres, Ahmed K. Elmagarmid Dec 1993

Object-Orientation In Multidatabase Systems, Evaggelia Pitoura, Omran Bukhres, Ahmed K. Elmagarmid

Department of Computer Science Technical Reports

No abstract provided.


Collaborative Multimedia Game Environments, Vinod Anupam, Chandrajit L. Bajaj Dec 1993

Collaborative Multimedia Game Environments, Vinod Anupam, Chandrajit L. Bajaj

Department of Computer Science Technical Reports

No abstract provided.


Effect Of Joystick Versus Control Yoke Use On Personal Computer (Pc) Flight Training: A Comparative Analysis, Gregory Alan Fontaine Dec 1993

Effect Of Joystick Versus Control Yoke Use On Personal Computer (Pc) Flight Training: A Comparative Analysis, Gregory Alan Fontaine

Master's Theses - Daytona Beach

The purpose of this study was to provide a comparative performance analysis of a generic control yoke device and a generic joystick device. The comparison provided data needed for further evaluation of personal computer (PC) aircrew training device (ATD) potential. Both devices were used in support of the same PC flight simulation software program, and were evaluated using the experimental research method. Objective and subjective data were obtained during controlled testing, and subsequently analyzed using basic summation and t-test methods. The results tested the research hypothesis that there is no significant difference in personal computer ATD operator performance using a …


Design And Construction Of The Aerobot Robotic Manipulator (Arm), William L. Cochran Dec 1993

Design And Construction Of The Aerobot Robotic Manipulator (Arm), William L. Cochran

Theses and Dissertations

This thesis designed, constructed, and tested a robotic arm for the Aerobot Aerial Robot. The main purpose of the ARM is to enable the Aerobot to retrieve objects for use in an annual robotics competition. Design of the ARM involved synthesizing the characteristics of simplicity, weight, strength, and size. The result was a three-degree-of-freedom manipulator that uses electric motors, cable linkages, and telescoping tubes to access a work space below the Aerobot. Forward and inverse kinematics were investigated to enable automation of the ARM. Data was collected from infrared sensors to validate the model. Manipulation of the ARM is presently …


A Method For Populating The Knowledge Base Of Aptas, A Domain-Oriented Application Composition System, Raleigh A. Sandy Iii Dec 1993

A Method For Populating The Knowledge Base Of Aptas, A Domain-Oriented Application Composition System, Raleigh A. Sandy Iii

Theses and Dissertations

A formal process is described for populating the knowledge base of the Automatic Programming Technologies for Avionics Software APTAS system. This process was developed using a general knowledge base population process that applies to many knowledge-based software engineering systems. This general process is also described. The formal process for APTAS was demonstrated by storing new information from the radar tracking domain into the knowledge base of APTAS. Several procedures some automatic and some manual were implemented to support the formal process.


Integration And Enhancement Of The Saber Wargame, Karl S. Mathias Dec 1993

Integration And Enhancement Of The Saber Wargame, Karl S. Mathias

Theses and Dissertations

The Saber wargame is a theater-level air/land battle wargame written in Ada that is being developed for the Air Force Wargaming Center at Maxwell AFB, AL. This thesis documents how the user interface and simulation engine were integrated. Integration was accomplished by developing a portable object-oriented database system (OODBMS) interface. The interface was implemented in Ada and tied to an OODBMS also written in Ada. Using the interface, both subsystems were able to work from a consistent database and exchange information. The user interface was enhanced by converting it from the Software Technology for Adaptable Reliable Systems Ada/X Window System …


A Prototype Architecture For An Automated Scenario Generation System For Combat Simulations, Mark W. Pfefferman Dec 1993

A Prototype Architecture For An Automated Scenario Generation System For Combat Simulations, Mark W. Pfefferman

Theses and Dissertations

This research effort examines the problem of automating the scenario generation process and presents a prototype architecture for an automated scenario generation system. This architecture is designed using an object- oriented approach which leads to a modular and modifiable design. The architecture provides a mechanism for automatically generating scenario files from a textual US Army operation order. This translation process occurs in two phases. First, the text operation order is translated into an intermediate format called the mission file. In the second phase, the system reads the mission file, instantiates intelligent entities, and assigns missions to those entities. The intelligent …


Domain Modeling Of Time-Dependent Systems, Robert W. Waggoner Dec 1993

Domain Modeling Of Time-Dependent Systems, Robert W. Waggoner

Theses and Dissertations

This research investigated the feasibility of composing time-dependent specifications in Architect, a domain-oriented application composition and generation system being developed at the Air Force Institute of Technology (AFIT). Architect composes formally specified domain objects into an executable software specification that can be used to verify program correctness prior to generation of language specific code. As part of this research, domain modeling techniques were investigated and a candidate process was selected for evaluation. The process was used to develop domain models for two diverse time-dependent domains. Using object-oriented analysis, formal specifications were developed for a collection of event-driven logic circuit components …


Domain Analysis And Modeling Of A Model-Based Software Executive, Robert L. Welgan Dec 1993

Domain Analysis And Modeling Of A Model-Based Software Executive, Robert L. Welgan

Theses and Dissertations

This research was adapted the domain analysis techniques of Prieto- Diaz and Tracz to specify a domain analysis process which was used to conduct domain analysis over the domain of software executives. This analysis created a set of informal and formal domain model artifacts. The domain model artifacts were instantiated into two application executive subsystems. These executive subsystems operated in Architect, a domain-oriented application composition system based on the Object-Connection-Update OCU model. This research demonstrated and evaluated execution of the instantiated executive domain model in a series of event-driven and time-driven applications. As a consequence of developing the application executive …


Three Dimensional Object Recognition Using A Complex Autoregressive Model, David E. Chelen Dec 1993

Three Dimensional Object Recognition Using A Complex Autoregressive Model, David E. Chelen

Theses and Dissertations

Based on an autoregressive model, Complex Partial Correlation CPARCOR features are known to provide exceptional Position, Scale, and Rotation Invariant PSRI properties for planar 2-Dimensional 2-D object recognition. Although autogressive models have been successfully applied to numerous spatio-temporal recognition tasks, the effects of out-of-plane image rotations were never considered. This study investigates application of the CPAR-COR model to a five class problem of nonplanar 2-D views of 3-D objects. Recognition based on CPAR-COR features is evaluated using a Template Matching algorithm, two K-Nearest-Neighbor KNN classifiers, and a Hidden Markov Model HMM. Direct comparisons to recognition based on Fourier features are …


Discovery Learning In Autonomous Agents Using Genetic Algorithms, Edward O. Gordon Dec 1993

Discovery Learning In Autonomous Agents Using Genetic Algorithms, Edward O. Gordon

Theses and Dissertations

As the new Distributed Interactive Simulation (DIS) draft standard evolves into a useful document and distributed simulations begin to emerge that implement parts of the standard, there is renewed interest in available methods to effectively control autonomous aircraft agents in such a simulated environment. This investigation examines the use of a genetics-based classifier system for agent control. These are robust learning systems that use the adaptive search mechanisms of genetic algorithms to guide the learning system in forming new concepts (decision rules) about its environment. By allowing the rule base to evolve, it adapts agent behavior to environmental changes. Addressed …


Multiple Model Adaptive Estimation Applied To The Lambda Urv For Failure Detection And Identification, David W. Lane Dec 1993

Multiple Model Adaptive Estimation Applied To The Lambda Urv For Failure Detection And Identification, David W. Lane

Theses and Dissertations

Multiple Model Adaptive Estimation (MMAE) is a method of estimating unknown system parameters by modeling all possible parameter configurations in several models. The parameters for this research are failure status conditions associated with flight control actuators and sensors on the LAMBDA Unmanned Research Vehicle, an experimental aircraft operated by Wright Laboratory Flight Controls Division at Wright-Patterson Air Force Base, Ohio. Six actuator failures and eight sensor failures are modeled, along with the fully functional aircraft, in fifteen elemental Kalman filters. These filters propagate and update their own aircraft state estimates in real time. A probability computation representing the likelihood of …


An Analysis Of The Root Causes Of Delays And Deficiencies In The Development Of Embedded Software For Air Force Weapon Systems, Jay R. Hopkins, Curtis De Keyrel Dec 1993

An Analysis Of The Root Causes Of Delays And Deficiencies In The Development Of Embedded Software For Air Force Weapon Systems, Jay R. Hopkins, Curtis De Keyrel

Theses and Dissertations

The importance of embedded software, used in every subsystem of ah major weapon systems used by the United States Air Force, has increased drastically over the last decades. However, in spite of the regulations currently in existence, developing and acquiring software which meets the user requirements within the original cost and schedule estimates continues to be difficult. At the same time, the Air Force has pushed to improve the development process with the Total Quality Management TQM program. The primary method used to improve the process has been to create metrics, collect data on these metrics, and then perform a …


A Distributed Interactive Simulation Based Remote Debriefing Tool For Red Flag Missions, Michael T. Gardner Dec 1993

A Distributed Interactive Simulation Based Remote Debriefing Tool For Red Flag Missions, Michael T. Gardner

Theses and Dissertations

Air Force leaders, recognizing the need for improved training following the Vietnam War, implemented the Red Flag exercises at Nellis AFB. At the heart of this training is the Red Flag Measurement and Debriefing System RFMDS and its capability to accurately reconstruct the elements of an intense exercise fought over the deserts of Nevada. This thesis uses the technology of distributed interactive simulation DIS to transmit aircraft telemetry onto computer networks, allowing the monitoring and analysis of live Red Flag missions at any site with compatible communications equipment and thesis software. The use of standard DIS protocols enables simulators to …


A Probabilistic Approach To Fault Diagnosis In Linear Lightwave Networks, Robert H. Deng, A. A. Lazar, W. Wang Dec 1993

A Probabilistic Approach To Fault Diagnosis In Linear Lightwave Networks, Robert H. Deng, A. A. Lazar, W. Wang

Research Collection School Of Computing and Information Systems

The application of probabilistic reasoning to fault diagnosis in linear lightwave networks (LLNs) is investigated. The LLN inference model is represented by a Bayesian network (or causal network). An inference algorithm is proposed that is capable of conducting fault diagnosis (inference) with incomplete evidence and on an interactive basis. Two belief updating algorithms are presented which are used by the inference algorithm for performing fault diagnosis. The first belief updating algorithm is a simplified version of the one proposed by Pearl (1988) for singly connected inference models. The second belief updating algorithm applies to multiply connected inference models and is …