Computer Engineering Commons^™

Aspect Sensitivity Measurements Of Polar Mesosphere Summer Echoes Using Coherent Radar Imaging, P. B. Chilson, T.-Y. Yu, R. D. Palmer, S. Kirkwood

Department of Electrical and Computer Engineering: Faculty Publications

The Esrange VHF radar (ESRAD), located in northern Sweden (67.88) N, 21.10- E), has been used to investigate polar mesosphere summer echoes (PMSE). During July and August of 1998, coherent radar imaging (CRI) was used to study the dynamic evolution of PMSE with high temporal and spatial resolution. A CRI analysis provides an estimate of the angular brightness distribution within the radar’s probing volume. The brightness distribution is directly related to the radar reflectivity. Consequently, these data are used to investigate the aspect sensitivity of PMSE. In addition to the CRI analysis, the full correlation analysis (FCA) is used to …

Wright State University College Of Engineering And Computer Science Bits And Pcs Newsletter, Volume 17, Number 7, April 2001, 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.

Which Truth Values In Fuzzy Logics Are Definable?, Hung T. Nguyen, Vladik Kreinovich, Antonio Di Nola

Departmental Technical Reports (CS)

In fuzzy logic, every word or phrase describing uncertainty is represented by a real number from the interval [0,1]. There are only denumerable many words and phrases, and continuum many real numbers; thus, not every real number corresponds to some commonsense degree of uncertainty. In this paper, for several fuzzy logic, we describe which numbers are describing such degrees, i.e., in mathematical terms, which real numbers are definable in the corresponding fuzzy logic.

Computational Complexity Of Planning With Temporal Goals, Chitta Baral, Vladik Kreinovich, Raul A. Trejo

Departmental Technical Reports (CS)

In the last decade, there has been several studies on the computational complexity of planning. These studies normally assume that the goal of planning is to make a certain fluent true after the sequence of actions. In many real-life planning problems, the goal is represented in a much more complicated temporal form: e.g., in addition to having a desired fluent true at the end, we may want to keep certain fluents true at all times. In this paper, we study the complexity of planning for such temporal goals. We show that for goals expressible in Linear Temporal Logic, planning has …

The Other Information Warfare: A Mind Full Of Macedonia, Ibpp Editor

International Bulletin of Political Psychology

This article highlights ongoing aspects of psychological warfare in Macedonia between government and rebel forces.

Interval Computations As A Particular Case Of A General Scheme Involving Classes Of Probability Distributions, Scott Ferson, Lev Ginzburg, Vladik Kreinovich, Harry Schulte

Departmental Technical Reports (CS)

Traditionally, in science and engineering, measurement uncertainty is characterized by a probability distribution; however, we don't know this probability distribution exactly, so we must consider classes of probability distributions. Interval computations deal with a very specific type of such classes: classes of all distributions which are located on a given interval. We show that in general, we need all convex classes of probability distributions.

1st Order, 2nd Order, What Next? Do We Really Need Third-Order Descriptions: A View From A Realistic (Granular) Viewpoint, Vladik Kreinovich, Hung T. Nguyen

Departmental Technical Reports (CS)

To describe experts' uncertainty in a knowledge-based system, we usually use numbers from the interval [0,1] (subjective probabilities, degrees of certainty, etc.). The most direct way to get these numbers is to ask the expert; however, the expert may not be 100\% certain what exactly number describes his uncertainty; so, we end up with a second-order uncertainty - a degree of certainty describing to what extent a given number d adequately describes the expert's uncertainty about a given statement A. At first glance, it looks like we should not stop at this second order: the expert is probably as uncertain …

Computing The Shape Of The Image Of A Multi-Linear Mapping Is Possible But Computationally Intractable: Theorems, Raul A. Trejo, Vladik Kreinovich

Departmental Technical Reports (CS)

