Method of formalization of description of technological processes

Authors

  • M.V. Voronov Московский государственный психолого-педагогический университет, г Москва

Keywords:

technology, synthesis, regulatory text, artificial intelligence, mathematical model

Abstract

The problems of formalization of texts presented in verbal form are considered. The method of transformation of textual descriptions of technological processes into a formal form with the requirement of a high level of preservation of their content is presented. The issues of application of mathematical problems displaying technologies are discussed.

References

Бедарев, Н. В. Тексты на естественном языке и методы извлечения структурированных данных / Н. В. Бедарев, А. А. Войнов. ̶ Сборник материалов международной научно-технологической конференции студентов и молодых ученых «Молодёжь. Наука. Технологии». – Новосибирск: Изд-во СГУПС, 2018. № 2. С.37-42.

Sheridan Tom. Models of Human-System Interaction [Book Review] // IEEE Systems, Man, and Cybernetics Magazine. 2017. vol. 3. iss. 2. РР. 56–63.

Баринова, И. А. К вопросу о соотношении смысла и содержания текста при переводе / И. А. Баринова. // Вестник Вятского государственного университета. 2015. № 10. – С. 69-72.

Вертешев, С. М. От «фон Неймановского» компьютера к метамашине / С. М. Вертешев, А. О. Поляков. – Псков: Изд-во ППИ. 2007.- 512 с.

Двойникова, А. А. Аналитический обзор подходов к распознаванию тональности русскоязычных текстовых данных /А. А. Двойникова, А. А. Карпов. - Текст : непосредственный //Информационно-управляющие системы 2020. № 4. С.20-30. 6. Мареев, С. Н. Диалектика содержания и формы и проблемы формализации / С. Н. Мареев - Текст : непосредственный // Научные ведомости Белгородского государственного университета. Серия «Философия. Социологи. Право». 2017. № 42(24). С. 15–26. 7. Болотнова, Н. С. О типологии регулятивных структур в тексте как форме коммуникации /Н. С. Болотнова. - Текст : непосредственный //Вестник ТГПУ. 2011. Вып. 3 (105). С. 34-40. 8. Болотнова, Н.С. Коммуникативная стилистика Болотновой. / Н. С Болотнова, И. И. Бабенко, Е. А. Бакланова. - Томск: Изд-во Томск. гос. пед. ун-та, 2011. 492 с.

Богатырев, М. Ю. Исследование семантической инвариантности концептуальных

моделей текстовых данных / Ю. С. Богатырев, Н.Л. Коржук. - Текст : непосредственный // Известия ТулГУ. Технические науки. 2019. Вып. 12. С. 499–503.

Воронов, М. В. Формализация регулятивных текстов / М. В. Воронов. // Информатика и автоматизация (Тр. СПИИРАН). 2021. Т.20. №3. С. 562–586.

Воронов, М. В. Конструктивно-имитационное моделирование слабоструктурированных систем / М. В. Воронов // Изв. МАН ВШ. 2007. № 4 (42). С.156–165.

Антонов, И. В. Методы анализа данных в задачах автоматизации построения онтологии предметной области / И. В. Антонов, М. В. Воронов. // Дистанционное и виртуальное обучение. 2011. № 8 (50). С. 19–35.

Пешкова, Н. П. Семантика и смысл текста / Н. П. Пешкова. - //Вестник Челябинского государственного университета.). Филология. Искусствоведение. 2015. Вып. 96. С. 69–77.

Published

2024-11-26

How to Cite

Voronov М. (2024). Method of formalization of description of technological processes. Informatics and Cybernetics, (3(33), 50–55. Retrieved from https://ojs.donntu.ru/index.php/infcyb/article/view/376

Issue

Section

Информатика и вычислительная техника