Computer Engineering Commons^™

Kolmogorov Complexity-Based Ideas For Locating Text In Web Images, Martin Schmidt, Vladik Kreinovich, Luc Longpre

Departmental Technical Reports (CS)

The gaining popularity of the World Wide Web increases security risks. Search tools monitor plain text in web pages, but search for text in graphical images is still difficult. For this search, we use the fact that the compressed images with text have different size than images without text.

Chu Spaces - A New Approach To Describing Uncertainty In Systems, Vladik Kreinovich, Guoqing Liu, Hung T. Nguyen

Departmental Technical Reports (CS)

This paper proposes the use of a specific type of categories for modeling and fusing information in complex systems in which uncertainty of various types need to be taken into account.

Laser Beam Profile Deformation Effect During Bragg Acousto-Optic Interaction: A Non-Paraxial Approximation, Ray S. Huang, Chen-Wen Tarn, Partha P. Banerjee, Doungchin Cao

Electrical and Computer Engineering Faculty Publications

It is commonly known that the spatial profiles of the diffracted light beams during Bragg acousto-optic interaction are distorted due to the Bragg angle selection mechanism. All the conventional studies on this effect use the paraxial approximation. But this approximation should be amended when the incident angle of the light is large enough that the diffracted light waves do not propagate closely along the optic axis of the acousto-optic diffraction system. By using a spatial Fourier transform approach, we rigorously study the light beam profile deformation effect of the diffracted light during the Bragg acousto-optic interaction beyond the paraxial approximation. …

An Analytical Approximation For The Excess Noise Factor Of Avalanche Photodiodes With Dead Space, Majeed M. Hayat, Zikuan Chen, Mohammad Rezaul Karim

Electrical and Computer Engineering Faculty Research and Publications

Approximate analytical expressions are derived for the mean gain and the excess noise factor of avalanche photodiodes including the effect of dead space. The analysis is based on undertaking a characteristic-equation approach to obtain an approximate analytical solution to the existing system of recurrence equations which characterize the statistics of the random multiplication gain. The analytical expressions for the excess noise factor and the mean gain are shown to be in good agreement with the exact results obtained from numerical solutions of the recurrence equations for values of the dead space reaching up to 20% of the width of the …

Guest Editorial: Special Section On Acousto-Optic Devices And Optical Information Processing: Research And Developments, Partha P. Banerjee, Ting-Chung Poon

Electrical and Computer Engineering Faculty Publications

This guest editorial provides an overview of the topical area and an introduction to the articles featured in the special section.

Examination Of Beam Propagation In Misaligned Holographic Gratings And Comparison With The Acousto-Optic Transfer Function Model For Profiled Beams, Monish Ranjan Chatterjee, David D. Reagan

Electrical and Computer Engineering Faculty Publications

A transfer function formalism developed earlier for the propagation of profiled optical beams through acousto-optic Bragg cells is revisited and applied to a thick holographic grating. The results based on the holographic coupled wave model and the acousto-optic multiple scattering model are shown to be compatible, and equivalent parameters such as the Q and grating strength are defined for the two systems. Results for a Gaussian spatial profile are numerically computed and compared. For the holographic grating, a profiled beam may be interpreted as an angular misalignment or Bragg-angle mismatch problem. The case of Bragg-wavelength mismatch is also investigated for …

Hardware-Software Integration For Particle Light Scatter Imaging, Christophe Pierre Godefroy

FIU Electronic Theses and Dissertations

The main purpose of this research is the implementation of a software interface. This interface shall allow the interpretation of particle size in a medium with respect to its diffraction patterns. The literature shows extensive work on the theory of light scattering but the experiments are cumbersome to implement. Some initial work has required the levitation of particle to isolate the difficulties associated with a flow environment. The purpose of this work; however, will focus on the software requirements to synchronize, collect and analyze light scattering patterns.

Although there are many other ways of sizing particles, it may be useful …

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

Multi-Resolution Techniques In The Rules-Based Intelligent Control Systems: A Universal Approximation Result, Yeung Yam, Hung T. Nguyen, Vladik Kreinovich

Departmental Technical Reports (CS)

Intelligent control is a very successful method of transforming expert knowledge of control rules (formulated in terms of natural language, like "small") into a precise control strategy. It has led to many spectacular applications, ranging from appliances to automatic subway control to super-precise temperature control on a Space Shuttle mission.

It is known that fuzzy control is a universal approximator, i.e., that it can approximate every possible control strategy within an arbitrary accuracy. One of the main problems of fuzzy control is that the number of rules which are necessary to represent a given control strategy with a given accuracy, …

