Автоматизация настройки и сопровождения логики в системах автоматизированного проектирования на основе объектно-дедуктивной модели

Автоматизация настройки и сопровождения логики в системах автоматизированного проектирования на основе объектно-дедуктивной модели

Автор: Куликов, Дмитрий Анатольевич

Шифр специальности: 05.13.12

Научная степень: Кандидатская

Год защиты: 2002

Место защиты: Иваново

Количество страниц: 133 с. ил

Артикул: 2326639

Автор: Куликов, Дмитрий Анатольевич

Стоимость: 250 руб.

Автоматизация настройки и сопровождения логики в системах автоматизированного проектирования на основе объектно-дедуктивной модели  Автоматизация настройки и сопровождения логики в системах автоматизированного проектирования на основе объектно-дедуктивной модели 

СОДЕРЖАНИЕ
Введение.
1. Анализ состояния вопроса.
Модели и реализация логики в существующих АС
Анализ архитектурных решений АС.
Выводы и результаты.
2. Разработка объектнодедуктивной модели логики
Анализ прототипов.
Объектнодедуктивная модель интеграционной логики.
Выводы и результаты.
3. Разработка и реализация машины вывода ОДМЛ.
Анализ стандартной вычислительной модели логической программы
Представление структур данных в машине вывода ОДМЛ
Реализация компонентов объектного подхода.
Архитектура интерпретатора ОДМЛ
Лингвистические средства ОДМЛ.
Выводы
4. Практическое применение средств автоматизации проектирования и
сопровождения интеграционной логики.
Использование ОДМЛ в составе системы ЕксПзСЗ 7 при решении задачи
оптимизации раскладки электрических кабелей по полкам.
Использование ОДМЛ в составе инструментального комплекса ЮШИУС.
Выводы
Заключение.
Список литературы


Па основании анализа моделей логики САПР и АСУП сформулированы требования к средствам настройки и интерпретации лотки и к инструментальным средствам проектирования интеграционной логики. На основании анализа архитектур реализации САПР и АСУП показана необходимость следования принципам открытости при реализации средств интерпретации логики для достижения поставленной в работе цели. Показано, что трехзвенная архитектура, как наиболее открытая, предпочтительнее всего для реализации средств интерпретации логики. В ходе анализа выявлены перечисленные выше недостатки существующих реализаций средств настройки и интерпретации логики. Вторая глава посвящена разработке объектно-дедуктивной модели лотки. На основании анализа моделей логики и архитектурных решений САПР и АСУП, проведенного в первой главе, а также систем, базирующихся на логическом профаммировании (СРЯ-систем1, объектно-ориентированных лог ических языков, дедуктивных объектно-ориетированных баз данных) предложена объектно-дедуктивная модель логики САПР (ОДМЛ). Пррамм списковой модели есгествснным способом представления объектов балы данных, а также возможностью использования формального аппарата теории графов при решении прикладных задач; наличие двух интерфейсов взаимодействия с базой данных - сильного связывания для поддержки псрманетчюсти объектов и слабого для решения задач множественной обработки данных; шаблонные предикаты (предикаты, которые в качестве параметров используют списки подцелей), обеспечивающие при обработке реляционных термов функциональность запросов БОЬ в естественной для логической программы стилистике. Третья глава посвящена вопросам разработки и реализации машины вывода О ДМ Л, архитектуры ее реализации (сервера бизнес-логики) и вопросам реализации лингвистического обеспечения ОДМЛ. Машина вывода ОДМЛ использует базовый механизм поиска с возвратом. Вместе с тем. ОДМЛ, поэтому она имеет следующие отличия от традиционной машины логического вывода: интеграция средств интерпретации компонентов объектного подхода, в том числе перманентных объектов и средств событийного управления, необходимая для эффективной поддержки ООП; способ реализации реляционных термов на основе понятия операционного контекста, обеспечивающий эффективный поиск элементов на основе хешированного и индексного доступа к элементам множества, что важно при решении комбинаторных задач, и решающий проблемы сборки мусора и экономии памяти на представление реляционного терма; метод интерпретации встроенных шаблонных предикатов при помощи вложенной активации машины вывода, что позволяет интерпретировать шаблонные предикаты с нешраниченной вложенностью предикатных слотов и обеспечивает высокую скорость работы для шаблонных предикатов по сравнению с реализацией этих же предикатов стандартными средствами машины вывода. ОДМЛ), объектный источник данных (средство поддержки перманентности объектов). Разработано лингвистическое обеспечение ОДМЛ, которое включает в себя язык спецификации логики и средства, обеспечивающие взаимодействие машины вывода и клиента САПР. Поскольку важным требованием к языку спецификации ОДМЛ является поддержка быстрой разработки определений персоналом, имеющим невысокую программистскую квалификацию, язык описания ОДМЛ имеет как текстовое, так и графическое представления. Графическое представление языка включает в себя средства наглядного графического представления определений и модели отношений между реляционными термами и набор средств автоматизации рутинных действий, с помощью которых ускоряется процесс создания бизнес-логики и устраняется подавляющее большинство синтаксических ошибок за счет практически полного исключения ручного набора текста. В четвертой главе рассматриваются вопросы практическою применения ОДМЛ в составе системы ПесДпСЯ . Также рассмотрены вопросы практическою применения ОДМЛ в составе комплекса быстрой разработки информацнонно-управляющих систем КАОИУС, разработанного в УПИТ ИГЭУ. В заключении подведены итоги работы. Перечислены результаты и выводы работы, определены направления дальнейших исследований.

Рекомендуемые диссертации данного раздела

28.06.2016

+ 100 бесплатных диссертаций

Дорогие друзья, в раздел "Бесплатные диссертации" добавлено 100 новых диссертаций. Желаем новых научных ...

15.02.2015

Добавлено 41611 диссертаций РГБ

В каталог сайта http://new-disser.ru добавлено новые диссертации РГБ 2013-2014 года. Желаем новых научных ...


Все новости

Время генерации: 0.263, запросов: 244