Physical Sciences and Mathematics Commons^™

Ua1bc Final Report Of 2002-2003 Wku Technology Advisory Council Meetings, Western Kentucky University

WKU Archives Records

The WKU Technology Advisory Council was established on November 8, 2002. It is comprised of faculty, deans, department heads, directors and students. This report contains summaries of meeting minutes and list of committee members.

Stone Coalgebras, Clemens Kupke, Alexander Kurz, Yde Venema

Engineering Faculty Articles and Research

In this paper we argue that the category of Stone spaces forms an interesting base category for coalgebras, in particular, if one considers the Vietoris functor as an analogue to the power set functor. We prove that the so-called descriptive general frames, which play a fundamental role in the semantics of modal logics, can be seen as Stone coalgebras in a natural way. This yields a duality between the category of modal algebras and that of coalgebras over the Vietoris functor. Building on this idea, we introduce the notion of a Vietoris polynomial functor over the category of Stone spaces. …

Cxquery: A Novel Xml Query Language, Peter Revesz, Yi Chen

CSE Conference and Workshop Papers

XML is becoming the data exchange standard on the Internet. Previously proposed XML query languages, such as XQuery, Quilt, YALT, Lorel, and XML-QL, lack schema definition of the query result; therefore, they are limited for defining views, integrating data, updating, and further querying, all of which are often needed in e-Business applications. We propose a novel XML query language called CXQuery, which defines the schema of the query results explicitly and can easily define views, and integrate, update, and query XML data. In addition, CXQuery can express spatial and spatio-temporal queries using a constraint-based querying approach.

Pricing And Product Mix Optimization In Freight Transportation, Michael F. Gorman

MIS/OM/DS Faculty Publications

We propose improved pricing and market mix can improve the profitability of the freight transportation provider through the reduction of equipment repositioning costs. We hypothesize that because of complexities surrounding pricing and equipment repositioning costing, existing pricing strategies in freight transportation fail to fully consider these costs. We test this hypothesis in an applied setting in which Monte Carlo simulation captures the stochasticity of market conditions inherent in the problem. We use a heuristic to improve the nondifferentiable, discontinuous objective function.

Our results from test cases show with high confidence that current prices are not optimal, as indicated by a …

Preface, Alexander Kurz

Engineering Faculty Articles and Research

No abstract provided.

Definability, Canonical Models, And Compactness For Finitary Coalgebraic Modal Logic, Alexander Kurz, Dirk Pattinson

Engineering Faculty Articles and Research

This paper studies coalgebras from the perspective of the finitary observations that can be made of their behaviours. Based on the terminal sequence, notions of finitary behaviours and finitary predicates are introduced. A category Behω(T) of coalgebras with morphisms preserving finitary behaviours is defined. We then investigate definability and compactness for finitary coalgebraic modal logic, show that the final object in Behω(T) generalises the notion of a canonical model in modal logic, and study the topology induced on a coalgebra by the finitary part of the terminal sequence.

Modal Predicates And Coequations, Alexander Kurz, Jiří Rosický

Engineering Faculty Articles and Research

We show how coalgebras can be presented by operations and equations. This is a special case of Linton’s approach to algebras over a general base category X, namely where X is taken as the dual of sets. Since the resulting equations generalise coalgebraic coequations to situations without cofree coalgebras, we call them coequations. We prove a general co-Birkhoff theorem describing covarieties of coalgebras by means of coequations. We argue that the resulting coequational logic generalises modal logic.

The Partial Evaluation Approach To Information Personalization, Naren Ramakrishnan, Saverio Perugini

Computer Science Faculty Publications

Information personalization refers to the automatic adjustment of information content, structure, and presentation tailored to an individual user. By reducing information overload and customizing information access, personalization systems have emerged as an important segment of the Internet economy. This paper presents a systematic modeling methodology— PIPE (‘Personalization is Partial Evaluation’) — for personalization. Personalization systems are designed and implemented in PIPE by modeling an information-seeking interaction in a programmatic representation. The representation supports the description of information-seeking activities as partial information and their subsequent realization by partial evaluation, a technique for specializing programs. We describe the modeling methodology at a …

Modal Rules Are Co-Implications, Alexander Kurz

