Engineering Commons^™

Optimal Choices Of Potential Functions In Fuzzy Clustering, Vladik Kreinovich, Hung T. Nguyen, Yeung Yam

Departmental Technical Reports (CS)

Fuzzy logic-based clustering techniques are widely used in situations where statistical assumptions are not valid. Whether in estimating cluster centers for model identification purposes or in determining clusters the existing techniques are essentially based upon the choice of some potential functions. As in any design problems of this kind, the choice of such a function has to be justified on a theoretical basis. In this work, we set up a decision frame work and show that optimal potential functions are the ones which are used in current techniques.

Human Visual Perception And Kolmogorov Complexity: Revisited, Vladik Kreinovich, Luc Longpre

Departmental Technical Reports (CS)

Experiments have shown that we can only memorize images up to a certain complexity level, after which, instead of memorizing the image itself, we, sort of, memorize a probability distribution in terms of which this image is "random" (in the intuitive sense of this word), and next time, we reproduce a "random" sample from this distribution. This random sample may be different from the original image, but since it belongs to the same distribution, it, hopefully, correctly reproduces the statistical characteristics of the original image.

The reason why a complex image cannot be accurately memorized is, probably, that our memory …

Run-Time Correctness Checking Is Algorithmically Undecidable For Pointer Data Structures, Mikhail Auguston, Vladik Kreinovich, Luc Longpre

Departmental Technical Reports (CS)

Programs routinely use complicated pointer (linked list-type) data structures such as linked lists, doubly linked lists, different types of trees, etc. These data structures are usually defined {\it inductively}: e.g., a tree can be defined as a structure that results from an empty tree by an arbitrary sequence of adding and deleting elements.

When the program runs, these data structures take dynamically changing shapes. To test program correctness, it is important to check, at run-time, whether a current shape is a correct implementation of the corresponding structure. Algorithms are known for checking the ``shape correctness'' for basic pointer-based data structures …

Telemanipulation: The Virtual Tool Approach And Its Interval-Based Justification, Vladik Kreinovich, Luic Olac Fuentes

Departmental Technical Reports (CS)

No abstract provided.

Application Of Kolmogorov Complexity To Image Compression: It Is Possible To Have A Better Compression, But It Is Not Possible To Have The Best One, Sanjeev Subbaramu, Ann Q. Gates, Vladik Kreinovich

Departmental Technical Reports (CS)

No abstract provided.

Oo Or Not Oo: When Object-Oriented Is Better. Qualitative Analysis And Application To Satellite Image Processing, Ann Q. Gates, Leticia Sifuentes, Scott A. Starks

Departmental Technical Reports (CS)

No abstract provided.

Strong Negation: Its Relation To Intervals And Its Use In Expert Systems, Scott A. Starks, Vladik Kreinovich, Hung T. Nguyen, Hoang Phuong Nguyen, Mirko Navara

Departmental Technical Reports (CS)

No abstract provided.

Complexity Of Collective Decision Making Explained By Neural Network Universal Approximation Theorem, Raul A. Trejo, Vladik Kreinovich

Departmental Technical Reports (CS)

No abstract provided.

Interval Approach To Non-Destructive Testing Of Aerospace Structures And To Mammography, Keith Worden, Roberto A. Osegueda, Carlos M. Ferregut, Soheil Nazarian, Eulalio Rodriguez, Debra L. George, Mary J. George, Vladik Kreinovich, Olga Kosheleva, Sergio Cabrera

Departmental Technical Reports (CS)

No abstract provided.

Time Series Analysis Of Ozone Data, Delparde Raleigh Guthrey

Theses Digitization Project

No abstract provided.

Compilation Techniques For Out-Of-Core Parallel Computations, Mahmut Kandemir, Alok Choudhary, J. Ramanujam, Rajesh Bordawekar

Electrical Engineering and Computer Science - All Scholarship

The difficulty of handling out-of-core data limits the performance of supercomputers as well as the potential of the parallel machines. Since writing an efficient out-of-core version of a program is a difficult task and virtual memory systems do not perform well on scientific computations, we believe that there is a clear need for compiler directed explicit I/O approach for out-of-core computations. In this paper, we first present an out-of-core compilation strategy based on a disk storage abstraction. Then we offer a compiler algorithm to optimize locality of disk accesses in out-of core codes by choosing a good combination of file …

Enhancing Spatial Locality Via Data Layout Optimizations, Mahmut Kandemir, Alok Choudhary, J. Ramanujam, N. Shenoy

