Computer Engineering Commons^™

On Average Bit Complexity Of Interval Arithmetic, Chadi Hamzo, Vladik Kreinovich

Departmental Technical Reports (CS)

In many practical situations, we know only the intervals which contain the actual (unknown) values of physical quantities. If we know the intervals [x] for a quantity x and [y] for another quantity y, then, for every arithmetic operation *, the set of possible values of x*y also forms an interval; the operations leading from [x] and [y] to this new interval are called interval arithmetic operations. For addition and subtraction, corresponding interval operations consist of two corresponding operations with real numbers, so there is no hope of making them faster. The best known algorithms for interval multiplication consists of …

Towards Intelligent Virtual Environment For Training Medical Doctors In Surgical Pain Relief, Richard Alo, Kenneth Alo, Vladik Kreinovich

Departmental Technical Reports (CS)

Chronic pain is a serious health problem affecting millions of people worldwide. Spinal cord stimulation is one of the most effective methods of easing the chronic pain. For most patients, a careful selection of weak electric currents drastically decreases the pain level. Engineering progress leads to more and more flexible devices that offer a wide variety of millions of possible simulation regimes. It is not possible to test all of them on each patient, we need an intelligent method of choosing an appropriate simulation regime. In this paper, we describe the need for an intelligent virtual environment for training medical …

System Reliability: A Case When Fuzzy Logic Enhances Probability Theory's Ability To Deal With Real-World Problems, Timothy J. Ross, Carlos M. Ferregut, Roberto Osegueda, Vladik Kreinovich

Departmental Technical Reports (CS)

In his recent paper "Probability theory needs an infusion of fuzzy logic to enhance its ability to deal with real-world problems", L. Zadeh explains that probability theory needs an infusion of fuzzy logic to enhance its ability to deal with real-world problems. In this talk, we give an example of a real-world problem for which such an infusion is indeed successful: the problem of system reliability.

From Fuzzy Models To Fuzzy Control, Chitta Baral, Vladik Kreinovich, Hung T. Nguyen, Yeung Yam

Departmental Technical Reports (CS)

Traditional (non-fuzzy) control methodology deals with situations when we know exactly how the system behaves and how it will react to different controls, and we want to choose an appropriate control strategy. This methodology enables us to transform the description of the plant's (system's) behavior into an appropriate control strategy. In many practical situations, we do not have the exact knowledge of the system's behavior, but we have expert-supplied fuzzy rules which describe this behavior. In such situations, it is desirable to transform these description rules into rules describing control. There exist several reasonable heuristics for such transformation; however, the …

Wright State University College Of Engineering And Computer Science Bits And Pcs Newsletter, Volume 15, Number 3, March 1999, College Of Engineering And Computer Science, Wright State University

BITs and PCs Newsletter

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

Constructive Induction Machines For Data Mining, Marek Perkowski, Stanislaw Grygiel, Qihong Chen, Dave Mattson

Electrical and Computer Engineering Faculty Publications and Presentations

"Learning Hardware" approach involves creating a computational network based on feedback from the environment (for instance, positive and negative examples from the trainer), and realizing this network in an array of Field Programmable Gate Arrays (FPGAs). Computational networks can be built based on incremental supervised learning (Neural Net training) or global construction (Decision Tree design). Here we advocate the approach to Learning Hardware based on Constructive Induction methods of Machine Learning (ML) using multivalued functions. This is contrasted with the Evolvable Hardware (EHW) approach in which learning/evolution is based on the genetic algorithm only.

Asymmetric Load Balancing On A Heterogeneous Cluster Of Pcs, Christopher A. Bohn

Theses and Dissertations

In recent years, high performance computing with commodity clusters of personal computers has become an active area of research. Many organizations build them because they need the computational speedup provided by parallel processing but cannot afford to purchase a supercomputer. With commercial supercomputers and homogenous clusters of PCs, applications that can be statically load balanced are done so by assigning equal tasks to each processor. With heterogeneous clusters, the system designers have the option of quickly adding newer hardware that is more powerful than the existing hardware. When this is done, the assignment of equal tasks to each processor results …

Performance Analysis Of Tcp Enhancements In Satellite Data Networks, Ren H. Broyles

Theses and Dissertations

