Digital Commons Network^™

A Fuzzy Logic-Based Foundation For Analyzing Imprecise Conflicting Requirements, J. Yen, Xiaoqing Frank Liu

Computer Science Faculty Research & Creative Works

Imprecise requirements are represented by the canonical form in test-score semantics. The concepts of feasibility, satisfiability, and specificity are formalized based on the fuzzy sets. The relationships between requirements are classified to be conflicting and cooperative. A feasible overall requirement can thus be formulated based on the tradeoff analysis of the conflicting requirements by using fuzzy multi-criteria optimization technique

Iowa Academy Of Science Directory, 1994-95, Iowa Academy Of Science

Iowa Academy of Science Documents

Contents:

Board of Directors ... 3
Program Directors ... 4
Editors ... 6
Committees ... 8
Sections ... 21
ISTS Regional Directors ... 36
Awards of Merit ... 28
Excellence in Science Teaching Awards ... 29
Past Presidents ... 30
Membership Roster ... 31

Environmental Attitudes And Knowledge: An International Comparison Among Business Students, Raymond Benton Jr., G. Ray Funkhouser

School of Business: Faculty Publications and Other Works

This article investigates international differences in environmental knowledge and attitudes among business administration students. The Environmental Knowledge and Attitude Scale, developed by Maloney, Ward, and Braucht (1975) and used by Synodinos (1990), was administered to 85 upperdivision business administration students at Loyola University Chicago and 111 upperdivision business students at the National University of Singapore. No significant differences were found between the two samples on the Knowledge, Concern, or Willingness to Act subscales. The United States students' higher mean score on the Actual Behavior subscale was significant but may only reflect relative possibilities for participation in environmental activities. Overall, the …

Annual Report Of The Iowa Academy Of Science, 1993-94, Paul E. Rider

Journal of the Iowa Academy of Science: JIAS

Since 1976, annual reports have served as a continuing record of the activities of the Iowa Academy of Science and an archive for its history. These augment the 100 year IAS history written in the centennial year of 1975.

This report covers the period from July 1, 1993 to June 30, 1994. It is based on the official records of the Academy (committee reports, Board minutes, correspondence) as well as the recollections, impressions and thoughts of the author.

Vic*: A Preprocessor For Virtual-Memory C*, Thomas H. Cormen, Alex Colvin

Computer Science Technical Reports

This paper describes the functionality of ViC*, a compiler-like preprocessor for out-of-core C*. The input to ViC* is a C* program but with certain shapes declared \verb`outofcore`, which means that all parallel variables of these shapes reside on disk. The output is a standard C* program with the appropriate I/O and library calls added for efficient access to out-of-core parallel variables.

Skin Cancer Diagnosis Using Hierarchical Neural Networks And Fuzzy Logic, Hsi-Chieh Lee

Masters Theses

"Skin cancer, the most common cancer in the United States that affects about 600,000 Americans every year, accounts for 1 % of all cancer deaths. Among all, Malignant Melanoma is the most virulent form of skin cancer that is responsible for 75% of all deaths from skin cancer. In 1992, approximately 32,000 people are expected to develop melanoma and about 6,700 will die. However, even malignant melanoma can be treated successfully if detected in the early phase. Therefore, our research goal is to diagnose skin cancer, especially malignant melanoma.

In this study, only the digitized images obtained from color tumor …

Identifying Faces Using Multiple Retrievals, Jian Kang Wu, Arcot Desai Narasimhalu

Research Collection School Of Computing and Information Systems

During a police investigation, officers often have to sort through hundreds of photographs to identify a suspect. To aid this task, we at the Institute of Systems Science developed and implemented a flexible database system that can retrieve faces using personal information, fuzzy and free-text descriptors, and classification trees.

Vulnerability Assessment Using A Fuzzy Logic Based Method, Richard W. Fleming

Theses and Dissertations

This thesis demonstrates the feasibility of using qualitative analysis methods to evaluate computer security vulnerabilities. Although many risk analysis systems exist, few provide for the adequate analysis of identified vulnerabilities. While the main focus of this thesis is to evaluate computer security vulnerabilities, the methods involved have application in other areas requiring evaluation using qualitative methods. It is proposed, and demonstrated by this thesis, that the use of qualitative analysis using linguistic variables to describe the impact of computer security vulnerabilities is not only feasible, but intrinsically easier to understand and use than quantitative methods.