In systems without inertia (or with negligible inertia), a change in the values of control variables x1,...,xn leads to the immediate change in the state z of the system. In more precise terms, for such systems, every component zi of the state vector z=(z1,...,zd) is a function of the control variables. When we know what state z we want to achieve, the natural question is: can we achieve this state, i.e., are there values of the control variables which lead to this very state?

The simplest possible functional dependence is described by linear functions. For such functions, the question of …

An Even More Realistic (Non-Associative) Interval Logic And Its Relation To Psychology Of Human Reasoning, I. R. Goodman, Raul Trejo, Vladik Kreinovich, Jesus Martinez, Reginaldo Gonzalez

Departmental Technical Reports (CS)

No abstract provided.

Why Unary And Binary Operations In Logic: General Result Motivated By Interval-Valued Logics, Hung T. Nguyen, Vladik Kreinovich, I. R. Goodman

Departmental Technical Reports (CS)

Traditionally, in logic, only unary and binary operations are used as basic ones - e.g., "not", "and", "or" - while the only ternary (and higher order) operations are the operations which come from a combination of unary and binary ones. For the classical logic, with the binary set of truth values {0,1}, the possibility to express an arbitrary operation in terms of unary and binary ones is well known: it follows, e.g., from the well known possibility to express an arbitrary operation in DNF form. A similar representation result for [0,1]-based logic was proven in our previous paper. In this …

How To Make Sure That "~100" + 1 Is ~100 In Fuzzy Arithmetic: Solution And Its (Inevitable) Drawbacks, Vladik Kreinovich, Hung T. Nguyen, Witold Pedrycz

Departmental Technical Reports (CS)

From the commonsense viewpoint, if a person who weighs around 100 kilograms gains one more kilogram, his weight is still around 100 kilograms. Alas, not so in traditional fuzzy arithmetic. In this paper, we propose a modification of fuzzy arithmetic which does have this property. We gain the desired property, but there is no free lunch, we have to lose two important properties of the traditional fuzzy arithmetic: first, addition is no longer always associative; second, addition is no longer always easily computable.

Modeling The Transient Rate Behavior Of Bandwidth Sharing As A Hybrid Control System, Kang Li, Molly H. Shor, Jonathan Walpole, Calton Pu

Computer Science Faculty Publications and Presentations

This paper uses hybrid control to model a problem of computer network systems, the dynamic behavior of bandwidth sharing among competing TCP traffic. It has been well known in the computer network community that well-behaved (TCP-friendly) congestion control mechanisms are crucial to the robustness of the Internet. Congestion control determines the transmission rate for each flow. Right now, most TCP-friendly research focuses only on the average throughput behavior without considering how the data is sent out in the short-term (e.g. bursty or smooth). However, recent experimental results show that short-term rate adjustments can change the bandwidth sharing result. Therefore, it …

Infosphere Project: An Overview, Calton Pu, Jonathan Walpole

Computer Science Faculty Publications and Presentations

We describe the Infosphere project, which is building the systems software support for information-driven applications such as digital libraries and electronic commerce. The main technical contribution is the Infopipe abstraction to support information flow with quality of service. Using building blocks such as program specialization, software feedback, domain-specific languages, and personalized information filtering, the Infopipe software generates code and manage resources to provide the specified quality of service with support for composition and restructuring.

Wright State University College Of Engineering And Computer Science Bits And Pcs Newsletter, Volume 17, Number 6, March 2001, 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.

Moving Towards Massively Scalable Video-Based Sensor Networks, Wu-Chi Feng, Jonathan Walpole, Calton Pu, Wu-Chang Feng

Computer Science Faculty Publications and Presentations

Networking and computing technologies are becoming advanced enough to enable a wealth of diverse applications that will drastically change our everyday lives. Some past examples of these developments include the World Wide Web and wireless data networking infrastructures. As is quite obvious, the World Wide Web has enabled a fundamental change in the way many people deal with day-to-day tasks. Through the web, one can now make on-line reservations for travel, pay bills through on-line banking services, and view personalized on-line newscasts. More recently, developments in wireless technologies have enabled anywhere, anytime access to information over wireless medium. As wireless …

