Physical Sciences and Mathematics Commons^™

Software Quality Function Deployment : A Method For Building Better Software, Dean Carruthers

Theses : Honours

In recent years it is becoming increasingly more apparent that quality even more than productivity is emerging as the key issue in the development of software. The quality systems currently employed by most software companies however arc simply not up to the task, traditional quality systems focus upon conformance to company standards, automation to eliminate human error and in some cases quality improvement teams. These traditional quality assurance methods lead to quality as defined from the organizations point of view, all work performed is done to their standards, however a what it is that makes a quality product is defined …

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 …

Object Oriented Enterprise Modeling And Distributed Cognition At A New University: Csu Monterey Bay, Armando A. Arias Jr., Beryl L. Bellman

SSGS Faculty Publications and Presentations

No abstract provided.

Creating A New University Through Object Oriented Enterprise Modeling: A Study Of Communications Knowledge Management & Distributed Cognition, Armando A. Arias Jr., Beryl L. Bellman

SSGS Faculty Publications and Presentations

Enterprise based object oriented (OO) and Unified Modeling Language (UML) modeling makes it possible to build the needed visual environments to organize people, technologies and activities (Arias, 1999d). In our modeling approach, the focus is on "things and relationships between things" described in commonly used terms. The modeling software bridges the so-called "semantic gap" between the people and the computer language (Booch, Rumbaugh & Jacobson, 1999). An object can be a product, a process, a person, a team, a company, an application or the inter-relationship between other objects. Objects can be pictured on the screen as maps formed by personalized …

(Ω, Ξ)-Logic: On The Algebraic Extension Of Coalgebraic Specifications, Rolf Hennicker, Alexander Kurz

Engineering Faculty Articles and Research

We present an extension of standard coalgebraic specification techniques for statebased systems which allows us to integrate constants and n-ary operations in a smooth way and, moreover, leads to a simplification of the coalgebraic structure of the models of a specification. The framework of (Ω,Ξ)-logic can be considered as the result of a translation of concepts of observational logic (cf. [9]) into the coalgebraic world. As a particular outcome we obtain the notion of an (Ω, Ξ)- structure and a sound and complete proof system for (first-order) observational properties of specifications.

Using Omissive Faults To Obtain Local Convergence In Partially Connected Networks, M. H. Azadmanesh, A. W. Krings

Computer Science Faculty Publications

Approximate Agreement is an important issue in faulttolerant distributed computing where non-faulty processes exchange and vote upon their local values, to arrive at values which are within the range of the initial values of the nonfaulty processes and within a predefined tolerance of each other. Results to date in Approximate Agreement, however, are not capable of exploiting omission faults. Omission faults are presumed not to occur or a predefined default value is substituted for those values not received, or they are globally discarded before the voting algorithm executes. As a result, hybrid fault models can not differentiate between omissive and …

Benchmarking Financial Operations Using The Premier Operations Outlook Database, Margaret M. Thompson

Community & Environmental Health Theses & Dissertations

Acute-care hospitals have come under increased pressure to reduce costs while increasing the quality of providing care. Historically, increasing costs of providing care has had the greatest impact on the reduction of operating margins necessary to expand capital and for repayment of debt. Facilities can benchmark internal historical data to identify areas where costs have increased and are able to explain the factors that contribute to the increases. One of the challenges facing hospitals in their efforts to reduce operating costs is how, what, and where, do they obtain comparative data to benchmark the cost of operating medical facility to …

Parametric Polymorphism In The Simple Language, Soumaia Ahmed Al Ayyat

Archived Theses and Dissertations

No abstract provided.

A Study Of Single W Production In E+E- Collisions At √S = 161-183 Gev, R. Barate, Manoj Thulasidas

Research Collection School Of Computing and Information Systems

Single W production is studied in the data recorded with the ALEPH detector at LEP at centre-of-mass energies between 161 and 183 GeV. The cross section is measured to be σw = 0.41 ± 0.17(stat.) ± 0.04(syst.) pb at 183 GeV, consistent with the Standard Model expectation. Limits on non-standard WWγ couplings are deduced as -1.6 γ γ = 0) and -1.6 γ γ = 1) at 95% C.L. A search for effectively invisible decays of the W boson in W pair production is performed, leading to an upper limit on the branching ratio of 1.3% (Γinv = 27 MeV) …

Measurement Of W-Pair Production In E+E- Collisions At 183 Gev, R. Barate, Manoj Thulasidas

Research Collection School Of Computing and Information Systems

The production of W+W− pairs is analysed in a data sample collected by ALEPH at a mean centre-of-mass energy of 182.7 GeV, corresponding to an integrated luminosity of 57 pb−1 . Cross sections are given for different topologies of W decays into leptons or hadrons. Under Standard Model assumptions for the W-pair production and decay, the W-pair cross section is measured to be 15.57 ± 0.62(stat.) ± 0.29(syst.) pb. Using also the W-pair data samples collected by ALEPH at lower centre-of-mass energies, the decay branching ratio of the W boson into hadrons is measured to be B(W → hadrons) = …