Fuzzy/Probability ~ Fractal/Smooth, Hung T. Nguyen, Vladik Kreinovich, Berlin Wu

Departmental Technical Reports (CS)

Many applications of probability theory are based on the assumption that, as the number of cases increase, the relative frequency of cases with a certain property tends to a number - probability that this property is true. L. Zadeh has shown that in many real-life situations, the frequency oscillates and does not converge at all. It is very difficult to describe such situations by using methods from traditional probability theory. Fuzzy logic is not based on any convergence assumptions and therefore, provides a natural description of such situations. However, a natural next question arises: how can we describe this oscillating …

Decision Making Under Interval Probabilities, Ronald R. Yager, Vladik Kreinovich

Departmental Technical Reports (CS)

If we know the probabilities p(1),...,p(n) of different situations s1,...,sn, then we can choose a decision Ai for which the expected benefit C(i)=p(1)*c(i,1)+...+p(n)*c(i,n) takes the largest possible value, where c(i,j) denotes the benefit of decision Ai in situation sj. In many real life situations, however, we do not know the exact values of the probabilities p(j); we only know the intervals [p-(j),p+(j)] of possible values of these probabilities. In order to make decisions under such interval probabilities, we would like to generalize the notion of expected benefits to interval probabilities. In this paper, we show that natural requirements lead to …

Multi-Resolution Methods In Non-Destructive Testing Of Aerospace Structures And In Medicine, Roberto Osegueda, Yohans Mendoza, Olga Kosheleva, Vladik Kreinovich

Departmental Technical Reports (CS)

A fault in an aerospace structure can lead to catastrophic consequences; therefore, it is extremely important to test these structures regularly. Thorough testing of a huge aerospace structures results in a large amount of data, and processing this data takes a lot of time. To decrease the processing time, we use a "multi-resolution" technique, in which we first separate the data into data corresponding to different vibration modes, and then combine these data together. There are many possible ways to transform each mode's data into the probability of a fault, and many possible way of combining these mode-based probabilities; different …

Timed Safety Automata And Logic Conformance, Frank C. D. Young

Theses and Dissertations

Timed Logic Conformance (TLC) is used to verify the behavioral and timing properties of detailed digital circuits against abstract circuit specifications when both are modeled as Timed Safety Automata (TSA) with real-valued clocks. TLC is a bisimulation-style partial order relationship defined over TSA state space. In contrast to timed simulation, Calculus of Timed Refinement, and time-abstracted bisimulation, TLC defines when one system is an acceptable implementation of another by asymmetric action-matching requirements for specification inputs and implementation outputs. TLC intuitively and pragmatically supports writing abstract specifications and verifying them against implementations. TLC scales up by substituting verified specifications for implementations …

Multi-Lifecycle Assessment Design Tools And Software Development, Ji Jin

Theses

This thesis introduces the concept of Multi-lifecycles and a Multi-lifecycle assessment (MLCA) methodology for evaluating the energy consumption and environmental emissions of a product. MLCA quantifies materials, energy, and environmental burdens associated with end-of-life options, as well as obtains the value of returning parts and materials back to use, through demanufacturing, reengineering and remanufacturing.

A Multi-lifecycle Assessment software is developed as a tool to implement MLCA methodologies. By this software, one can practice a full life-cycle analysis on a product, or compare the environmental impacts of different products. Detailed designs on MLCA software including the databases, user interfaces, and algorithm …

Design Of Components For A Generic Microprocessor Architecture, Pradnesh R. Mohare

Theses

The objective of this thesis was to develop a generic microprocessor design that can be adapted to many of the existing 16 bit microprocessors. Common features of various microprocessors were used to develop the design of many generic components which can then be used to design the required microprocessors instead of custom-designing each one of them separately. The components were designed using a CISC based micro-programmed design approach as that was more suitable in terms of design and verification time for generic implementation. The generic parts designed include the Register File for temporary data storage, the Effective Address Calculator that …

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

Chu Spaces - A New Approach To Diagnostic Information Fusion, Hung T. Nguyen, Vladik Kreinovich, Berlin Wu

Departmental Technical Reports (CS)

This paper is rather theoretical. Its aim is to describe a general algebraic framework, known as Chu spaces, in which different type of information can be transformed into the same form, so that fusion procedures can be investigated in a single general framework.

Online Auctions, Michael N. Huhns, José M. Vidal

Faculty Publications

