Physical Sciences and Mathematics Commons^™

Refined Genetic Algorithms For Polypeptide Structure Prediction, Charles E. Kaiser Jr.

Theses and Dissertations

Accurate and reliable prediction of macromolecular structures has eluded researchers for nearly 40 years. Prediction via energy minimization assumes the native conformation has the globally minimal energy potential. An exhaustive search is impossible since for molecules of normal size, the size of the search space exceeds the size of the universe. Domain knowledge sources, such as the Brookhaven PDB can be mined for constraints to limit the search space. Genetic algorithms (GAs) are stochastic, population based, search algorithms of polynomial (P) time complexity that can produce semi-optimal solutions for problems of nondeterministic polynomial (NP) time complexity such as PSP. Three …

Analysis Of Linkage-Friendly Genetic Algorithms, Laurence D. Merkle

Theses and Dissertations

Evolutionary algorithms (EAs) are stochastic population-based algorithms inspired by the natural processes of selection, mutation, and recombination. EAs are often employed as optimum seeking techniques. A formal framework for EAs is proposed, in which evolutionary operators are viewed as mappings from parameter spaces to spaces of random functions. Formal definitions within this framework capture the distinguishing characteristics of the classes of recombination, mutation, and selection operators. EAs which use strictly invariant selection operators and order invariant representation schemes comprise the class of linkage-friendly genetic algorithms (lfGAs). Fast messy genetic algorithms (fmGAs) are lfGAs which use binary tournament selection (BTS) with …

Algebraic Algorithm Design And Local Search, Robert P. Graham Jr.

Theses and Dissertations

Formal, mathematically-based techniques promise to play an expanding role in the development and maintenance of the software on which our technological society depends. Algebraic techniques have been applied successfully to algorithm synthesis by the use of algorithm theories and design tactics, an approach pioneered in the Kestrel Interactive Development System (KIDS). An algorithm theory formally characterizes the essential components of a family of algorithms. A design tactic is a specialized procedure for recognizing in a problem specification the structures identified in an algorithm theory and then synthesizing a program. Design tactics are hard to write, however, and much of the …

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 …

Implementation Of An Ada95 Crosscompiler For The Real-Time Executive For Military Systems (Rtems), Kendall M. Lemley Jr.

Theses and Dissertations

This thesis represents a continuation of the assessment of the Unified Telerobotics Architecture Project (UTAP), a proposed Air Force standard. This architecture was developed by the NASA Jet Propulsion Laboratory and the National Institute of Standards under contract to the Air Force Materiel Command Robotics and Automation Center of Excellence at Kelly AFB, Texas. Due to operating system constraints, the only UTAP implementation to date has required a separate software interface layer, adding complexity and overhead to the overall system, while reducing portability. This thesis proposes a long term effort to design and implement UTAP-compliant application software devoid of this …

A Test-Case Based Approach To Bayesian Knowledge Base Incompleteness Detection And Correction, Louise J. Lyle

Theses and Dissertations

This work develops tools and techniques to identify particular Bayesian Knowledge Base (BKB) incompletenesses, and to modify the existing knowledge-base (KB) structure to correct these problems. The methodology performs manually or automatically, informing the user of either problems causing the incompleteness, or of details resulting from the automatic knowledge-base correction. The proposed methodology is designed for integration with BVAL, to augment BVAL's validation techniques.

Collaborative Workspaces Within Distributed Virtual Environments, William D. Wells

Theses and Dissertations

In warfare, be it a training simulation or actual combat, a commander's time is one of the most valuable and fleeting resources of a military unit. Thus, it is natural for a unit to have a plethora of personnel to analyze and filter information to the decision-maker. This dynamic exchange of ideas between analyst and commander is currently not available within the distributed interactive simulation (DIS) community. This lack of exchange limits the usefulness of the DIS experience to the commander and his troops. This thesis addresses the commander's isolation problem through the integration of a collaborative workspace within AFIT's …

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 …

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 Specialization Toolkit To Increase The Diversity Of Operating Systems, Calton Pu, Andrew P. Black, Crispin Cowan, Jonathan Walpole, Charles Consel

Computer Science Faculty Publications and Presentations

