Search academic texts

Information × Registration Number 0598U000009, Doctoral dissertation Status д.ф.-м.н. Date 26-12-1997 popup.evolution o Title Author Кривой С.Л., popup.head Летичевский А.А. popup.opponent Ющенко Е.Л. popup.opponent Андон Ф.И. popup.opponent Павлов А.А. Description Объект исследования: Графовая модель программы - U-Y-схемы программ над памятью. Цель исследования: Разработка общей математической теории для анализа широкого класса реальных программ и алгоритмов и построение эффективных алгоритмов анализа и генерации инвариантных соотношений для таких программ с учетом свойств алгебры данных. Методы исследования и аппаратура: Теория автоматов, общая алгебра, линейная алгебра, математическая логика, теория формальных языков, структур данных и теория графов. Теоретические результаты и новизна: Построена математическая теория статистического анализа программ с одноуровневой памятью и учетом свойств алгебры данных. Разработаны методы и эффективные алгоритмы построения множества инвариантных соотношений для программ. Практические результаты и новизна: Предложена методика оптимизации программного обеспечения, базирующаяся на теории программных инвариантов. Предмет и степень внедрения: Методы диссертации и полученные результаты были частично внедрены в макроконвейерном вычислительном комплексе и в учебном процессе. Эффективность внедрения: Предложенная методика повышает эффективность программного обеспечения в 2-5 раз, а в отдельных случаях и на порядок. Сфера (область) использования: Учебный процесс в ВУЗах. Registration Date 1997-12-26 popup.nrat_date 2020-05-17 Close