Efficient spectral method of identification of linear Boolean function

This paper discusses a problem of recognition of the Boolean function's linearity. The article describes the spectral method of analysis of incompletely specified Boolean functions using the Walsh Transform. The linearity and nonlinearity play an important role in design of digital circuits. The analysis of the spectral coefficients' distribution allows to determine the various combinatorial properties of the Boolean functions: redundancy, monotonicity, self-duality, correcting capability, etc. which seems to be more difficult to obtain by means of other methods. In particular, the distribution of spectral coefficients allows us to determine whether Boolean function is linear. The method described in the paper can be easily used in investigations of large Boolean functions (of many variables), what seems to be very attractive for modern digital technologies. Experimental results demonstrate the efficiency of the approach

Three dimensional image projections and its measurement using the VRML technique

Modern digital imaging is used in many areas of human activities. Nowadays, imaging and different human body measurements are also used in medicine, during operation planning by surgeons, dental surgeons, in transplantology, etc. The 3D visualization of human body and some abnormalities of body internal organs can be observed by means of specialized techniques as CT or MRI. During measurements these techniques can present object description by specialized language - VRML (Virtual Reality Modelling Language). Modern VRML browsers offer higher quality visual interfaces for man-computer interaction in real-time environment than ever before. In this paper the simple method of medical images projection and image measurements are presented. Very expensive commercial products can be successfully substituted by means of the computer program proposed in this paper. Proposed approach is based only on VRML and is easy to implement in many programming languages

The Spectral Test of the Boolean Function Linearity

The paper discusses the problem of recognizing the Boolean function linearity. A spectral method of the analysis of Boolean functions using the Walsh transform is described. Linearity and nonlinearity play important roles in the design of digital circuits. The analysis of the distribution of spectral coefficients allows us to determine various combinatorial properties of Boolean functions, such as redundancy, monotonicity, self-duality, correcting capability, etc., which seems more difficult be performed by means of other methods. In particular, the basic synthesis method described in the paper allows us to compute the spectral coefficients in an iterative manner. The method can be easily used in investigations of large Boolean functions (of many variables), which seems very attractive for modern digital technologies. Experimental results demonstrate the efficiency of the approach

The dedicated decision support system in recognition of some uncertain disease entities

This work presents the principles of image recognition, where quality-based methods are applied. The neural networks and additional software have been proposed. This goal was achieved by using non-parametric recognition algorithms. In this paper the two-state hybrid classification method has been proposed, where artificial intelligence algorithm is included. In recognition process, the learning method, selection and optimization of diagnostic parameters have been introduced. The integrated part of the classifier structure is voting mechanism, which indicates incorrect states of the system – for example the unrecognized images. Effectiveness of the system has been shown by means of examples, where ambiguous data have been incorporated – it is very often a practice of medical diagnostics

Efficient Calculation of the Reed-Muller Form by Means of the Walsh Transform

The paper describes a spectral method for combinational logic synthesis using the Walsh transform and the Reed-Muller form. A new algorithm is presented that allows us to obtain the mixed polarity Reed-Muller expansion of Boolean functions. The most popular minimisation (sub-minimisation) criterion of the Reed-Muller form is obtained by the exhaustive search of all the polarity vectors. This paper presents a non-exhaustive method for Reed-Muller expansions. The new method allows us to build the Reed-Muller form based on the analysis of Walsh-Hadamard coefficients. The presented method has much less complexity than the procedures which have been applied until now. Both the transforms and the presented Walsh-Hadamard spectral characterization of the Reed-Muller expansion are compared. An analysis of the properties of the spectra obtained from these transforms is made

Isolated word descriptors as control parameters of the computer applications

This paper is an extended version of the MIT'06 conference contribution. During the conference, many inquiries about the used techniques were performed. Hence, in the paper some parts of investigations were explained and discussed, with greater accuracy. It is shown that the computer applications can be controlled by a human voice. The computer controlling processes are available by means of utterance of isolated words, where application events with the aid of user's voice can be serviced. The voice usage can be convenient for blind or partially sighted users or for persons with limb paresis. The Microsoft application events, by means of the practicable Microsoft Windows firmware MSAA® technology can be analysed. Such technology, together with isolated word descriptors, as voice recognition system, has been presented

The voice synthetiser of polish text for blind persons

In this paper we present new method of computer text analyser and computer Polish speech (words) generator. In the described computer program the grammatical characteristics of Polish speech and accents in some words have been taken into consideration. All users' actions are commented by artificial, computer voice. The group of blind students of University of Silesia have examined and tested the presented final program for over one year. Described software tool has in a lot of cases better parameters than others, commercial products

Signature pre - procesing based on walsh coefficients

Recognition and verification of persons are difficult and important tasks today. In many fields of human activities (driver's licenses, passports, electronic cards, etc.), signature recognition of person is needed. Hence, it inspires the development of a wide range of automatic identification systems. Signatures have been used for many centuries as a method of people's identification. Signatures recognition was performed manually by experts in the past. Nowadays, these procedures are very often automatically applied. In this paper the system that automatically authenticates documents based on the owner's handwritten signature is presented