This research examines two proposed enhancements to the well-known Transport Control Protocol (TCP) in the presence of noisy communication links. The Multiple Pipes protocol is an application-level adaptation of the standard TCP protocol, where several TCP links cooperate to transfer data. The Space Communication Protocol Standard - Transport Protocol (SCPS-TP) modifies TCP to optimize performance in a satellite environment. While SCPS-TP has inherent advantages that allow it to deliver data more rapidly than Multiple Pipes, the protocol, when optimized for operation in a high-error environment, is not compatible with legacy TCP systems, and requires changes to the TCP specification. This …

An Improved Asynchronous Implementation Of A Fast Fourier Transform Architecture For Space Applications, David J. Barnhart

Theses and Dissertations

A second-generation fully asynchronous Fast Fourier Transform (FFT) processor for space applications is developed in this thesis. A high-performance patented FFT architecture invented by Suter and Stevens was used as the basis for a 16-point FFT (FFT-16) processor design. A brief derivation of the architecture, the asynchronous design methodologies used and space-based integrated circuit issues are presented. The Synopsys VLSI CAD system and a radiation tolerant design library developed by the Air Force Research Laboratory were used to implement the design. A critical building block of the FFT-16, the FFT-4, was fabricated as a cost-effective method to validate the cell …

Te Scattering From Bubbles In Ram, John G. Cochran

Theses and Dissertations

This research looks at various bubble sizes in one particular magnetic RAM (MAURAM) type, from grazing incidence (00) to 450 and at a frequency range from 2-18 GHz, TE polarization. The results from the absolute RCS measurement of the various sized RAM bubbles are discussed in terms of a frequency dependent increase in RCS. In the frequency band of interest, 2-18GHz, a RAM bubble increases the RCS at all angles, from grazing incidence (00) to 450. From 10-18GHz the RAM bubble does not cause an increase in RCS. In general the highest RCS is at 2GHz and tapers down as …

Wright State University College Of Engineering And Computer Science Bits And Pcs Newsletter, Volume 15, Number 2, February 1999, College Of Engineering And Computer Science, Wright State University

BITs and PCs Newsletter

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

Design, Implementation, And Evaluation Of A Shared-Memory Parellel Processing System (Smpps), Eric H. Staub

Theses

As technology reaches its limits of improvements in microprocessor processing speeds, scientists and engineers have to find viable solutions to meet ever-increasing demands for faster processing speed. One such solution is parallel processing. No longer does one have to wait on sequential operations. A specific task can be split in sub-tasks that can run simultaneously, thus reducing the overall execution time of the task.

The design and implementation of these systems is crucial to the effectiveness of parallel systems. A dual-processor SMPPS was designed and implemented in order to demonstrate how multiple processors are a viable solution to increasing the …

A Scalable Multiprocessor, Charles Yarbrough

Honors Capstone Projects and Theses

No abstract provided.

Intervals Is All We Need: An Argument, Masao Mukaidono, Yeung Yam, Vladik Kreinovich

Departmental Technical Reports (CS)

In many practical applications of fuzzy methodology, it is desirable to go beyond the interval [0,1] and to consider more general fuzzy values: e.g., intervals, or more general sets of values. In this paper, we show that under some reasonable assumptions, there is no need to go beyond intervals.

Why Clustering In Function Approximation? Theoretical Explanation, Vladik Kreinovich, Yeung Yam

Departmental Technical Reports (CS)

Function approximation is a very important practical problem: in many practical applications, we know the exact form of the functional dependence y=f(x1,...,xn) between physical quantities, but this exact dependence is complicated, so we need a lot of computer space to store it, and a lot of time to process it, i.e., to predict y from the given xi. It is therefore necessary to find a simpler approximate expression g(x1,...,xn) for this same dependence. This problem has been analyzed in numerical mathematics for several centuries, and it is, therefore, one of the most thoroughly analyzed problems of applied mathematics. There are …

Beyond [0,1] To Intervals And Further: Do We Need All New Fuzzy Values?, Yeung Yam, Masao Mukaidono, Vladik Kreinovich

Departmental Technical Reports (CS)

In many practical applications of fuzzy methodology, it is desirable to go beyond the interval [0,1] and to consider more general fuzzy values: e.g., intervals, or real numbers outside the interval [0,1]. When we increase the set of possible fuzzy values, we thus increase the number of bits necessary to store each degree, and therefore, increase the computation time which is needed to process these degrees. Since in many applications, it is crucial to get the result on time, it is therefore desirable to make the smallest possible increase. In this paper, we describe such smallest possible increases.

