Modele składowe unitermów złożonych

• Autorzy: Owsiak W. , Niziołek M.

Warianty tytułu

EN

Component models of complex uniterms

• Języki publikacji: PL

Abstrakty

PL

W artykule przeprowadzono krótką analizę właściwości formuł algorytmów oraz istniejących systemów komputerowych pozwalających na edytowanie formuł algebry algorytmów. Za pomocą algebry algorytmów został opisany utworzony model dekompozycji systemu formowania unitermów złożonych, fragment modelu podstawowego podsystemu okna graficznego oraz model unitermu funkcyjnego opracowania wyboru unitermu złożonego.

EN

Very often algorithms are described verbally or like a unit - by diagram. The well known methods offering algorithms are: Post [1], Turing [2], Aho-Ullman-Hopcroft [3] or Schönhage [4] virtual machines, recursive functions (calculus λ, Church) [5], Markov algorithms [6], b-complexes of Kolmogorov (Kolmogorov machine) [7], Krinitski universal algorithms [8], algorithm algebra [9] and expansion of algorithm algebra [10]. For the computer algorithm algebra formula optimization a computer systems were developed [11-15]. In order to automate processes of editing of algorithm algebra formulas and to decrease the number of required executed operations the computer systems "Modal" [16], "AbstraktAl" [17] and "GenKod" [18] has been created. A brief analysis of algorithm formula characteristics as well as of the existing computer systems for algorithm algebra formula edition have been conducted. The model of system for the complex uniterms forming, a part of the basic model of the graphics window subsystem, and the model of function uniterm for formulating complex uniterms have been developed. Models with the help of the algebra algorithms have been described. For implementation of the models the C# language and Microsoft Visual Studio.Net [19] were used.

Słowa kluczowe

PL

uniterm trywialny; uniterm złożony; uniterm funkcyjny; model; dekompozycja

EN

trivial uniterm; uniterm complex; function uniterm; model; decomposition

• Wydawca: Wydawnictwo PAK
• Czasopismo: Pomiary Automatyka Kontrola
• Rocznik: 2011
• Tom: R. 57, nr 9
• Strony: 1090--1092
• Opis fizyczny: Bibliogr. 19 poz., rys.

Twórcy

autor

Owsiak W.

autor

Niziołek M.

• Ukraińska Akademia Drukarstwa, ul. Pidgolosko 19, 79-020 Lwów,

Bibliografia

• [1] Post E. L.: Finite Combinatory Processes - Formulation 1. Journal of Symbolic Logic, 1936, vol. 1, pp. 103-105.
• [2] Turing A. M.: On computable numbers, with an application to the Entscheidungsproblem. Proceedings of London Mathematical Society, series 2, vol. 42 (1936-1937), pp. 230-265.
• [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, Mannheim, 1970, pp. 369-383.
• [5] Church A.: An unsolvable problem of elementary number theory. American Journal of Mathematics, vol. 58 (1936), pp. 345-363.
• [6] Markov A. A.: Theory of algorithms. American Mathematical Society Transactions, 1960, series 2, 15, pp. 1-14.
• [7] Kolmogorov A. N.: On the concept of algorithm. Uspekhi Mat. Nauk 8:4 (1953), pp. 175-176; translated into Eng. in Uspensky V. A., Semenov A. L.: Algorithms: Main Ideas and Applications, Kluwer, 1993.
• [8] Krinitski N. A.: Algorithms around us. Mir, Moscow, 1988.
• [9] Owsiak W., Owsiak A., Owsiak J.: Teoria algorytmów abstrakcyjnych i modelowanie matematyczne systemów informacyjnych. Wyd. Pol. Opolskiej, Opole, 2005.
• [10] Owsiak W., Owsiak A.: Rozszerzenie algebry algorytmów. PAK, vol. 56, no. 2 , 2010. s. 184-188.
• [11] Markuszewski T.: A Computer System For Optimizing of Abstract Algorithms. WOFEX 2010, Ostrawa, pp. 352-357.
• [12] Markuszewski T.: Optymalizacja formuł algorytmów przez wprowadzenie warunku, PAK, vol. 57, s. 205-208.
• [13] Ovsyak V., Markuszewski T., Pietruszka J.: Synthesis Model Subsystem Search to Access to Trackways Uniterms xml-Formulas of Algorithm. Computer Science and Information Technologies (CSIT’2010) (Lwów, Ukraina) 2010, pp. 153.
• [14] Markuszewski T., Ovsyak V., Petruszka J.: Model podsystemu wyszukiwania ścieżek dostępu do unitermów, Komputerowe nauki ta informacyjne technologii (Narodowy Uniwersytet „Politechnika Lwowska”, Lwów, Ukraina), 2010, nr 686, s. 233-238.
• [15] Markuszewski T., Ovsyak V., Petruszka J.: Synteza modelu podsystemu wyszukiwania ścieżek dostępu do unitermów xml - formuł algorytmów. Komputerowe nauki ta informacyjne technologii (Narodowy Uniwersytet „Politechnika Lwowska”, Lwów, Ukraina), 2011, nr 694, s. 303-308.
• [16] Brytkowski W. M.: Modelowanie redaktora formuł sekwencyjnych algorytmów: autoref. dysertacji dokt. Specjal. 01.05.02: Modelowanie matematyczne i metody obliczeniowe. Lwów, 2003, 18 s.
• [17] Wasyluk A. S.: Podwyższenie efektywności matematycznych i programowych zasobów edytora formuł algorytmów: autoreferat dysertacji dokt. Specjalność 01.05.02: Matematyczne i programowe zasoby maszyn i systemów obliczeniowych. Lwów, 2008, 20 s.
• [18] Ovsyak V., Latawiec K., Ovsyak A.: Models of the process of an analysis of xml-formatted formulae of algorithms. Conf. Intelligent Information and Engineering Systems (INFOS 2011), Sept. 19-23, 2011, Polańczyk, Poland.
• [19] Troelsen A.: PRO C# 2010 and the .NET 4 platform.