Digital Commons Network^™

Green Manufacturing Of Ammunition Through Knowledge Management With Distributed Access, Ali H. Dogru, Murat M. Tanik, Franz J. Kurfess, Marcus Healey, Leon Jololian

Computer Science and Software Engineering

This paper describes a distributed software requirements gathering methodology dealing with knowledge management for environmentally safer production and lifecycle aspects of tank ammunition. A requirements elicitation methodology is adapted and implemented as a distributed access tool on the Internet. This tool is used for gathering the requirements related information for a specific ammunition production process. During product development, requirements negotiation is the process where the customer needs are identified. This process is regarded as one of the most important parts of building a system because during this stage it is decided precisely what will be built. The concept has been …

Java’S Insecure Parallelism, Per Brinch Hansen

College of Engineering and Computer Science - Former Departments, Centers, Institutes and Projects

The author examines the synchronization features of Java and finds that they are insecure variants of his earliest ideas in parallel programming published in 1972-73. The claim that Java supports monitors is shown to be false. The author concludes that Java ignores the last twenty-five years of research in parallel programming languages.

Formal Development Of Secure Email, Dan Zhou, Joncheng C. Kuo, Susan Older, Shiu-Kai Chin

Electrical Engineering and Computer Science - All Scholarship

Developing systems that are assured to be secure requires precise and accurate descriptions of specifications, designs, implementations, and security properties. Formal specification and verification have long been recognized as giving the highest degree of assurance. In this paper, we describe a software development process that integrates formal verification and synthesis. We demonstrate this process by developing assured sender and receiver C++ code for a secure electronic mail system, Privacy Enhanced Mail. We use higher-order logic for system-requirements specification, design specifications and design verification. We use a combination of higher-order logic and category theory and tools supporting these formalisms to refine …

Formal Analysis Of A Secure Communication Channel: Secure Core-Email Protocol, Dan Zhou, Shiu-Kai Chin

Electrical Engineering and Computer Science - All Scholarship

To construct a highly-assured implementation of secure communication channels we must have clear definitions of the security services, the channels, and under what assumptions these channels provide the desired services. We formally define secure channel services and develop a detailed example. The example is a core protocol common to a family of secure email systems. We identify the necessary properties of cryptographic algorithms to ensure that the email protocol is secure, and we verify that the email protocol provides secure services under these assumptions. We carry out the definitions and verifications in higher-order logic using the HOL theorem-prover. All our …

Customizable And Ontology-Enhanced Medical Information Retrieval Interfaces, Gondy Leroy, K.M. Tolle, Hsinchun Chen

CGU Faculty Publications and Research

This paper describes the development and testing of the Medical Concept Mapper as an aid to providing synonyms and semantically related concepts to improve searching. All terms are related to the userquery and fit into the query context. The system is unique because its five components combine humancreated and computer-generated elements. The Arizona Noun Phraser extracts phrases from natural language user queries. WordNet and the UMLS Metathesaurus provide synonyms. The Arizona Concept Space generates conceptually related terms. Semantic relationships between queries and concepts are established using the UMLS Semantic Net. Two user studies conducted to evaluate the system are described.

Neural Computation Of All Eigenpairs Of A Matrix With Real Eigenvalues, Serafim Theodore Perlepes

Theses Digitization Project

No abstract provided.

Lewis Carroll: Author, Mathematician, And Christian, David L. Neuhouser

ACMS Journal 2004

Although a Christian, an author, and a mathematician, Charles Letwidge Dodgson (better known as Lewis Carroll) wrote very few works in which these three aspects of his person was present. The only examples of him merging these interests are in Sylvie and Bruno and Sylvie and Bruno Concluded. This paper will explore what motivated him to make these works and whether or not they were successful.

The Deconstruction Of Mathematics, David J. Stucki

ACMS Journal 2004

Mathematics, as an academic discipline, has stood for many years as the last bastion against a growing tide of intellectual relativism that has become all but ubiquitous. More recently, however, efforts have been made to "humanize" mathematics by advocating a social-constructivist approach to the philosophy of mathematics, both in practice and education. This paper is intended to serve as a critical response to one advocate of this approach, Reuben Hersh (What Is Mathematics, Really?, 1997), and in the process a defense of Platonism.

Cooperative Text And Line Art Extraction From A Topographic Map, Luyang Li, George Nagy, Ashok Samal, Sharad C. Seth, Yihong Xu