Search For Charged Higgs Bosons In E+E- Collisions At √S = 181-184 Gev, Barate, R.; Et Al., M. Thulasidas

Research Collection School Of Computing and Information Systems

No abstract provided.

Search For The Standard Model Higgs Boson At The Lep2 Collider Near √S = 183 Gev, R. Barate, M. Thulasidas

Research Collection School Of Computing and Information Systems

During 1997 the ALEPH experiment at LEP gathered 57pb−1 of data at centre-of-mass energies near 183 GeV. These data are used to look for possible signals from the production of the Standard Model Higgs boson in the reaction e+e−→HZ. No evidence of a signal is found in the data; seven events are selected, in agreement with the expectation of 7.2 events from background processes. This observation results in an improved lower limit on the mass of the Higgs boson: mH>87.9GeV/c2 at 95% confidence level.

One-Prong Τ Decays With Kaons, R. Barate, M. Thulasidas

Research Collection School Of Computing and Information Systems

One-prong ττ decays into final states involving kaons are studied with about 161 000 τ+τ−τ+τ− events collected by the ALEPH detector from 1991 to 1995. Charged kaons are identified by dE/dx measurement, while K0LKL0's are detected through their interaction in calorimeters. Branching ratios are measured for the inclusive mode, B(τ−→K−Xντ)=(1.52±0.04±0.04)%B(τ−→K−Xντ)=(1.52±0.04±0.04)%, where X can be any system of neutral particles, and for the exclusive modesB(τ−→K−ντ)=(6.96±0.25±0.14)×10−3,B(τ−→K−π0ντ)=(4.44±0.26±0.24)×10−3,B(τ−→K−π0π0ντ)=(0.56±0.20±0.15)×10−3,B(τ−→K−π0π0π0ντ)=(0.37±0.21±0.11)×10−3,B(τ−→K−K0ντ)=(1.62±0.21±0.11)×10−3,B(τ−→K−K0π0ντ)=(1.43±0.25±0.15)×10−3,B(τ−→K0¯¯¯¯¯¯¯π−ντ)=(9.28±0.45±0.34)×10−3,B(τ−→K0¯¯¯¯¯¯¯π−π0ντ)=(3.47±0.53±0.37)×10−3,B(τ−→K−ντ)=(6.96±0.25±0.14)×10−3,B(τ−→K−π0ντ)=(4.44±0.26±0.24)×10−3,B(τ−→K−π0π0ντ)=(0.56±0.20±0.15)×10−3,B(τ−→K−π0π0π0ντ)=(0.37±0.21±0.11)×10−3,B(τ−→K−K0ντ)=(1.62±0.21±0.11)×10−3,B(τ−→K−K0π0ντ)=(1.43±0.25±0.15)×10−3,B(τ−→K0¯π−ντ)=(9.28±0.45±0.34)×10−3,B(τ−→K0¯π−π0ντ)=(3.47±0.53±0.37)×10−3,where the first error is statistical and the second is systematical. Upper limits for B(τ−→K0¯¯¯¯¯¯¯π−π0π0ντ)B(τ−→K0¯π−π0π0ντ) and B(τ−→K−K0π0π0ντ)B(τ−→K−K0π0π0ντ) are also obtained. Mass spectra in the final states are investigated in order to study the relevant dynamics.

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 …

Decision Analytic Approach To Severe Head Injury Management., Harmanec D., Tze-Yun Leong, Sundaresh S., Poh K., Yeo T., Ng I., Lew T.

Research Collection School Of Computing and Information Systems

Severe head injury management in the intensive care unit is extremely challenging due to the complex domain, the uncertain intervention efficacies, and the time-critical setting. We adopt a decision analytic approach to automate the management process. We document our experience in building a simplified influence diagram that involves about 3000 numerical parameters. We identify the inherent problems in structuring a model with unclear domain relationships, numerous interacting variables, and real-time multiple inputs. We analyze the effectiveness and limitations of the decision analytic approach and present a set of desiderata for effective knowledge acquisition in this setting. We also propose a …

Artificial Societies: A Computational Model Of Disease Transmission, Nathan T. Moore

Dissertations, Theses, and Masters Projects

No abstract provided.

Artificial Societies: A Computational Approach To Studying Combat, Rachel J. Moore

Dissertations, Theses, and Masters Projects

No abstract provided.

Harp: A Distributed Query System For Legacy Public Libraries And Structured Databases, Ee Peng Lim, Ying Lu

Research Collection School Of Computing and Information Systems

The main purpose of a digital library is to facilitate users easy access to enormous amount of globally networked information. Typically, this information includes preexisting public library catalog data, digitized document collections, and other databases. In this article, we describe the distributed query system of a digital library prototype system known as HARP. In the HARP project, we have designed and implemented a distributed query processor and its query front-end to support integrated queries to preexisting public library catalogs and structured databases. This article describes our experiences in the design of an extended Sequel (SQL) query language known as HarpSQL. …

