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

Інформація × Реєстраційний номер 0598U000009, Докторська дисертація На здобуття д.ф.-м.н. Дата захисту 26-12-1997 Статус Запланована Назва роботи Итеративные методы анализа процедурных программ Здобувач Кривой С.Л., Керівник Летичевский А.А. Опонент Ющенко Е.Л. Опонент Андон Ф.И. Опонент Павлов А.А. Опис Объект исследования: Графовая модель программы - U-Y-схемы программ над памятью. Цель исследования: Разработка общей математической теории для анализа широкого класса реальных программ и алгоритмов и построение эффективных алгоритмов анализа и генерации инвариантных соотношений для таких программ с учетом свойств алгебры данных. Методы исследования и аппаратура: Теория автоматов, общая алгебра, линейная алгебра, математическая логика, теория формальных языков, структур данных и теория графов. Теоретические результаты и новизна: Построена математическая теория статистического анализа программ с одноуровневой памятью и учетом свойств алгебры данных. Разработаны методы и эффективные алгоритмы построения множества инвариантных соотношений для программ. Практические результаты и новизна: Предложена методика оптимизации программного обеспечения, базирующаяся на теории программных инвариантов. Предмет и степень внедрения: Методы диссертации и полученные результаты были частично внедрены в макроконвейерном вычислительном комплексе и в учебном процессе. Эффективность внедрения: Предложенная методика повышает эффективность программного обеспечения в 2-5 раз, а в отдельных случаях и на порядок. Сфера (область) использования: Учебный процесс в ВУЗах. Дата реєстрації 1997-12-26 Додано в НРАТ 2020-05-17 Закрити