Electrical Engineering and Computer Science - All Scholarship

This paper aims to improve locality of references by suitably choosing array layouts. We use a new definition of spatial reuse vectors that takes into account memory layout of arrays. This capability creates two opportunities. First, it allows us to develop an array restructuring framework based on a combination of hyperplane theory and reuse vectors. Second, it allows us to observe the effect of different array layout optimizations on spatial reuse vectors. Since the iteration space based locality optimizations also change the spatial reuse vectors, our approach allows us to compare the iteration-space based and data-space based approaches in terms …

Student Database Access From The Web, Prashanthi Sundaram

Theses Digitization Project

This project, Database Access through the Web (DAW), implements a database to store academic and general information of graduate students in the Department of Computer Science, CSUSB and provides access to the database from the web. The motivation of the project comes from needs of the Graduate Coordinator, professors and department staff to access through the Internet student information concurrently.

The Rmt (Recursive Multi-Threaded) Tool: A Computer Aided Software Engineeering Tool For Monitoring And Predicting Software Development Progress, Chungping Lin

Theses Digitization Project

No abstract provided.

Surveygen: A Web-Based Survey Editor, Kwon Soo Han

Theses Digitization Project

No abstract provided.

A Web-Based Universal Encyclopedia/Dictionary, Francis Hyeongwoo Lee

Theses Digitization Project

No abstract provided.

Alps: A Logic For Program Synthesis (Motivated By Fuzzy Logic), Daniel E. Cooke, Vladik Kreinovich, Scott A. Starks

Departmental Technical Reports (CS)

One of the typical problems in engineering and scientific applications is as follows: we know the values x1,...,xn of some quantities, we are interested in the values of some other quantities y1,...,ym, and we know the relationships between xi, yj, and, maybe, some auxiliary physical quantities z1,...,zk. For example, we may know an algorithm to compute y2 from x_1, x3, and y1; we may also know an equation F(x1,x2,y1)=0 that relates these values, etc. The question is: can we compute the values of yj, and, if we can, how to do it?

At first glance, this is a problem of …

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

BITs and PCs Newsletter

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

The Study, Design, And Implementation Of Data Mart Functions In Windows Environments, Shenning Wen

Theses Digitization Project

No abstract provided.

Apparatus And Method For Detection And Concentration Measurement Of Trace Metals Using Laser Induced Breakdown Spectroscopy, Dennis R. Alexander

Department of Electrical and Computer Engineering: Faculty Publications

A method and apparatus for in situ detection and concentration measurement of trace elements in an analysis Sample is disclosed. The invention uses laser induced breakdown spectroscopy (LIBS) wherein femtosecond pulsed laser energy is employed to produce the plasma. The femtosecond pulsed laser energy is focused on the analysis Sample to produce the plasma and the resulting emission is delivered for spectral analysis. Because the method and apparatus of the present invention allow breakdown of the analysis Sample without propagation of energy to the Sample-air interface, a plasma is produced that consists essentially of Sample materials without being contaminated by …

Infrared Ellpsometer/ Polarmeter System, Method Of Calibration, And Use Thereof, Daniel W. Thompson, Blaine D. Johs

Department of Electrical and Computer Engineering: Faculty Publications

A sample system investigation system, such as an ellipsometer or polarimeter system, for use in investigating sample systems with electromagnetic wavelengths in the infrared range, and a calibration method for compensating nonidealities in multi-dimensional system rotated and non-rotated component representing matricies, are disclosed. An essentially achromatic compensator of dual-rhomb construction, which introduces a (3*LAMBDA/4) phase shift, but essentially no deviation in the direction of propagation of a polarized beam of electromagnetic wavelengths caused to pass there through, even when said compensator is caused to continuously rotate, is also disclosed.

A Modification Of Sugeno Integral Describes Stability And Smoothness Of Fuzzy Control, Hung T. Nguyen, Vladik Kreinovich

Departmental Technical Reports (CS)

Sugeno integral was invented a few decades ago as a natural fuzzy analogue of the classical integral. Sugeno integral has many interesting applications. It is reasonable to expect that it can be used in all application areas where classical integrals are used, and in many such areas it is indeed useful. Surprisingly, however, it has never been used in fuzzy control, although in traditional control, classical integral is one of the main tools.

In this paper, we show that the appropriately modified Sugeno integral is indeed useful for fuzzy control: namely, it provides numerical characterization of stability and smoothness of …

Where To Bisect A Box? A Theoretical Explanation Of The Experimental Results, Vladik Kreinovich, R. Baker Kearfott

