Одержано 09.10.2023; Виправлено 21.10.2023; Прийнято 28.11.2023

Надруковано 04.12.2023; Вперше Online 05.12.2023

https://doi.org/10.34229/2707-451X.23.4.2

Попередня  |  ПОВНИЙ ТЕКСТ  |  Наступна

 

УДК 519.67

Алгебраїчна школа В.М. Глушкова та інсерційне моделювання

О.О. Летичевський

Інститут кібернетики імені В.М. Глушкова НАН України, Київ

Листування: Ця електронна адреса захищена від спам-ботів. Вам потрібно увімкнути JavaScript, щоб побачити її.

 

Алгебраїчна школа Віктора Михайловича Глушкова налічує вже кілька поколінь вчених, більшість з яких визначила і розвиває вже власні наукові напрямки. Ця школа, започаткована в Інституті кібернетики, була сформована дослідженнями, які мали значення винаходів на рівні світової науки та комп’ютерної індустрії та багато в чому передбачили їх подальший розвиток.

В роботі розглядається становлення парадигми інсерційного моделювання, як узагальнення основних здобутків школи Глушкова, починаючи від теорії автоматів та до сучасних систем комп’ютерних алгебр. Розглянуто основні напрями з яких було сформовано інсерційне моделювання, а саме, символьні обчислення, що були впроваджені ще в першій персональній машині серії МИР. Це також теорія агентів та середовищ, паралельні обчислення та методи штучного інтелекту, що розвивались в Інституті кібернетики, ще з 60-х – 70-х років.

Численні впровадження методів інсерційного моделювання у кібербезпеку, в дослідження у природничих науках, у блокчейн технологію, у верифікацію та тестування програмного та апаратного забезпечення показали практичність та цінність теоретичних досліджень, що проводились послідовниками школи Глушкова.

 

Ключові слова: символьні обчислення, алгебраїчне моделювання, інсерційне моделювання.

 

Цитувати так: Летичевський О.О. Алгебраїчна школа В.М. Глушкова та інсерційне моделювання. Cybernetics and Computer Technologies. 2023. 4. С. 8–15. https://doi.org/10.34229/2707-451X.23.4.2

 

Список літератури

           1.     Глушков В.М., Клименко В.П., Лосев В.Д. та ін. Характеристика и область применения ЭВМ МИР-2. Кибернетика. 1975. № 5. С. 115–120.

           2.     Глушков В.М., Фишман Ю.С., Молчанов И.Н. та ін. О внешнем математическом обеспечении электронной вычислительной машины МИР-2. Кибернетика. 1975. № 5. С. 111–114.

           3.     Letichevsky A.A., Kapitonova J.V. Algebraic Programming in the APS System. In: proc. of ISSAC'90, Tokyo, Japan. 1990. P. 68–75. https://apsystems.org.ua/uploads/doc/aps/APINAPS.eng.pdf

           4.     Летичевский А.А., Хоменко В.В. Переписывающая машина и оптимизация стратегий переписывания термов. Кибернетика и системный анализ. 2002. № 2. С. 3–17.

           5.     Kapitonova Y.V., Letichevsky A.A., L'vov M.S., Volkov V.A. Tools for solving problems in the scope of algebraic programming. In: Calmet J., Campbell J.A. (eds), Integrating Symbolic Mathematical Computation and Artificial Intelligence. AISMC 1994. Lecture Notes in Computer Science. 1995. Vol. 958. P. 30–47. https://doi.org/10.1007/3-540-60156-2_4

           6.     Letichevsky A., Gilbert D. A Model for Interaction of Agents and Environments. In: Bert D., Choppy C., Mosses P.D. (eds), Recent Trends in Algebraic Development Techniques. WADT 1999. Lecture Notes in Computer Science. 2000. Vol. 1827. P. 311–328. https://doi.org/10.1007/978-3-540-44616-3_18

           7.     Глушков В.М. Теория автоматов и вопросы проектирования структур цифровых машин. Кибернетика. 1965. № 1. С. 3–11.

           8.     Glushkov V.M., Letichevskii A.A. Theory of Algorithms and Discrete Processors. In: Tou J.T. (eds), Advances in Information Systems Science. Springer, Boston, MA, 1969. P. 1–58. https://doi.org/10.1007/978-1-4615-9050-7_1

           9.     Летичевский А.А. Инсерционное моделирование. Управляющие системы и машины. 2012. № 6. С. 3–14.

       10.     Глушков В.М., Цейтлин Г.Е., Ющенко Е.Л. Алгебра. Языки. Программирование. Киев: Наук. думка, 1978. 319 с.

       11.     Цейтлин Г.Е. Введение в алгоритмику. Киев: Сфера, 1998. 310 с.

       12.     Letichevsky A. Algebra of behavior transformations and its applications. In: Kudryavtsev V.B., Rosenberg I.G., Goldstein M. (eds), Structural Theory of Automata, Semigroups, and Universal Algebra. NATO Science Series II: Mathematics, Physics and Chemistry. 2005. Vol. 207. P. 241–272. https://doi.org/10.1007/1-4020-3817-8_10

       13.     Глушков В.М. Некоторые проблемы теории автоматов и искусственного интеллекта. Кибернетика. 1970. № 2. С. 3–13.

       14.     Глушков В.М. Система автоматизации доказательств (САД). Автоматизация обработки математических текстов. Киев: ИК АН УССР, 1980. С. 3–30.

       15.     Letichevsky A., Kapitonova J., Letichevsky A.Jr., Volkov V., Baranov S., Kotlyarov V., Weigert T. Basic protocols, message sequence charts, and the verification of requirements specifications. Computer Networks. 2005. Vol. 47, Iss. 5. P. 661–675. https://doi.org/10.1016/j.comnet.2005.05.005

       16.     Letichevsky A., Letychevskyi O., Peschanenko V., Weigert T. Insertion Modeling and Symbolic Verification of Large Systems. In: Fischer, J., Scheidgen, M., Schieferdecker, I., Reed, R. (eds), SDL 2015: Model-Driven Engineering for Smart Cities. SDL 2015. Lecture Notes in Computer Science. Springer, Cham, 2015. Vol. 9369. P. 3–18. https://doi.org/10.1007/978-3-319-24912-4_1

 

 

ISSN 2707-451X (Online)

ISSN 2707-4501 (Print)

Попередня  |  ПОВНИЙ ТЕКСТ  |  Наступна