Search academic texts

Information × Registration Number 0593U000537, Doctoral dissertation Status д.ф.-м.н. Date 22-01-1993 popup.evolution o Title Author Кратко Мирослав Иванович, popup.opponent Лупанов О.Б. popup.opponent Редько В.Н. popup.opponent Левитская А.О. Description Объект исследования: Автоматы, информационные сети графов, рекурсивные функции, счета Поста, релляционные системы. Цель исследования: Выяснение соотношений между счетами Поста и автоматами, проблема полноты, изучение проблем общей теории информационных сетей, сложности вычислений. Методы исследования и аппаратура: Методы математической логики и теории алгоритмов, теории графов и комбинаторики, теории вероятностей и общей алгебры. Теоретические результаты и новизна: Доказано что проблема полноты в теории атоматов является нерешенной, разработаны основы общей теории информационных сетей, решено ряд проблем сформулированных В.Н. Глушковым, Ю.Г. Решетняком, Ф.Гени, В.Бенешем, Р.Бьюхи, Е. Лосем, и другими. Практические результаты и новизна: Предложены методы проектирования каналов связи для АСУТП. Предмет и степень внедрения: Информационная система и концентратор АСУТП на Луцком заводе синтетических шин. Эффективность внедрения: 523. тыс. руб. в год. Сфера (область) использования: В учебном процессе и при проектировании систем связи. Registration Date 1993-03-20 popup.nrat_date 2021-03-18 Close