Why Fundamental Physical Equations Are Of Second Order?, Takeshi Yamakawa, Vladik Kreinovich

Departmental Technical Reports (CS)

In this paper, we use a deep mathematical result (namely, a minor modification of Kolmogorov's solution to Hilbert's 13th problem) to explain why fundamental physical equations are of second order. This same result explain why all these fundamental equations naturally lead to non-smooth solutions like singularity.

Derivation Of Equations Of Motion For A Four Link Robotic Leg For A Walking Vehicle, Andrew B. Wright

Journal of the Arkansas Academy of Science

A four degree of freedom leg for a walking robot has been modeled using Newton's method. Unlike robot manipulators, which have a fixed base, a leg model must include inertial forces due to base motion. These forces have been included in the formulation. These equations can be used for design, simulation, and control. The inverse kinematics for this leg are also presented. This allows the joint angles to be computed from a desired foot-hold position.

Ds Cdma Scheme For Watm With Errors And Erasures Decoding, Beata J. Wysocki, Hans-Jürgen Zepernick, Tadeusz Wysocki

Department of Electrical and Computer Engineering: Faculty Publications (to 2015)

In the paper, we present simulation results for the 13 channel DS CDMA WATM LAN utilising optimized complex spreading signatures based on Walsh functions. The method to obtain those optimized spreading signatures, as well as the full set of the coefficients giving the minimum level of cross-correlation between any pair of the channels is shown. The resultant system BER as well as the distribution of errors within WATM cells is given. The obtained results indicate that with the application of a hybrid ARQ scheme with errors and erasures decoding, the number of WATM cells which would require retransmission is in …

Fuzzy Systems Are Universal Approximators For A Smooth Function And Its Derivatives, Vladik Kreinovich, Hung T. Nguyen, Yeung Yam

Departmental Technical Reports (CS)

One of the reasons why fuzzy methodology is successful is that fuzzy systems are universal approximators, i.e., that we can approximate an arbitrary continuous function within any given accuracy by a fuzzy system. In some practical applications (e.g., in control), it is desirable to approximate not only the original function, but also its derivatives (so that, e.g., a fuzzy control approximating a smooth control will also be smooth). In our paper, we show that for any given accuracy, we can approximate an arbitrary smooth function by a fuzzy systems so that not only the function is approximated within this accuracy, …

Time-Bounded Kolmogorov Complexity May Help In Search For Extra Terrestrial Intelligence (Seti), Martin Schmidt

Departmental Technical Reports (CS)

One of the main strategies in Search for Extra Terrestrial Intelligence (SETI) is trying to overhear communications between advanced civilizations. However, there is a (seeming) problem with this approach: advanced civilizations, most probably, save communication expenses by maximally compressing their messages, and the notion of a maximally compressed message is naturally formalized as a message x for which Kolmogorov complexity C(x) is close to its length l(x), i.e., as a "random" message. In other words, a maximally compressed message is indistinguishable from the truly random noise, and thus, trying to detect such a message does not seem to be a …

Extending T-Norms Beyond [0,1]: Relevant Results Of Semigroup Theory, Yeung Yam, Vladik Kreinovich

Departmental Technical Reports (CS)

Originally, fuzzy logic was proposed to describe human reasoning. Lately, it turned out that fuzzy logic is also a convenient approximation tool, and that moreover, sometimes a better approximation can be obtained if we use real values outside the interval [0,1]; it is therefore necessary to describe possible extension of t-norms and t-conorms to such new values. It is reasonable to require that this extension be associative, i.e., that the set of truth value with the corresponding operation form a semigroup. Semigroups have been extensively studied in mathematics. In this short paper, we describe several results from semigroup theory which …

Differentiating Type Of Muscle Movement Via Ar Modeling And Neural Network Classification, Beki̇r Karlik

Turkish Journal of Electrical Engineering and Computer Sciences

The aim of this study is to classify electromyogram (EMG) signals for controlling multifunction proshetic devices. An artificial neural network (ANN) implementation was used for this purpose. Autoregressive (AR) parameters of $a_1, a_2, a_3, a_4$ and their signal power obtained from different arm muscle motions were applied to the input of ANN, which is a multilayer perceptron. At the output layer, for 5000 iterations, six movements were distinguished at a high accuracy of 97.6%.