School of Computing: Conference and Workshop Papers

The black layer is digitized from a USGS topographic map digitized at 1000 dpi. The connected components of this layer are analyzed and separated into line art, text, and icons in two passes. The paired street casings are converted to polylines by vectorization and associated with street labels from the character recognition phase. The accuracy of character recognition is shown to improve by taking account of the frequently occurring overlap of line art with street labels. The experiments show that complete vectorization of the black line-layer bitmap is the major remaining problem.

Continuous Models Of Computation For Logic Programs: Importing Continuous Mathematics Into Logic Programming's Algorithmic Foundations, Howard A. Blair, Fred Dushin, David W. Jakel, Angel J. Rivera, Metin Sezgin

Electrical Engineering and Computer Science - All Scholarship

Logic programs may be construed as discrete-time and continuous-time dynamical systems with continuous states. Techniques for obtaining explicit formulations of such dynamical systems are presented and the computational performance of examples is presented. Extending 2-valued and n-valued logic to continuousvalued logic is shown to be unique, up to choosing the representations of the individual truth values as elements of a continuous field, provided that lowest degree polynomials are selected. In the case of 2-valued logic, the constraint that enables the uniqueness of the continualization is that the Jacobian matrices of the continualizations of the Boolean connectives have only affine entries. …

A Unifying Framework Supporting The Analysis And Development Of Safe Regression Test Selection Techniques, John Bible, Gregg Rothermel

School of Computing: Technical Reports

Safe regression test selection (RTS) techniques let software testers reduce the number of test cases that need to be rerun to revalidate new versions of software, while ensuring that no fault-revealing test case (in the existing test suite) is excluded. Most previous work on safe regression test selection has focused on specific safe RTS algorithms, rather than addressing the theoretical foundations of safe RTS techniques in general. In this paper, we present a unifying framework for safe RTS that supports the analysis and development of safe RTS techniques. We show that every safe RTS technique is founded on a regression …

Multivalued Mappings, Fixed-Point Theorems And Disjunctive Databases, Pascal Hitzler, Anthony K. Seda

Computer Science and Engineering Faculty Publications

In this paper, we discuss the semantics of disjunctive programs and databases and show how multivalued mappings and their fixed points arise naturally within this context. A number of fixed-point theorems for multivalued mappings are considered, some of which are already known and some of which are new. The notion of a normal derivative of a disjunctive program is introduced. Normal derivatives are normal logic programs which are determined by the disjunctive program. Thus, the well-known single-step operator associated with a normal derivative is single-valued, and its fixed points can be found by well-established means. It is shown how fixed …

Multiple Stochastic Learning Automata For Vehicle Path Control In An Automated Highway System, Cem Unsal, Pushkin Kachroo, John S. Bay

Electrical & Computer Engineering Faculty Research

This paper suggests an intelligent controller for an automated vehicle planning its own trajectory based on sensor and communication data. The intelligent controller is designed using the learning stochastic automata theory. Using the data received from on-board sensors, two automata (one for lateral actions, one for longitudinal actions) can learn the best possible action to avoid collisions. The system has the advantage of being able to work in unmodeled stochastic environments, unlike adaptive control methods or expert systems. Simulations for simultaneous lateral and longitudinal control of a vehicle provide encouraging results

Graphics + Robotics + Ai = Fast, 3d Scene Construction, Brian C. Mashburn, Doug S. Blank

Computer Science Faculty Research and Scholarship

Sceneconstruction is the process of building realis- tic, three-dimensionalrepresentations, or models,of real world environments, such as rooms, landsacpes or buildings. Because of the realistic quality of images being produced, current scene construction algorithms require manualprocessing by humanexperts. However, the benefits of having such 3Dmodelsare great. Con- sider a situation where a three-dimensional modelof an evironment must be created in real-time. Existing scene construction algorithms will not su~ce. There- fore we have outlined a newarea of quick and dirty scene construction whereusable, lowresolution, three- dimensional models of real world environments can be created in real time. This paper describes the need …

The World Wide Web, H. Berghel, Doug Blank

Computer Science Faculty Research and Scholarship

No abstract provided.

Radical Artificial Intelligence: A Postmodern Approach, Doug Blank

Computer Science Faculty Research and Scholarship

No abstract provided.

A Feature Library Approach To On-Line Image Querying And Retrieval For Topographic Applications, James Carswell

