Open Access. Powered by Scholars. Published by Universities.®

Physical Sciences and Mathematics Commons™

Open Access. Powered by Scholars. Published by Universities.®

1995

PDF

Missouri University of Science and Technology

Mathematics and Statistics Faculty Research & Creative Works

Articles 1 - 7 of 7

Full-Text Articles in Physical Sciences and Mathematics

Periodicity And Indecomposability, William Thomas Ingram Jan 1995

Periodicity And Indecomposability, William Thomas Ingram

Mathematics and Statistics Faculty Research & Creative Works

In this paper we characterize the existence of periodic points of odd period greater than one for unimodal mappings of an interval onto itself. The interesting juxtaposition of this condition with the occurrence in inverse limits of the well-known Brouwer-Janiszewski-Knaster continuum is explored. Also obtained is a characterization of indecomposability of certain inverse limits using a single unimodal bonding map. © 1995 American Mathematical Society.

Go to article

Point-Valued Mappings Of Sets, Matt Insall Jan 1995

Point-Valued Mappings Of Sets, Matt Insall

Mathematics and Statistics Faculty Research & Creative Works

Let X be a metric space and let CB(X) denote the closed bounded subsets of X with the Hausdorff metric. Given a complete subspace Y of CB(X), two fixed point theorems, analogues of results in [1], are proved, and examples are given to suggest their applicability in practice.

Go to article

Brain State In A Convex Body, S. Hui, Martin Bohner Jan 1995

Brain State In A Convex Body, S. Hui, Martin Bohner

Mathematics and Statistics Faculty Research & Creative Works

We study a generalization of the brain-state-in-a-box (BSB) model for a class of nonlinear discrete dynamical systems where we allow the states of the system to lie in an arbitrary convex body. The states of the classical BSB model are restricted to lie in a hypercube. Characterizations of equilibrium points of the system are given using the support function of a convex body. Also, sufficient conditions for a point to be a stable equilibrium point are investigated. Finally, we study the system in polytopes. The results in this special case are more precise and have simpler forms than the corresponding …

Go to article

Asymptotic Analysis Of The Linearized Navier-Stokes Equations In A Channel, Roger Temam, Xiaoming Wang Jan 1995

Asymptotic Analysis Of The Linearized Navier-Stokes Equations In A Channel, Roger Temam, Xiaoming Wang

Mathematics and Statistics Faculty Research & Creative Works

In this article we study and derive explicit formulas for the boundary layers occurring in the linearized channel flows in the limit of small viscosity. Our study is based on classical boundary layer techniques combined with a new global treatment of the pressure term. © 1995, Khayyam Publishing.

Go to article

Right Angle Electrical Connector And Insertion Tool Therefor, Stephen L. Clark, Glenn J. Pontius Jan 1995

Right Angle Electrical Connector And Insertion Tool Therefor, Stephen L. Clark, Glenn J. Pontius

Mathematics and Statistics Faculty Research & Creative Works

Disclosed is a multi-row right angle connector and a press block for installing the connector on a mounting substrate without soldering the contact pins. The connector legs comprise "eye of the needle" compliant interfaces that make electrical contact with the interior surfaces of the substrate's plated through holes. The press block is designed for use with a four-row right angle receptacle and locates rows 2, 3, and 4 on respective true grid positions and serves as a means for transmitting force from an external press to the contact pin tails. The contact tails in rows 2, 3, and 4 have …

Go to article

Analysis Of Rule Sets Generated By The Cn2, Id3, And Multiple Convergence Symbolic Learning Methods, Elizabeth M. Boll, Daniel C. St. Clair Jan 1995

Analysis Of Rule Sets Generated By The Cn2, Id3, And Multiple Convergence Symbolic Learning Methods, Elizabeth M. Boll, Daniel C. St. Clair

Mathematics and Statistics Faculty Research & Creative Works

The ability to learn has long been an area of interest to researchers in artificial intelligence. Symbolic inductive learning algorithms have evolved as a class of algorithms that can be used to learn concepts from training examples. The knowledge acquired is represented in the form of rules. Since symbolic learning methods develop distinctive sets of rules when given identical training data, questions arise as to the quality of the different rule sets produced. The results of this research provide techniques for comparing and analyzing rule sets. Numerous rule sets were generated using three well-known symbolic learning methods; Quinlan's ID3, Clark …

Go to article

Ensuring The Satisfaction Of A Temporal Specification At Run-Time, Grace Tsai, Matt Insall, Bruce M. Mcmillin Jan 1995

Ensuring The Satisfaction Of A Temporal Specification At Run-Time, Grace Tsai, Matt Insall, Bruce M. Mcmillin

Mathematics and Statistics Faculty Research & Creative Works

A responsive computing system is a hybrid of real-time, distributed and fault-tolerant systems. In such a system, severe consequences can occur if the run-time behavior does not conform to the expected behavior or specifications. In this paper, we present a formal approach to ensure satisfaction of the specifications in the operational environment as follows. First we specify behavior of the systems using Interval Temporal Logic (ITL). Next we give algorithms for trace checking of programs in such systems. Finally, we present a fully distributed run-time evaluation system which causally orders the events of the system during its execution and checks …

Go to article