Określanie priorytetów zmiennych pewnych funkcji decyzyjnych

• Autorzy: Wiśniewska J.

Warianty tytułu

EN

Qualification of variables' priorities for some decision functions

• Języki publikacji: PL

Abstrakty

PL

W pracy opisane są dwie metody wyznaczania priorytetów zmiennych pewnych funkcji logicznych (takich, w których zapisie nie występuje negacja). Pierwsza metoda opiera się na wykorzystaniu miary Hamminga w procesie określania priorytetów zmiennych. Ze względu na koniecznośc generowania i przeglądania tablicy prawdy dla badanej funkcji, złożoność czasowa tej metody jest rzędu wykładniczego. Druga proponowana metoda polega na analizowaniu zapisu funkcji w postaci minimalnej formuły sumacyjnej. Daje ona wyniki mniej precyzyjne niż pierwsza wspomniana metoda, ale nie wymaga podania tablicy prawdy dla danego zadania, dzięki czemu jest zazwyczaj mniej złożona czasowo od metody używającej miary Hamminga.

EN

The following thesis describes two methods of finding variables' priorities for some specific logical functions (without any negated variables). The first method is based on Hamming distance and requires a review of examined function's truth table. That makes this method exponentially complex. The second proposed method consists on analyzing function's minimum Boolean formula and it's less precise in variables' qualification than the first mentioned method, but usually it's also less complex.

Słowa kluczowe

PL

priorytet zmiennej; funkcja decyzyjna; odległość Hamminga

EN

variable's priority; decision function; hamming distance

• Wydawca: Institute of Computer and Information Systems, Faculty of Cybernetics, Military University of Technology
• Czasopismo: Biuletyn Instytutu Systemów Informatycznych
• Rocznik: 2009
• Tom: nr 4
• Strony: 59--63
• Opis fizyczny: Bibliogr. 7 poz.

Twórcy

autor

Wiśniewska J.

• Instytut Systemów Informatycznych, Wydział Cybernetyki, Wojskowa Akademia Techniczna, ul. Gen. S. Kaliskiego 2, 00-908 Warszawa,

Bibliografia

• [1] A.V. Aho, J.D. Ullman, Wykłady z informatyki z przykładami w języku C, Helion, Gliwice, 2003.
• [2] G. Birkhoff, S. Mac Lane, Przegląd algebry współczesnej, PWN, Warszawa, 1960.
• [3] M. Chudy, Elementy teoretycznych podstaw informatyki, Akademicka Oficyna Wydawnicza EXIT, Warszawa, 2006.
• [4] T. Łuba, B. Zbierzchowski, Układy logiczne, Wydawnictwo WIT, Warszawa, 2002.
• [5] A. Mostowski, M. Stark, Elementy algebry wyższej, PWN, Warszawa, 1965.
• [6] R. Neapolitan, K. Naimipour, Podstawy algorytmów z przykładami w C++, Helion, Gliwice, 2004.
• [7] Praca zbiorowa, Encyklopedia Universalis. Świat nauki współczesnej. Tom 1, PWN, Warszawa, 1996.