Wyniki wyszukiwania - BazTech

Ograniczanie wyników

1 Markuszewski T.

1 2011

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: formula optimization

Sortuj według:

Ogranicz wyniki do:

Optymalizacja formuł algorytmów przez wprowadzenie warunku

Markuszewski T.

Pomiary Automatyka Kontrola

2011

R. 57, nr 2

205-208

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#.

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.