Engineering Faculty Articles and Research

In [13], it was shown that modal logic for coalgebras dualises—concerning definability— equational logic for algebras. This paper establishes that, similarly, modal rules dualise implications:It is shown that a class of coalgebras is definable by modal rules iff it is closed under H (images) and Σ (disjoint unions). As a corollary the expressive power of rules of infinitary modal logic on Kripke frames is characterised.

Personalizing The Gams Cross-Index, Saverio Perugini, Priya Lakshminarayanan, Naren Ramakrishnan

Computer Science Faculty Publications

The NIST Guide to Available Mathematical Software (GAMS) system at http://gams.nist .gov serves as the gateway to thousands of scientific codes and modules for numerical computation. We describe the PIPE personalization facility for GAMS, whereby content from the cross-index is specialized for a user desiring software recommendations for a specific problem instance. The key idea is to (i) mine structure, and (ii) exploit it in a programmatic manner to generate personalized web pages. Our approach supports both content-based and collaborative personalization and enables information integration from multiple (and complementary) web resources. We present case studies for the domain of linear, …

Main Issues Rural Women Experience With Information & Communication Technology, Teresa Maiolo

All other publications

This brief report will outline the main issues rural women encountered with information and communications technology. This information was derived from interviewing twenty-one rural women from the South West, Eastern Goldfields, Murchison, Gascoyne, and Kimberley regions of Western Australia.

Notes On Coalgebras, Cofibrations And Concurrency, Alexander Kurz, Dirk Pattinson

Engineering Faculty Articles and Research

We consider categories of coalgebras as (co)-fibred over a base category of parameters and analyse categorical constructions in the total category of deterministic and non-deterministic coalgebras.

An Investigation Into The Use Of The Virtual Reality Modelling Language (Vrml) As A Means Of Distribution Virtual Reality Tourist Information Across The World Wide Web, Hugh Mcatamney, Ciaran Mcdonnell

Conference papers

The purpose of the work described was to investigate the use of the Virtual Reality Modelling Language (VRML) as a tool to distribute tourist information across the web. This was done by the creation of a web site containing two Virtual Reality models of tourist interest. These were then valuated using a number of techniques both online and offline. This paper describes the methods used to create and evaluate these models as well as giving a overview of some of the results obtained.

(Ω, Ξ)-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.

Safe Stratified Datalog With Integer Order Programs, Peter Revesz

CSE Conference and Workshop Papers

Guaranteeing termination of programs on all valid inputs is important for database applications. Termination cannot be guaranteed in Stratified Datalog with integer (gap)-order programs on generalized databases because they express any Turing-computable function. This paper introduces a restriction of those programs that can express only computable queries. The restricted language has a high expressive power and a non-elementary data complexity.

Constraint Objects, Divesh Srivastava, Raghu Ramakrishnan, Peter Revesz

CSE Conference and Workshop Papers

We describe the Constraint Object Data Model (CODM), which enhances an object-based data model with existential constraints to naturally represent partially specified information. We present the Constraint Object Query Language (COQL), a declarative, rule-based query language that can be used to infer relationships about and monotonically refine information represented in the CODM. COQL has a model-theoretic and an equivalent fixed-point semantics, based on the notions of constraint entailment and "proofs in all possible worlds." We also provide a novel polynomial-time algorithm for quantifier elimination for set-order constraints, a restricted class of set constraints that uses membership of subset-equal.

Benefits Of Using Team Choice For Windows As A Multi-Criteria Decision Making Group Decision Support System, Eddie Goggans

Mahurin Honors College Capstone Experience/Thesis Projects

Various experiments have been conducted over the past ten years using several different types of group decision support systems (GDSSs). Many previous GDSS designs have had success in these experiments with brainstorming but have been limited in providing judgment and choice support. TeamChoice for Windows is a multi-criteria decision making GDSS that is currently under development in an effort to overcome the limitations of previous systems and to significantly advance the capabilities of GDSSs. This paper discusses some of the general aspects of GDSSs, existing limitations, and explains the developments and use of TeamChoice for Windows as a multi-criteria decision …

Rule-Based Run Control And Evaluation For Simulation, Robert F. Gordon Ph.D., Kow C. Chang, Edward A. Macnair

