Диссертации

• Вольфенгаген В.Э. Теоретические и инженерные методы проектирования реляционных банков информации в АСУ, Диссертация на соискание ученой степени кандидата технических наук, 05.13.06 -- Автоматизированные системы переработки информации и управления, Московский инженерно-физический институт, Диссертационный Совет К.053.03.04 МИФИ, Москва, 1977.
Аннотация. В работе изучается проектирование банков информации в АСУ, основанных на реляционной модели данных. Основное внимание уделено изучению автоматизации прикладного программирования и автоматизации получения печатных документов в ответ на запросы пользователя. Вместе с тем рассмотрено создание и поддержание в памяти ЭВМ модели данных, понимаемой как набор функциональных отношений, т.е. файлов с выделенными ключевыми атрибутами. Исследование проводится в рамках исчисления одноместных функций Черча с учетом типовых символов, что позволяет определить банк информации как структуру. 

• Воскресенская О.В. Методы разработки реляционной системы управления базой данных, Диссертация на соискание ученой степени кандидата технических наук, 05.13.06 -- Автоматизированные системы управления, Московский инженерно-физический институт, Диссертационный Совет К.053.03.04 МИФИ, Москва, 1985.

• Александрова И.А.  Проектирование информационно-программного обеспечения систем организационного типа на основе концептуальных моделей, Диссертация на соискание ученой степени кандидата технических наук, 05.13.06 -- Автоматизированные системы управления, Московский инженерно-физический институт, Диссертационный Совет К.053.03.04 МИФИ, Москва, 1986.

• Исмаилова Л.Ю. Разработка программных средств реляционной обработки данных в экспертных системах, Диссертация на соискание ученой степени кандидата технических наук, 05.13.11 -- Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей, Московский инженерно-физический институт, Диссертационный Совет К.053.03.04 МИФИ, Москва, 1989.

Одно из развитий диссертации можно найти в работе Equationally Expressed Evaluation, (авторы:  L. Ismailova, S. Kosikov, K. Zinchenko, A. Mikhailov, L. Bourmistrova, and A. Berezovskaya) представленной на 9th International Workshop on Functional and Logic Programming (WFLP'2000) http://www.dsic.upv.es/~wflp2000/.  

• Волков И.А. Исследование и разработка методов анализа и обеспечения достоверности информации о НИР в области медицины, Диссертация на соискание ученой степени кандидата технических наук, 05.13.06 -- Автоматизированные системы управления; 14.00.33 -- Социальная гигиена и охрана здравоохранения, Московский инженерно-физический институт, Диссертационный Совет Д-053.03.04 МИФИ, Москва, 1990.

• Вольфенгаген В.Э.  Концептуальный метод проектирования банков данных, Диссертация на соискание ученой степени доктора технических наук, 05.13.11 -- Математическое и программное обеспечение вычислительных машин, комплексов, систем и сетей, Московский инженерно-физический институт, Диссертационный Совет Д-053.03.04 МИФИ, Москва, 1990.
Аннотация. Представлен концептуальный метод проектирования банков данных, который рассматривается как подход к построению, применению и управлению базами данных и базами метаданных. Подход предполагает возможность настройки на изменяющуюся предметную область и ее представление, в частности, при увеличении/уменьшении степени детализации. Исследуется управление базами данных/метаданных в условиях интегрированного использования объектов данных, объектов метаданных и программ. Унифицированная вычислительная среда сохраняет расширяемость модели объектов данных. Представления объектов данных/метаданных предполагаются встроенными в вычислительную среду. Построена концептуальная оболочка для вычислений в терминах объектов. В работе применяются и развиваются методы бестипового и типового ламбда-исчисления, комбинаторной логики и вычислений в категории. Круг вопросов, рассмотренных в работе, явлется обобщением опыта их преподавания в различных учебных курсах по компьютерным наукам.
Полный текст диссертации (PDF файл 3080 KB).

• Гаврилов А.В. Настраиваемая система программирования для категориальных вычислений, Диссертация на соискание ученой степени кандидата технических наук, 05.13.11 -- Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей, Московский инженерно-физический институт, Диссертационный Совет Д-053.03.04 МИФИ, Москва, 1995.

• Гольцева Л.В. Аппликативная вычислительная система с интенсиональными отношениями, Диссертация на соискание ученой степени кандидата технических наук, 05.13.11 -- Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей, Московский инженерно-физический институт, Диссертационный Совет Д-053.03.04 МИФИ, Москва, 1995.

• Зыков С.В. Исследование и реализация интегрированной корпоративной информационной системы для решения задач управления персоналом, Диссертация на соискание ученой степени кандидата технических наук, 05.13.11 -- Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей, Московский инженерно-физический институт, Диссертационный Совет Д-053.03.04 МИФИ, Москва, 2000.

• Забродин А.Л.  Исследование и реализация программного обеспечения управления данными для автоматизированных систем оперативного управления военной связью, Диссертация на соискание ученой степени кандидата технических наук, 05.13.11 -- Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей, Московский инженерно-физический институт, Диссертационный Совет Д-053.03.04 МИФИ, Москва, 2000.

• Горелов Б.Б. Исследование и реализация распределенной информационной системы управления финансовыми данными, Диссертация на соискание ученой степени кандидата технических наук, 05.13.11 -- Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей, Московский инженерно-физический институт, Диссертационный Совет Д-212.130.03 МИФИ, Москва, 2003.