Graphical Tools For Situational Awareness Assistance For Large Battle Spaces, Brian B. Soltz

Theses and Dissertations

As virtual environments grow in complexity and size, users are increasingly challenged in assessing situations in large-scale virtual environment. This occurs because of the difficulty in determining where to focus attention and assimilating and assessing the information as it floods in. One technique for providing this type of assistance is to provide the user with a first-person, immersive, synthetic environment observation post, that permits unobtrusive observation of the environment without interfering with the activity in the environment. However, for large, complex synthetic environments, this type of support is not sufficient because the portrayal of raw, unanalyzed data in the virtual …

Investigation Into Model-Based Fuzzy Logic Control, Michael W. Logan

Theses and Dissertations

This thesis investigates the feasibility of a proposed hybrid linear/Fuzzy controller for nonlinear plants. The proposed controller concept is based on the use of multiple linearizations of a nonlinear plant, which describe the dynamics of perturbations about equilibrium points throughout the desired envelope of operation. A bank of linear compensators is developed, each corresponding to a linearized plant about a different equilibrium. The multiple control signals generated by the bank of compensators are then weighted and summed using Fuzzy Logic to produce a composite control perturbation signal, which is used to drive the nonlinear plant. Experiments were conducted to test …

Wright State University College Of Engineering And Computer Science Bits And Pcs Newsletter, Volume 9, Number 9, November 1993, College Of Engineering And Computer Science, Wright State University

BITs and PCs Newsletter

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

A Comprehensive Part Model And Graphical Schema Representation For Object-Oriented Databases, Michael H. Halper

Dissertations

Part-whole modeling plays an important role in the development of database schemata in data-intensive application domains such as manufacturing, design, computer graphics. text document processing, and so on. Object-oriented databases (OODBs) have been targeted for use in such areas. Thus, it is essential that OODBs incorporate a part relationship as one of their modeling primitives. In this dissertation, we present a comprehensive OODB part model which expands the boundaries of OODB part-whole modeling along three fronts. First, it identifies and codifies new semantics for the OODB part relationship. Second, it provides two novel realizations for part relationships and their associated …

Parametricity And Local Variables, Peter W. O'Hearn, R. D. Tennent

Electrical Engineering and Computer Science - Technical Reports

We propose that the phenomenon of local state may be understood in terms of Strachey's concept of parametric (i.e., uniform) polymorphism. The intuitive basis for our proposal is the following analogy: a non-local procedure is independent of locally-declared variables in the same way that a parametrically polymorphic function is independent of types to which it is instantiated. A connection between parametricity and representational abstraction was first suggested by J. C. Reynolds. Reynolds used logical relations to formalize this connection in languages with type variables and user-defined types. We use relational parametricity to construct a model for an Algol-like language in …

Semantics-Based Information Brokering: A Step Towards Realizing The Infocosm, Vipul Kashyap, Amit P. Sheth

Kno.e.sis Publications

The rapid advances in computer and communication technologies, and their merger, is leading to a global information market place. It will consist of federations of very large number of information systems that will cooperate to varying extents to support the users' information needs. We propose an architecture which may facilitate meeting these needs. It consists of three main components: information providers, information brokers and information consumers. We also propose an approach to information brokering. We discuss two of it's tasks: information resource discovery, which identities relevant information sources for a given query, and query processing, which involves the generation of …

A Framework For Data Sharing In Computer Supported Cooperative Environments, Mohamed Youssef Eltoweissy

Computer Science Theses & Dissertations

Concurrency control is an indispensable part of any information sharing system. Co-operative work introduces new requirements for concurrency control which cannot be met using existing applications and database management systems developed for non-cooperative environments. The emphasis of concurrency control in conventional database management systems is to keep users and their applications from inadvertently corrupting data rather than support a workgroup develop a product together. This "insular" approach is necessary because applications that access the database have been built with the assumptions that they have exclusive access to the data they manipulate and that users of these applications are generally oblivious …

Terence E. Hays's Review Of Christin Kocher Schmid's Of People And Plants: A Botanical Ethnography Of Nokopo Village, Madang And Morobe Provinces, Papua New Guinea, Terence E. Hays