Using Direct-Sequenced Spread Spectrum In A Wired Local Area Network, Robert J. Bonner

Theses and Dissertations

Code division multiple access provides an ability to share channel bandwidth amongst users at the same time. Individual user performance is not degraded with the addition of more users, unlike traditional Ethernet. Using direct sequenced spread spectrum in a wired local area network, network performance is improved. For a network in overload conditions, individual station throughput is increased by nearly 212% while mean end-to-end delay was reduced by 800%. The vast improvement demonstrated by this research has the capability to extend legacy-cabling infrastructures for many years to come while easily accommodating new bandwidth intensive multimedia applications.

Wavelet Domain Communication System (Wdcs): Design, Model, Simulation, And Analysis, Randall W. Klein

Theses and Dissertations

A proposed wavelet domain communication system (WDCS) using transform domain processing is demonstrated as having enhanced interference avoidance capability under adverse environmental conditions. The WDCS system samples the environment and uses the wavelet transform, to determine interference presence and time/scale location. A digital communication waveform (basis function) is subsequently designed in the wavelet domain to specifically avoid regions containing interference. The WDCS basis function is data modulated prior to transmission. Assuming perfect synchronization, the receiver replicates a locally generated basis function for correlating with the received signal and demodulating the data. The proposed system is modeled and simulation results are …

Routing Of Time-Sensitive Data In Mobile Ad Hoc Networks, Necdet Kilic

Theses and Dissertations

This research focuses on routing of time-sensitive data in mobile ad hoc networks. Routing protocols that were developed for ad hoc networks have been reviewed. Ad Hoc On-demand Distance Vectoring (AODV) routing protocol, which is a prominent routing protocol among these protocols have been implemented in OPNET, a discrete-event simulation tool. Taking AODV as a point of departure, a routing protocol named Real Time Routing Protocol (RTRP) has been developed and also implemented in simulation environment. The performance of these routing protocols have been observed by simulating them in various experiments where the workload has been chosen to be time-sensitive …

Multicast Algorithms For Mobile Satellite Communication Networks, Ryan W. Thomas

Theses and Dissertations

With the rise of mobile computing and an increasing need for ubiquitous high speed data connections, Internet-in-the-sky solutions are becoming increasingly viable. To reduce the network overhead of one-to-many transmissions, the multicast protocol has been devised. The implementation of multicast in these Low Earth Orbit (LEO) constellations is a critical component to achieving an omnipresent network environment. This research examines the system performance associated with two terrestrial-based multicast mobility solutions, Distance Vector Multicast Routing Protocol (DVMRP) with mobile IP and On Demand Multicast Routing Protocol (ODMRP). These protocols are implemented and simulated in a six plane, 66 satellite LEO constellation. …

Locating Target At High Speed Using Image Decimation Decomposition Processing, Zikuan Chen, Mohammad Rezaul Karim, Majeed M. Hayat

Electrical and Computer Engineering Faculty Research and Publications

We develop a decimation-decomposition processing technique that consists of judiciously selecting certain decimation-decomposed components of an image and then performing inter-component processing. For a (k_x,k_y)-decimation decomposition, there may be up to k_xk_y decimation-decomposed components. The minimal surviving and maximal non-surviving lengths associated with inter-component processing algorithm allows for clutter suppression. By removing detection redundancies, one can locate the target at high speed. A “where-then-what” model is proposed for target tracking and recognition. It locates the target by-image decimation-decomposition processing first and then recognizes the target in question using a suitable image recognition technique.

Cyberpsychology And Virtual Reality: Is An Update Necessary, Ibpp Editor

International Bulletin of Political Psychology

This article explores the notion that something called "human nature" may be changing in an era of significant information technology developments.

Wright State University College Of Engineering And Computer Science Bits And Pcs Newsletter, Volume 17, Number 5, February 2001, 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.

