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

• Автор: Леженко, Анатолий Иванович
• Шифр специальности: 05.13.11
• Научная степень: Докторская
• Год защиты: 2002
• Место защиты: Москва
• Количество страниц: 261 с. : ил.

1. ГЛАВА. ОБЩАЯ ХАРАКТЕРИСТИКА РАБОТЫ.

1.1. Актуальность проблемы.

1.2. Цель работы

1.3. Методы исследования

1.4. Апробация работы.

1.5. Объем и структура работы.

2. ГЛАВ А. АНАЛИЗ СОСТОЯНИЯ ВОПРОСА. ПОСТАНОВКА ЗАДАЧИ. ЦЕЛЬ ИССЛЕДОВАНИЯ

2.1. Тенденции в проектировании интегрированных ИТТ

2.1.1. История развития технологии программирования

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

2.1.2.1. Сетевая модель данных.

2.1.2.2. Иерархическая модель данных.
2.1.2.3. Реляционная модель данных.
2.1.3.0бъектно ориентированное проектирование
2.1.4. Основные положения объектной модели.
2.2. Постановка задачи и цель исследования
3. ГЛАВА. РАЗРАБОТАНННЫЕ ТЕОРЕТИЧЕСКИЕ ОСНОВЫ И МЕТОДЫ
3.1. Модели информационных потоков в ИТТ
3.2. Методологии проектирования и инструментальные системы
3.2.1. Методология ЮЕРО
3.2.2. Методология ЮЕР1Х.
3.2.2.1. Управление данными как ресурсами
3.2.2.2. Концепция трех схем
3.2.2.3. Цели моделирования
3.2.2.4. ЮЕР1Хподход
3.2.3. Методология объектноориентированного подхода.
3.4. Выводы по разделу
4. ГЛАВА. ПРИМЕНЕНИЕ РАЗРАБОТАННЫХ ТЕОРЕТИЧЕСКИХ ОСНОВ И МЕТОДОВ В САПР И САЙТ
4.1. Лингвистическое и информационное обеспечения САПР и САЙТ.
4.2. Использование элементов экспертных систем
4.3. Комплекс технических и программных средств.
4.4. Выводы по разделу
5. ГЛАВА. ПРИМЕНЕНИЕ РАЗРАБОТАННЫХ ТЕОРЕТИЧЕСКИХ ОСНОВ ПОСТРОЕНИЯ И МЕТОДОВ ИТТ В КОМПЛЕКСНЫХ АСУП
5.1 .Фактографические базы данных и документооборот.
5.2. Способы и методы интеллектуальной обработки информации.
6.3.Комплексы технических и программных средств.
5.3.1. Отраслевая интегрированная система управления экономикоорганизационного типа НЕПТУН.
5.3.2. Опыт создание АСУП на базе локальных сетей ПЭВМ.
5.4. Выводы по разделу
6. ГЛАВА. ПРИМЕНЕНИЕ РАЗРАБОТАННЫХ ТЕОРЕТИЧЕСКИХ ОСНОВ И МЕТОДОВ ИТТ ПРИ ПОСТРОЕНИИ ЕДИНОГО ИНФОРМАЦИОННОГО ПРОСТРАНСТВА МУНИЦИПАЛЬНЫХ ОБРАЗОВАНИЙ РОССИЙСКОЙ ФЕДЕРАЦИИ
6.1. Состояние, перспективы развития и использования телекоммуникационной инфраструктуры для создания мультимедийной среды МО РФ.
6.1.1. Московский и СанктПетербургский проекты
6.1.2. Университетские Центры Интернет
6.1.3. Совместные телекоммуникационные проекты с администрациями регионов России.
6.1.3.1. Архитектура Ленинградской областной Интернетсети .
6.1.3.2. Архитектура Иркутской областной Интернетсети.
6.2. Пилотный проект по созданию единого информационного пространства для муниципальных образований Российской Федерации РФ
6.3. Полнотекстовые базы данных
6.4. Технология аналитической обработки информации
6.5. Выводы по разделу.
7.ГЛАВА. ИСПОЛЬЗОВАНИЕ ОБЪЕКТНООРИЕНТИРОВАННОЙ МЕТОДОЛОГИИ ДЛЯ ПРОЕКТИРОВАНИЯ АСУ ТП И СИСТЕМ УПРАВЛЕНИЯ ОПФ
7.1. Основные определения объектноориентированной методологии.
7.2. Применение объектноориентированной методологии для разработки системы автоматизации нефтепромысла
7.3. Функциональное обеспечение
7.3.1. Пример проектирования функционального обеспечения УППН
7.3.1.1. Резервуары стальные.
7.3.1.2. Дренажные емкости.
7.3.1.3. Отстойники
7.3.1.4. Нефтегазосепараторы.
7.3.1.5. Печи нагревательные.
7.3.1.6. Газосепараторы
7.3.1.7. Насосы ЦНСн
7.3.1.8. Насосы ГДМ
7.3.1.9. Буферные емкости
7.3.1 АГЗУ.
7.4. Математическое обеспечение АСУ ТП.
7.5. Общесистемные компоненты АСУ ТП.
7.6 Программное обеспечение АСУ ТП.
7.6.2. Пример использование системы I в АСУТП.
7.6.2.1. Отображение структуры объекта.
7.6.2.2. Сервисное окно состояния контроля клапана.
7.6.2.3. Основные управляющие элементы.
7.6.2.4. Использование системы трендов для просмотра динамики изменения параметров
7.6.6.5. Просмотр и печать отчетов.
7.6.2.6. Просмотр аварийных сигналов.
7.6.5. Ii
7.6.6. iv
7.6.6.1. Отчеты в x
7.6.6.2.Построение собственных выборок с помощью генераторов
запросов.
7.6.6.4. Тренды в iv
7.6.6.5 Мнемосхемы техпроцесса в iv iv
7.7. Инфраструктура АСУТП
7.8. Серверы и компьютерное оборудование.
7.9. Программируемые логические контроллеры
7 Выводы по разделу
8. ЗАКЛЮЧЕНИЕ.
8.1. Научная новизна работы заключается в следующем.
8.2. Практическая ценность и результаты работ
8.3. На защиту выносятся следующие основные положения.
СПИСОК ЛИТЕРАТУРЫ


