1. SCSIT
  2. Всі випуски
  3. Випуск 694, 2011
  4. Синтез моделі підсистеми пошуку стежок доступу до унітермів xml-формул алгоритмів

Синтез моделі підсистеми пошуку стежок доступу до унітермів xml-формул алгоритмів

SCSIT.
2011;
Випуск 694
: cc. 303 - 308
Authors: 

В. Овсяк1,2, Т. Маркушевський2, Ю. Петрушка1

1Українська академія друкарства, Львів, Україна; 
2Політехніка Опольська, Ополє, Польща

Синтезовано абстрактний алгоритм і його модель для віднаходження стежок доступу до унітермів, описаних спеціалізованим xml-форматом формул алгоритмів.

Synthesized abstract algorithm and model for finding paths access to uniterms of described specialized xml - format formulae of algorithms

модель
синтез
підсистема
функційний унітерм
унітерм
мінімізація
алгоритм
  1. Owsiak W., Owsiak A., Owsiak J. Teoria algorytmów abstrakcyjnych i modelowanie matematyczne systemów informacyjnych. – Opole: Politechnika opolska, 2005. – 275 s.
  2. Owsiak W., Owsiak A. Rozszerzenie algebry algorytmów / Pomiary, automatyka, kontrola. – № 2, 2010. – S. 184–188.
  3. Kleene S.C. Origins of recursive function theory. Annals of the Theory of Computing, vol. 3, No. 1, Jan. 1981, pp. 52–67.
  4. 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.
  5. Kleene S.C. Turing’s analysis of computability, and major applications of it. In Rolf Herken, Editor, The universal Turing machine: A half-century story, Oxford University Press, 1988, pp. 17-54.
  6. Post E.L Finite Combinatory Processes – Formulation 1 // Journal of Symbolic Logic, 1, pp. 103-105, 1936. Reprinted in The Undecidable, pp. 289ff.
  7. De Mol L. Closing the circle: an analysis of Emil Post’s early work. The Bulletin of Symbolic Logic, Vol. 12, Issue 02, June 2006, pp. 267 — 289.
  8. Колмогоров А.Н. О понятии алгоритма // УМН. – Т. 8, Вып. 4(56), 1953. С. 175-176; translated into English in Uspensky V.A., Semenov A.L.: Algorithms: Main Ideas and Applications, Kluwer, 1993.
  9. Колмогоров А.Н., Успенский В.А. О дефиниции алгоритма // УМН. – Т 13, вып. 4, 1958. – С. 3-28; translated into English in AMS Translations 29 (1963), pp. 217-245.
  10. Gurevich Y. Kolmogorov machines and related issues. In G. Rozenberg and A. Salomaa, Editors, Current Trends in Theoretical Computer Science, World Scientific, 1993, pp. 225-234; originally in Bull. EATCS 35 (1988).
  11. 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.
  12. Schönhage A. Storage modification machines // SIAM Journal on Computing, 9 (1980), pp. 490-508.
  13. Марков A.A. Теория алгоритмов // Труды МИАН. – Т.38, 1951. – С. 176–189; translated into English in American Mathematical Society Translations, 1960, series 2, 15, pp. 1–14.
  14. Markov A.A., Nagorny N.M. The Theory of Algorithms (Mathematics and its Applications). Springer, 2001.
  15. Church A. An unsolvable problem of elementary number theory // American Journal of Mathematics, vol. 58 (1936), pp. 345–363.
  16. Constable R.L., Smith S.F. Computational foundations of basic recursive function theory // Theoretical Computer Science, 121, pp. 89-112, Dec. 1993.
  17. Sieg W. Step by recursive step: Church’s analysis of effective calculability // The Bulletin of Symbolic Logic, 3:2 (1997), pp. 154–180.
  18. Aho A.V, Hopcroft J.E, Ullman J.D. The design and analysis of computer algorithms. Addison-Wesley Publishing Company, 1974.
  19. Криницкий А.Н. Алгоритмы вокруг нас. – М.: Мир, 1988; also translated to Spanish (Algoritmos a nuestro alrededor).
  20. Овсяк О. Класи інформаційної системи генерування коду / О. Овсяк // Вісник Тернопільського державного технічного університету: «Тернопільський національний технічний університет імені Івана Пулюя». – № 1, 2010. – С. 171–176.
  21. Овсяк В.К. Методи підвищення ефективності математичного моделювання алгоритмів інформаційно-технологічних систем: автореф. дис. на здобуття наук. ступеня док. тех. наук: спец. 01.13.02 «Математичне моделювання в наукових дослідженнях» / Овсяк В.К. – Львів, 1996. – 45 с.
  22. Бритковський В.М. Моделювання редактора формул секвенційних алгоритмів: автореф. дис. на здобуття наук. ступеня канд. тех. наук: спец. 01.05.02 «Математичне моделювання та обчислювальні методи» / Бритковський В.М. – Львів, 2003. – 18 с.
  23. Василюк А.С. Підвищення ефективності математичного і програмного забезпечення редактора формул алгоритмів: автореф. дис. на здобуття наук. ступеня канд. тех. наук: спец. 01.05.02 «Математичне та програмне забезпечення обчислювальних машин і систем» / Василюк А.С. – Львів, 2008. – 20 с.
  24. Назаркевич М.А. Синтез, моделі та моделювання алгоритмів мікропроцесорної системи керування електроприводом друкарських машин: автореф. дис. на здобуття наук. ступеня канд. тех. наук: спец. 01.05.02 «Математичне моделювання та обчислювальні методи» / Назаркевич М.А. – Львів, 2000. – 19 с.
  25. Овсяк О.В. Моделювання транслятора структур даних електромеханічних схем друкарських машин: автореф. дис. на здобуття наук. ступеня канд. тех. наук: спец. 01.05.02 «Математичне моделювання та обчислювальні методи» / Овсяк О.В. – Львів, 2002. – 18 с.