What Is The Best Way To Draw A Cube? A Hypercube?, Brian D'Auriol, Vladik Kreinovich, Bindu George, Florence Muganda, Pramod Kumar Chikkpaiah

Departmental Technical Reports (CS)

One of the possible connections between processors is a hypercube. The simplest case of a hypercube - a 4-vertex square - can be naturally represented on a 2-D page. To represent a 3-dimensional (or higher-dimensional) hypercube, we must project additional dimensions onto a 2-D page. In general, when we project a multi-D space into a 2-D plane, different points project into the same one. To get the best visualization, we must select a projection in such a way that the projections of different points are as distant from each other as possible. In this paper, we formalize and solve the …

On Fusion Of Soft And Hard Computing: Traditional ("Hard Computing") Optimal Rescaling Techniques Simplify Fuzzy Control, Hugh F. Vanlandingham, Vladik Kreinovich

Departmental Technical Reports (CS)

One of the main objectives of fuzzy control is to translate expert rules - formulated in imprecise ("fuzzy") words from natural language - into a precise control strategy. This translation is usually done is two steps. First, we apply a fuzzy control methodology to get a rough approximation to the expert's control strategy, and then we tune the resulting fuzzy control system. The first step (getting a rough approximation) is well-analyzed, and the fact that we have expert's intuitive understanding enables us to use soft computing techniques to perform this step. The second (tuning) step is much more difficult: we …

Emulation Of The Dataflow Computing Paradigm Using Field Programmable Gate Arrays (Fpgas), Segreen Ingersoll

Theses

Building a perfect dataflow computer has been an endeavor of many computer engineers. Ideally, it is a perfect parallel machine with zero overheads, but implementing one has been anything but perfect. While the sequential nature of control flow machines makes them relatively easy to implement, dataflow machines have to address a number of issues that are easily solved in the realm of control flow paradigm. Past implementations of dataflow computers have addressed these issues, such as conditional and reentrant program structures, along with the flow of data, at the processor level, i.e. each processor in the design would handle these …

The Determination Of Failure Occurring In The Stator Coil Winding Due To The Over-Voltage Using Matlab Software, Ali Reza Alavizadeh

Morehead State Theses and Dissertations

A thesis presented to the faculty of the College of Science & Technology at Morehead State University in partial fulfillment of the requirements for the Degree of Master of Science in Vocational Education / Technology by Ali Reza Alavizadeh on January 8, 2001.

The Prospect For Answer Sets Computation By A Genetic Model, A. Bertoni, G. Grossi, A. Provetti, Vladik Kreinovich, L. Tari

Departmental Technical Reports (CS)

We combine recent results from both Logic Programming and Genetic Algorithms to design a new method for the efficent computation of Answer Sets of logic programs. First of all the problem is reduced to the problem of finding a suitable coloring on directed graphs. Then the problem of finding a suitable coloring is relaxed to a combinatorial optimization problem and solved (in an approximate way) by a continuous discrete time system derived by a genetic model.

Virtual Design Office: A Collaborative Unified Modeling Language Tool, Hara Totapally

Theses Digitization Project

Real-time conferencing and collaborative computing is a great way to make developers more effective. This project is a collaborative framework development comprising configurable client and server components.

Design And Implementation Of Car Rental System, Fadi Fayez Abdel-Jaber

Theses Digitization Project

When someone wants to rent a car, the customer will usually think twice about the company from which they want to rent. The decision will be based on factors such as good rates, quality and customer service. The service the company representative offers the client should be fast, clear and accurate. This goal cannot be achieved without an informative system that will enable the customer representative to answer the various questions the client might have.

A Study And Implementation Of An Electronic Commerce Website Using Active Server Pages, Soumaya Boutkhil

Theses Digitization Project

The purpose of this project is to design an electronic commerce site for MarocMart company. MarocMart.com is an one-stop shopping company for a number of high quality products: carpets, jewelry, pottery, wood, leather, metals, and fashion items, etc... Each article is unique, hand-made by Moroccan craftsmen.