Wyniki wyszukiwania - Biblioteka Nauki

1

Minimalizacja graficzna alternatywnych postaci normalnych funkcji logicznych

100%

Besler A.

|

tom z. 16

127-135

PL

W opracowaniu przedstawiono minimalizację graficzną funkcji boolowskiej metodą siatkowo-drzewiastą. Zastosowano kodowanie wierzchołków drzewa logicznego położonego na siatce. Korzystając z kodowania wierzchołków opisano algorytm minimalizacji graficznej funkcji boolowskiej, który umożliwia napisanie programu komputerowego.

EN

The elaboration presents the graphical minimization of the Boolean function with the network-dendritic method. The logical tree nodes placed on the network has been encoded. Nodes encoding let the Boolean function graphical minimization algoritm be described, which enabled to write a computer programme.

2

Własności informatyczne transformaty Walsha

75%

Porwik P. , Słota D.

|

1999

|

tom Vol. 45, nr 3-4

287-293

PL

W artykule omówiono nowe możliwości interpretacji współczynników widmowych funkcji boolowskich rozłożonych w dyskretny szereg Walsha. Stosując analizę współczynników można przeprowadzić pewna ogólną, dotychczas nigdzie nie opisaną klasyfikację funkcji boolowskich i szacować pewne ich właściwości. W pracy przedstawiono także w nowym świetle własności samej transformacji opartej na funkcjach Walsha. Na podstawie własności transformaty Walsha można uprościć interpretację współczynników lub na ich podstawie określić właściwości kombinacyjnych funkcji boolowskich na przykład redundancję lub liniowość co wydaje się być trudniejsze do wykonania za pomocą innych, klasycznych metod.

EN

This paper presents the short background about Boolean functions and their relation to Walsh - Hadamard transform. This transform reduces the costs of correlation computations. In this paper has been considered a new method of interpretation of Boolean function spectrum. The analysis methods described in this paper may be generalised to many - valued logical functions. By means of spectrum analysis we obtain information about properties of Boolean functions. For some classes of Boolean functions we can investigate the redundancy by spectrum coefficients analysis only. We have presented discussion of some theorems, which has played important role in analysis of Boolean functions. The presented result can be used in testing and very often plays important role in building of logical functions.

3

Porównanie metody zmodyfikowanych drzew logicznych z analizą wariancji w klasyfikacji parametrów konstrukcyjnych/eksploatacyjnych układu maszynowego

75%

Koziarska A.

|

2006

|

tom R. 48, nr 5-6

206-208

PL

W artykule przedstawiono porównanie metody zmodyfikowanych drzew logicznych funkcji boolowskich i jednoczynnikowej analizy wariancji do klasyfikacji parametrów układu maszynowego. Do ilustracji zagadnienia wykorzystano pompę wirowo-śmigłową.

EN

In this elaboration comparison of method of modified logical trees of Boolean functions and one-factor analysis of variance for classification of parameter of engine match has been presented. It take advantage while-flow pump for illustration of question.

4

Dedicated spectral method of Boolean function decomposition

63%

Porwik P. , Stanković R. S.

|

2006

|

tom Vol. 16, no 2

271-278

EN

Spectral methods constitute a useful tool in the analysis and synthesis of Boolean functions, especially in cases when other methods reduce to brute-force search procedures. There is renewed interest in the application of spectral methods in this area, which extends also to the closely connected concept of the autocorrelation function, for which spectral methods provide fast calculation algorithms. This paper discusses the problem of spectral decomposition of Boolean functions using the Walsh transform and autocorrelation characteristics.

5

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

63%

Porwik P.

|

2002

|

tom Vol. 12, no 4

571-579

EN

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.

6

Creating and Application of Maps of Concepts for DL Ontologies

63%

Goczyła K. , Waloszek W. , Zawadzka T. , Zawadzki M.

|

tom Vol. 15, nr 1

27-47

EN

n previous work a novel knowledge representation, called Knowledge Cartography, was introduced. The method allows for description, in the form of a map of concepts, of interrelationships among concepts distinguished in a terminology and for gradual (with growth of our knowledge) assignment of individual objects to those concepts. Effectiveness of the process of building map of concepts is a key factor influencing usability of the method. This paper presents a new map creating algorithm called TreeFusion that uses binary decision diagrams originally developed for supporting VLSI circuits design. The paper presents also some current applications of Knowledge Cartography.