Pacific Studies

No abstract provided.

Terence E. Hays's Review Of Christin Kocher Schmid's Of People And Plants: A Botanical Ethnography Of Nokopo Village, Madang And Morobe Provinces, Papua New Guinea, Terence E. Hays

Pacific Studies

No abstract provided.

Recursive Soft Morphological Filters, Padmaja Puttagunta

Theses

Mathematical morphology which is based on set-theoretic concept, extracts object features by choosing a suitable structuring shape as a probe. Morphological filters are set operations that transform an image into a quantitative description of its geometrical structure: Appropriately used, they can eliminate noises or irrelevancies while preserv¬ing the details of the original image. The applications of morphological filters in image processing and analysis are numerous, which include shape recognition, industrial parts inspection, nonlinear filtering, and biomedical image processing.

Soft morphological filters are used for smoothing signals with the advantage of being less sensitive to additive noises and to small variations …

The Annual Meeting Of The Iowa Academy Of Science April 23-24, 1993 [Program, 105th Meeting], Iowa Academy Of Science

Iowa Academy of Science Documents

Contents:

Program Summary --- 5
General Session Speakers --- 9
Awards --- 12
Distinguished Iowa Science Teaching --- 12
Symposia Programs --- 13
STN Workshop --- 14
Poster Session --- 15
Campus Map --- Centerfold
Section Programs --- 18
Agricultural Sciences --- 18
Anthropology --- 18
Botany --- 19
Cellular & Molecular Biology --- 21
Chemical Education --- 24
Chemistry, Inorganic --- 24
Chemistry, Organic --- 26
Conservation --- 27
Earth Science Teaching --- 29
Elementary Science Teaching --- 29
Engineering --- 29
Geology --- 31
Linguistics --- 32
Nursing --- 32
Physics --- 33
Physiology --- 34
Psychology --- …

A Fuzzy Logic Optimal Control Law Solution To The Cmmca Tracking Problem, Randy E. Nelson

Theses and Dissertations

The Air Force uses the C-18 Cruise Missile Mission Control Aircraft (CMMCA) to radar track cruise missiles (CM) during test flights. Because of the complexity of the CM flight profiles, maintaining radar coverage at all times is very difficult. This thesis attempted to apply optimal control theory to construct a simulation providing 100% radar coverage. The simulation was divided into ten second intervals, and fuzzy logic was used at the start of each interval to determine the set point, i.e., that point in space where the CMMCA should be in ten seconds. The set point calculation's fuzzy logic balanced CMMCA …

A Sign-To-Speech Translation System, Koka Veera Raghava Rao

School of Computing: Dissertations, Theses, and Student Research

This thesis describes sign-to-speech translation using neural networks. Sign language translation is an interesting but difficult problem for which neural network techniques seem promising because of their ability to adjust to the user's hand movements, which is not possible to do by most other techniques. However, even using neural networks and artificial sign languages, the translation is hard, and the best-known system, that of Fels & Hinton (1993), is capable of translating only 66 root words and 203 words including their conjugations. This research improves their results to 790 root signs and 2718 words including their conjugations while preserving a …

A Model For Syntactic Control Of Interference, Peter W. O'Hearn

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

Two imperative programming language phrases interfere when one writes to a storage variable that the other reads from or writes to. Reynolds has described an elegant linguistic approach to controlling interference in which a refinement of typed λ-calculus is used to limit sharing of storage variables; in particular, different identifiers are required never to interfere. This paper examines semantic foundations of the approach. We describe a category that has (an abstraction of) interference information built into all objects and maps. This information is used to define a “tensor” product whose components are required never to interfere. Environments are defined using …

Iowa Academy Of Science Directory, 1993-94, Iowa Academy Of Science

Iowa Academy of Science Documents

Contents:

Board of Directors ... 5
Program Directors ... 6
Editors ... 6
Committees ... 8
Sections ... 22
Awards of Merit ... 28
Excellence in Science Teaching Awards ... 29
Past Presidents ... 30
Membership Roster ... 31

Annual Report Of The Iowa Academy Of Science, 1992-93, Paul E. Rider

Journal of the Iowa Academy of Science: JIAS

