Кратко М. И. Студии и теории автоматов, теории информационных сетей и выбранных проблем дискретной матетики

Объект исследования: Автоматы, информационные сети графов, рекурсивные функции, счета Поста, релляционные системы. Цель исследования: Выяснение соотношений между счетами Поста и автоматами, проблема полноты, изучение проблем общей теории информационных сетей, сложности вычислений. Методы исследования и аппаратура: Методы математической логики и теории алгоритмов, теории графов и комбинаторики, теории вероятностей и общей алгебры. Теоретические результаты и новизна: Доказано что проблема полноты в теории атоматов является нерешенной, разработаны основы общей теории информационных сетей, решено ряд проблем сформулированных В.Н. Глушковым, Ю.Г. Решетняком, Ф.Гени, В.Бенешем, Р.Бьюхи, Е. Лосем, и другими. Практические результаты и новизна: Предложены методы проектирования каналов связи для АСУТП. Предмет и степень внедрения: Информационная система и концентратор АСУТП на Луцком заводе синтетических шин. Эффективность внедрения: 523. тыс. руб. в год. Сфера (область) использования: В учебном процессе и при проектировании систем связи.