Graded Functional Activation In The Visuo-Spatial System With The Amount Of Task Demand, Patricia Carpenter, Marcel Just, Timothy Keller, William Eddy, Keith Thulborn

Marcel Adam Just

No abstract provided.

Optimization Methods For Logical Inference, Vijay Chandru, John Hooker

John Hooker

No abstract provided.

Time Course Of Fmri-Activation In Language And Spatial Networks During Sentence Comprehension, Patricia A. Carpenter, Marcel Adam Just, Timothy A. Keller, William F. Eddy, Keith R. Thulborn

Marcel Adam Just

No abstract provided.

Plasticity Of Language-Related Brain Function During Recovery From Strok, Keith R. Thulborn, Patricia A. Carpenter, Marcel Adam Just

Marcel Adam Just

No abstract provided.

Computational Modeling Of High-Level Cognition And Brain Function, Marcel Adam Just, Patricia A. Carpenter, Sashank Varma

Marcel Adam Just

No abstract provided.

Indexing Flower Patent Images Using Domain Knowledge, Madirakshi Das, R. Manmatha, Edward M. Riseman

R. Manmatha

A new approach to indexing a specialized database by utilizing the color and spatial domain knowledge available for the database is described. This approach is illustrated by using it to provide a solution to the problem of indexing images of flowers for searching a flower patents database by color. The flower region is isolated from the background by using an automatic iterative segmentation algorithm with domain knowledge-driven feedback. The color of the flower is defined by the color names present in the flower region and their relative proportions. The database can be queried by example and by color names. The …

Multi-Modal Retrieval Of Trademark Images Using Global Similarity, S Ravela, R. Manmatha

R. Manmatha

In this paper a system for multi-modal retrieval of trademark images is presented. Images are characterized and retrieved using associated text and visual appearance. A user initiates retrieval for similar trademarks by typing a text query. Subsequent searches can be performed by visual appearance or using both appearance and text information. Textual information associated with trademarks is searched using the INQUERY search engine. Images are searched visually using a method for global image similarity by appearance developed in this paper. Images are filtered with Gaussian derivatives and geometric features are computed from the filtered images. The geometric features used here …

Snowflake: Spanning Administrative Domains, Jon Howell, David Kotz

Computer Science Technical Reports

Many distributed systems provide a ``single-system image'' to their users, so the user has the illusion that they are using a single system when in fact they are using many distributed resources. It is a powerful abstraction that helps users to manage the complexity of using distributed resources. The goal of the Snowflake project is to discover how single-system images can be made to span administrative domains. Our current prototype organizes resources in namespaces and distributes them using Java Remote Method Invocation. Challenging issues include how much flexibility should be built into the namespace interface, and how transparent the network …

Hey, You Got Your Language In My Operating System!, Jon Howell, Mark Montague

Computer Science Technical Reports

Several projects in the operating systems research community suggest a trend of convergence among features once divided between operating systems and languages. We describe how partial evaluation and transformational programming systems apply to this trend by providing a general framework for application support, from compilation to run-time services. We contend that the community will no longer think of implementing a static collection of services and calling it an operating system; instead, this general framework will allow applications to be flexibly configured, and the ``operating system'' will simply be the application support that is supplied at run-time.

Wright State University College Of Engineering And Computer Science Bits And Pcs Newsletter, Volume 14, Number 9, December 1998, College Of Engineering And Computer Science, Wright State University

BITs and PCs Newsletter

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

Optimizing Amplifier Placements In A Multiwavelength Optical Lan/Man: The Unequally Powered Wavelengths Case, Byrav Ramamurthy, Jason Iness, Biswanath Mukherjee

School of Computing: Faculty Publications

Optical networks based on passive-star couplers and employing WDM have been proposed for deployment in local and metropolitan areas. These networks suffer from splitting, coupling, and attenuation losses. Since there is an upper bound on transmitter power and a lower bound on receiver sensitivity, optical amplifiers are usually required to compensate for the power losses mentioned above. Due to the high cost of amplifiers, it is desirable to minimize their total number in the network. However, an optical amplifier has constraints on the maximum gain and the maximum output power it can supply; thus, optical amplifier placement becomes a challenging …

A Portable, Object-Oriented Library For Neural Network Simulation, Martin P. Franz

Masters Theses

A portable, object-oriented library for simulation of general Multi-layer Feedforward Neural Networks (MLFNs) is described. Unlike all-encompassing neural network simulation environments, the library was designed to allow convenient use in existing programs and in applications where training and testing data are generated using separate, often complex simulations.

The library' s design goals include modularity, portability, efficiency, correctness, compactness, and type-safety. To demonstrate how these objectives are met, competing architectural choices are presented, along with the criteria used for determining the strategy actually implemented. Sample applications using the library are presented, showing how the library' s class files are used in …