- •230201-«Информационные системы в технике и технологиях»
- •Содержание
- •Раздел 1. Общая характеристика процесса проектирования. 9
- •Раздел 2. Структура информационно-логической модели ис. 51
- •Раздел 3. Разработка функциональной модели. Исходные данные для проектирования. 91
- •Раздел 4. Разработка модели и защита данных. Пользовательский интерфейс. Проект распределенной обработки. 124
- •Раздел 5. Структура программных модулей. Разработка алгоритмов. 151
- •Раздел 6. Логический анализ структур ис. Анализ и оценка производительности ис. 194
- •Раздел 7. Управление проектом ис. Проектная документация. 217
- •Раздел 8. Инструментальные средства проектирования ис. Типизация проектных решений. 238
- •Раздел 9. Графические средства представления проектных решений. Эксплуатация ис. 272
- •Раздел 1. Общая характеристика процесса проектирования.
- •Раздел 1. Общая характеристика процесса проектирования.
- •Раздел 2. Структура информационно-логической модели ис.
- •Раздел 3. Разработка функциональной модели. Исходные данные для проектирования.
- •Раздел 4. Разработка модели и защита данных. Пользовательский интерфейс. Проект распределенной обработки.
- •Раздел 5. Структура программных модулей. Разработка алгоритмов.
- •Раздел 6. Логический анализ структур ис. Анализ и оценка производительности ис.
- •Раздел 7. Управление проектом ис. Проектная документация.
- •Раздел 8. Инструментальные средства проектирования ис. Типизация проектных решений.
- •Раздел 9. Графические средства представления проектных решений. Эксплуатация ис.
- •Проектирование
- •Основные понятия технологии проектирования информационных систем
- •Классификация ис
- •Основные этапы развития ис
- •Этапы и стадии проектирования ис
- •Жизненный цикл информационной системы
- •Основные процессы:
- •Договорные процессы:
- •Каноническое проектирование ис
- •Типовое проектирование ис
- •Информационные системы в полиграфии
- •Электронная информация в издательском деле
- •Концепция сетевых издательств
- •Экономические выводы сетевых издательств
- •Раздел 2. Структура информационно-логической модели ис.
- •Раздел 1. Общая характеристика процесса проектирования.
- •Раздел 2. Структура информационно-логической модели ис.
- •Раздел 3. Разработка функциональной модели. Исходные данные для проектирования.
- •Раздел 4. Разработка модели и защита данных. Пользовательский интерфейс. Проект распределенной обработки.
- •Раздел 5. Структура программных модулей. Разработка алгоритмов.
- •Раздел 6. Логический анализ структур ис. Анализ и оценка производительности ис.
- •Раздел 7. Управление проектом ис. Проектная документация.
- •Раздел 8. Инструментальные средства проектирования ис. Типизация проектных решений.
- •Раздел 9. Графические средства представления проектных решений. Эксплуатация ис.
- •Построение информационно-логической модели
- •Информационные объекты
- •Выделение информационных объектов предметной области
- •Информационный анализ и определение логической структуры информации
- •Связи информационных объектов
- •Тип связи информационных объектов
- •Определение связей между информационными объектами
- •Информационно-логическая модель предметной области
- •Математические модели процессов функционирования информационных систем
- •Методы построения математических моделей ис на эвм и их применение в ис
- •Описание предлагаемого комплекса моделей
- •Модель процессов представления информации в условиях ненадежности программно-технических средств
- •Модель процессов массового обслуживания запросов на получение информации в системе
- •Модель процессов отражения в базе данных новых объектов учета предметной области
- •Модель процесса визуального контроля информации, вводимой в базу данных (бд)
- •Модель процесса возникновения и устранения случайных ошибок со стороны пользователей и обслуживающего персонала
- •Модель процессов сбора информации от источников
- •Сети Петри
- •Теория сетей Петри
- •Простые сети Петри
- •Цветные сети Петри
- •Раздел 3. Разработка функциональной модели. Исходные данные для проектирования.
- •Раздел 1. Общая характеристика процесса проектирования.
- •Раздел 2. Структура информационно-логической модели ис.
- •Раздел 3. Разработка функциональной модели. Исходные данные для проектирования.
- •Раздел 4. Разработка модели и защита данных. Пользовательский интерфейс. Проект распределенной обработки.
- •Раздел 5. Структура программных модулей. Разработка алгоритмов.
- •Раздел 6. Логический анализ структур ис. Анализ и оценка производительности ис.
- •Раздел 7. Управление проектом ис. Проектная документация.
- •Раздел 8. Инструментальные средства проектирования ис. Типизация проектных решений.
- •Раздел 9. Графические средства представления проектных решений. Эксплуатация ис.
- •Структурная модель предметной области
- •Объектная структура
- •Функциональная структура
- •Структура управления
- •Организационная структура
- •Техническая структура
- •Функционально-ориентированные и объектно-ориентированные методологии описания предметной области
- •Функциональная методика idef0
- •Функциональная методика потоков данных
- •Объектно-ориентированная методика
- •Сравнение существующих методик
- •Синтетическая методика
- •Информационное обеспечение ис
- •Внемашинное информационное обеспечение
- •Основные понятия классификации технико-экономической информации
- •Правила классификации продукции
- •Кодирование технико-экономической информации
- •Понятие унифицированной системы документации
- •Внутримашинное информационное обеспечение
- •Проектирование экранных форм электронных документов
- •Информационная база и способы ее организации
- •Раздел 4. Разработка модели и защита данных. Пользовательский интерфейс. Проект распределенной обработки.
- •Раздел 1. Общая характеристика процесса проектирования.
- •Раздел 2. Структура информационно-логической модели ис.
- •Раздел 3. Разработка функциональной модели. Исходные данные для проектирования.
- •Раздел 4. Разработка модели и защита данных. Пользовательский интерфейс. Проект распределенной обработки.
- •Раздел 5. Структура программных модулей. Разработка алгоритмов.
- •Раздел 6. Логический анализ структур ис. Анализ и оценка производительности ис.
- •Раздел 7. Управление проектом ис. Проектная документация.
- •Раздел 8. Инструментальные средства проектирования ис. Типизация проектных решений.
- •Раздел 9. Графические средства представления проектных решений. Эксплуатация ис.
- •Устройства ввода-вывода информации
- •Устройства ввода данных
- •Клавиатура
- •Компьютерная мышь
- •Сенсорные экраны
- •Устройства автоматизированного ввода информации
- •Устройства вывода информации
- •Мониторы
- •Принтеры
- •Другие устройства вывода информации
- •Требования к техническим средствам, поддерживающим ис
- •Аппаратные средства сетей
- •Типовые структуры
- •Организации и их структуры
- •Типовые структуры организационных систем (ос)
- •Сетевые структуры организационных систем (ос)
- •Свойства типовых структур организационных систем (ос)
- •Моделирование данных
- •Базовые понятия erd
- •Метод idefi
- •Защита данных
- •Аудит информационной защиты компании
- •2. Анализ структуры локальной вычислительной сети (лвс).
- •3. Анализ серверного оборудования и северного программного обеспечения
- •4. Аудит системы защиты периметра сети.
- •5. Анализ конфигурации клиентских рабочих мест
- •6. Анализ состояния эксплуатационной документации
- •7. Тест на проникновение в систему.
- •Создание системы защиты периметра локальной сети
- •Межсетевой экран
- •Система обнаружения атак
- •Почтовая система
- •Антивирусное по
- •Серверы, расположенные в дмз
- •Разработка пользовательского интерфейса
- •Разработка эффективных форм
- •Проектирование форм ввода данных
- •Работа с несколькими формами
- •Эффективные меню
- •Ощущение скорости
- •Информирование пользователя о ходе процесса
- •Выводы по проектированию пользовательского интерфейса
- •Организация распределенных ис на основе вычислительных сетей
- •Раздел 5. Структура программных модулей. Разработка алгоритмов.
- •Раздел 1. Общая характеристика процесса проектирования.
- •Раздел 2. Структура информационно-логической модели ис.
- •Раздел 3. Разработка функциональной модели. Исходные данные для проектирования.
- •Раздел 4. Разработка модели и защита данных. Пользовательский интерфейс. Проект распределенной обработки.
- •Раздел 5. Структура программных модулей. Разработка алгоритмов.
- •Раздел 6. Логический анализ структур ис. Анализ и оценка производительности ис.
- •Раздел 7. Управление проектом ис. Проектная документация.
- •Раздел 8. Инструментальные средства проектирования ис. Типизация проектных решений.
- •Раздел 9. Графические средства представления проектных решений. Эксплуатация ис.
- •Лингвистическое обеспечение ис
- •Языки программирования для создания информационных систем
- •Ассемблер
- •Программное обеспечение ис
- •Разнородность информации
- •Методы представления графической информации
- •Текстовые данные в мультимедиа
- •Звуковая информация
- •Межпрограммный интерфейс
- •Распределенные базы данных
- •Определение Дэйта
- •Целостность данных
- •Архитектура "клиент-сервер"
- •Средства и методологии проектирования, разработки и сопровождения Intranet и Internet-приложений
- •Основные понятия Intranet
- •Языки и протоколы
- •Серверы Intranet
- •Возможные архитектуры Intranet-приложений
- •Раздел 6. Логический анализ структур ис. Анализ и оценка производительности ис.
- •Раздел 1. Общая характеристика процесса проектирования.
- •Раздел 2. Структура информационно-логической модели ис.
- •Раздел 3. Разработка функциональной модели. Исходные данные для проектирования.
- •Раздел 4. Разработка модели и защита данных. Пользовательский интерфейс. Проект распределенной обработки.
- •Раздел 5. Структура программных модулей. Разработка алгоритмов.
- •Раздел 6. Логический анализ структур ис. Анализ и оценка производительности ис.
- •Раздел 7. Управление проектом ис. Проектная документация.
- •Раздел 8. Инструментальные средства проектирования ис. Типизация проектных решений.
- •Раздел 9. Графические средства представления проектных решений. Эксплуатация ис.
- •Численные методы построения математических моделей
- •Структурный анализ
- •Диаграммы потоков данных
- •Описание потоков данных и процессов
- •Расширения для систем реального времени
- •Расширение возможностей управления
- •Методы анализа, ориентированные на структуры данных
- •Метод анализа Джексона
- •Методика Джексона
- •Шаг объект-действие
- •Шаг объект-структура
- •Шаг начального моделирования
- •Методы тестирования
- •Метод «Белого ящика»
- •Метод «Черного ящика»
- •Подходы к оценке систем
- •Раздел 7. Управление проектом ис. Проектная документация.
- •Раздел 1. Общая характеристика процесса проектирования.
- •Раздел 2. Структура информационно-логической модели ис.
- •Раздел 3. Разработка функциональной модели. Исходные данные для проектирования.
- •Раздел 4. Разработка модели и защита данных. Пользовательский интерфейс. Проект распределенной обработки.
- •Раздел 5. Структура программных модулей. Разработка алгоритмов.
- •Раздел 6. Логический анализ структур ис. Анализ и оценка производительности ис.
- •Раздел 7. Управление проектом ис. Проектная документация.
- •Раздел 8. Инструментальные средства проектирования ис. Типизация проектных решений.
- •Раздел 9. Графические средства представления проектных решений. Эксплуатация ис.
- •Цифровое и аналоговое моделирование
- •Цифровое моделирование
- •Аналоговое моделирование
- •Полунатурное моделирование
- •Имитационное моделирование
- •Математическое обеспечение сапр
- •Требования к математическому обеспечению
- •Универсальность
- •Алгоритмическая надежность
- •Точность
- •Затраты машинного времени
- •Используемая память
- •Требования к математическим моделям
- •Классификация математических моделей
- •Математические модели на микро-, макро- и метауровнях
- •Статистический анализ
- •Методика получения математических моделей элементов и устройств автоматизации
- •Оценка точности модели
- •Современное прикладное программное обеспечение для решения задачи моделирования ис
- •Раздел 8. Инструментальные средства проектирования ис. Типизация проектных решений.
- •Раздел 1. Общая характеристика процесса проектирования.
- •Раздел 2. Структура информационно-логической модели ис.
- •Раздел 3. Разработка функциональной модели. Исходные данные для проектирования.
- •Раздел 4. Разработка модели и защита данных. Пользовательский интерфейс. Проект распределенной обработки.
- •Раздел 5. Структура программных модулей. Разработка алгоритмов.
- •Раздел 6. Логический анализ структур ис. Анализ и оценка производительности ис.
- •Раздел 7. Управление проектом ис. Проектная документация.
- •Раздел 8. Инструментальные средства проектирования ис. Типизация проектных решений.
- •Раздел 9. Графические средства представления проектных решений. Эксплуатация ис.
- •Инструментальные средства проектированя
- •Унифицированный язык визуального моделирования
- •Синтаксис и семантика основных объектов uml
- •Диаграммы классов
- •Диаграммы использования
- •Диаграммы последовательностей
- •Кооперативные диаграммы
- •Диаграммы состояний
- •Диаграммы деятельности
- •Диаграммы компонентов
- •Пакеты uml
- •Анализ и синтез систем управления
- •Частотный метод анализа и синтеза систем управления
- •Основные понятия частотного метода
- •Значение частотного метода в теории управления
- •Связь частотных характеристик с передаточными функциями
- •Амплитудно-фазовые частотные характеристики системы управления
- •Вещественные и мнимые частотные характеристики системы управления. Амплитудно-фазовая характеристика.
- •Логарифмические амплитудно-частотные характеристики системы управления (лачх)
- •Лачх элементарных звеньев
- •Фазовые частотные характеристики элементарных звеньев и их соединений
- •Порядок синтеза системы управления по логарифмическим частотным характеристикам
- •Построение частотных характеристик неизменяемой части системы
- •Определение требований к точности и качеству переходных процессов
- •Построение желаемой лачх разомкнутой системы
- •Вычисление лачх последовательного корректирующего устройства
- •Временной метод анализа, основанный на переходных характеристиках и интеграле Дюамеля
- •Переходные характеристики цепи
- •Интеграл Дюамеля и его применение
- •Импульсная характеристика цепи
- •Связь временных и частотных характеристик цепи
- •Корневой метод
- •Основные понятия и определения теории кг.
- •Логика построения эскиза корневого годографа характеристического уравнения
- •Атлас примеров построения корневых годографов
- •Современное прикладное программное обеспечение для решения задач анализа и синтеза су
- •Раздел 9. Графические средства представления проектных решений. Эксплуатация ис.
- •Раздел 1. Общая характеристика процесса проектирования.
- •Раздел 2. Структура информационно-логической модели ис.
- •Раздел 3. Разработка функциональной модели. Исходные данные для проектирования.
- •Раздел 4. Разработка модели и защита данных. Пользовательский интерфейс. Проект распределенной обработки.
- •Раздел 5. Структура программных модулей. Разработка алгоритмов.
- •Раздел 6. Логический анализ структур ис. Анализ и оценка производительности ис.
- •Раздел 7. Управление проектом ис. Проектная документация.
- •Раздел 8. Инструментальные средства проектирования ис. Типизация проектных решений.
- •Раздел 9. Графические средства представления проектных решений. Эксплуатация ис.
- •Графические средства представления проектных решений. Проектирование ис с применением uml
- •Разработка модели прецедентов
- •Разработка модели объектов
- •Разработка концептуальной модели данных
- •Разработка требований к системе
- •Анализ требований и предварительное проектирование системы.
- •Разработка моделей базы данных и приложений
- •Проектирование физической реализации системы
- •Список литературы
-
Цветные сети Петри
Расширение простых сетей в цветные заключается в добавлении информации к элементам сети, основываясь на которой, при определённых условиях, можно преобразовать цветные сети в простые ([8]).
1. Токены вместо простого обозначения содержимого места преобразуются в объект, который может содержать в себе один или более параметров, каждый из которых может принимать дискретный набор значений. В соответствии с этим токены различаются по типам параметров (переменных). Чтобы отличать токены различных типов их можно окрашивать в различные цвета (поэтому сети называют цветными)
2. К местам добавляется информация о типах токенов, которые могут находится в данном месте.
3. К дугам, исходящим из мест, добавляется информация о типах токенов, которые могут участвовать в возбуждении переходов, инцидентных этим дугам.
4. К переходам может быть добавлена информация с предикатом возбуждения перехода, в зависимости от переменных, содержащихся в токенах.
(and )
5. К дугам, исходящим из переходов, добавляется информация о типах токенов, исходящих из перехода и о преобразовании переменных.
6. К начальной маркировке сети добавляется информация о значении переменных, содержащихся в токенах.
В графическом представлении информацию, которую можно однозначно достроить из сопутствующей информации, можно пропускать. Приведем пример цветной сети Петри (Рис. 6)
Рис. 6: Пример цветной сети Петри (очередь)
На первый взгляд кажется, что представление цветной сети выглядит так, что каждая из дуг, выходящая из перехода, содержит некоторое действие. В действительности же, при преобразовании цветной сети в простую, все действия переходят в структуру сети. Это достигается разбиением мест и переходов на количество равное декартову произведению множества всех значений всех типов данных, соответствующих этим местам и переходам. При этом все переменные в сети получаются уже заданными и вместо дуг цветной сети рисуются дуги, соединяющие места и переходы, согласно своим “цветным” описаниям.
В описании цветных сетей нет принципиального ограничения на используемые переменные. Тем не менее, преобразование цветной сети в простую возможно только тогда, когда все переменные имеют дискретный спектр значений.
Точки доступа в цветной сети
S-точка доступа. Как видно из определения s-точки доступа, она задаётся множеством маркировок, которые считаются эквивалентными в смысле наступления состояний, определённых этими маркировками, в синхронизируемых по s-точке доступа сетях. При задании s-точки доступа в цветной сети, маркировки могут содержать в себе места, в которые могут поступать токены различных типов. Такие места при преобразовании в простую сеть разбиваются на множество мест, количество которых равно мощности множества значений токенов допустимых в этом месте. Согласно смыслу операции мы обязаны будем в синхронизированной сети раздробить эти места, чтобы удовлетворить множеству значений токенов во второй сети. Получается, что при синхронизации мест одинакового типа (с одинаковыми допустимыми типами токенов) значение параметров одной сети никак не влияет на значение параметров другой, то есть смысл операции в цветных и простых сетях может пониматься по-разному. Чтобы этого избежать, надо доопределить s-точку доступа:
Определение:
Пусть заданы: цветная сеть N и С – множество типов токенов в этой сети. Тогда s-точкой доступа сети N называется набор , где
1. - имя (идентификатор) s-точки доступа;
2. - некоторый алфавит;
3. - множество такое, что .
4. , где , причём если . - пометочная функция мест, ставящая в соответствие каждому типу токена в месте уникальное имя из алфавита.
В операции слияния цветных сетей по местам, необходимо убрать расщепление мест по токенам с определёнными именами. Фактически, это означает переопределение операции слияния по одной s-точке доступа в простых сетях в операцию слияния серии точек доступа цветных сетей, пронумерованных значениями параметров с именами. Можно показать, что изменённая таким образом операция не меняет своих свойст.
Рис. 7: Пример слияния цветных сетей Петри по S-точке доступа
T-точка доступа. При синхронизации по t-точке доступа используется информация о пометке переходов, участвующих в синхронизации. При преобразовании цветных сетей в простые, переходы расщепляются на количество, равное мощности множества значений принимаемых всеми токенами, поступающими в переход. В связи с этим возникает возможность параметризации пометки перехода выражениями, содержащими переменные поступающие в переход.
Рис. 8: Пример слияния цветных сетей по T-точке доступа
На приведённом ниже примере видно, как параметризованный переход, преобразуется в простые сети.
Рис. 9: T-Слияние простых сетей из рисунка 8.
Рис. 10: Представление композициональных сетей Петри на уровне взаимодействия сетей.