Faculty Works: MCS (1984-2023)

RC 19494 (84719)

Modeling projects are often faced with a large parameter space that has to be explored in order to produce a set of performance measures representing the behavior of the systems under study. In this paper, we describe a software component that provides the analyst with the functionality to specify a design of experiments and execute a search algorithm over the resulting parameter space. The component invokes the associated simulation runs and compares the results to a goal to determine the solution. This component has been implemented as the run control mechanism in the RESearch Queueing Modeling Environment …

Lecture Notes For Nscp-Funded Short Course - Remote Sensing Training For Resource Officers And Farmers, Western Australian Department Of Agriculture

Soil conservation survey collection

The aim of this course is to provide an introduction to remote sensing, and knowledge and practice in image processing techniques for the extraction of information from remotely sensed data. Aerial photography is the original form of earth remote sensing, and is still a widely used and important data source for many purposes. This course is directed principally at the analysis of digital image data recorded by satellite or airborne platforms. Remote sensing is considered to be the methodology of collecting and interpreting target information over a broad range of the electromagnetic spectrum.

An Introduction To The Research Queueing Package For Modeling Computer Systems And Communication Networks, Robert F. Gordon Ph.D., Edward A. Macnair

Faculty Works: MCS (1984-2023)

A queueing network is an important tool for modeling systems where performance is principally affected by contention for resources. Such systems include computer systems, communication networks and manufacturing lines. In order to effectively use queuing networks as performance models, appropriate software is necessary for definition ofthe networks to be solved, for solution ofthe networks and for examination of the performance measures obtained. The RESearch Queueing Package (RESQ) and the RESearch Queueing Package Modeling Environment (RESQME) form a system for constructing, solving and analyzing extended queueing network models. We refer to the class of RESQ networks as "extended" because of characteristics …

Shadow Casting Phenomena At Newgrange, Frank Prendergast

Articles

A digital model of the Newgrange passage tomb and surrounding ring of monoliths known as the Great Circle is used to investigate sunrise shadow casting phenomena at the monument. Diurnal variation in shadow directions and lengths are analysed for their potential use in the Bronze Age to indicate the passage of seasonal time. Computer-aided simulations are developed from a photogrammetric survey to accurately show how three of the largest monoliths, located closest to the tomb entrance and archaeologically coded GC1, GC-1 and GC-2, cast their shadows onto the vertical face of the entrance kerbstone, coded K1. The phenomena occur at …

Resqme And Stand-Alone Simulation On A Workstation, Robert F. Gordon Ph.D., Paul G. Loewner, G J. Burkland, J-C Chen, Edward A. Macnair

Faculty Works: MCS (1984-2023)