Departmental Technical Reports (CS)

No abstract provided.

Ordinal Explanation Of The Periodic System Of Chemical Elements, Eric R. Scerri, Vladik Kreinovich, Piotr Wojciechowski, Ronald R. Yager

Departmental Technical Reports (CS)

Textbooks often claim that quantum mechanics explained the periodic system: namely, the actual configuration of electronic orbits that is responsible for the element's chemical properties can be described as the one that minimizes the total energy, and the energy of each configuration can be computed by using quantum mechanics.

However, a careful analysis of this explanation reveals that, in addition to the basic equations of quantum mechanics, we need some heuristic rules that do not directly follow from quantum physics. One reason why additional heuristics are necessary is that the corresponding numerical equations are extremely difficult to solve, and as …

On Geometry Of Radio Antenna Placements, Olga Kosheleva, Vladik Kreinovich, Andrei M. Finkelstein, Steve Chan

Departmental Technical Reports (CS)

No abstract provided.

Stackguard: Automatic Adaptive Detection And Prevention Of Buffer-Overflow Attacks, Crispin Cowan, Calton Pu, David Maier, Heather Hinton, Jonathan Walpole, Peat Bakke, Steve Beattie, Aaron Grier, Perry Wagle, Qian Zhang

Computer Science Faculty Publications and Presentations

This paper presents a systematic solution to the persistent problem of buffer overflow attacks. Buffer overflow attacks gained notoriety in 1988 as part of the Morris Worm incident on the Internet. While it is fairly simple to fix individual buffer overflow vulnerabilities, buffer overflow attacks continue to this day. Hundreds of attacks have been discovered, and while most of the obvious vulnerabilities have now been patched, more sophisticated buffer overflow attacks continue to emerge.

We describe StackGuard: a simple compiler technique that virtually eliminates buffer overflow vulnerabilities with only modest performance penalties. Privileged programs that are recompiled with the StackGuard …

Attitude Measurement, Mark A. Stedham, Partha P. Banerjee, Seiji Nishifuji, Shogo Tanaka

Electrical and Computer Engineering Faculty Publications

In many practical situations, it is important to determine and measure the attitude of a particular vehicle, such as a ship, an airplane, a piece of mechanical equipment such as a, crane lifter, or a spacecraft. For this reason, many attitude sensors have been developed with advanced computer and semiconductor technologies. This section first introduces the various attitude sensors with an explanation of their operating principles and then presents several methodologies for attitude measurement and determination, including ships and crane lifters, aircraft, and spacecraft applications.

Strategies For Evaluating Software Usability, Ronan Fitzpatrick

Articles

This paper presents a usage analysis and taxonomy of methods which are used to evaluate the usability of computer systems. To accommodate the analysis and taxonomy, a matrix of strategies which can be used for effective usability evaluation is presented. Such an analysis, taxonomy and strategies support human-computer interaction (HCI) professionals who have the responsibility for ensuring computer system usability. The strategies outlined are named Virtual Engineering, Soft Modelling, Hard Review and Real World. This paper also uses a composite set of existing popular generic evaluation methods which can be used as part of these strategies. The methods used are …

Functional Radionuclide Imaging Algorithm Based On The Appended Curve Deconvolution Technique And Its Use In The Diagnosis Of Renovascular Hypertension, İrfan Karagöz, Hi̇kmet Bayhan

Turkish Journal of Electrical Engineering and Computer Sciences

In this study, a new method called the pixel basis functional radionuclide imaging (PBFRI) algorithm based on the appended curve deconvolution technique, in order to be able to increase the medical diagnostic capability of a conventional gamma camera, is presented together with the clinical results. In the PBFRI method, retention function of each pixel is obtained from the renograms and cardiac curves generated by processing the filtered segments of the kidney and heart, using a special deconvolution method. The deconvolution operation is done by using the Fourier transform technique. High frequency artifacts presented by the Fourier transform are removed by …

Genetic Approach For The Determination Of Object Parameters From X Ray Projections, Tayfun Günel, Sedef Kent

Turkish Journal of Electrical Engineering and Computer Sciences

In this study, a new method is presented, based on genetic algorithms for determining object parameters such as radii and/or attenuation coefficients with some assumptions and estimating a cross-sectional image of an object from its projections obtained by X ray illumination. After it was tested for projections degraded by different random noise levels, it was observed that the genetic and fuzzy genetic algorithms improved the signal to noise ratio of the projections. The fuzzy genetic algorithm gave better results than the genetic algorithm.