Auctions on the Internet can involve not only consumers, but also businesses. They can form dynamically and enable the exchange of goods much as stock exchanges manage the buying and selling of securities. But because auctions have a wide scope and a short lifetime, the opportunistic behavior needed for successful interaction requires agents to both participate in and manage auctions. The article focuses on the use of software agents in such Internet based auctions

Two Approaches To Critical Path Scheduling For A Heterogeneous Environment, Guangxia Liu

Computer Science Theses & Dissertations

Advances in computing and networking technologies are making large scale distributed heterogeneous computing a reality. Multi-Disciplinary Optimization (MDO) is a class of applications that is being addressed under this paradigm. It consists of multiple heterogeneous modules interacting with each other to solve an overall design problem. An efficient implementation of such an application requires scheduling heterogeneous modules (with different computing and disk 1/0 requirements) on a heterogeneous set of resources (with different CPU, memory, disk IO specifications).

Given a set of tasks and a set of resources, an optimal schedule of the tasks on the resources is very hard to …

An Investigation Into The Causes And Effects Of Legacy Status In A System With A View To Assessing Both Systems Currently In Use And Those Being Considered For Introduction, Patricia O'Byrne

Other resources

This dissertation analyses the area of legacy systems and determines the effects that are exhibited in legacy systems, presenting them in a legacy effect determination framework, so that management can ascertain whether the system they have is a legacy system. An analysis of legacy causal criteria is carried out, resulting in a table of legacy causes. A new definition of legacy systems is put forward, by defining legacy status as a status held by a legacy system. “A system exhibits legacy status if it is deficient in terms of its suitability to the business, its platform suitability or application software …

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

We Live In The Best Of Possible Worlds: A Proof, Guoqing Liu, Vladik Kreinovich

Departmental Technical Reports (CS)

It is well known that equations of motions and equations which describe the dynamics of physical fields can be deduced from the condition the action S (determined by the corresponding Lagrange function) is optimal. In other words, there is an optimality criterion on the set of all trajectories, and the actual trajectory is optimal with respect to this criterion.

The next reasonable question is: where does this optimality criterion on the set of all trajectories (i.e., the corresponding Lagrange function) come from? It is reasonable to assume that (similarly) on the set of all Lagrange functions, there is an optimality …

1999 (Spring) Ensi Informer Magazine, Morehead State University. Engineering Sciences Department

ENSI Informer Magazine Archive

The ENSI Informer Magazine published in the spring of 1999.

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.

Arithmetic Of Complex Sets: Nickel's Classical Paper Revisited From A Geometric Viewpoint, Vladik Kreinovich, Juergen Wolff Von Gudenberg

Departmental Technical Reports (CS)

Due to measurement uncertainty, after measuring a value of a physical quantity (or quantities), we do not get its exact value, we only get a set of possible values of this quantity (quantities). In case of 1-D quantities, we get an interval of possible values. It is known that the family of all real intervals is closed under point-wise arithmetic operations (+,-,*) (i.e., this family forms an arithmetic). This closeness is efficiently used to estimate the set of possible values for y=f(x1,...,xn) from the known sets of possible values for xi.

In some practical problems, physical quantities are complex-valued; it …

Towards Faster, Smoother, And More Compact Fuzzy Approximation, With An Application To Non-Destructive Evaluation Of Space Shuttle's Structural Integrity, Yeung Yam, Roberto Osegueda, Vladik Kreinovich

Departmental Technical Reports (CS)

It is known that fuzzy systems are universal approximators, i.e., any input-output system can be approximated, within any given accuracy, by a system described by fuzzy rules. Fuzzy rules work well in many practical applications. However, in some applications, the existing fuzzy rule approximation techniques are not sufficient:

First, in many practical problems (e.g., in many control applications), derivatives of the approximated function are very important, and so, we want not only the approximating function to be close to the approximated one, but we also want their derivatives to be close; however, standard fuzzy approximation techniques do not guarantee the …

Locating The Whole Pattern Is Better Than Locating Its Pieces: A Geometric Explanation Of An Empirical Phenomenon, Scott A. Starks, Vladik Kreinovich

Departmental Technical Reports (CS)

In many practical problems, we must find a pattern in an image. For situations in which the desired pattern consists of several simple components, the traditional approach is first to look for such components, and then to see whether the relative locations of these components are consistent with the pattern. Recent experiments have shown that a much more efficient pattern recognition can be achieved if we look for the whole pattern (without decomposing it first). In this paper, we give a simple geometric explanation of this empirical fact.

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 …

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 …