Публикации в сборнике ИИММ КНЦ РАН «Информационные технологии поддержки принятия решений «/ Под ред. Путилова В.А. –Апатиты: Изд-во КНЦ РАН, 1997 (вып. в 1998), 168 с.
Введение
Настоящий сборник продолжает серию тематических сборников, ежегодно издаваемых Кольским научным центром РАН с 1989 г., посвященных вопросам разработки и применения информационных технологий. Включены работы, представляющие результаты исследований Института информатики и математического моделирования Кольского научного центра РАН и ряда других научных учреждений и вузов. Материалы отражают современные тенденции в развитии информационных технологий. В первую очередь — это создание информационных сетей, распределенных баз данных и интеллектуализированных систем поддержки принятия решений на различных уровнях управления — от отдельного производственного процесса или предприятия до региональных административных и производственных структур.
Сборник состоит из двух частей. Первая объединяет публикации, посвященные проблемам разработки и создания самих информационных технологий и систем. Рассматриваются методологические вопросы разработки информационных технологий, развития информационной инфраструктуры и примеры практической реализации информационных средств поддержки принятия решений. Предлагаются методы, формальные модели и алгоритмы, обеспечивающие автоматизированное решение ряда задач, возникающих на различных этапах эксплуатации информационных систем. Представлены некоторые результаты в области исследований свойств и возможностей практического приложения подкласса нечетких интервальных языков.
Во второй части представлены практические приложения информационных технологий в области управления и контроля за производственными и социально-экономическими процессами. Приводятся результаты анализа особенностей разработки и использования средств поддержки принятия решений в зависимости от предметной области. Основное внимание уделяется значению информационных технологий в решении задачи повышения безопасности промышленных объектов и технологических процессов, наиболее характерных для Мурманской области. Рассматриваются модели, методики и средства автоматизации диагностики и управления в сфере химической, горнодобывающей промышленности и экономики.
Содержание
Часть 1. Поддержка принятия решений: проблемы, методы, средства.
- Малыгина С.Н., Олейник А.Г., Олейник О.В., Фридман А.Я. Формализация задачи анализа базы знаний продукционной экспертной системы.-С. 6 — 20.
- Олейник А.Г., Олейник О.В., Фридман А.Я. Реализация оболочки экспертной системы в среде СУБД FoxРro. -С. 20 — 30.
- Фильчаков В.В., Богданов Д.В. Метод генерации плана выполнения проекта на основе концептуальной модели технологии.-С. 31 — 41.
- Матвеев П.И., Степунин Ю.М. Вариант функциональной классификации систем поддержки принятия решений на основе ГИС.-С. 31 — 42.
- Асминг В.Э., Кузьмин И.А. О некоторых подходах к построению больших программных систем.-С. 49 — 55.
- Шишаев М.Г. Обобщенная функционально-алгоритмическая структура распределений информационной системы.-С. 55 — 63.
- Дружинин Б.Н. Оценка минимального числа элементов при построении полнодоступных цифровых пространственных коммутаторов.-С. 63 — 67.
- Бураков В.В., Жаков В.И., Фильчаков В.В. Метод генерации проектной документации на основе диаграмм потоков данных.-С. 68 — 79.
- Бойков С.А. Метод представления структуры символьных выражений в памяти компьютера.-С. 80 — 83.
- Бойков С.А. Оптимальный алгоритм вычисления праволинейного языка по фиксированным множествам начальных и конечных состояний.-С 83 — 85.
Часть 2. Практические приложения информационных технологий поддержки принятия решений.
- Матвеев П.И. ГИС — функциональная оболочка системы поддержки принятия решений в сфере регионального управления.-С. 86 — 91.
- Яковлев С.Ю. Гринберг И.Н., Ржевский Б.Н. О декларировании безопасности промышленных объектов.-С. 91 — 98.
- Карначев И.П., Исакевич Н.В. Исследование вопросов управления безопасностью хранилища хлора.-С. 98 — 107.
- Говоров В.В., Мещеряков Г.В., Вент Д.П., Карначев И.П. Подход к диагностике информационно-измерительных каналов с применением гибридных экспертных систем.-С. 107 — 111.
- Артамонова Л.А., Халепа Н.В., Богатиков В.Н., Вент Д.П. О порядке расчета аппаратов при анализе структуры сложных ХТС.-С. 112 — 117.
- Богатиков В.Н., Куперман В.Г., Мартыненко И.Б., Палюх Б.В. Построение системы диагностики и управления на основе дискретной модели на примере технологических процессов производства слабой азотной кислоты (САК). -С. 117 — 123.
- Легашов М.А., Исакевич Н.В. О возможной фрактальности очага горного удара.-С. 124 — 128.
- Горохов А.В., Котомин А.Б., Вербиненко Е.А. Пути снижения валовой задолженности предприятий региона: информационный аспект (на примере Мурманской области). -С. 128 — 137.
- Мартынова Л.В. Оптимизационная модель инвестирования предприятия в условиях рынка.-С. 137 — 146.
УДК 681.3
С.Н. Малыгина, А.Г. Олейник, О.В. Олейник, А.Я. Фридман
ФОРМАЛИЗАЦИЯ ЗАДАЧИ АНАЛИЗА БАЗЫ ЗНАНИЙ ПРОДУКЦИОННОЙ ЭКСПЕРТНОЙ СИСТЕМЫ
Аннотация
Предложен вариант формализации задачи анализа корректности структуры базы знаний (БЗ) продукционной экспертной системы (ЭС) в рамках теоретико-множественного подхода. Формальное описание набора данных и системы правил ЭС определяет структуру и особенности алгоритмов автоматизированного контроля корректности БЗ на различных этапах работы с системой. Разработан алгоритм анализа БЗ, представляемой в виде совокупности графов достижимости всех декларированных в БЗ целевых данных, который позволяет проверить возможность их вывода из множества данных-листьев (построить граф достижимости целей). Варианты этого алгоритма применяются для модификации графов вывода в зависимости от ограничений на использование данных, которые можно устанавливать на время выполнения каждой конкретной экспертизы. Ил. — 3, библ. — 6 назв.
УДК 681.3
Олейник А.Г., Олейник О.В., Фридман А.Я.
РЕАЛИЗАЦИЯ ОБОЛОЧКИ ЭКСПЕРТНОЙ СИСТЕМЫ В СРЕДЕ СУБД FOXРRO
Аннотация
Раcсматривается оболочка экспертной системы (ЭС), реализованная в среде СУБД FoxРro. ЭС позволяет проводить экспертизу в двух вариантах: традиционном — для одиночного объекта экспертизы, когда поддерживается интерактивный режим работы с пользователем, и пакетном, когда ЭС работает с массивом однотипных объектов. При сопровождении базы знаний (БЗ) ЭС предполагается, что параметры и переменные могут иметь вероятностное описание и возможны инструментальные погрешности при их измерении. Объяснение итогов экспертизы реализуется путем демонстрации цепочки следования правил. Допускается демонстрация цепочки вывода для отдельного данного и/или его конкретного значения по запросу пользователя. Ил.- 4, библ. — 5 назв.
УДК 681.3.06
Фильчаков В.В., Богданов Д.В.
МЕТОД ГЕНЕРАЦИИ ПЛАНА ВЫПОЛНЕНИЯ ПРОЕКТА НА ОСНОВЕ КОНЦЕПТУАЛЬНОЙ МОДЕЛИ ТЕХНОЛОГИИ
Аннотация
Дано описание декларативной концептуальной модели технологии, как формального представления обобщенного технологического цикла разработки сложных систем. Определены формализованные условия корректности концептуальной модели, обеспечивающие возможность автоматизированного анализа корректности и разрешимости модели. Предложены механизмы синтеза последовательностей работ из концептуальной модели технологии посредством вспомогательных моделей. Для описания параллелизма в выполнении работ и обеспечения возможности автоматической генерации альтернативных последовательностей используются иерархические временные сети Петри. Ил. -1, библ. — 3 назв.
УДК 681.3
Матвеев П.И., Степунин Ю.М.
ВАРИАНТ ФУНКЦИОНАЛЬНОЙ КЛАССИФИКАЦИИ СИСТЕМ ПОДДЕРЖКИ ПРИНЯТИЯ РЕШЕНИЙ НА ОСНОВЕ ГИС
Аннотация
Рассматривается постадийный процесс принятия решения и предлагается вариант классификации систем поддержки принятия решения (СППР) по нескольким критериям: по масштабу, способу реализации, функциональному назначению и времени реализации систем. Приводится пример классификации СППР по материалам зарубежной печати. Ил. — 1, табл. — 1, библ. — 10 назв.
УДК 681.142
Асминг В.Э., Кузьмин И.А.
О НЕКОТОРЫХ ПОДХОДАХ К ПОСТРОЕНИЮ БОЛЬШИХ ПРОГРАММНЫХ СИСТЕМ
Аннотация
Трудности разработки программных систем резко возрастают с увеличением их объема. Описаны несколько оригинальных приемов решения этой проблемы, реализованных в специализированном текст-процессоре SP3 для языка Турбо-Паскаль. Во второй части статьи приводится обзор некоторых проблем, существующих в современном программировании в целом и предлагается один из возможных вариантов их решения. Библ. — 1 назв.
УДК 681.324
Шишаев М.Г.
ОБОБЩЕННАЯ ФУНКЦИОНАЛЬНО-АЛГОРИТМИЧЕСКАЯ СТРУКТУРА РАСПРЕДЕЛЕНИЙ ИНФОРМАЦИОННОЙ СИСТЕМЫ
Аннотация
Рассматривается проблема формализованного представления функционально-алгоритмической структуры распределенных информационных систем (РИС). Проводится сравнение ведущих сетевых архитектур с моделью OSI. Предлагается вариант обобщенного представления функционально-алгоритмической структуры. Делается вывод о целесообразности такого обобщения на начальных стадиях проектирования РИС. Ил. — 5, библ. — 6 назв.
УДК 621.395.345
Дружинин Б.Н.
ОЦЕНКА МИНИМАЛЬНОГО ЧИСЛА ЭЛЕМЕНТОВ ПРИ ПОСТРОЕНИИ ПОЛНОДОСТУПНЫХ ЦИФРОВЫХ ПРОСТРАНСТВЕННЫХ КОММУТАТОРОВ
Аннотация
Рассмотрены вопросы подсчета минимально необходимого числа коммутаторов 2х2 для построения полнодоступных и неполнодоступных пространственных коммутаторов с заданной максимальной нагрузкой. Ил -3, библ. — 4 назв.
УДК 681.3.06
Бураков В.В., Жаков В.И., Фильчаков В.В.
МЕТОД ГЕНЕРАЦИИ ПРОЕКТНОЙ ДОКУМЕНТАЦИИ НА ОСНОВЕ ДИАГРАММ ПОТОКОВ ДАННЫХ
Аннотация
Рассмотрена задача генерации выражений естественного языка на основе формальной модели предметной области, полученной на этапе структурного анализа. На начальном этапе описание структурных диаграмм, являющихся статической моделью предметной области, преобразуется к описанию структурами формального языка декларативного характера. Для отображения семантики информации, заключённой в операционной диаграмме, используется аппарат семантических сетей. Приводится пример, иллюстрирующий общие механизмы преобразования операционной диаграммы в текст. Ил.- 3, табл. — 3, библ. — 5 назв.
УДК 519.713
Бойков С.А.
МЕТОД ПРЕДСТАВЛЕНИЯ СТРУКТУРЫ СИМВОЛЬНЫХ ВЫРАЖЕНИЙ В ПАМЯТИ КОМПЬЮТЕРА
Аннотация
Предложен экономический, с точки зрения объема используемой памяти, способ представления регулярных выражений языков в памяти вычислительной системы. Рассмотрены методы упрощения этих выражений. Библ. — 1 назв.
УДК 519.713
Бойков С.А.
ОПТИМАЛЬНЫЙ АЛГОРИТМ ВЫЧИСЛЕНИЯ ПРАВОЛИНЕЙНОГО ЯЗЫКА ПО ФИКСИРОВАННЫМ МНОЖЕСТВАМ НАЧАЛЬНЫХ И КОНЕЧНЫХ СОСТОЯНИЙ
Аннотация
Посвящена разработке оптимального алгоритма вычисления языков, отмеченных множествами начальных и конечных состояний конечного автомата. Показана эффективность применения алгоритма. Библ. — 2 назв.
Часть 2. Практические приложения информационных технологий поддержки принятия решений
УДК 681.3
Матвеев П.И.
ГИС — ФУНКЦИОНАЛЬНАЯ ОБОЛОЧКА СИСТЕМЫ ПОДДЕРЖКИ ПРИНЯТИЯ РЕШЕНИЙ В СФЕРЕ РЕГИОНАЛЬНОГО УПРАВЛЕНИЯ
Аннотация
Рассматривается вариант построения системы поддержки принятия решений (СППР) в сфере регионального управления на базе ГИС и распределенных специализированных баз данных. ГИС используется в качестве функциональной оболочки, которая обеспечивает возможность постановки задачи и эффективное управление информацией, позволяя объединять данные различных источников в единую среду совместного пользования. Делается вывод о целесообразности создания СППР с иерархической структурой на основе ГИС-технологий и баз данных проблемно-ориентированных информационных центров, объединенных в единую интерсеть средствами глобальных коммуникаций. Ил. — 1, библ. — 7 назв.
УДК 614.8:331.461:681.5.017
Яковлев С.Ю., Гринберг И.Н., Ржевский Б.Н.
О ДЕКЛАРИРОВАНИИ БЕЗОПАСНОСТИ ПРОМЫШЛЕННЫХ ОБЪЕКТОВ
Аннотация
Выполнен обзор состояния проблемы декларирования безопасности промышленных объектов. Особое внимание уделено вопросу анализа безопасности промышленного объекта. Выделены и описаны основные информационные блоки, определяющие содержание декларации. Выявлены трудности и узкие места. Даны предложения по их преодолению, намечены направления дальнейших исследований. Ил. — 1, библ. — 20 назв.
УДК 622.699.286:658.382.3
Карначев И.П., Исакевич Н.В.
ИССЛЕДОВАНИЕ ВОПРОСОВ УПРАВЛЕНИЯ БЕЗОПАСНОСТЬЮ ХРАНИЛИЩА ХЛОРА
Аннотация
Рассматривается анализ методик количественной оценки величины выбросов хлора при его разливе и утечки в хранилище, с учетом поэтапного образования и распространения облаков хлора. Табл.- 1, библ. — 12 назв.
УДК 658.58:658.562
В.В. Говоров, Г.В. Мещеряков, Д.П. Вент, И.П. Карначев
ПОДХОД К ДИАГНОСТИКЕ ИНФОРМАЦИОННО-ИЗМЕРИТЕЛЬНЫХ КАНАЛОВ С ПРИМЕНЕНИЕМ ГИБРИДНЫХ ЭКСПЕРТНЫХ СИСТЕМ
Аннотация
Рассматривается обнаружение зарождающихся неисправностей и неполадок программно-технического комплекса (ПТК) АСУТП. Функциональное наполнение программных средств технической диагностики ИИК разрабатывается на основе эвристической модели творческой деятельности исследователя при описании и оценке состояний химико-технологической системы (ХТС) и САУ, которые действуют как единая кибернетическая система. Эта модель предусматривает постановку задачи исследования ХТС и диагностики ИИК, классификацию и характеристику уровней знаний, декомпозицию общей задачи на формализуемые и неформализуемые подзадачи. Библ. — 6 назв.
УДК 66.0:007:519.673
Л.А. Артамонова, Н.В. Халепа, В.Н. Богатиков, Д.П Вент.
О ПОРЯДКЕ РАСЧЕТА АППАРАТОВ ПРИ АНАЛИЗЕ СТРУКТУРЫ СЛОЖНЫХ ХТС
Аннотация
Рассматривается один из перспективных методов анализа ХТС, которым является структурный метод. Достоинством данного метода является возможность формализации основных этапов анализа сложной структурной схемы и использования хорошо разработанного аппарата линейной алгебры. Приводится описание алгоритма и его программной реализации.
УДК 658.58:658.562
В.Н. Богатиков, В.Г. Куперман, И.Б. Мартыненко, Б.В. Палюх
ПОСТРОЕНИЕ СИСТЕМЫ ДИАГНОСТИКИ И УПРАВЛЕНИЯ НА ОСНОВЕ ДИСКРЕТНОЙ МОДЕЛИ НА ПРИМЕРЕ ТЕХНОЛОГИЧЕСКИХ ПРОЦЕССОВ ПРОИЗВОДСТВА СЛАБОЙ АЗОТНОЙ КИСЛОТЫ (САК)
Аннотация
На примере производства слабой азотной кислоты рассмотрено построение структуры системы диагностики состояний на основе применения дискретных моделей технологических процессов. Разработанная ГАСТД предназначена для оперативной помощи обслуживающему персоналу химических производств в деле ранней диагностики медленно развивающихся отказов, распознавании предаварийных состояний производства, принятии решений по поиску, устранению неполадок и выводу процесса в состояние нормальной работоспособности. Ил. — 3, библ.- 4 назв.
УДК 622.831.32
Легашов М.А., Исакевич Н.В.
О ВОЗМОЖНОЙ ФРАКТАЛЬНОСТИ ОЧАГА ГОРНОГО УДАРА
Аннотация
Обосновано предположение о фрактальной структуре очага горного удара. Предложена мультифрактальная интерпретация взаимосвязи процесса подготовки мощного динамического события и фрактальной размерности очага разрушения. Описана методика ретроспективного анализа данных натурных наблюдений, обеспечивающая проверку выдвинутых гипотез. Библ.- 10 назв.
УДК 681.3:658.155
Горохов А.В., Котомин А.Б., Вербиненко Е.А.
ПУТИ СНИЖЕНИЯ ВАЛОВОЙ ЗАДОЛЖЕННОСТИ ПРЕДПРИЯТИЙ РЕГИОНА: ИНФОРМАЦИОННЫЙ АСПЕКТ (НА ПРИМЕРЕ МУРМАНСКОЙ ОБЛАСТИ)
Аннотация
Сформулирована проблема роста валовой задолженности и пути реализации процедур взаимозачета между предприятиями региона, бюджетом и фондами с целью ее снижения, и обеспечения нормального функционирования предприятий и хозяйственных связей между ними. Рассмотрен сложившийся механизм взаимозачетов. Даны основы формализации задач, решаемых данным механизмом, на базе концептуального моделирования с использованием знаний экспертов. Предложена структура соответствующей инструментальной системы. Библ. — 21 назв.
УДК 681.3:658.155
Мартынова Л.В.
ОПТИМИЗАЦИОННАЯ МОДЕЛЬ ИНВЕСТИРОВАНИЯ ПРЕДПРИЯТИЯ
В УСЛОВИЯХ РЫНКА
Аннотация
Предлагается оптимизационная модель инвестирования предприятий в условиях рынка для эффективного текущего функционирования предприятий. Показаны расчеты таких показателей эффективности самого проекта, как срок окупаемости, внутренняя норма доходности, рентабельность текущего инвестиционного проекта. Библ. — 4 назв.