Conference papers

In this paper we address the problem of content-based image retrieval using queries on shape and topology. We focus on the particularities of image databases encountered in typical topographic applications, and present the development of a spatial data management system that enables such queries. The query uses as input user-provided sketches of the shape and spatial configuration of the object (or objects) which should appear in the images to be retrieved. The objective of the search is to retrieve images that contain a configuration of objects sufficiently similar to the one specified in the query. Our novel approach introduces the …

Multi-User Domain Object Oriented (Moo) As A High School Procedure For Foreign Language Acquisition, James A. Backer

CCAC Theses and Dissertations

Foreign language students experience added difficulty when they are isolated from native speakers and from the culture of the target language. It has been posited that MOOs (Multiuser domain Object Oriented) may help to overcome the geographical isolation of these students. MOOs are Internet-based virtual worlds in which people from all over the real world meet for synchronous textual conversations and can interact with asynchronous textual objects found there. Students who enjoy a MOO site may identify with its virtual target language community and find integrative motivation which the literature suggests is necessary for advanced language acquisition.

This study focused …

A Theoretical Model For A Prescription Drug Public Key Cryptographic System, Donald R. Lemma

CCAC Theses and Dissertations

A critical component of a physician's duties is prescribing medication to his or her patients. This process is handled by the physician writing a prescription for a medication and having the medication dispensed to the named patient. A review of federal law reveals no requirement that the prescription be issued on any type of specific written instrument such as safety paper, multi-part forms, or other standardized documents.

Because of the lack of adequate controls, there is a serious problem with false and altered prescriptions being issued within the United States. A 1994 study by the White House Office of National …

Linking Printed Books To Computerized Speech, Edward D. Crook

CCAC Theses and Dissertations

Adult students who experience difficulties in comprehending written (printed) language frequently are limited in their scholastic development and possible employment opportunities. These individuals, who represent a growing segment of the learning disabled population, include poor readers and dyslexics and they routinely seek help and remediation through various educational techniques. One remediation technique often used is "books on tape". Through books on tape, recorded spoken text is presented in a sequential manner to the remedial reader as he or she is reading the corresponding printed document. This dissertation reviewed the books on tape paradigm, and through the use of current computer …

Search For Charginos And Neutralinos In E+E- Collisions At Centre-Of-Mass Energies Near 183 Gev And Constraints On The Mssm Parameter Space, R. Barate, M. Thulasidas

Research Collection School Of Computing and Information Systems

Searches for charginos and neutralinos are performed with the data collected by the ALEPH detector at LEP at centre-of-mass energies near 183 GeV. In these searches, it is assumed that R-parity is conserved and that the lightest neutralino is the LSP. No evidence of a signal is observed in the 57 pb−1−1 accumulated, which excludes chargino and associated neutralino production up to the kinematic limit over large regions of the MSSM parameter space. Under the assumptions of common gaugino and common sfermion masses at the unification scale, the interplay between the chargino, neutralino and slepton exclusion limits allows a lower …

Study Of T Decays Involving Kaons, Spectral Functions And Determination Of The Strange Quark Mass, R. Barate, M. Thulasidas

Research Collection School Of Computing and Information Systems

All ALEPH measurements of branching ratios of ττ decays involving kaons are summarized including a combination of results obtained with K0SKS0 and K0LKL0 detection. The decay dynamics are studied, leading to the determination of contributions from vector K∗(892)K∗(892) and K∗(1410)K∗(1410), and axial-vector K1(1270)K1(1270) and K1(1400)K1(1400) resonances. Agreement with isospin symmetry is observed among the different final states. Under the hypothesis of the conserved vector current, the spectral function for the KK¯¯¯¯¯πKK¯π mode is compared with the corresponding cross section for low energy e+e−e+e− annihilation, yielding an axial-vector fraction of (94+6−8)%(94−8+6)% for this mode. The branching ratio for ττ decay into …

Mpijava: An Object-Oriented Java Interface To Mpi, Mark Baker, Bryan Carpenter, Geoffrey C. Fox, Sung Hoon Ko

Northeast Parallel Architecture Center

A basic prerequisite for parallel programming is a good communication API. The recent interest in using Java for scientific and engineering application has led to several international efforts to produce a message passing interface to support parallel computation. In this paper we describe and then discuss the syntax, functionality and performance of one such interface, mpiJava, an object-oriented Java interface to MPI. We first discuss the design of the mpiJava API and the issues associated with its development. We then move on to briefly outline the steps necessary to 'port' mpiJava onto a range of operating systems, including Windows NT, …

