Пошук академічних текстів

Інформація × Реєстраційний номер 0593U000537, Докторська дисертація На здобуття д.ф.-м.н. Дата захисту 22-01-1993 Статус Запланована Назва роботи Студии и теории автоматов, теории информационных сетей и выбранных проблем дискретной матетики Здобувач Кратко Мирослав Иванович, Опонент Лупанов О.Б. Опонент Редько В.Н. Опонент Левитская А.О. Опис Объект исследования: Автоматы, информационные сети графов, рекурсивные функции, счета Поста, релляционные системы. Цель исследования: Выяснение соотношений между счетами Поста и автоматами, проблема полноты, изучение проблем общей теории информационных сетей, сложности вычислений. Методы исследования и аппаратура: Методы математической логики и теории алгоритмов, теории графов и комбинаторики, теории вероятностей и общей алгебры. Теоретические результаты и новизна: Доказано что проблема полноты в теории атоматов является нерешенной, разработаны основы общей теории информационных сетей, решено ряд проблем сформулированных В.Н. Глушковым, Ю.Г. Решетняком, Ф.Гени, В.Бенешем, Р.Бьюхи, Е. Лосем, и другими. Практические результаты и новизна: Предложены методы проектирования каналов связи для АСУТП. Предмет и степень внедрения: Информационная система и концентратор АСУТП на Луцком заводе синтетических шин. Эффективность внедрения: 523. тыс. руб. в год. Сфера (область) использования: В учебном процессе и при проектировании систем связи. Дата реєстрації 1993-03-20 Додано в НРАТ 2021-03-18 Закрити