Starting in 1976, annual reports have served as a continuing record of the activities of the Iowa Academy of Science. These augment a 100 year history of the Academy which was written in the centennial year of 1975. This report covers the period from July 1, 1992 to June 30, 1993. It is based on the official records of the Academy (committee reports, Board minutes, correspondence) as well as the recollections, impressions and thoughts of the author.

Design And Implementation Of Fuzzy Logic Controllers. Thesis Final Report, 27 July 1992 - 1 January 1993, Osama A. Abihana, Oscar R. Gonzalez

Electrical & Computer Engineering Faculty Publications

The main objectives of our research are to present a self-contained overview of fuzzy sets and fuzzy logic, develop a methodology for control system design using fuzzy logic controllers, and to design and implement a fuzzy logic controller for a real system. We first present the fundamental concepts of fuzzy sets and fuzzy logic. Fuzzy sets and basic fuzzy operations are defined. In addition, for control systems, it is important to understand the concepts of linguistic values, term sets, fuzzy rule base, inference methods, and defuzzification methods. Second, we introduce a four-step fuzzy logic control system design procedure. The design …

Trypanosoma (Nannomonas) Congolense: Molecular Characterization Of A New Genotype From Tsavo, Kenya, P. A.O. Majiwa, M. Maina, J. N. Waitumbi, S. Mihok, E. Zweygarth

All Peer-Reviewed Publications

Trypanosoma (Nannomonas) congolense comprises morphologically identical but genetically heterogeneous parasites infective to livestock and other mammalian hosts; three different genotypes of this parasite have been described previously. Restriction enzyme fragment length polymorphisms (RFLPs) in both kinetoplast DNA minicircle and nuclear DNA sequences, and randomly amplified polymorphic deoxyribonucleic acid (RAPD) patterns have been used here to demonstrate the existence of another type of T. (N.) congolense that is genotypically distinct from those that have so far been characterized at the molecular level. A highly repetitive, tandemly arranged DNA sequence and oligonucleotide primers, for use in polymerase chain reaction (PCR) amplification are …

Domain Analysis Within The Gensif Framework, Heiko Thimm

Theses

The GenSIF framework which is targeted towards very large, distributed, and complex software systems recently has been proposed to accomplish a form of systems engineering and systems development in which the issue of systems integration is considered from the beginning on.

One of the components of GenSIF is domain analysis. Domain analysis leads to the design of a domain model. The specific needs GenSIF has in that area were investigated with an emphasis on domain modeling. Main points addressed in that investigation were the issue regarding the relevant information for the domain modeling process and the required type of domain …

1992 Scholars And Artists Bibliography, Michael Schwartz Library, Cleveland State University, Friends Of The Michael Schwartz Library

Scholars and Artists Bibliographies

This bibliography was created for the annual Friends of the Michael Schwartz Library Scholars and Artists Reception, recognizing scholarly and creative achievements of Cleveland State University faculty, staff and emeriti

Design And Implementation Of Fuzzy Logic Controllers, Osama A. Abihana

Electrical & Computer Engineering Theses & Dissertations

The main objectives of our research are to present a self-contained overview of fuzzy sets and fuzzy logic, develop a methodology for control system design using fuzzy logic controllers, and to design and implement a fuzzy logic controller for a real system. In this thesis we first present the fundamental concepts of fuzzy sets and fuzzy logic. Fuzzy sets and basic fuzzy operations are defined. In addition, for control systems, it is important to understand the concepts of linguistic variables, linguistic values, term sets, fuzzy rule base, inference methods, and defuzzification methods. Second, we introduce a four-step fuzzy logic control …

An Animation System For Shift Reduce Parsers, M. S. Mandl, T. J. Sager, D. C. St. Clair

Computer Science Technical Reports

This paper presents the design and implementation of the Parse Display Utility (POU) system. This system introduces a mechanism to augment traditional methods of exploring parsing theory by providing a PRESENTATION scheme which allows a user to view the operation of a shift-reduce parser.

The overall operation of the tool revolves around an LALR (LookAhead LR) parser/parser generator and is managed by a Graphical User-Interface (GUI) developed using Borland's Turbo Vision product. The GUI allows access to a facility which draws derivation trees in Turbo Pascal graphics. This parse tree facility utilizes an algorithm which can easily be ported to …