Wyznaczanie symetrii argumentów funkcji logicznych

• Autorzy: Małecki K.

Warianty tytułu

EN

Recognition of variable symmetry of logic function

• Języki publikacji: PL

Abstrakty

PL

W praktyce istotnym problemem jest zmniejszenie wejść układu logicznego np. zaprojektowanego dla potrzeb sterowania. Rozpoznanie symetrii argumentów funkcji logicznych pozwala na zmniejszenie liczby wejść takiego układu. W niniejszym artykule autor przedstawia wyniki badań nad algorytmem poszukiwania symetrii zmiennych dla form wielomianowych. Proponowane rozwiązanie dotyczy nie tylko układów logicznych ale także tych zjawisk, które można zapisać w postaci funkcji lub systemu funkcji logicznych.

EN

In practice, an important problem is the reduction of logic circuit inputs e.g. for conceptual control design. Symmetry identification of logic function arguments permits to reduce the circuit input number. This article contains a theoretical introduction, in the form of a number of definitions concerning arithmetic polynomials and different kind of symmetry of functions. Then the author presents an innovative way to identify the symmetry of arguments (developed algorithms are described in Part Three of this article) and gives a part of many research results on an algorithm for exploration of symmetry variables of different arithmetical forms (Tab. 2, 3, 4). The great advantage of this approach is the ability to search for symmetry variables for the whole system of logic functions, as illustrated by results presented in Tab. 3. Studies have been confronted with the results obtained in the class of RM polynomials (Tab. 4). At the end of this article there are the conclusions of the research proving the validity of the arithmetic form application in the process of identifying the symmetry arguments of logic function system. The suggested solution can be applied not only to the logic circuits but also to those phenomena, which can be put in the form of logic functions or logic function system.

Słowa kluczowe

PL

wielomiany arytmetyczne; symetria funkcji

EN

arithmetical polynomials; symmetry of logic functions

• Wydawca: Wydawnictwo PAK
• Czasopismo: Pomiary Automatyka Kontrola
• Rocznik: 2009
• Tom: R. 55, nr 8
• Strony: 666--668
• Opis fizyczny: Bibliogr. 7 poz., rys., tab., wzory

Twórcy

autor

Małecki K.

• Zachodniopomorski Uniwersytet Technologiczny,

Bibliografia

• [1] Chien-Chang T., Marek-Sadowska M.: Generalized Reed-Muller Forms as a Tool to Detect Symmetries. IEEE Trans. on Computers, no 1, vol. C-45, pp. 33-40, 1996.
• [2] Moller D., Molitor J., Drechsler R.: Symmetry Based Variable Ordering for ROBDDs. Proc. IFIP Workshop on Logic and Architecture Synthesis, pp. 47-53, 1994.
• [3] Brayton R. K., Hatchel G. D., McMullen C. T., Sangiovanni-Vincentelli A. L.: Logic Minimization Algorithms for VLSI Synthesis. Kluwer Academic Publishers, Boston, 1984.
• [4] Łuba T., Jasiński K., Zbierzchowski B..: Specjalizowane układy cyfrowe w strukturach PLD i FPGA. Wydawnictwa Komunikacji i Łączności, Warszawa, 1997.
• [5] Falkowski B., Hołowiński G., Małecki K.: Effective Minimization of Logic Functions in RM Domain. Proc. Int. Conf. Applications of Computer Systems, Szczecin, Poland, pp. 248-255, 1997.
• [6] Davio M. J., Deschamps P., Thayse A.: Discrete and Switching Functions. McGraw-Hill Int. Book Co., 1978.
• [7] Małecki K.: Nowy algorytm do minimalizacjji systemów funkcji boolowskich w klasie wielomianów arytmetycznych. XX Międzynarodowe sympozjum naukowe studentów i młodych pracowników nauki, Zielona Góra, Polska, pp. 319-323, 1998.