Computer Engineering Commons^™

Theoretical Explanation For The Empirical Probability Of Detection (Pod) Curve: A Neural Network-Motivated Approach, Yohans Mendoza, Roberto Osegueda

Departmental Technical Reports (CS)

For non-destructive testing of aerospace structures, it is extremely important to know how the probability of detecting a fault depends on its size. Recently, an empirical formula has been found which described this dependence. In this paper, we provide the theoretical justification for this formula by using methods motivated by the neural network approach.

Fuzzy Logic In Non-Destructive Testing Of Aerospace Structures, Murali Krishna, Vladik Kreinovich, Roberto Osegueda

Departmental Technical Reports (CS)

In nondestructive testing, to locate the faults, we send an ultrasonic signal and measure the resulting vibration at different points. To describe and combine the uncertainty corresponding to different measurements and fuzzy estimates, we used fuzzy logic. As a result, we get reasonably simple computational models which lead to as good fault detection as the known more complicated models.

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.

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. …

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 …

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 …

Dynamic And Interactive 3d Simulation Over The World Wide Web, Rajesh Vennam

Electrical & Computer Engineering Theses & Dissertations

The thesis presents the development of a new and novel three-dimensional simulation tool over the WWW using Virtual Reality Modeling Language (VRML). VRML is a 3D analog to HTML and serves as a simple, multiplatform language for publishing 3D Web pages. In general, most people use VRML for developing three-dimensional models or worlds that provide little or no interaction for the users. This tool combines interaction and dynamic object creation. A thorough study of VRML is done to explore the features of VRML that could be combined to develop methodologies for creation of dynamic and interactive 3D objects over the …

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 …

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 …

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, …

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 …

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.

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 …

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 …

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 …

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.

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.

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 …

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.

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 …

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 …

Information Modeling And Method Engineering: A Psychological Perspective, Keng Siau

Research Collection School Of Computing and Information Systems

Information modeling is the cornerstone of information systems analysis and design. Information models, the products of information modeling, not only provide the abstractions required to facilitate communication between the analysts and end users, but they also provide a formal basis for developing tools and techniques used in information systems development. The process of designing, constructing, and adapting information modeling methods for information systems development is known as method engineering. Despite the pivotal role of modeling methods in successful information systems development, most modeling methods are designed based on common sense and intuition of the method designers with little or no …

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.

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.

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 …

Chu Spaces: Towards New Foundations For Fuzzy Logic And Fuzzy Control, With Applications To Information Flow On The World Wide Web, Hung T. Nguyen, Vladik Kreinovich, Guoqing Liu

Departmental Technical Reports (CS)

We show that Chu spaces, a new formalism used to describe parallelism and information flow, provide uniform explanations for different choices of fuzzy methodology, such as choices of fuzzy logical operations, of membership functions, of defuzzification, etc.

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 …

A New Look At Fuzzy Theory Via Chu Spaces, Hung T. Nguyen, Berlin Wu, Vladik Kreinovich

Departmental Technical Reports (CS)

We propose to use Chu categories as a general framework for uncertainty analysis, with a special attention to fuzzy theory. We emphasize the fact that by viewing fuzzy concepts as Chu spaces, we can discover new aggregation operators, and model interactions and relationship between fuzzy data; these possibilities are due, in essence, to the category structure of Chu spaces, and especially to their morphisms. This paper is a tutorial introduction to the subject.

An Optimality Criterion For Arithmetic Of Complex Sets, Vladik Kreinovich, Juergen Wolff Von Gudenberg

Departmental Technical Reports (CS)

Uncertainty of measuring complex-valued physical quantities can be described by complex sets. These sets can have complicated shapes, so we would like to find a good approximating family of sets. Which approximating family is the best? We reduce the corresponding optimization problem to a geometric one: namely, we prove that, under some reasonable conditions, an optimal family must be shift-, rotation- and scale-invariant. We then use this geometric reduction to conclude that the best approximating low-dimensional families consist of sets with linear or circular boundaries. This result is consistent with the fact that such sets have indeed been successful in …