Building Distributed Systems For The Pragmatic Object Web, Geoffrey C. Fox, Wojtek Furmanski, Tomasz Haupt

Northeast Parallel Architecture Center

We review the growing power and capability of commodity computing and communication technologies largely driven by commercial distributed information systems. These systems are built from CORBA, Microsoft's COM, JavaBeans, and rapidly advancing Web approaches. One can abstract these to a three-tier model with largely independent clients connected to a distributed network of servers. The latter host various services including object and relational databases and of course parallel and sequential computing. High performance can be obtained by combining concurrency at the middle server tier with optimized parallel back end services. The resultant system combines the needed performance for large-scale HPCC applications …

Mpijava 1.2: Api Specification, Bryan Carpenter, Geoffrey C. Fox, Sung-Hoon Ko, Sang Lim

Northeast Parallel Architecture Center

This document defines the API of mpiJava, a Java language binding for MPI 1.1. The document is not a standalone specification of the behaviour of MPI--it is meant to be read in conjunction with the MPI standard document [2]. Subsections are laid out in the same way as in the standard document, to allow cross-referencing. Where the mpiJava binding makes no significant change to a particular section of the standard document, we will just note here that there are no special issues for the Java binding. This does not mean that the corresponding section of the standard is irrelevant to …

Internetics: Technologies, Applications And Academic Field, Or, Parallel Computing And Computational Science Do Not Quite Work, Geoffrey C. Fox

Northeast Parallel Architecture Center

Ten years ago, we were all sure that parallel computing technology and the interdisciplinary academic field of computational science would be center pieces of both academic and economic growth. We show that this insight was, in principle, correct but was an incomplete vision for large-scale computation implies both increased computer power and increasing numbers of users and applications. Parallel computing undoubtedly works on essentially all problems, but we were unable to produce deployable software systems. Further, few industries could achieve adequate return to justify investment in parallel computers, except in a few areas such as databases. Computational science is the …

Codes, Correlations And Power Control In Ofdm, James A. Davis, Jonathan Jedwab, Kenneth G. Paterson

Department of Math & Statistics Faculty Publications

Practical communications engineering is continually producing problems of interest to the coding theory community. A recent example is the power-control problem in Orthogonal Frequency Division Multiplexing (OFDM). We report recent work which gives a mathematical framework for generating solutions to this notorious problem that are suited to low-cost wireless applications. The key result is a connection between Golay complementary sequences and Reed-Muller codes. The former are almost ideal for OFDM transmissions because they have a very low peak-to-mean envelope power ratio (PMEPR), while the latter have efficient encoding and decoding algorithms and good error correction capability. This result is then …

Performance Surface Prediction For Wan-Based Clusters, Mark J. Clement, J. Kelly Flanagan, Glenn M. Judd, Bryan S. Morse, Joy L. Peterson

Faculty Publications

The last five years have been a period of exponential growth in the number of machines connected to the Internet and the speed at which these machines communicate. The infrastructure is now in place to consider a nationwide cluster of workstations as a viable parallel processing platform. In order to achieve acceptable performance on this kind of a machine, performance prediction tools must provide information on where to place computational objects. Incorrect object placement can result in poor performance and congestion in the network. This research develops a new paradigm for predicting performance in the Wide Area Network (WAN) based …

Infoharness: Managing Distributed, Heterogeneous Information, Kshitij Shah, Amit P. Sheth

Kno.e.sis Publications

Today, important information is scattered in so many places, formats, and media, that getting the right information at the right time and place is an extremely difficult task. Developing a single software product, for example, includes the creation of documents ranging from the requirements specification and project schedules to marketing presentations, multimedia tutorials, and more. Each document may be created by a different person using a different tool, and each may be stored in a different place. InfoHarness is an information integration system, platform, and tool set that addresses these problems, managing huge amounts of heterogeneous information in a distributed …

Processes Driving The Networked Economy, Amit P. Sheth, Will Van Der Aalst, I. Budak Arpinar

Kno.e.sis Publications

The authors propose that an organic workflow-process technology will power the evolution of information system architectures. The authors outline three likely stages of architectural evolution in the context of a networked economy and discuss critical gaps in the current technology with respect to their envisioned future.