Model systemu do przekształceń formuł algorytmów

• Autorzy: Markuszewski T.

Warianty tytułu

EN

The model of the system for algorithm formula transformations

• Języki publikacji: PL

Abstrakty

PL

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

EN

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.

Słowa kluczowe

PL

system; dekompozycja; podsystem; formuła; algorytm; model

EN

system; decomposition; subsystem; formula; algorithm; model

• Wydawca: Wydawnictwo PAK
• Czasopismo: Pomiary Automatyka Kontrola
• Rocznik: 2011
• Tom: R. 57, nr 2
• Strony: 201--204
• Opis fizyczny: Bibliogr. 12 poz., tab., wzory

Twórcy

autor

Markuszewski T.

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

Bibliografia

• [1] Post E. L.: Finite Combinatory Processes Formulation 1. Journal of Symbolic Logic, 1, pp. 103-105, 1936. Reprinted in The Undecidable, pp. 289ff.
• [2] Turing A. M.: On computable numbers, with an application to the Entscheidungsproblem. Proc. of London Mathematical Society, series 2, vol. 42 (1936-1937), pp. 230-265; correction, ibidem, vol. 43, pp. 544-546. Reprinted in [13 Davis M., pp. 155-222] and available online at http://www.abelard.org/turpap2/tp2-ie.asp
• [3] Aho A. V., Hopcroft J. E., Ullman J. D.: The design and analysis of computer algorithms. Addison-Wesley Publishing Company, 1974.
• [4] Schönhage A.: Universelle Turing Speicherung. In J. Dörr and G. Hotz, Editors, Automatentheorie und Formale Sprachen, Bibliogr. Institut, 1970, pp. 369-383.
• [5] Kolmogorov A. N.: On the concept of algorithm (in Russian). Uspekhi Mat. Nauk 8:4 (1953), pp. 175-176; translated into English in Uspensky V. A., Semenov A. L.: Algorithms: Main Ideas and Applications, Kluwer, 1993.
• [6] Church A.: An unsolvable problem of elementary number theory. American Journal of Mathematics, vol. 58 (1936), pp. 345-363.
• [7] Markov A. A.: Theory of algorithms (in Russian). Editions of Academy of Sciences of the USSR, vol. 38, 1951, pp. 176-189; translated into English in American Mathematical Society Transactions, 1960, series 2, 15, pp. 1-14.
• [8] Owsiak W., Owsiak A., Owsiak J.: Teoria algorytmów abstrakcyjnych i modelowanie matematyczne systemów informacyjnych. Wyd. Pol. Opolskiej, Opole, 2005.
• [9] Owsiak W., Owsiak A.,: Rozszerzenie algebry algorytmów. Pomiary, Automatyka, Kontrola. 2-2010, Luty, vol. 56, pp. 184-188.
• [10] Piaskowy A: Algebra algorytmów w przykładach. Pomiary, Automatyka, Kontrola. 2-2010 vol. 56 pp. 189-192.
• [11] Markuszewski T.: Optymalizacja formuł algorytmów przez wprowadzenie warunku. Pomiary, Automatyka, Kontrola. Nr 02/2011, vol. 57.
• [12] Perry S. C.: C i .NET. Wyd. Helion, Gliwice, 2006.