- Tytuł:
-
Model systemu do przekształceń formuł algorytmów
The model of the system for algorithm formula transformations - Autorzy:
- Markuszewski, T.
- Powiązania:
- https://bibliotekanauki.pl/articles/151233.pdf
- Data publikacji:
- 2011
- Wydawca:
- Stowarzyszenie Inżynierów i Techników Mechaników Polskich
- Tematy:
-
system
dekompozycja
podsystem
formuła
algorytm
model
decomposition
subsystem
formula
algorithm - Opis:
-
W artykule przedstawiono budowę złożonego komputerowego systemu do przekształceń formuł algorytmów przy wykorzystaniu właściwości operacji algebry algorytmów. Budowany model systemu nazwano komputerowym systemem optymalizacji (KSO) i dokonano jego dekompozycji na dwóch poziomach, poziomie systemu i podsystemu. Na poziomie systemu w logiczny sposób wyodrębniono podsystemy pełniące oraz wspomagające zadania optymalizacji formuł algorytmów, a na poziomie podsystemu utworzono unitermy zmienne i funkcyjne. Dla opisania modelu systemu wykorzystano algebrę algorytmów. Fragment modelu systemu zaimplementowano w języku C#.
The model of algorithm algebra formulae optimization system is presented in the paper. The decomposition of the system into subsystems is performed using algebra algorithm expressions, and is described in terms of the expressions. The following algorithm algebra operation optimization subsystem models are formed: sequencing, elimination, parallelization, reversing, cycle operations, basic subsystem, subsystem introducing additional condition, subsystem rendering data accessible, and the one generating indices for xml code of algorithm formula. The basic subsystem model and the rendering data accessible one in the 3rd section there are described. Algorithm algebra expressions there are used consistently. Models are composed of variables and functional uniterms, which are also used by other subsystems. Variables are used for the data storage. Functional uniterms of the basic subsystem there are the following: extracting, substituting the xml code fragment, checking the separator kind in the uniterm, as well as the one checking if the uniterm is a number. Additionally there are included functional uniterms absorbing other uniterms, and the one informing on optimization process run. The basic and rendering data models are implemented in C# . In conclusions some advantages of both the algorithm formula optimization computer system and model decomposition into subsystem are given. Bibliography contains a set of intuitive and formal works describing the algorithms algebra. - Źródło:
-
Pomiary Automatyka Kontrola; 2011, R. 57, nr 2, 2; 201-204
0032-4140 - Pojawia się w:
- Pomiary Automatyka Kontrola
- Dostawca treści:
- Biblioteka Nauki
Artykuł