Публикации в сборнике «Модели социальных, технологических и образовательных процессов» /Под ред.  Путилова В.А. — Апатиты:
Изд-во КНЦ РАН, 2001, 137 с.

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

Содержание

  1. Путилов В.А., Олейник А.Г. Основные направления развития информационных технологий для обеспечения устойчивого развития индустриальных районов Российской Арктики. — С. 6-10.
  2. Горохов А.В. Формализация понятия “устойчивое развитие” для социально-экономических систем. — С. 11-13.
  3. Фридман А.Я. Постановка вычислительного эксперимента в ситуационной системе моделирования. — С. 14-19.
  4. Фридман А.Я., Фридман О.В., Павлецов А.А., Богатиков В.Н. Организация имитационного режима в ситуационной системе моделирования. — С. 20-32.
  5. Богатиков В.Н., Фридман А.Я., Макаров В.С., Егоров А.Ф., Палюх Б.В. Проектирование программных средств системы баз данных и построения дискретной модели. — С. 50-61.
  6. Макаров В.С., Богатиков В.Н., Фридман А.Я., Фридман О.В., Палюх Б.В. Анализ опасностей технологических режимов на основе бинарных отношений (на примере процесса ионной флотации редкоземельных элементов. — С. 62-69.
  7. Печерица Е.В., БогатиковВ.Н., Фридман А.Я., ВентД.П. Проектирование программы концептуального моделирования на примере выпарной установки производства хлора и каустика. — С. 70-77.
  8. Яковлев С.Ю., Каспарьян Э.В., Вьялкова Н.Ю. Программа оценки геомеханического состояния приконтурного массива вокруг подземных радиационно опасных объектов (горизонтальные цилиндрические выработки. — С. 78-81.
  9. Карначев И.П., Гарипов Д.Г., Беркман М.И. К построению модели техногенной электропроводности при проведении электровзрывных работ на горнодобывающих предприятиях Кольского Севера. — С. 82-84.
  10. Фаныгин С.А. Представление нечётких знаний в моделях системной динамики. — С. 85-86.
  11. Викторовский С.А., Малыгина С.Н. Разработка динамической модели экономической подсистемы города Апатиты. — С. 87-89.
  12. Федоров А.М., Шишаев М.Г. Проблема удаленного доступа к картографическим (пространственным) данным. — С. 90-92.
  13. Сагидова М.Л., Фридман А.Я. Реализация интерфейса ГИС и концептуальной модели в ситуационной системе вычислительного эксперимента. — С. 93-98.
  14. Шишаев М.Г., Удовенко О.В., Болонишникова С.В. Системы классифицирования, учета информационных источников и образовательных проектов. — С. 99-105.
  15. Шишаев М.Г., Мустаев Р.В., Удовенко О.В. Система формирования индексов в иерархической классификационной схеме. — С. 106-110.
  16. Шишаев М.Г., Пашкин Д.В. Интегрированная система информационной поддержки образовательных процессов. — С. 117-119.
  17. Верхотина А.В., Мальков М.В. Центр дистанционного образования в сети Интернет. — С. 120-121.
  18. Желудев М.В. Октаэдральная группа. Модели социальных, технологических и образовательных процессов. — С. 122-125.


УДК 681.3
Путилов В.А., Олейник А.Г.
ОСНОВНЫЕ НАПРАВЛЕНИЯ РАЗВИТИЯ ИНФОРМАЦИОННЫХ ТЕХНОЛОГИЙ ДЛЯ ОБЕСПЕЧЕНИЯ УСТОЙЧИВОГО РАЗВИТИЯ ИНДУСТРИАЛЬНЫХ РАЙОНОВ РОССИЙСКОЙ АРКТИКИ

Аннотация
Рассмотрены основные направления развития информационных технологий с точки зрения обеспечения устойчивого развития Северных регионов России. Проведен обзор примеров разработки и создания информационных систем на основе концептуального моделирования. Представлены примеры использования таких систем в различных сферах деятельности.
Библиогр. — 22.


УДК 681.3
Горохов А.В.
ФОРМАЛИЗАЦИЯ ПОНЯТИЯ “УСТОЙЧИВОЕ РАЗВИТИЕ” ДЛЯ СОЦИАЛЬНО-ЭКОНОМИЧЕСКИХ СИСТЕМ

Аннотация
Предпринята попытка дать определение термину “устойчивое развитие” для применения его в качестве глобальной цели при моделировании социально-экономических систем как город и регион. В качестве примера получена стратегия устойчивого развития на динамической модели г. Апатиты. Ил. — 2, библиогр. — 4.


УДК 681.3
Фридман А.Я.
ПОСТАНОВКА ВЫЧИСЛИТЕЛЬНОГО ЭКСПЕРИМЕНТА В СИТУАЦИОННОЙ СИСТЕМЕ МОДЕЛИРОВАНИЯ

Аннотация
Рассмотрен процесс постановки задания на проведение конкретного варианта расчетов в ситуационной системе моделирования (ССМ). Формализованы способы представления начальной информации — факт и исходная ситуация, приведены допустимые варианты постановки задачи моделирования и алгоритмы преобразования исходной ситуации в минимальный фрагмент модели, позволяющий исследовать эту ситуацию. Представлены средства расширения минимального фрагмента с целью анализа влияния имеющихся в модели альтернатив на целевые параметры, с возможностью проведения этого анализа для различных уровней принятия решений. Библиогр. — 11.


УДК 681.3
Фридман А.Я., Фридман О.В., Павлецов А.А., Богатиков В.Н.
ОРГАНИЗАЦИЯ ИМИТАЦИОННОГО РЕЖИМА В СИТУАЦИОННОЙ СИСТЕМЕ МОДЕЛИРОВАНИЯ

Аннотация
Проведено обоснование способа обеспечения квазипараллелизма и описана реализация имитационного режима исследования фрагмента концептуальной модели объекта в разработанной ситуационной системе моделирования. Ил. — 3, табл. — 1, библиогр. — 9.


УДК 681.3.06

Бржезовский А.В., Янкелевич А.А.
МОДЕЛИРОВАНИЕ ПОЛЬЗОВАТЕЛЬСКОГО ИНТЕРФЕЙСА ИНФОРМАЦИОННЫХ СИСТЕМ

 Аннотация
Рассматриваются вопросы проектирования пользовательских интерфейсов программных систем. Предлагается использовать для этой цели специализированный диаграммный язык, основным выразительным средством которого является ориентированный граф. К достоинствам рассматриваемой модели относятся: наличие простого графического языка, формальные методы проверки, озможность разработки интерфейсов для различных языков и программных платформ. Ил. — 2, библиогр. — 9.

УДК 681.3
Бржезовский А.В., Бураков В.В.
АВТОМАТИЗАЦИЯ ДОКУМЕНТИРОВАНИЯ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ НА БАЗЕ XML-ТЕХНОЛОГИЙ

 Аннотация
Описывается подход к автоматизации документирования ПО. Подход основан на использовании набора XML-технологий и позволяет автоматизировать весь жизненный цикл документирования: от разработки структуры документации до выпуска готовых документов. Основу подхода составляет модель документа, которая с одной стороны, специфицирует структурные связи между элементами проектных документов, а с другой стороны, позволяет описывать отношения согласованности – специальный вид отношений между отдельными элементами документов, позволяющий оценивать уровень непротиворечивости проектной документации. Ил. — 11, библиогр. — 20.


УДК 681.3.06
Богатиков В.Н., Фридман А.Я., Макаров В.С., Егоров А.Ф., Палюх Б.В. ПРОЕКТИРОВАНИЕ ПРОГРАММНЫХ СРЕДСТВ СИСТЕМЫ БАЗ ДАННЫХ И ПОСТРОЕНИЯ ДИСКРЕТНОЙ МОДЕЛИ

 Аннотация
В работе рассматривается информационная технология проектирования дискретной модели для непрерывных химико-технологических процессов. Продуктом системы проектирования является база данных и программные инструменты, позволяющие оценить состояние химико-технологической системы. В основу анализа состояния химико-технологических процессов положено понятие лингвистической переменной. Ил. — 9, табл.-1,
библиогр. — 5.


УДК 66:681.3.06
Макаров В.С., Богатиков В.Н., Фридман А.Я., Фридман О.В., Палюх Б.В.
АНАЛИЗ ОПАСНОСТЕЙ ТЕХНОЛОГИЧЕСКИХ РЕЖИМОВ НА ОСНОВЕ БИНАРНЫХ ОТНОШЕНИЙ (НА ПРИМЕРЕ ПРОЦЕССА ИОННОЙ ФЛОТАЦИИ РЕДКОЗЕМЕЛЬНЫХ ЭЛЕМЕНТОВ)

 Аннотация
Изложен подход, позволяющий на начальных стадиях исследования процессов для целей управления технологической безопасностью установить порядок развития опасных нарушений в технологических системах и, тем самым, заложить основы принятия решений при возникновении критических и аварийных ситуаций. Ил. — 4, табл. — 2,
библиогр. — 3.


УДК 681.3:661.448
Печерица Е.В., Богатиков В.Н., Фридман А.Я., Вент Д.П.
ПРОЕКТИРОВАНИЕ ПРОГРАММЫ КОНЦЕПТУАЛЬНОГО МОДЕЛИРОВАНИЯ НА ПРИМЕРЕ ВЫПАРНОЙ УСТАНОВКИ ПРОИЗВОДСТВА ХЛОРА И КАУСТИКА

 Аннотация
Статья посвящена проектированию программы исследования сложных технологических комплексов, представителем которого является выпарная установка производства хлора и каустика, средствами концептуального моделирования. Такой подход позволяет существенно облегчить процесс создания модели объекта. Рассматривается построение программы моделирования состояний технологических режимов работы, основного оборудования и систем управления процесса выпаривания электролитических щелоков. Ил. -3, табл. -1, библиогр.-4.


УДК 681.5.017:621.039.58
Яковлев С.Ю., Каспарьян Э.В., Вьялкова Н.Ю.
ПРОГРАММА ОЦЕНКИ ГЕОМЕХАНИЧЕСКОГО СОСТОЯНИЯ ПРИКОНТУРНОГО МАССИВА ВОКРУГ ПОДЗЕМНЫХ РАДИАЦИОННО ОПАСНЫХ ОБЪЕКТОВ (ГОРИЗОНТАЛЬНЫЕ ЦИЛИНДРИЧЕСКИЕ ВЫРАБОТКИ)

Аннотация
Разработана программа оценки геомеханического состояния приконтурной области массива вокруг подземных ядерно и радиационно опасных объектов — для случая размещения этих объектов в горизонтальных выработках цилиндрической формы. По сравнению с реализованным ранее случаем вертикальных выработок учтены несимметричность задачи и наличие касательных напряжений. В результате создано программное обеспечение, актуальное для оценки безопасности подземных атомных станций и хранилищ радиоактивных отходов. Ил. — 6, табл. — 2, библиогр. — 9.


УДК 622.235
Карначев И.П., Гарипов Д.Г., Беркман М.И.
К ПОСТРОЕНИЮ МОДЕЛИ ТЕХНОГЕННОЙ ЭЛЕКТРОПРОВОДНОСТИ ПРИ ПРОВЕДЕНИИ ЭЛЕКТРОВЗРЫВНЫХ РАБОТ НА ГОРНОДОБЫВАЮЩИХ ПРЕДПРИЯТИЯХ КОЛЬСКОГО СЕВЕРА

Аннотация
В работе рассматриваются подходы к построению математической модели техногенной электропроводности, отражающей безопасное воздействие блуждающих токов на рудничные электровзрывные сети рудников на горнодобывающих предприятиях Кольского Севера. Библиогр. — 5.


УДК 681.3
Фаныгин С.А.
ПРЕДСТАВЛЕНИЕ НЕЧЁТКИХ ЗНАНИЙ В МОДЕЛЯХ СИСТЕМНОЙ ДИНАМИКИ

Аннотация
Статья посвящена представлению нечёткой информации в моделях системной динамики. Ил. -1, библиогр. — 2.


УДК 681.3
Викторовский С.А., Малыгина С.Н.
РАЗРАБОТКА ДИНАМИЧЕСКОЙ МОДЕЛИ ЭКОНОМИЧЕСКОЙ ПОДСИСТЕМЫ ГОРОДА АПАТИТЫ

 Аннотация
В статье дано описание динамической модели экономической подсистемы города Апатиты. Представлены результаты ее моделирования. Ил. — 3, библиогр. — 6.


УДК 681.3
Федоров А.М., Шишаев М.Г.
ПРОБЛЕМА УДАЛЕННОГО ДОСТУПА К КАРТОГРАФИЧЕСКИМ (ПРОСТРАНСТВЕННЫМ) ДАННЫМ

Аннотация
Рассматриваются вопросы доступа к данным в распределенных географических информационных системах в условиях ограниченной пропускной способности сети передачи данных. Рассматривается возможность автоматического выбора сервером формата результирующего изображения на основании ряда предложенных критериев. Приведена классификация типов запросов клиента. Ил. — 2, библиогр. — 2.


УДК 681.3
Сагидова М.Л., Фридман А.Я.
РЕАЛИЗАЦИЯ ИНТЕРФЕЙСА ГИС И КОНЦЕПТУАЛЬНОЙ МОДЕЛИ В СИТУАЦИОННОЙ СИСТЕМЕ ВЫЧИСЛИТЕЛЬНОГО ЭКСПЕРИМЕНТА

Аннотация
Рассмотрены алгоритмы поддержания взаимной согласованности иерархии объектов концептуальной модели предметной области и системы покрытий ГИС при отображении ситуации на экране монитора с возможностью навигации по дереву объектов, а также средства автоматизации представления результатов ВЭ путем модификации графических характеристик объектов модели по результатам расчета. Табл.- 1,
библиогр.- 3.


УДК 681.3
Шишаев М.Г.,  Удовенко О.В.,  Болонишникова С.В.
СИСТЕМЫ КЛАССИФИЦИРОВАНИЯ, УЧЕТА ИНФОРМАЦИОННЫХ ИСТОЧНИКОВ И ОБРАЗОВАТЕЛЬНЫХ ПРОЕКТОВ

Аннотация
Рассматриваются программные системы классифицирования и учета информационных источников и образовательных проектов. Описываются основные функции систем, их структуры, принципы реализации и пользовательский интерфейс. Ил.- 8, табл.- 4, библиогр.- 6.


УДК 681.3
Шишаев М.Г., Мустаев Р.В., Удовенко О.В.
СИСТЕМА ФОРМИРОВАНИЯ ИНДЕКСОВ В ИЕРАРХИЧЕСКОЙ КЛАССИФИКАЦИОННОЙ СХЕМЕ

Аннотация
Статья посвящена вопросам структурной организации и практической реализации программной системы формирования индексов в иерархической классификационной схеме. Рассмотрена структура используемой для хранения терминов индексирования базы данных, описаны основные функции системы, ее структура, логика функционирования и пользовательский интерфейс. Ил.- 6, табл.- 2, библиогр.- 6.


УДК 681.3
Жаков В.И., Маленков С.А.
ОПИСАНИЕ СИНТАКСИСА И СЕМАНТИКИ ДИАГРАММ С ПОМОЩЬЮ ГРАФОВЫХ ГРАММАТИК

Аннотация
В работе рассматривается возможность представления диаграмм с помощью интегрированной среды, обеспечивающей специализированную поддержку для определенного схематического визуального языка. Определяется, как такая среда должна представлять визуальные компоненты языка, чтобы предоставлять возможность редактирования, синтаксического и семантического анализа, а также выполнения визуальной программы. Кроме того, описывается способ использования графовых грамматик для одновременного описания и синтаксиса, и семантики визуального языка.
Ил.- 5, библиогр.- 4.


УДК 681.3
Шишаев М.Г., Пашкин Д.В.
ИНТЕГРИРОВАННАЯ СИСТЕМА ИНФОРМАЦИОННОЙ ПОДДЕРЖКИ ОБРАЗОВАТЕЛЬНЫХ ПРОЦЕССОВ

Аннотация
Предложена структурная концепция и некоторые вопросы практической реализации интегрированной автоматизированной системы информационной поддержки образовательных процессов. Отдельное внимание, уделяется используемым, системой информационным структурам. Предложен принцип комплексного индексирования объектов, заключающийся в параллельном применении иерархической и фасетной классификационных систем и индексирования на базе унитермов. Ил. — 1, библиогр. — 5.


УДК 685.1
Верхотина А.В., Мальков М.В.
ЦЕНТР ДИСТАНЦИОННОГО ОБРАЗОВАНИЯ В СЕТИ  ИНТЕРНЕТ

Аннотация
В статье рассматривается структура Центра дистанционного образования (ЦДО) для сети Интернет. Структура ЦДО состоит из четырех разделов: информация о центре, электронные учебники, методические пособия, электронные тренажеры. При создании сайта ЦДО использовались технологии JavaScript, Java, CGI и GIF-анимация. Для работы с сайтом разработана система навигации. Библиогр. — 4.


УДК 512.5
Желудев М.В.
ОКТАЭДРАЛЬНАЯ ГРУППА

Аннотация
В связи с некоторыми вопросами математического моделирования в психологии оказывается актуальным исследование некоторых конечных подгрупп в группе вращений двумерной сферы. К числу таких групп относятся группы вращений, так называемых «платоновых тел». В работе описан граф Кэли, а также исследована решётка подгрупп октаэдральной группы ОСТ(3). Ил. — 7, библиогр. — 2.

 

Публикации в сборнике “Математические методы описания и исследования сложных систем” /Под ред. Путилова В.А. — Апатиты:
Изд-во КНЦ РАН, 2001, 165с.

 Введение
Предлагаемый вниманию сборник статей посвящен математическим методам моделирования сложных физических, химических и социально-экономических систем. В названных областях приложений доли, приходящиеся на математические модели и методы, существенно различны, да и сложившиеся культуры их использования заметно отличаются друг от друга, имеют разные историю и традиции. Однако, с насыщением рынка доступной компьютерной техникой и совершенствованием информационных технологий, роль математических моделей необратимо приобретает определяющее значение. Это связано с рядом объективных причин.
На наших глазах рождается новая информационная инфраструктура человеческого сообщества, основанная на интегрированных компьютерных системах сбора, хранения, переработки и передачи информации. Компьютеры широко внедряются в повседневную жизнь. В этих условиях необычайно высок спрос на формализованные и, прежде всего, на математические модели в разнообразных сферах деятельности, зачастую весьма далеких от традиционных приложений математики. Здесь на начальных этапах отсутствие достаточного опыта математического описания восполняется использованием компьютеров для создания структурированных массивов символьной информации и реализации простейших типов ее обработки. Характерные для этих этапов компьютерные модели основываются на ‘‘разумных’’ эвристиках и ориентированы на фиксацию в электронной форме накопленного опыта в виде фактографических знаний и эмпирических способов их применения. Несомненно, это позволяет не только лучше осмыслить причинно-следственные связи в исследуемых предметных областях, но и более продуктивно использовать их для диагностики, формирования прогноза поведения или отбора ‘‘разумных’’ управляющих воздействий на интересующие объекты. Тем не менее, со временем возможности эвристических моделей исчерпываются и возникает острая необходимость в более строгом описании соответствующих явлений и объектов.
Наличие математически обоснованных моделей приводит в систему спорадический поток эмпирического опыта и, одновременно, обеспечивает требуемую точность описания явлений, а также уверенность в получаемых результатах прогностического анализа и формулируемых при этом выводах. Но это далеко не все. На основе математической дедукции формальные модели открывают возможность автоматического получения следствий из фундаментальных законов предметной области. Кроме того, наличие строгих математических моделей позволяет осмысленно планировать и проводить вычислительные эксперименты. В результате бесценный эмпирический опыт обогащается опытом мысленных экспериментов.
В оригинальных статьях, включенных в настоящий сборник, отражена проблематика, непосредственно связанная с различными аспектами хорошо известной триады информатики: ‘‘Модель – Алгоритм – Программа’’.
Сборник подготовлен Институтом информатики и математического моделирования технологических процессов Кольского научного центра РАН в сотрудничестве с другими научными организациями по материалам и результатам совместно проведенных исследований. Сборник адресован научным работникам, занимающимся математическим моделированием и (или) разработкой информационных систем в различных областях приложений, а также аспирантам и студентам вузов, специализирующимся в прикладной математике и информатике.

Содержание

  1. Шестаков А.А. Нечеткие интервальные логики. – С.6–37.
  2. Фридман А.Я., Фридман О.В., Шестаков А.А. Применение нечеткого интервального вывода при продукционном формате базы знаний пользователя. –C.38-44
  3. Горохов А.В., Путилов В.А. Динамическое моделирование социально-экономических систем (на примере г. Апатиты) – С.45-54.
  4. Горохов А.В. Формализация экспертных знаний для синтеза структур динамических моделей социально-экономических систем. – С. 55-56.
  5. Усачев П.А., Бирюков В.В., Олейник А.Г., Скороходов В.В. Модель дообогащения магнетитового концентрата в магнитно-гравитационном сепараторе. – С. 57-61.
  6. Скороходов В.Ф., Гершенкоп А.Ш. Математическое моделирование формирования потока активированной газожидкостной смеси. – С. 62-66.
  7. Бирюков В.В., Карначев И.П., Николаев В.Г. Теоретический расчет потерь материала технологической платиновой оснастки в случае ее сверхнормативной эксплуатации. – С. 67-71.
  8. Мочалин В.П., Халепа Н.В., Богатиков В.Н. Математическая модель процесса синтеза метанола и ее программная реализация. – С. 72-78.
  9. Котомин А.Б. Об одной модели принятия решений по развитию региональной системы образования. – С. 79-84.
  10. Шестаков А.А. Регулярные I–нечеткие. – С. 85-100.
  11. Глинка А.Е., Смирнова Р.А., Шестаков А.А. I–нечеткое обобщение теоремы Клини. – С. 101-111.
  12. Шишаев М.Г. Формализация задачи проектирования распределенных информационных. – С. 112-118.
  13. Матченко И.М., Павлецов А.А., Фридман А.Я., Фридман О.В. Основы пользовательского и внутренних интерфейсов системы ситуационного моделирования. – С. 119-132.
  14. Федоров А.М. Один способ повышения качества получения и представления результатов динамического моделирования. Идея динамической “картомодели”. – С. 133-135.
  15. Рыжова О.А. Программный комплекс для вычислений в полях Галуа.
    – С. 136-138.
  16. Павлецов А.А. Особенности программной реализации инструментария в задачах описания концептуальных моделей и проведения имитационного эксперимента. – С. 139-147.
  17. Кузнецов К.С., Смирнова Р.А. Программный комплекс для исследования распределений словарных случайных. – С. 148-152.


УДК 510.64
Шестаков А.А.
НЕЧЕТКИЕ ИНТЕРВАЛЬНЫЕ ЛОГИКИ

 Аннотация
Работа посвящена описанию конечно порожденных пороговых логик с логическими значениями в виде интервалов нечетких констант. Эти логики обладают развитой системой правил вывода, что делает их удобными для автоматической обработки неопределенных знаний в интерактивных системах. Библиогр.– 31.


УДК 683.1
Фридман А.Я., Фридман О.В., Шестаков А.А.
ПРИМЕНЕНИЕ НЕЧЕТКОГО ИНТЕРВАЛЬНОГО ВЫВОДА ПРИ ПРОДУКЦИОННОМ ФОРМАТЕ БАЗЫ ЗНАНИЙ ПОЛЬЗОВАТЕЛЯ

Аннотация
Рассмотрены возможности интерпретации системы продукций общего вида в формате, обеспечивающем применение логического вывода с использованием метода резолюций в условиях неопределенности исходных данных, которая формализуется высказываниями с нечеткими степенями истинности. Табл.–1, библиогр.- 5.


УДК 681.3
Горохов А.В., Путилов В.А.
ДИНАМИЧЕСКОЕ МОДЕЛИРОВАНИЕ СОЦИАЛЬНО-ЭКОНОМИЧЕСКИХ СИСТЕМ (НА ПРИМЕРЕ Г. АПАТИТЫ)

Аннотация
В статье представлены результаты цикла исследований применения метода системной динамики для моделирования социально-экономических систем с целью синтеза стратегий их устойчивого развития (на примере г. Апатиты Мурманской области). Цикл исследований включает в себя следующие этапы: формализация цели (понятия «устойчивое развитие»); разработка концептуальной модели и ее реализация в виде базы знаний; синтез на основе концептуальной модели структуры динамической модели и ее реализация средствами системы динамического моделирования Powersim; исследование динамической модели и разработка стратегий устойчивого развития моделируемых социально-экономических систем. Ил.- 8,
библиогр.– 6.


УДК 681.3
Горохов А.В.
ФОРМАЛИЗАЦИЯ ЭКСПЕРТНЫХ ЗНАНИЙ ДЛЯ СИНТЕЗА СТРУКТУР ДИНАМИЧЕСКИХ МОДЕЛЕЙ СОЦИАЛЬНО-ЭКОНОМИЧЕСКИХ СИСТЕМ

Аннотация
Для повышения адекватности динамических моделей социально-экономических систем предложен подход, позволяющий использовать экспертные знания на этапе разработки структуры моделей. Знания формализуются в виде концептуальной модели, реализованной как база знаний древовидной структуры. База знаний при этом содержит формальные процедуры синтеза структур динамических моделей. Библиогр.- 2.


УДК 622.765+681.3
Усачев П.А., Бирюков В.В., Олейник А.Г., Скороходов В.В.
МОДЕЛЬ ДО ОБОГАЩЕНИЯ МАГНЕТИТОВОГО КОНЦЕНТРАТА В МАГНИТНО-ГРАВИТАЦИОННОМ СЕПАРАТОРЕ


АннотацияНа основе исследования результатов лабораторных экспериментов по дообогащению магнетитовых концентратов комбината «Олкон» разработана математическая модель МГ-сепарации. Модель описывает связь характеристик продуктов, получаемых в процессе разделения с параметрами МГ-сепаратора. Использование модели позволяет определить управляющие параметры процесса, обеспечивающие получение концентрата с содержанием железа более 71%. Ил. – 4, табл.- 1, библиогр.– 4.


УДК 622.765.001
Скороходов В.Ф., Гершенкоп А.Ш.
МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ ФОРМИРОВАНИЯ ПОТОКА АКТИВИРОВАННОЙ ГАЗОЖИДКОСТНОЙ СМЕСИ

 Аннотация
Исследованы основы закономерности образования активированной водной дисперсии воздуха (АВДВ) в объеме пневматических флотационных машин. Разработана математическая модель процесса формирования потока АВДВ для трех вариантов подготовки активированной газожидкостной смеси. Ил.– 1, библиогр.– 4.


УДК 553.491
Бирюков В.В., Карначев И.П., Николаев В.Г.
ТЕОРЕТИЧЕСКИЙ РАСЧЕТ ПОТЕРЬ МАТЕРИАЛА ТЕХНОЛОГИЧЕСКОЙ ПЛАТИНОВОЙ ОСНАСТКИ В СЛУЧАЕ ЕЕ СВЕРХНОРМАТИВНОЙ ЭКСПЛУАТАЦИИ

Аннотация
Описана методика и приведены результаты расчетов сверхнормативных потерь платиновой оснастки при превышении сроков ее эксплуатации. Получено достаточно точное соответствие теоретических и экспериментальных данных. Предложены способы уменьшения сверхнормативных потерь. Полученные результаты могут быть использованы для разработки новых норм “угара” технологической оснастки из драгоценных металлов. Ил.– 4, библиогр.– 4.


УДК 66:519.7
Мочалин В.П., Халепа Н.В., Богатиков В.Н.
МАТЕМАТИЧЕСКАЯ МОДЕЛЬ ПРОЦЕССА СИНТЕЗА МЕТАНОЛА И ЕЕ ПРОГРАММНАЯ РЕАЛИЗАЦИЯ

 Аннотация
В работе подробно рассмотрено построение математического описания процесса синтеза метанола. Описана структура программы расчета по математической модели процесса. Ил.- 3, табл.- 1, библиогр.- 2.


УДК 681.3
Котомин А.Б.
ОБ ОДНОЙ МОДЕЛИ ПРИНЯТИЯ РЕШЕНИЙ ПО РАЗВИТИЮ РЕГИОНАЛЬНОЙ СИСТЕМЫ ОБРАЗОВАНИЯ

Аннотация
Экономические проблемы переходного периода создали предпосылки дальнейшего развития региональных систем образования, появился рынок образовательных услуг. Выбор поведения образовательных учреждений на этом рынке, а также выбор управляющих воздействий со стороны региональной администрации и службы занятости для регулирования этого рынка является нетривиальной многокритериальной задачей принятия решений в условиях риска и неопределенности. Предлагается подход к решению одной из важных задач принятия решений в области образования — формирование модели выпускника образовательного учреждения. Библиогр.- 4.


УДК 519.713+519.95
Шестаков А.А.
РЕГУЛЯРНЫЕ I–НЕЧЕТКИЕ ЯЗЫКИ

Аннотация
В работе исследуются основные свойства и алгебраическая структура нечетких интервальных языков. Доказан ряд полезных тождеств, позволяющих говорить о достаточной выразительной эффективности алгебры над такими языками. Библиогр.–7.


УДК 519.713+519.95
Глинка А.Е., Смирнова Р.А., Шестаков А.А.
I–НЕЧЕТКОЕ ОБОБЩЕНИЕ ТЕОРЕМЫ КЛИНИ

 Аннотация
В работе дана исчерпывающая характеристика семейств регулярных нечетких интервальных языков, порождаемых конечными алфавитами. Библиогр. – 7.


УДК 681.324
Шишаев М.Г.
ФОРМАЛИЗАЦИЯ ЗАДАЧИ ПРОЕКТИРОВАНИЯ РАСПРЕДЕЛЕННЫХ ИНФОРМАЦИОННЫХ СИСТЕМ

 Аннотация
Предлагается способ формализации задачи проектирования гетерогенных распределенных информационных систем (РИС), ориентированный на использование функционально-целевой технологии. Описываются концептуальная и функциональная модели РИС. На их основе строится формальное описание варианта реализации проектируемой системы. Ил.– 1, библиогр.– 19.


УДК 683.1
Матченко И.М., Павлецов А.А., Фридман А.Я., Фридман О.В.
ОСНОВЫ ПОЛЬЗОВАТЕЛЬСКОГО И ВНУТРЕННИХ ИНТЕРФЕЙСОВ СИСТЕМЫ СИТУАЦИОННОГО МОДЕЛИРОВАНИЯ

Аннотация
Описано функциональное назначение основных пунктов головного меню и интерфейсы по данным для реализации системы ситуационного моделирования природно-технических комплексов в среде Windows. Ил.– 5, библиогр.– 7.


УДК 683.1
Федоров А. М.
ОДИН СПОСОБ ПОВЫШЕНИЯ КАЧЕСТВА ПОЛУЧЕНИЯ И ПРЕДСТАВЛЕНИЯ РЕЗУЛЬТАТОВ ДИНАМИЧЕСКОГО МОДЕЛИРОВАНИЯ. ИДЕЯ ДИНАМИЧЕСКОЙ “КАРТОМОДЕЛИ”

Аннотация
Статья посвящена вопросу использования ГИС в качестве инструмента для визуализации результатов динамического моделирования. Рассматриваются проблемы связи объектов динамической модели и объектов на электронной карте. Библиогр.– 3.


УДК 519.688
Рыжова О.А.
ПРОГРАММНЫЙ КОМПЛЕКС ДЛЯ ВЫЧИСЛЕНИЙ В ПОЛЯХ ГАЛУА

Аннотация
 Рассмотрен программный комплекс, предназначенный для проведения вычислений в полях Галуа. Реализованы алгебраические операции с элементами поля и с матрицами, составленными из этих элементов. Библиогр. – 1.


УДК 681.3
Павлецов А.А.
ОСОБЕННОСТИ ПРОГРАММНОЙ РЕАЛИЗАЦИИ ИНСТРУМЕНТАРИЯ В ЗАДАЧАХ ОПИСАНИЯ КОНЦЕПТУАЛЬНЫХ МОДЕЛЕЙ И ПРОВЕДЕНИЯ ИМИТАЦИОННОГО ЭКСПЕРИМЕНТА

Аннотация
Описана реализация визуального компонента ситуационной системы моделирования. Ил.– 2, табл.– 4, библиогр.– 2 .


УДК 519.713.4
Кузнецов К.С., Смирнова Р.А.
ПРОГРАММНЫЙ КОМПЛЕКС ДЛЯ ИССЛЕДОВАНИЯ РАСПРЕДЕЛЕНИЙ СЛОВАРНЫХ СЛУЧАЙНЫХ ВЕЛИЧИН

Аннотация
В статье описан комплекс программ для проведения вычислительного эксперимента над словарными случайными величинами, порождаемыми стохастическими конечными автоматами. Ил.- 1, библиогр.– 4.