Электронная библиотека диссертаций и авторефератов России
dslib.net
Библиотека диссертаций
Навигация
Каталог диссертаций России
Англоязычные диссертации
Диссертации бесплатно
Предстоящие защиты
Рецензии на автореферат
Отчисления авторам
Мой кабинет
Заказы: забрать, оплатить
Мой личный счет
Мой профиль
Мой авторский профиль
Подписки на рассылки



расширенный поиск

Автоматический синтез расчетных программ на основе анализа семантики показателей Соломатин, Александр Николаевич

Данная диссертационная работа должна поступить в библиотеки в ближайшее время
Уведомить о поступлении

Диссертация, - 480 руб., доставка 1-3 часа, с 10-19 (Московское время), кроме воскресенья

Автореферат - бесплатно, доставка 10 минут, круглосуточно, без выходных и праздников

Соломатин, Александр Николаевич. Автоматический синтез расчетных программ на основе анализа семантики показателей : автореферат дис. ... кандидата физико-математических наук : 05.13.11 / АН СССР. Вычислительный центр.- Москва, 1990.- 17 с.: ил. РГБ ОД, 9 90-9/1179-2

Введение к работе

Актуальность исследования. Массовая разработка автоматизированных систем различного назначения для персональных компьютеров усилила потребность в разработке интеллектуальных интерфейсов пользователя и ЭШ, обеспечивающих автоматический синтез программ. Важной народнохозяйственной задачей является комплексное освоение территорий. Формирование проектов освоения ускоряется и улучшается качественно при использовании автоматизированных систем планирования и проектирования генеральных схем освоения территорий (СПГСО).

Значительную часть программного обеспечения этих систем составляют расчетные программы (РП) - программы расчета технико-экономических показателей (ТЭП). Эти программы имеют простую линейную структуру и на реализуют сложных алгоритмов. РП постоянно модифицируются, поскольку в процессе длительного сопровождения СПГСО меняются сам обгект освоения, знания о ней, методы управления и т.д. Постоянно меняются также информационные связи подсистем СПГСО, задаваемые РП-преобразователями ТЭП. В связи с этим весьма актуальным представляется создание средств синтеза программ, позволяющих автоматизировать разработку и сопровождение РП различного назначения в СПГСО.

Цель и задачи исследования. Целью диссертационной работы является разработка методов и средств автоматического синтеза программ расчета ТЭП. В соответствии с поставленной целью в ходе исследования решались следующие основные задачи:

анализ существующих методов синтеза программ;

изучение свойств РП, ТЭП и их преобразований;

разработка метода синтеза РП, который бы учитывал эти свойства и позволял создать на его основе средства синтеза, ориентированные на практическое использование;

разработка эффективных алгоритмов синтеза качественных программ на различных языках;

реализация системы автоматического синтеза РП;

разработка методики применения системы синтеза для решения различных задач автоматизации разработки СПГСО.

Обгект и предмет исследования. Объектом исследования являются программы расчета технико-экономических показателей. Предмет исследования составляют процессы автоматического кон-

струирования программ на основе анализа семантики обрабатываемых данных.

Методы исследования. В процессе исследования использовались методы и результаты из следующих областей: теория множеств, теория графов, информационные языки, метрические пространства, алгебра данных, вычислительные модели, композиционное программирование, потоковое программирование, эвристический поиск, формальные грамматики, представление знаний, системотехника.

Научная новизна работы состоит в том, что:

введены и изучены представления языка ТЭЦ как семиотического метрического гиперпространства и как относ.смия фасетов;

введены и изучены различные классы семантических и вычислительных преобразований ТЗП, их взаимные связи. Показано, что для независимых фасетов любая правильная семантическая программа представима в виде композиции однородных абстрактных компонентов - базовых семантических преобразований, меняющих значение единственного фасета в наименованиях ТЗП;

предложен метод синтеза расчетных программ, использующий результаты синтеза на вычислительных моделях, композиционного и потокового программирования. В его основе лежит построение семантической модели программы в виде композиции бааовых преобразований на основе анализа семантической близости ТЭП; при этом граф связей показателей предварительно не задается;

предложены метод и алгоритмы генерации текстов РП по семантической модели, обеспечивающие построение эффективных прог-

рамм на различных ЯП;

- предложена методика использования системы синтеза РП как еди
ного инструмента многоцелевого назначения для разработки слож
ных автоматизированных систем одного класса.

Практическая значимость исследования состоит в том, что на персональных ЭШ реализована система автоматического синтеза расчетных программ САС/РП. Система ориентирована на использование в качестве инструментальной системы для автоматизации разработки систем планирования и проектирования генеральных схем освоения территорий.

САС/РП была использована при разработке Системы перспективного планирования добычи газа, которая использовалась для различных газодобывающих регионов страны (в том числе Западной

Сибири) и рекомендована Мингазпромом СССР для иирокого внедрения. САС/ЇП и методика её применения могут быть применены для достаточно широкого класса программ расчета ТЭГ. и интегрированных автоматизированных систем различного назначения.

Апробация работы. Основные положения диссертационной работы докладывались и обсуждались: на 2-ом Всесоюзном семинаре по методам синтеза типовых модульных систем обработки данных (Звенигород, 1985), на УІ Координационном совещании "Математическое обеспечение интегрированных систем САПР-ГАЛ" (Куйбышев, 1985), на IX Всесоюзном симпозиуме "Системы программного обеспечения решения задач оптимального планирования" (Минск, 1986), на Всесоюзной конференции "Методы трансляции и конструирования программ" (Новосибирск, 1988), в 1988 г. на районном конкурсе работ молодых ученых (2-ое место), в 1989 г. на научно-исследовательском семинаре по автоматизации программирования при ФВМиК МГУ им. М.В.Ломоносова.

Публикации. Основные результаты диссертационной работы изложены в пяти печатных работах общим' объемом в 2,4 печатных листа. Список работ приводится в конце автореферата.

Структура и объем работы. Диссертационная работа состоит из введения, четырех глав, заключения, списка литературы и трех приложений. Объем работы составляет 199 страниц машинописного текста (из них 159 страниц основного текста); в тексте имеется 22 рисунка и три таблицы. Список литературы включает 79 наименований.

Похожие диссертации на Автоматический синтез расчетных программ на основе анализа семантики показателей