Методы автоматизированного проектирования систем сбора и обработки информации интегрированных комплексов : Элементы теории, математическое и программное обеспечение

• Автор: Коробейников, Анатолий Григорьевич
• Шифр специальности: 05.13.12
• Научная степень: Докторская
• Год защиты: 2001
• Место защиты: Санкт-Петербург
• Количество страниц: 243 с. : ил

ОГЛАВЛЕНИЕ

СПИСОК СОКРАЩЕНИЙ

ВВЕДЕНИЕ.
ГЛАВА 1. АНАЛИЗ СОСТОЯНИЯ ВОПРОСА ПРОЕКТИРОВАНИЯ СИСТЕМ СВОРА И ОБРАБОТКИ ИНФОРМАЦИИ ИНТЕГРИРОВАННЫХ КОМПЛЕКСОВ

1.1. Анализ тенденгщй развития САПР автоматизированных систем .

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

1.2. . Особенности разработки программных средств.

1.2.2. Методы проектирования систем сбора и обработки информации интегрированных комплексов.
1.3. Общий анализ систем сбора и обработки информации интегрированных комплексов с системных позиций.
1.4. Анализ программного обеспечения систем сбора и обработки информации интегрированных комплексов как сложных систем.
1.5. Анализ характерных особенностей проектирования систем сбора и обработки информации интегрированных комплексов
1.6. Анализ основных требований при выборе технических средств для систем сбора и обработки информации информации интег рированных комплексов.
1.7. Постановка задачи автоматизации исследования и проектирования систем сбора и обработки информации интегрированных
комплексов.
1.8. Выводы
ГЛАВА 2. РАЗРАБОТКА КОНЦЕПЦИИ И ПРИНЦИПОВ ПОСТРОЕНИЯ СИСТЕМ СБОРА И ОБРАБОТКИ ИНФОРМАЦИИ ИНТЕГРИРОВАННЫХ КОМПЛЕКСОВ.
2.1. Концепция базовой системы сбора и обработки информации
ИНТЕГРИРОВАННОГО КОМПЛЕКСА.
2.2. Анализ представления знаний в системах сбора и обработки ИНФОРМАЦИИ интегрированных комплексах
2.3. Методы представления знаний в системах сбора и обработки информации интегрированных комплексах
2.4. Методологические основы проектирования систем сбора и обработки информации интегрированных комплексов
2.5. Методологическая база разработки архитектуры систем сбора и обработки информации интегрированных комплексов
2.6. Выводы
ГЛАВА 3. МЕТОДЫ ПРОЕКТИРОВАНИЯ СИСТЕМ СБОРА И
ОБРАБОТКИ ИНФОРМАЦИИ ИНТЕГРИРОВАННЫХ КОМПЛЕКСОВ
3.1. Особенности процесса проектирования математических моделей системы сбора и обработки информации интегрированного КОМПЛЕКСА
3.2. Семантика предметной области.
3.3. Концептуальные средства описания предметной области.
3.4. Метод декомпозиции концептуальной модели предметной области
3.5. Методы формирования знаний с использованием геометрического подхода.
3.6. Математическая теория категорий в задачах представления знаний ПРИ ПРОЕКТИРОВАНИИ СИСТЕМ СБОРА И ОБРАБОТКИ ИНФОРМАЦИИ ИНТЕГРИРОВАННЫХ комплексов.
3.7. Выводы.
ГЛАВА 4. РАЗРАБОТКА МЕТОДОВ ФОРМИРОВАНИЯ И ИНТЕГРАЦИИ ВЗАИМОСВЯЗАННЫХ ПРЕДСТАВЛЕНИЙ В ЗАДАЧАХ СОЗДАНИЯ САПР СИСТЕМ СБОРА И ОБРАБОТКИ ИНФОРМАЦИИ ИНТЕГРИРОВАННЫХ КОМПЛЕКСОВ
4.1. Анализ и обоснование теоретических положений при создании САПР СИСТЕМ сбора и обработки информации интегрированных комплексов
4.2. Разработка методов проектирования
4.2.1. Разработка метода концептуального моделирования.
4.2.2. Общее концептуальное представление
4.2.3. Концептуальное представление предметной задачи
4.3. Разработка метода инфологического моделирования
4.3.1. Общее инфологическое представление
4.3.2. Инфологическое представление предметной задачи
4.4. Разработка метода даталогического моделирования
4.5. Разработка методов отображения.
4.6. Выводы.
ГЛАВА 5. РАЗРАБОТКА МЕТОДОЛОГИИ ПРОМЫШЛЕННОГО ПРОЕКТИРОВАНИЯ СИСТЕМ СБОРА И ОБРАБОТКИ ИНФОРМАЦИИ ИНТЕГРИРОВАННЫХ КОМПЛЕКСОВ.
5.1. Этап предпроектного исследования в рамках разработанной методологии проектирования систем сбора и обработки информации интегрированных комплексов
5.2. Этап концептуального моделирования в рамках разработанной методологии проектирования систем сбора и обработки информации интегрированных комплексов
5.3. Этап инфологического моделирования в рамках разработанной методологии проектирования систем сбора и обработки информации интегрированных комплексов
5.4. Этап даталогического моделирования в рамках разработанной методологии проектирования систем сбора и обработки информации интегрированных комплексов
5.5. Проектирование математических моделей управления ТП выращивания оптических кристаллов.
5.6. Проектирование алгоритмов управления систем автоматизации производства оптических материалов
5.7. Результаты применения методов проектирования при разработки законов управления ТП выращивания оптических кристаллов
5.8. Результаты применения разработанных методов при исследовании особенностей распространения гидромагнитных волн вдоль Земной
поверхности с целью изучения динамики ионосферных источников геомагнитных вариаций.
5.9. Использование методологии проектирования интегрированного автоматизированного технологического комплекса
5 Выводы
ЗАКЛЮЧЕНИЕ
СПИСОК ЛИТЕРАТУРЫ