Virus and worm attacks that exploit system implementation details can be countered with a diversified set of implementations. Furthermore, immune systems show that attacks from previously unknown organisms require effective dynamic response. In the Synthetix project, we have been developing a specialization toolkit to improve the performance of operating system kernels. The toolkit helps programmers generate and manage diverse specialized implementations of software modules. The Tempo-C specializer tool generates different versions for both compile-time and run-time specialization. We are now adapting the toolkit to improve operating system survivability against implementations attacks.

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 …

A Software Architecture For Computer Generated Forces In Complex Distributed Virtual Environments, Vincent B. Zurita

Theses and Dissertations

Complex Distributed Virtual Environments (DVEs) present an outstanding opportunity for the Department of Defense to train geographically separated units within a single realistic threat environment with minimal logistical considerations or safety concerns. To increase the fidelity of these simulations, minimize cost, and thereby maximize the training potential, DVEs must be populated with a realistic number of Computer Generated Forces (CGFs). These are currently expensive to design and build due to a lack of standard COF architectures. A solution to this problem is presented in the form of a CGF Architecture that is applicable to CGFs that model any weapon system. …

The Application Of A Multimedia System To The Tourist Guide Of The Miami International Airport, Ying-Yuang Chen

FIU Electronic Theses and Dissertations

This project is to present a multimedia system designed for Miami International Airport as a tourist guide for passengers and to demonstrate the functionalities and facilities of the airport.

The project is based on an inexpensive integrated and comprehensive multimedia environment. The major components of the environment consist of (1) a low cost PC 386/486 with only ISA bus and IDE hard drive, (2) a high quality and high performance add-on real-time video/audio codec board (30/25 fps for NTSC/PAL video and synchronized audio sampled at 22KHz), (3) software packages including interactive utility programs to record, playback and edit real-time video/audio …

Master Of Science In Computing Technology In Education 1996, Nova Southeastern University

College of Engineering and Computing Course Catalogs

No abstract provided.

Re-Engineering Technical Education In Industry Through Interactive Multimedia Computer-Based Training, Yolanda Kennedy, Erika Rogers

Computer Science and Software Engineering

This paper describes current work on re-engineering a short technical course in the area of Non-Destructive Evaluation/Inspection (NDE/I) sponsored by Boeing’s Defense and Space Group. The subject of the course is Eddy Current Testing, and is currently taught over a period of two days using traditional view foils and hand-built artifacts. An overview of some of the course material is presented together with how techniques such as task analysis and storyboarding are being used to design interactive multimedia training modules to support this course.

Interactive Student Support For Introductory Computer Science Courses, Barb Ericson, Erika Rogers

Computer Science and Software Engineering

This paper describes the development of interactive multimedia modules which provide supplementary tutorials on basic topics covered in introductory computer science classes. Two such modules were implemented on the topics of number conversions and basic operating system information. The first versions of the tutorials were evaluated in a study using protocol collection and a post-test with a number of student participants. Results from this study led to the re-design of several portions of the tutorials, which now have a greater level of interaction and progressive assistance for problem-solving.

The Dark Side Of Risk (What Your Mother Never Told You About Time Warp), David M. Nicol, Xiaowen Liu

Computer Science Technical Reports

This paper is a reminder of the danger of allowing ``risk'' when synchronizing a parallel discrete-event simulation: a simulation code that runs correctly on a serial machine may, when run in parallel, fail catastrophically. This can happen when Time Warp presents an ``inconsistent'' message to an LP, a message that makes absolutely no sense given the LP's state. Failure may result if the simulation modeler did not anticipate the possibility of this inconsistency. While the problem is not new, there has been little discussion of how to deal with it; furthermore the problem may not be evident to new users …

A Critique Of The Telecommunications Description Language (Ted), Brian J. Premore, David M. Nicol, Xiaowen Liu

Computer Science Technical Reports

TeD is an object-oriented description language designed to facilitate the modeling of large scale telecommunication networks, with simulation on parallel and distributed platforms. TeD models are mapped to the Georgia Tech Time Warp engine (GTW) for execution. In this paper we outline the features of TeD, pointing out its strengths and identifying characteristics that gave us trouble as we used TeD to model detailed networks. Our issues are motivated specifically by a model of TCP and a model of multicast resource allocation. Our intention is to illustrate by example what TeD can do, and characteristics that a potential TeD user …

Agent Based Network Systems For Multi- Physics Problems, Tzvetan Drashansky, John R. Rice

Department of Computer Science Technical Reports

No abstract provided.

