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.

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.

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 …

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 …

Object-Oriented Analysis, Design, And Implementation Of The Saber Wargame, David S. Douglass

Theses and Dissertations

Saber is a two-sided, air and land war game that simulates decisions made of commanders at the theater-level. It is being developed by the Air Force Institute of Technology for the Air Force Wargaming center at Maxwell AFB, Alabama. Saber models conventional, chemical, and nuclear warfare between aggregated air and land forces. It also portrays the effects of logistics, satellites, weather, terrain, and intelligence which add to the realism of the Saber war game. The Saber war game has three main components, the preprocessor. which is responsible for scenario development and pregame activities, the simulation. the guts of the war …

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.