СОИ ИК различной природы технической, информационной, программной, допускающей свое представление в алгоритмической форме. Совокупность выносимых на защиту теоретических положений можно квалифицировать как разработку новых подходов, методов, алгоритмов и программных средств при создании СОИ ИК. Практическая ценность. СОИ ИК. Разработанные в диссертации теоретические положения, методы проектирования, алгоритмы и программы использовались в ряде научноисследовательских работ, выполняемых в рамках государственных программ. Научные аспекты диссертационных исследований нашли свою реализацию в лекционных курсах, читаемых автором студентам на кафедре Проектирования компьютерных систем СанктПетербургского Государственного института точной механики и оптики Технического университета, в публикациях и выступлениях на международных и отечественных конференциях и семинарах. Апробация работы. Всесоюзном совещании по электроварке стекла. Интеллектуальные САПР. На XXVIII научнотехнической конференции профессорскопреподавательского состава СПб ГИТМО ТУ, январьфевраль г. СПб ГИТМО ТУ. Проектирование и технология компьютерных систем. Межвузовском научнотехническом семинаре с международным участием Автоматизация проектирования, технология элементов и узлов компьютерных систем, апрель г. XXX научнотехнической конференции профессорскопреподавательского состава СПб ГИТМО ТУ. Автоматизация проектирования, технология элементов и узлов компьютерных систем. Международной конференции Оптика, октября г. Юбилейной научнотехнической конференции профессорскопреподавательского состава, посвященной 0летию СПб Г ИТМО ТУ, марта г. Полное содержание диссертации обсуждалось на расширенных заседаниях кафедры Проектирования компьютерных систем. Публикации. Основные положения диссертации изложены в печатных работах. Материалы диссертации отражены в монографии и 7 отчетах но НИ1 где автор был ответственным исполнителем или научным руководителем. Внедрено в ПИИТИОМ ВНЦ ГОИ им. С.И. СОИ ИК магнитотеллурического зондирования в виде программнотехнической системы управления мониторингом в реальном масштабе времени, сбора данных в цифровом виде и передача их в центр. Внедрено в СПбФ ИЗМИР РАН. Опубликованные результаты диссертационной работы внедрены в учебный процесс на кафедре Проектирования компьютерных систем в СПб ГИТМО ТУ. Основные результаты работы применяются при выполнении курсовых и дипломных проектов студентами кафедры Проектирования компьютерных систем и обучения аспирантов специальности Системы автоматизации проектирования в СПб ГИГМО ТУ. Практическое использование результатов диссертационной работы подтверждено соответствующими документами о внедрении. Структура н объем работы. Диссертационная работа состоит из введения, пяти глав, заключения, списка литературы и приложений, изложена на 0 страницах, содержит рисунков, 7 таблиц и 3 наименования библиографического указателя. ГЛАВА 1. Анализ тенденции развития САПР автоматизированных
Развитие ИТ в процессах проектирования и производства изделий уже в е годы позволило решать различные вычислительные задачи. Компьютеризация только вычислительных задач позволила в процессах проектирования учитывать больше факторов, а также быстрее осуществлять техническое усложнение изделий. В х годах начало складываться представление о БД как о динамической модели фрагмента действительности, или ПрО, которая организуется и поддерживается внутри вычислительной системы. Для того, чтобы модель была достаточно адекватной и обеспечивала интеллектуальный интерфейс между конечным пользователем экспертом ПрО и САПР АС, основой информационной базы которой служит БД, оказалось необходимым преодолеть характерный для АС предшествующего периода разрыв между синтаксическими структурами данных, с одной стороны, и выражаемым ими смыслом теашгс другой. В результате возникло новое направление математического моделирования моделирование структуры и динамики фрагментов действительности при помощи сложной системы алгоритмов, действующих на обшей, организованной в памяти ЭВМ совокупности данных 1,2,.