Рк, Р1 с Р , таких что Я и1 Для того чтобы
схемы отношений р и Р были эквивалентны, необходимо и достаточно выполнение следующих двух условий 1 декомпозиция р должна обладать свойством соединения без потерь и сохранить множество функциональных зависимостей. Проверить первое условие можно алгоритмом 1, известным, как правило Табло. Входные данные Схема отношений И Аь Аг,. Ап, множество функциональных зависимостей О и декомпозиция рРь. Нк. Выходные данные Решение о том, обладает ли декомпозиция РИ1. И свойством соединения без потерь. Метод Строим таблицу с п столбцами и к строками. Столбец у соответствует атрибуту А. И, . На пересечении строки и столбца у поместим символ ау ,если А принадлежит И. Повторно рассматриваем каждую из зависимостей X У в О до тех пор, пока в таблице невозможно будет сделать какиелибо изменения. Всякий случай, рассматривая зависимость X У, ищем строки, которые совпадают по всем столбцам, соответствующим атрибутам из X. При обнаружении двух таких строк отождествляем их символами в столбцах, соответствующим атрибутами из У. Если при этом один из отождествляемых символов равен а приравниваем и другой . Ь . Ьд или Ьц по своему усмотрению. После модификации строк таблицы указанным выше образом может обнаружиться, что некоторая строка стала равной а а. И и а О и их замыкания. Для вычисления множества замыканий существует множество алгоритмов 1 однако даже при небольших размерностях множества О, число функциональных зависимостей в Э может быть весьма велико, поэтому для нахождения О необходимы большие вычислительные затраты. Докажем одну лемму, связанную с эквивалентностью схем. Доказательство. Пусть Ак е А множеству атрибутов схемы отношений К является ключом. По определению ключа 2 Ак А, Ак В, Ак С, где означает функциональную зависимость. Из определения ключа следует также, что Ак А с Ая В с i и Ая С с 2 и нет никаких других зависимостей, не принадлежащих , следовательно, 2 Таким образом, выполнены оба условия эквивалентности схем. Используя доказанную лемму и правило Табло, были разработаны алгоритм и программный модуль для проверки корректности декомпозиции схем отношений. Осуществлять декомпозиции схем отношений, проще говоря, осуществляя функциональное и логическое проектирование ИТТ, необходимо при их практической реализации. Корректность произведенной декомпозиции обеспечивает целостность и информационное единство ИТТ. Например, лингвистического и информационного обеспечения САПР и САЙТ Глава 3. Определение математической модели информационных потоков является недостаточным условием для практического проектирования ИТТ. Для этого необходимы методологии и инструментальные системы. Проблемы, возникающие при использовании традиционной технологии проектирования программного обеспечения ИТТ, особенно ярко проявляются в процессе промышленной разработки больших проектов. Эти проблемы, как и сама технология, популярно описаны, например, в широко известной у нас в стране книге . Конечно, масштабы самих проектов значительно возросли, изменилась техника программирования, методы управления проектом и информационное обеспечение разработки, но, попрежнему, проблемой является начальная стадия разработки, как первоисточник последующих ошибок. А.Тьюринга, Э. Дейкстры, Дж. Д.Варнье, М. Джексона и Э. Йордона . Для разработки архитектуры конкретной ИТТ нужен был язык, с помощью которого можно было бы описывать их функционирование. В аэрокосмической промышленности США в качестве подобного языка был выбран Метод блочного моделирования, в котором блок определен как производственная ячейка или функциональная единица. За основу методологии блочного моделирования структурного анализа и проектирования была выбрана методология i i i , которая была разработана в начале х годов . I2 позволяет построить динамическую модель меняющегося во времени поведения функций, информации и ресурсов производственной системы или среды. Каждая из этих трех моделей или любое их сочетание позволяет сформировать Архитектуру среды моделируемой системы. Эта среда включает другие системы, организации или технологии, которые должны работать совместно для достижения общей цели производственной среды или системы.