Optymalizacja formuł algorytmów przez wprowadzenie warunku

• Autorzy: Markuszewski T.

Warianty tytułu

EN

Algorithm formula optimization by the condition use

• Języki publikacji: PL

Abstrakty

PL

W artykule przedstawiono budowę modelu podsystemu optymalizacji formuł algebry algorytmów metodą wprowadzenia dodatkowego warunku. Podsystem opisany został w postaci formuły algebry algorytmów. Przeprowadzono dekompozycje podsystemu na unitermy funkcyjne i zmienne. Opisano modele unitermów funkcyjnych i przedstawiono fragment implementacji podsystemu w języku C#.

EN

The subsystem model designed for algorithm algebra formula optimization by the introducing the additional condition there is described in the paper. The theory description and the example of an application are shown in the section 2. Next the subsystem model decomposition into variables and functional uniterms, by the introducing the additional condition is realized. Variables are used for the storage of data needed for algorithm formula transformations. The construction of functional algorithms is described using algorithm algebra expressions. Functional algorithms perform the following tasks: initiate variables, set and release elements of the table retaining engaged conditions, and choose first free condition. The subsystem model contains functional uniterms used for the checking of the ability to transformation, as well as perform the optimization itself. The model allows to introduce the additional condition by two ways, automatically or manually. In automatic mode the system itself set variables, while in manual mode the user chooses conditions by the keyboard. The implementation of the subsystem model performing the optimization by the introducing the additional condition is shown in C # program language. In conclusions some advantages of the using of the algorithm formula optimization computer system are pointed out. Sources bounded with algorithm algebra are given in the bibliography.

Słowa kluczowe

PL

algorytm; warunek; dekompozycja; uniterm; algebra algorytmów; optymalizacja formuł

EN

algorithm; formula; condition; decomposition; uniterm; uniterm function; formula optimization

• Wydawca: Wydawnictwo PAK
• Czasopismo: Pomiary Automatyka Kontrola
• Rocznik: 2011
• Tom: R. 57, nr 2
• Strony: 205--208
• Opis fizyczny: Bibliogr. 5 poz., rys., wzory

Twórcy

autor

Markuszewski T.

• Politechnika Opolska, Wydział Elektrotechniki, Automatyki i informatyki, ul. Gen. Sosnkowskiego 31, 45-272 Opole,

Bibliografia

• [1] Owsiak W., Owsiak A., Owsiak J.: Teoria algorytmów abstrakcyjnych. Modelowanie matematyczne systemów informacyjnych. Wyd. Pol. Opolskiej, Opole, 2005.
• [2] Owsiak W., Owsiak A.: Rozszerzenie algebry algorytmów. Po-miary Automatyka Kontrola. nr 2, 2010, vol. 56, str. 184-188.
• [3] Piaskowy A.: Algebra algorytmów w przykładach. Pomiary Automatyka Kontrola. nr 2, 2010, vol. 56, str. 189-192.
• [4] Markuszewski T.: Model systemu do przekształceń formuł algorytmów. Pomiary Automatyka Kontrola, nr 2, vol. 57.
• [5] Perry S. C.: C i .NET. Wyd. Helion, Gliwice, 2006.