RC 16037 (#71232)

The Research Queueing Package Modeling Environment (RESQME) provides a graphical environment for constructing and solving extended queueing network models ofmanufacturing systems, for plotting graphs of results and for viewdng animations of models. The modeling environment can be run entirely on a workstation or optionally can execute large simulations on a host system using cooperative processing. In this paper we give a brief introduction to RESQME and to the RESQ modeling elements. We demonstrate how to use the package by constructing a simple model of part of a manufacturing line and solve this model to produce charts of …

Management Information Sources And Corporate Intelligence Systems, Robert F. Gordon Ph.D.

Faculty Works: MCS (1984-2023)

In this book the word “intelligence” is used in several different contexts. Intelligence can refer to the process of gathering data; it can refer to the data itself; and it can refer to the application of knowledge to product useful information from the data. We will see in this chapter how the computer can be used in business to further all three aspects of intelligence: capturing the data, storing the data in an accessible form, and adding value to the data by transforming it into useful information for decision making. This chapter is organized according to these three areas of …

Enhancing Manufacturing Planning And Control Systems Through Artificial Intelligence Techniques, Ronald S. Dattero, John J. Kanet, Edna M. White

MIS/OM/DS Faculty Publications

Manufacturing planning and control systems are currently dominated by systems based upon Material Requirements Planning (MRP). MRP systems have a number of fundamental flaws. A potential alternative to MRP systems is suggested after research into the economic batch scheduling problem.

Based on the ideas of economic batch scheduling, and enhanced through artificial intelligence techniques, an alternative approach to manufacturing planning and control is developed. A framework for future research on this alternative to MRP is presented.

Higher Level Modeling In Resqme, Robert F. Gordon Ph.D., Kurtiss J. Gordon

Faculty Works: MCS (1984-2023)

RC 13554 (#60544)

The RESearch Queueing Package Modeling Environment (RESQME) is a graphical workstation environment for iteratively constructing, running and analyzing models of resource contention systems. It is built on top of the RESearch Queueing Package (RESQ) which provides the functionality to evaluate extended queueing networks. In this paper we describe the high-level building component design for RESQME. The modeler is provided with tools to create his own icons and to associate them with submodels. He then uses ilicsc building blocks to construct his model. This capability extends the funtlaiiicnlal building blocks of RESQ and allows the user to create …

The Computer As A Collection Management Tool, Suzanne B. Mclaren, Hugh H. Genoways, Duane A. Schlitter

University of Nebraska State Museum: Mammalogy Papers

Since the mid-1960s, discussion of computer use for information retrieval in museum collections has usually focused on research potential. Much attention has been given to the idea of networking and the ability to access data across great distances. However, the potential for collection management usage has also proven to be a legitimate rationale for computerization. Numerous aspects of collection management are discussed for which the computer may be employed. Topics include creating cross-reference files, updating taxonomic and geographic information, pinpointing mismatched specimens, locating lost and uncataloged material, controlling loan procedures, producing accession files for insurance purposes, curating all or part …

Sight - A Tool For Building Multi-Media Structured-Document Interactive Editing And Formatting Applications, Robert F. Gordon Ph.D., George B. Leeman Jr, Christian L. Cesar, Mark A. Martin

Faculty Works: MCS (1984-2023)

SIGHT is a tool for building applications that edit and format multi-media structured documents. The media supported include text, line graphics, handwriting, images and audio. These information media are maintained in a single integrated hierarchical database. The document architecture models documents as trees in which nodes can be shared, i.e., as directed acyclic graphs. For each document there is a logical (or abstract) represention tree and one or more physical (or layout) representation trees. A physical representation is the result of applying the formatter to a logical representation. Both trees are separate but share document content data. The physical representation …

An Exact Analysis For Efficient Computation Of Random-Pattern Testability In Combinational Circuits, Sharad C. Seth, Bhargab B. Bhattacharya, Vishwani Agrawal

CSE Conference and Workshop Papers

Experimental evidence shows that low testability in a typical circuit is much more likely due to poor observability than poor controllability. Thus, from theoretical and practical standpoints, it is important to develop an accurate model for observability computation. One such model, in terms of supergates, is proposed in the first part of this paper thus complimenting our earlier work. It is now possible to obtain exact random-pattern testability for each line in a circuit.

The second part of the paper analyzes the supegate structure of a circuit from a graph theoretic viewpoint. Finding a supergate is related to determining the …

Application Interface Development Environment, Robert F. Gordon Ph.D., Barry E. Willner

Faculty Works: MCS (1984-2023)

RC 11160 (#50246)

The user of interactive systems must learn a different interface for each system he uses. Furthermore the designer of such systems has limited guidelines to create good user interfaces. We describe an application interface development environment, AIDE, in which one can create and select multiple interfaces easily for a given application, and conversely one can create multiple applications with a given interface. This benefits the end-user by providing the possibility of familiar, even identical, interfaces among wide ranges of products, and this helps the designer by supporting Human Factors testing of interfaces. We formulate a model of …

Computer-Aided Normalizing And Unpacking: Some Interesting Machine-Processable Transformations Of Legal Rules, Layman E. Allen, Charles S. Saxon

Book Chapters

One way of dealing with an important aspect of the natural language barrier that researchers m artificial intelligence have been wrestling with for more than two decades is to normalize the expression of the logical structure of legal rules.

The computer program, NORMALIZER, will enable a legal analyst to automatically generate Normalized Versions of legal rules and Outlines of them from Parenthesized Logical Expressions of their structure and Marked Versions of the Original Text of the rules. In brief:

Parenthesized Logical Expression & Marked Version = = > Outline & Normalized Version.

The Parenthesized Logical Expression of a normalized rule is …