Other Computer Engineering Commons^™

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

An Analysis Of Requirements For Specifying Manufacturing Engineering And Business Processes, Steven Ray, Amy Knutilla, Craig Schlenoff

Steven R Ray

A wide range of manufacturing software applications deal with the manipulation and expression of collections of activities. Examples include manufacturing process planning, production scheduling, simulation, project management, workflow, business process reengineering, and product realization process modeling. While each of these applications serves a specific audience and need and focuses on particular aspects of a process, much could be gained by sharing process information among applications. One of the primary obstacles to such integration is the lack of any common representation of what is really the underlying concept of process. The objective of the work described here is to investigate the …

Process Specification Language: An Analysis Of Existing Representations, Amy Knutilla, Stephen Polyak, Craig Schlenoff, Shu Cheah, Steven Ray, Richard Anderson

Steven R Ray

The goal of the NIST Process Specification Language (PSL) project is to investigate and arrive at a neutral, unifying representation of process information to enable sharing of process data among manufacturing engineering and business applications. This paper focuses on the second phase of the project, the analysis of existing process representations to determine how well existing process representation methodologies support the requirements for specifying processes found in Phase One. This analysis will provide an objective basis from which to develop a comprehensive language and will promote the leveraging of existing work.

Development Of A Message Model To Support Integrated Design And Manufacturing, Venkat Allada, Steven Ray

Steven R Ray

Mere sharing of information between engineering design systems and manufacturing systems does not represent an ideal integrated system. While information sharing represents an important aspect of an integrated design and manufacturing environment, an equally critical aspect is the "interaction" capability of the two systems. This interaction could be in the form of feedback and request messages between the design and manufacturing systems. The goal of this study is to investigate the issues involved in the development of a conceptual message model that will facilitate an "upstream" and a "downstream" communication between the design activities and process planning activities. The development …

A Political Psychological Primer Of Virtual Reality Sequelae For Mental Health Professionals, Ibpp Editor

International Bulletin of Political Psychology

This paper describes a number of sequelae stemming from virtual reality (VR) and VR technology (VRT) based on theoretical and empirical research in the behavioral sciences, social sciences, humanities.

Using Process Requirements As The Basis For The Creation And Evaluation Of Process Ontologies For Enterprise Modeling, Michael Gruninger, Craig Schlenoff, Amy Knutilla, Steven Ray

Steven R Ray

No abstract provided.

Proceedings Of The First Process Specification Language (Psl) Roundtable, Craig Schlenoff, Amy Knutilla, Steven Ray

Steven R Ray

In April, 1997, the Process Specification Language (PSL) Project held a Roundtable discussion at the National Institute of Standards and Technology (NIST). The goals of the Roundtable was to assemble key champions and stakeholders of various approaches towards process representation in order to discuss the relative merits to reach consensus on a language architecture and to establish a technical approach for proceeding. It was agreed that the language architecture should be based upon a formal semantic foundation, upon which would be layered a number of syntactic mappings, each with one or more presentations.

In discussions about principal concepts of any …

Unified Process Specification Language: Requirements For Modeling Process, Craig Schlenoff, Amy Knutilla, Steven Ray

Steven R Ray

A wide range of applications deal with the manipulation and expression of collections of activities. Examples include project management, workflow management, business process reengineering, product realization process modeling, manufacturing process planning, production scheduling, simulation, and Computer Aided Software Engineering, each of which is supported by some combination of graphical programming and control languages, Petri nets, PERT charts or other representation methodology. Each of these applications serves a specific audience and need, and focuses on particular aspects of a process. Nevertheless, much could be gained by sharing information among applications. One of the primary obstacles to such integration is the lack …

An Architecture Of Component - Based Capp Systems For Agile Manufacturing, Chun Zhang, Shaw Feng, Steven Ray

Steven R Ray

The current manufacturing planning software systems (such as computer aided process planning (CAPP) systems) are general and in a closed form, i.e., it is very difficult to modify these systems to respond to a user's dynamically changing needs. These systems are no longer suitable for agile manufacturing. This research work aims at developing an architecture for rapid development of CAPP systems. The architecture supports the construction of CAPP systems from prepackaged, plug-compatible software components. The specifications of the architecture and its building blocks are defined. A prototype system is under development to prove the concept.

Comparison Of Time-Domain Reflectometry Performance Factors For Several Dielectric Geometries: Theory And Experiments, S. V. Maheshwarla, R. Venkatasubramanian, Robert F. Boehm

Electrical & Computer Engineering Faculty Research

We propose three nontraditional dielectric geometries and present an experimental and theoretical analysis and comparison of time domain reflectometry (TDR) performances for them. The traditional geometry (the probes inserted in material of essentially infinite extent) is compared to three nontraditional geometries where the probes are affixed outside of a core sample, inside of a bore, or flat on the surface of a semi-infinite solid. Our derivation relates the velocity of electromagnetic wave propagation to the complex permittivities and permeabilities of the media and the geometry for the three nontraditional configurations. Experimental results for air, styrofoam, dry sand, wet sand of …

Reference Architecture For Machine Control Systems Integration: Interim Report, M Senehi, Thomas Kramer, John Michaloski, Richard Quintero, Steven Ray, William Rippey, Sarah Wallace

Steven R Ray

No abstract provided.

An Examination Of The Relationships Among Learning Style, Attitudes, And Outcomes Of Computer-Assisted Instruction, Daniel Glen Wilson

Dissertations and Theses @ UNI

This research was based upon a hypothesized AptitudeTreatment Interaction (ATI). More specifically, the research investigated the relationships between student learning style (aptitude) and student outcomes with computer-assisted instruction (treatment). These outcomes included student achievement with computer-assisted instruction (CAI) and student attitude toward CAI.

To examine these relationships, a researcher-developed CAI program on light and color theory was validated and administered to 144 students in an educational media course at the University of Northern Iowa. Participants in the study were first asked to complete the Grasha-Riechmann Student Learning Style Scales (GRSLSS) inventory along with a demographic survey. Next, each participant completed …

Packet Routing In Networks With Long Wires, Ronald I. Greenberg, H.-C. Oh

Computer Science: Faculty Publications and Other Works

In this paper, we examine the packet routing problem for networks with wires of differing length. We consider this problem in a network independent context, in which routing time is expressed in terms of “congestion” and “dilation” measures for a set of packet paths. We give, for any constant ε > 0, a randomized on-line algorithm for routing any set of N packets in O((Clg^ε(Nd)+Dlg(Nd))/lglg(Nd)) time, where C is the maximum congestion and D is the length of the longest path, both taking wire delays into account, and d is the longest path in terms of number of wires. We also …

Design And Applications Of A Graphics Package For The Hp1000 Computer., Hsiao-Chih George Lee

Electronic Theses and Dissertations

The objective of this thesis is to develop the FORTRAN subroutine PLOTER which is a general-purpose plotting tool to plot charts on a Hewlett Packard plotter. The programs RESP and INVLAP which can plot the frequency and time responses of system functions are modified to adopt the PLOTER subroutine and are stored of the HP1000-A900 minicomputer whose software, the GRAPHICS/1000, supports the graphics ability of PLOTER. This thesis describes the theories, functions, software techniques and operations of the PLOTER subroutine and the application programs RESP and the INVLAP. It also provides program listings and example plots.