Adaptive Resource Management Via Modular Feedback Control, Ashvin Goel, David Steere, Calton Pu, Jonathan Walpole

Computer Science Faculty Publications and Presentations

A key feature of tomorrow’s operating systems and runtime environments is their ability to adapt. Current state of the art uses an ad-hoc approach to building adaptive software, resulting in systems that can be complex, unpredictable and brittle. We advocate a modular and methodical approach for building adaptive system software based on feedback control. The use of feedback allows a system to automatically adapt to dynamically varying environments and loads, and allows the system designer to utilize the substantial body of knowledge in other engineering disciplines for building adaptive systems. We have developed a toolkit called SWiFT that embodies this …

Feedback Based Dynamic Proportion Allocation For Disk I/O, Dan Revel, Dylan Mcnamee, Calton Pu, David Steere, Jonathan Walpole

Computer Science Faculty Publications and Presentations

In this paper we propose to use feedback control to automatically allocate disk bandwidth in order to match the rate of disk I/O to the real-rate needs of applications. We describe a model for adaptive resource management based on measuring the relative progress of stages in a producer-consumer pipeline. We show how to use prefetching to transform a passive disk into an active data producer whose progress can be controlled via feedback. Our progress-based framework allows the integrated control of multiple resources. The resulting system automatically adapts to varying application rates as well as to varying device latencies.

Combining Wavelets And Hotelling Transforms In Image Query, Sol Neeman Ph.D.

Engineering Studies Faculty Publications and Creative Works

In the "content based" image query, also referred to as "query by example," "similarity retrieval" or "sketch retrieval," the query image is provided by the user either as a sketch of the object, as the output of a scanner or a video camera. Some of the difficulties associated with content based image query are described in [1], e.g. significant difference between the "query image" and the "target image," artifacts and poor resolution of the query image make a straightforward comparison of images using L1 and l2 metrics not effective.

In [2] a new strategy is suggested based on wavelet decomposition …

Wright State University College Of Engineering And Computer Science Bits And Pcs Newsletter, Volume 15, Number 1, January 1999, College Of Engineering And Computer Science, Wright State University

BITs and PCs Newsletter

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

Using Xml To Network Distributed Analytical Instruments: Back To The Future?, Benjamin Jung, Damon Berry, Jane Grimson

Conference Papers

There has been a paradigm shift in medical informatics standards in recent years from the message-oriented approach to a more distributed systems approach. However, despite all the early promise of distributed applications, they haven't been widely adopted in the health domain for various reasons. As a result, despite an increasing need for a standardised distributed solution for analytical laboratory instruments, many implementers of instrument interfaces are still using proprietary serial interfaces which do not support distribution. The emergence of the eXtended Markup Language (XML) specification in 1998 revived the fortunes of the messaged oriented methodology. This paper presents a partial …

Effects Of Parasitic Elements On Oscillation Frequency Of Ota-C Sinusoidal Oscillators, Ari̇f Nacaroğlu, Ergun Erçelebi̇

Turkish Journal of Electrical Engineering and Computer Sciences

An oscillator circuit which incorporates Operational Transconductance Amplifiers is presented. The circuit is designed using three OTAs and two grounded capacitors. The frequency of oscillation is tunable over a wide frequency range. The effects of the parasitic elements on the oscillation frequency and the oscillation condition are studied. The theoretical results are compared with the experimental results for a practical oscillator circuit.

Revenue Equivalence Of Leveled Commitment Contracts, Tuomas Sandholm, Yunhong Zhou

All Computer Science and Engineering Research

In automated negotiation systems consisting of self-interested agents, contracts have traditionally been binding. Leveled commitment contracts - i.e. contracts where each party can decommit by paying a predetermined penalty - were recently shown to improve expected social welfare even if agents decommit insincerely in Nash equilibrium. Such contracts differ based on whether agents have to declare their decommitting decisions sequentially or simultaneously, and whether or not agents have to pay the penalties if both decommit. For a given contract, these protocols lead to different decommitting thresholds and probabilities. However, this paper shows that, surprisingly, each protocol leads to the same …