Discrete algorithmic processes: real time, parallelism, complexity, languages

V. P. Kutepov; Кутепов В. П.

doi:10.31857/S0002338825030066

Discrete algorithmic processes: real time, parallelism, complexity, languages

作者: Kutepov V.P.¹
隶属关系:
1. National Research University “Moscow Power Engineering Institute”
期: 编号 3 (2025)
页面: 60-69
栏目: COMPUTER METHODS
URL: https://vietnamjournal.ru/0002-3388/article/view/688338
DOI: https://doi.org/10.31857/S0002338825030066
EDN: https://elibrary.ru/BGCGGJ
ID: 688338

如何引用文章

全文:

开放存取

##reader.subscriptionAccessGranted##
受限制的访问

订阅或者付费存取

详细
全文:
作者简介
参考
补充文件
统计

详细

Models and languages for descriptions and control of real time execution of discrete algorithmic processes are considered in the paper. Processes are divided into two groups: free and of real time processes. New operations for composition of parallel processes and language for their descriptions are proposed. The methods of parallel processes complexity evaluation are introduced.

关键词

parallel processes, real time, models and languages for parallel processes, complexity of parallel processes

全文:

作者简介

V. Kutepov

National Research University “Moscow Power Engineering Institute”

编辑信件的主要联系方式.
Email: kutepov@appmat.ru
俄罗斯联邦, Moscow

参考

Agha G., Mason I., Smith S. Talcott C. Towards a Theory of Actor Computations// Third International Conf. on Concurrency Theory (CONCUR ‘92). Springer-Verlag, 1992. P. 565–579.
Вальковский В.А., Котов В.Е., Марчук А.Г., Миренков Н.Н. Элементы параллельного программирования // Радио и связь. 1983. 240 c.
Питерсон Дж. Теория сетей Петри и моделирование систем. М.: Мир, 1984. 264 c.
Keller R.M. Parallel Program Schemata and Maximal Parallelism // J. ACM. 1973. V.20. № 3. P. 514–537.
Milner R. A Calculus of Communicating Systems // Lecture Notes in Computer Science. Springer-Verlag, 1980. P. 184.
Хоар Ч. Взаимодействующие параллельные процессы. М.: Мир, 1992. 184 с.
Кутепов В.П., Фальк В.Н. Функциональные системы: теоретический и практический аспекты // Кибернетика. 1979. № 1. С. 45–58.
Кутепов В.П. Модели и языки для описания параллельных процессов // Изв. РАН. ТиСУ. 2018. № 3. С. 116–127.
Хьюз К., Хьюз Т. Параллельное и распределенное программирование с использованием С++. М.: Вильямс, 2004. 667 с.
Cesarini F., Thompson S. ERLANG Programming: a Concurrent Approach to Software Development. Sebastopol, California, O’Reilly Media, 2009. 496 p.
Кутепов В.П., Шамаль П.Н. Реализация языка функционального параллельного программирования FPTL на многоядерных компьютерах // Изв. РАН. ТиСУ. № 3. С. 46–60.
Кутепов В.П., Зубов М.И. Реализация и экспериментальное исследование эффективности упреждающего параллелизма // Вестн. МЭИ. 2019. № 4. C. 119–126.
Кутепов В.П., Ефанов А.А. Параллельные процессы и программы: модели, языки, реализация на системах // Программные продукты и системы. 2020. Т. 33. № 3. С. 375–384.
Кутепов В.П. Интеллектуальное управление процессами и загруженностью в вычислительных системах // Изв. РАН. ТиСУ. 2007. № 5. С. 58–73.
Бражникова Ю.Н., Горицкий Ю.А., Кутепов В.П., Панков Н.А. Исследование методов прогнозирования загруженности компьютеров и компьютерных систем // Программные продукты и системы. 2015. № 2. С. 135–146.
Кутепов В.П., Фальк В.Н. Алгоритмические параллельные процессы и их сложность // Вестн. МЭИ. 2020. № 3. С. 102–110.
Apt K. Formal Justification of a Proof System for Communicating Sequential Process // J. ACM. 1983. V. 30. № 1. P. 197–216.
Pnueli A. Temporal Logic of Programs // Proc. 18-th IEEE Sympos. of Foundation of Computer Science. Tel Aviv, Israel, 1977. P. 46–57.
Lamport L. The Temporal Logic of Actions // ACM Transactions on Programming Languages. 1993. V. 7. № 3. P. 1–52.
Stanford Encyclopedia of Philosophy. Temporal Logic. 2019. Р. 1–17. https://plato.stanford.edu/entries/logic-temporal/
Allen J.F. Maintaining Knowledge About Temporal Intervals // Communications of ACM. 2010. V. 26. № 11. P. 832–843.
Orgun M., Wadge W. Theory and Practice of Temporal Logic Programming // J. Logic Programming. 1992. V. 13. P. 413–440.
Buchi J.R. On a Decision Method in Restricted Second Order Arithmetic // Proc. Intern. Congr. Logic, Method and Philos., Sci. Stanford University, 1960. P. 1–12.
Vardi M.Y., Wolper P. Reasoning About Infinite Computations // Information and Computation. 1994. V. 115. № 1. P. 1–37.
Finger M., Gabbay Dov. Adding a Temporal Dimension to a Logic System // J. Logic, Language and Information. 1992. V. 1. P. 203–233.
Gabbay P., Pnueli A., Shelah S., Stavi J. On the Temporal Analysis of Fairness // The ACM Sympos. on Principles of Programming Languages. Las Vegas, 1980. P. 163–173.
Клини С. Введение в метаматематику. М.: Из-во иностр. лит., 1957. 520 c.