Pattern Matching Image Compression With Predication Loop: Preliminary Experimental Results, Denis Arnaud, Wojciech Szpankowski

Department of Computer Science Technical Reports

No abstract provided.

Annotated Statistical Indices For Sequence Analysis, Alberto Apostolico, Mary Ellen Bock, Xuyan Xu

Department of Computer Science Technical Reports

No abstract provided.

Parallel (//) Ellpack: A Problem Solving Environment For Pde Based Applications On Multicomputer Platforms, Elias N. Houstis, John R. Rice, S. Weerawarana, A. C. Catlin, P. Papachiou, M. Gaitatzes

Department of Computer Science Technical Reports

No abstract provided.

Finanzia: An Option Valuation Library, Konstantinos N. Pantazopoulos, Elias N. Houstis

Department of Computer Science Technical Reports

No abstract provided.

Quality Of Service Test By Codec Performance, Shunge Li, Bharat Bhargava, Dawei Wang

Department of Computer Science Technical Reports

No abstract provided.

Four-Fermion Production In E+E- Collisions At Centre-Of-Mass Energies Of 130 And 136 Gev, D. Buskulic, Manoj Thulasidas

Research Collection School Of Computing and Information Systems

Four-fermion events have been selected in a data sample of 5.8 pb−1 collected with the aleph detector at centre-of-mass energies of 130 and 136 GeV. The final states ℓ+ℓ−qq, ℓ+ℓ−ℓ+ℓ−, ννqq, and ννℓ+ℓ− have been examined. Five events are observed in the data, in agreement with the Standard Model predictions of 6.67±0.38 events from four-fermion processes and 0.14−0.05+0.19 from background processes.

Wright State University College Of Engineering And Computer Science Bits And Pcs Newsletter, Volume 12, Number 9, November 1996, 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.

Galley: A New Parallel File System For Parallel Applications, Nils Nieuwejaar

Dartmouth College Ph.D Dissertations

Most current multiprocessor file systems are designed to use multiple disks in parallel, using the high aggregate bandwidth to meet the growing I/O requirements of parallel scientific applications. Most multiprocessor file systems provide applications with a conventional Unix-like interface, allowing the application to access those multiple disks transparently. This interface conceals the parallelism within the file system, increasing the ease of programmability, but making it difficult or impossible for sophisticated application and library programmers to use knowledge about their I/O to exploit that parallelism. In addition to providing an insufficient interface, most current multiprocessor file systems are optimized for a …

Multimedia Applications Require Adaptive Cpu Scheduling, Veronica Baiceanu, Crispin Cowan, Dylan Mcnamee, Calton Pu, Jonathan Walpole

Computer Science Faculty Publications and Presentations

CPU scheduling and admission testing for multimedia applications have been extensively studied, and various solutions have been proposed using assorted simplifying assumptions. However, we believe that the complexity and dynamic behavior of multimedia applications and systems make static solutions hard to apply in real-world situations. We are analyzing the difficulties that arise when applying the rate-monotonic (RM) scheduling algorithm and the corresponding admission tests for CPU management, in the context of real multimedia applications running on real systems. RM requires statically predictable, periodic workloads, and while multimedia applications appear to be periodic, in practice they exhibit numerous variabilities in workload. …

High Quality Alias Free Image Rotation, Charles B. Owen, Fillia Makedon

Dartmouth Scholarship

This paper presents new algorithms for the rotation of images. The primary design criteria for these algorithms is very high quality. Common methods for image rotation, including convolutional and separable approaches, are examined and shown to exhibit significant high frequency aliasing problems. A new resampling filter design methodology is presented which minimizes the problem for conventional convolution-based image rotation. The paper also presents a new separable image rotation algorithm which exhibits improved performance in term of reduction in artifacts and an efficient $O(N^{2} log N)$ running time.

Oodini 2.1 : An Enhanced Graphical Schema Representation For Object-Oriented Database, Rajashekar Rao

Theses

The graphical representation of an object-oriented database (OODB) schema is useful for the designers and users of a database system. The purpose of my thesis was to enhance the existing version of OOdini, an interactive graphical tool for editing an OODB schema. The new features include interactive modification and description of objects in the schema. Data structures for representing classes and attributes have been altered to incorporate object/data types as well as a descriptive string. The software has been implemented using the ObjectMaker toolkit to design our own methodology using the ObjectMaker Extension Language.