2014 год, №3

Содержание выпуска
AN APPROACH TO CASE-BASED SYNTHESIS OF FUNCTIONAL PROGRAMS
FASTOVETS N.N.
Стр. 5 — 9
В данной статье рассматривается проблема автоматического синтеза функциональных программ. Описывается способ применения рассуждений на основе прецедентов в синтезе программ. Для применения этого подхода к задаче необходимо рассмотреть несколько подзадач: определение отношения «похожести» в пространстве спецификаций программ, поиск наиболее подходящей к заданной спецификации известной программы и адаптация выбранной программы к новой спецификации. Авторы рассматривают только подзадачу адаптации, оставив остальные подзадачи для дальнейшей работы. Задачу адаптации можно рассматривать как коррекцию программы, то есть модификации выбранной в ходе поиска программы таким образом, чтобы она удовлетворяла заданной спецификации. Существует метод коррекции функционально логических программ, имеющих вид системы переписывания термов с условиями. Таким образом, идея авторов состоит в трансляции функциональной программы в систему переписывания термов и в применении к ней известного метода коррекции. В данной статье рассматриваются процедура такой трансляции и адаптация метода коррекции для поставленной задачи.
MODULAR SOM FOR DYNAMIC OBJECT IDENTIFICATION
AVERKIN A.N., POVIDALO I.S.
Стр. 10 — 15
Идентификация динамического объекта затруднена, если в исходных данных присутствуют шумы, некоторые параметры динамического объекта изменяются по неизвестным законам или точное число параметров объекта не известно. В таких случаях для решения задачи идентификации могут быть успешно применены нейронные сети. Существует множество различных типов нейронных сетей, применимых для идентификации динамического объекта. Среди всевозможных нейросетевых структур, применимых для решения задачи идентификации, выделяется класс нейронных сетей, основанных на самоорганизующихся картах (SOM). В данной статье описан ряд нейронных сетей, основанных на самоорганизующихся картах и успешно применимых для идентификации динамических объектов. Представлены уникальные модульные нейронные сети на основе SOM, полученные в результате исследований коры головного мозга млекопитающих, где в качестве модулей применены векторная квантовая память и рекуррентные самоорганизующиеся карты. Подробно описаны структура и алгоритмы обучения и работы таких сетей, также приведены некоторые результаты экспериментов и сравнения с другими нейросетевыми алгоритмами идентификации динамических объектов.
ЛОГИКА ДВИЖЕНИЯ В СИСТЕМЕ «БИНАРНАЯ МОДЕЛЬ ЗНАНИЙ»
ПЛЕСНЕВИЧ Г.С., ГОРКИНА А.А.
Стр. 15 — 22
Субраманиан В.С. предложил, а Яман Ф. (с участием Нау Д.) разработала так называемую логику движения (ЛД), которая предоставляет формальный язык, включающий термины классической логики и ньютоновой механики. ЛД комбинирует пропозициональную логику, методы распространения ограничений и геометрические рассуждения, имеет декларативный синтаксис и семантику, основанную на моделях. Эта логика формализует рассуждения о планах движения объектов. В ЛД естественно описываются планы движения объектов и существует возможность предсказания их дальнейшего расположения. Объекты в ней рассматриваются как материальные точки в пространстве. Однако многие реальные приложения, связанные с моделированием движущихся объектов, требуют представления структуры и характеристик этих объектов. Необходимо описание сложных объектов в менее сложных тер-минах. Плесневичем Г.С. предложен проект системы «Бинарная модель знаний» (БМЗ), предназначенной для онтологического (концептуального) моделирования. БМЗ содержит формальные языки для структурной и логической спецификации объектов. В настоящей статье показано, как осуществляется интеграция ЛД в БМЗ, которые хорошо дополняют друг друга с точки зрения применимости и выразительной силы. Таким образом, получается система ЛД+БМЗ для онтологического моделирования приложений, связанных с поведением движущихся объектов. Рассматривается пример применения этой системы для задачи управления авиатрафиком.
КОГНИТИВНЫЕ ТЕХНОЛОГИИ ВИЗУАЛИЗАЦИИ МНОГОМЕРНЫХ ДАННЫХ ДЛЯ ИНТЕЛЛЕКТУАЛЬНОЙ ПОДДЕРЖКИ ПРИНЯТИЯ РЕШЕНИЙ
ЦАПЛИН В.В., ГОРОХОВ В.Л., ВИТКОВСКИЙ В.В.
Стр. 22 — 25
В статье изложены принципы когнитивной машинной графики и приведены примеры ее практического применения для разработки систем поддержки принятия решений (СППР). Феномен когнитивной машинной графики со-стоит в генерации на экране дисплея изображений, создающих в сознании человека-оператора зрелищные образы. Эти образы имеют эстетическую привлекательность и стимулируют интуицию человека. Изображение на дисплее создает в его сознании движущийся трехмерный образ, который формируется всей совокупностью многомерных данных и визуально отображает свойства изучаемой предметной области. При восприятии этих образов человек-оператор способен выявлять отдельные геометрические свойства наблюдаемого образа и связывать их с предметным содержанием обрабатываемых многомерных данных. Весьма важной является возможность сочетать предлагаемую когнитивную технологию с современными возможностями интеллектуальных программных интерфейсов и программ многомерного статистического анализа данных. Предлагаются принципиально новые алгоритмические подходы к когнитивной визуализации, основанные на гиперболической геометрии и алгебраических многообразиях. В определенном смысле можно говорить о появлении нового вида СППР – когнитивных систем поддержки принятия решений.
ПОСТРОЕНИЕ И ИССЛЕДОВАНИЕ ПРЕДМЕТНОЙ ОНТОЛОГИИ ЭЛЕКТРОННОГО ОБУЧЕНИЯ
БАЛАШОВА И.Ю.
Стр. 26 — 32
В статье рассмотрена проблема интеграции и анализа знаний в сфере электронного обучения, обусловленная неопределенностью терминологии, отсутствием однозначной интерпретации и обоснованной классификации знаний о предметной области. Предложено решение задачи построения единой модели знаний на основе предметной области. При изучении различных решений в области онтологического исследования электронного обучения показано, что рассмотренные онтологии характеризуются концептуальной локальностью и локальностью в использовании. Их фрагментарный характер не позволяет составить основу единой модели знаний. Тем самым показана необходимость разработки предметной онтологии, фиксирующей знания, общие для предметной области электронного обучения, что позволит ей обеспечивать логическую согласованность между отдельными онтологиями при объединении. В результате онтологического анализа выделены ключевые классы онтологии электронного обучения, составляющие общий словарь терминов для представления знаний о предметной области. Построена и обоснована таксономия классов онтологии, представляющая иерархию терминов по отношению к вложению. Состав классов исследован со ссылками на нормативные источники. Проведен анализ экземпляров классов. Выделены перспективные пути развития экземпляров ключевых классов онтологии. Установлено множество межклассовых отношений (объектных свойств), определяющих смысловую структуру рассматриваемой предметной области. Предложены пути практического применения построенной предметной онтологии. Сформулированы направления дальнейших исследований.
ВОССТАНОВЛЕНИЕ ЭЛЛИПСИСА КАК ЗАДАЧА АВТОМАТИЧЕСКОЙ ОБРАБОТКИ ТЕКСТОВ
МАЛЬКОВСКИЙ М.Г., СТАРОСТИН А.С., МИНЯЙЛОВ В.С.
Стр. 32 — 36
Любому естественному языку присуще явление омонимии, когда одни и те же языковые знаки, помещенные в различные контексты, могут интерпретироваться по-разному. Это явление является главной причиной, обусловливающей сложность решения задач автоматического синтаксического анализа, актуальность и практическая значимость которых на сегодняшний день несомненна. Помимо омонимии, в естественных языках можно наблюдать еще одно явление, в рамках которого потенциальная неоднозначность языка проявляется не менее ярко. Речь идет об эллипсисе. Эти два явления имеют общую природу, однако омонимия изучается компьютерной лингвистикой на протяжении десятилетий, а эллипсис лишь вскользь упоминается в отдельных работах. Даже простейшие случаи эллипсиса являются в настоящее время труднопреодолимым препятствием для алгоритмов синтаксического анализа. В настоящей работе предложен подход к решению задачи автоматического синтаксического анализа, характер-ной особенностью которого является то, что корректная обработка эллиптических конструкций оказывается естественным элементом общей схемы синтаксического анализа, включающей три параллельно функционирующих механизма: предсказаний, слияний и оценочного механизма.
ЛИНЕЙНОЕ РЕШЕНИЕ ЗАДАЧИ КВАДРАТИЧНОГО ПРОГРАММИРОВАНИЯ
ТАТАРЕНКО С.И.
Стр. 36 — 40
В работе описан метод поиска максимума квадрики на многогранном множестве ограничений, основанный на решениях систем линейных уравнений, размерность которых не выше числа переменных целевой функции. Вначале путем ортогональных преобразований и масштабирования матрица квадратичной формы приводится к нормальному виду. Затем с помощью замены переменных исходная задача сводится к задаче поиска минимального расстояния между точкой безусловного экстремума и многогранным множеством ограничений. Для определения расстояния строятся перпендикуляры к граням многогранника различной размерности. Для уменьшения числа исследуемых граней разработан специальный порядок перебора граней. Исследованию подлежат только грани, содержащие вершину, ближайшую к точке безусловного экстремума, и видимые из этой точки. В случае наличия нескольких ближайших равноудаленных вершин исследуется грань, содержащая все эти вершины, и грани меньшей размерности, имеющие с первой гранью не менее двух общих ближайших вершин.
ANOMALY DETECTION BASED ON MARKOV CHAIN MODEL WITH PRODUCTION RULES
KOVALEV S.M., SUKHANOV A.V.
Стр. 40 — 43
В статье рассматривается новый подход к обнаружению аномалий в темпоральных данных. В предлагаемом методе использована марковская модель с целью нахождения темпорального профиля поведения процесса. В модель были включены корректирующие продукционные правила, уточняющие вероятности перехода между состояниями процесса с учетом его предыстории. Данная модель была обучена и протестирована на исследуемом процессе. В итоге найдены редко встречаемые паттерны, принятые за аномалии, получившие низкий уровень поддержки стохастической моделью. В вычислительных экспериментах исследован процесс на основе модели темпорального паттерна типа Coffee, применяемой для бенчмаркинга методов обнаружения аномалий. В результате экспериментов показано, что предлагаемый метод с высокой вероятностью позволяет отличить нормальные паттерны от аномалий. Метод применим в широком спектре приложений, связанных с мониторингом и диагностикой нештатных технологических ситуаций.
ОСОБЕННОСТИ СОЗДАНИЯ ПОЛЬЗОВАТЕЛЬСКОГО КЛАССИФИКАТОРА ДЛЯ ОТОБРАЖЕНИЯ ОБСТАНОВКИ НА ЭЛЕКТРОННОЙ КАРТЕ
ВОЙЦЕХОВСКИЙ С.В., ДЕВЯТКИН А.М., КОТЕНОК А.А., ОБУХОВ А.В.
Стр. 44 — 47
Решение задачи целераспределения в штабах военных округов в настоящее время осуществляется в ручном режиме, что не позволяет оперативно реагировать на резкие изменения обстановки и вносить коррективы в процесс целераспределения. В условиях стремительного повышения мобильности войск снижение временных затрат на планирование их действий становится не только актуальной, но и одной из самых важных задач военной науки. В рамках выполнения научно-исследовательской работы в академии был разработан макет автоматизированного комплекса целераспределения объектов поражения противника, который прошел апробацию в ходе совместного стратегического учения «Запад-2013». Разработка данного программного комплекса позволила поднять работу группы планирования огневого поражения на новый качественный уровень и повысить оперативность принятия решения командиром. Обязательным условием для формирования в геоинформационной системе пространственных данных субъектами, осуществляющими их создание, является наличие классификаторов, разработанных с учетом положений ГОСТ Р 52439-2005. Таким образом, разработка макета программного комплекса с системой визуализации на электронной карте, технологии применения и его апробация привели к необходимости принятия решения об использовании нескольких известных классификаторов или о создании нового цифрового классификатора. Применяя известные классификаторы, невозможно было решить все поставленные задачи, стоящие перед программным комплексом целераспределения объектов поражения противника. Кроме того, использование не одного, а нескольких классификаторов условных знаков существенно усложнило бы алгоритм работы системы визуализации. Поэтому с целью отображения обстановки и результатов решения расчетной задачи целераспределения в программе с помощью условных знаков был создан свой классификатор Rigel. В статье представлены результаты создания цифрового классификатора для отображения обстановки и результатов решения расчетной задачи на электронной карте.
СРАВНИТЕЛЬНЫЙ АНАЛИЗ СИСТЕМ ИМИТАЦИОННОГО МОДЕЛИРОВАНИЯ ДЛЯ ИССЛЕДОВАНИЯ ТЕХНОЛОГИЧЕСКИХ ПРОЦЕССОВ ОБРАБОТКИ ИНФОРМАЦИИ В ГЛОБАЛЬНО РАСПРЕДЕЛЕННЫХ АВТОМАТИЗИРОВАННЫХ ИНФОРМАЦИОННЫХ СИСТЕМАХ
БОНДАРЕНКО А.А.
Стр. 47 — 52
В данной статье рассматривается проблема выбора системы имитационного моделирования для исследования глобально распределенных автоматизированных информационных систем. В последние годы сформировался особый класс этих систем, которые можно назвать глобально распределенными. Они отличаются наличием центральной БД и разветвленной структурой из сотен локальных СУБД, распределенных на значительной территории. Автор описывает ключевые особенности этих систем и приходит к выводу о необходимости исследования проистекающих в них технологических процессов обработки информации. В статье обоснован выбор имитационного моделирования в качестве средства анализа. Анализируются наиболее популярные и подходящие под рассматриваемую задачу программные пакеты имитационного моделирования: Simulink, GPSS World, Extend и Arena, при этом дается обобщен-ная характеристика каждого программного продукта. Выдвигается тезис о неочевидности выбора одного из программных продуктов и предлагается оценить свойства системы, существенные для решения поставленной задачи. При построении иерархической структуры признаков используется предложенная Дэвидом Кельтоном группировка возможностей программных продуктов, а в качестве механизма агрегирования – суммирование значений показателей по локальным или интегральным группам дерева. Сравниваются веса качеств систем, и на основе их анализа выбирается наиболее оптимальная (с большим весом качества) система. В результате проведенного исследования для анализа глобально распределенных автоматизированных информационных систем автор предлагает использовать систему имитационного моделирования Simulink.
ОСОБЕННОСТИ ТЕСТИРОВАНИЯ НАБОРОВ ДАННЫХ В ОПЕРАЦИОННОЙ СИСТЕМЕ Z/OS
БАРТЕНЬЕВ О.В., КЛЮЕВ С.В.
Стр. 53 — 58
Частью любой ОС является подсистема управления файлами (данными). В зависимости от характеристик устройств внешней памяти и концепции размещения данных, принятой в ОС, физическая организация данных может налагать особенности на их логическое представление. На основании физической структуры подсистема управления файлами определяет логическую структуру, с которой непосредственно взаимодействует пользователь. Проверка корректности функционирования таких структур является одной из главных задач, решаемых в процессе тестирования ОС. В статье приводится отличие понятия «набор данных» ОС z/OS от понятия «файл» для UNIX-подобных ОС. Рассматриваются структура и особенности логической организации одного из библиотечных наборов данных ОС z/OS – PDSE (Partitioned Data Set Extended). Для таких наборов определяется круг наиболее важных задач, возникающих в процессе тестирования, описываются средства, применяемые для верификации наборов данных, такие как команды и встроенные утилиты ОС z/OS. Проводится их анализ и указываются проблемы, препятствующие процессу автоматизации тестирования. Описываются реализованные тестовые сценарии и их функциональное назначение, а также анализируются текущие подходы к решению поставленных задач и делается предположение о создании средств автоматизации, призванных снизить трудоемкость и повысить эффективность тестирования.
ТРЕХТАКТНАЯ КЛАСТЕРИЗАЦИЯ ДИНАМИЧНЫХ ИНТЕРНЕТ-РЕСУРСОВ С ПРИМЕНЕНИЕМ DOM-МОДЕЛЕЙ
МОРОХОВЕЦ Ю.Е., ЗЕЙН А.Н.
Стр. 58 — 63
Рассматривается задача кластеризации интернет-ресурсов, обеспечивающей повышение качества работы поисковых систем. Задача решается в условиях, когда кластерная структура может кардинально меняться во времени вследствие изменения текстового содержания динамических компонентов интернет-ресурсов. В DOM-моделях современных интернет-ресурсов содержится множество динамических компонентов, которые меняют текстовое содержание ресурса с каждой новой загрузкой в браузер. Это делает применение классических методов кластерного анализа малоэффективным. Авторы данной работы исследуют ситуацию, когда кластерная структура меняется во времени вследствие изменения текстового содержания динамических компонентов DOM-моделей. Изменение содержания интернет-ресурсов влияет на кластерную структуру как качественно, так и количественно, что, в свою очередь, приводит к дрейфу или диффузии кластеров. Для достижения высокой степени статичности кластерной структуры, стабилизации кардинальности характеристических векторов ресурсов предлагается применить DOM-фильтрацию. Авторами рассмотрена и экспериментально доказана возможность улучшения динамического показателя «степень принадлежности» после применения трехтактной кластеризации с использованием DOM-фильтра. Результаты исследований обеспечивают достижение более стабильного состояния кластеров в кластерной структуре. Доступ к содержанию интернет-ресурсов в эксперименте осуществлялся с помощью специального программного модуля, реализованного в среде Visual Studio 2010. После загрузки страниц браузером модуль выполняет структуризацию элементов DOM-моделей, значения атрибутов и тэгов записываются в реляционную базу данных. Все расчеты, связанные с кластерным анализом интернет-ресурсов, выполняются в среде MS SQL Server 2012. Предложенный подход может быть применен для кластеризации интернет-ресурсов с высокой степенью динамичности, что приведет к повышению качества результатов поиска.
ОБЛАЧНЫЕ ТЕХНОЛОГИИ: ОСНОВНЫЕ МОДЕЛИ, ПРИЛОЖЕНИЯ, КОНЦЕПЦИИ И ТЕНДЕНЦИИ РАЗВИТИЯ
МУРЗИН Ф.А., БАТУРА Т.В., СЕМИЧ Д.Ф.
Стр. 64 — 72
В статье дается обзор по облачным информационным технологиям. Под облачными вычислениями (также используется термин «облачная (рассеянная) обработка данных») обычно понимается предоставление пользователю компьютерных ресурсов и мощностей в виде интернет-сервисов. Рассмотрены основные модели предоставления услуг облачных вычислений: IaaS, PaaS и SaaS, особенности облачных платформ, предлагаемых компаниями Amazon, Google, Microsoft, IBM, Oracle и др. Приведены примеры наиболее удачного применения облачных решений, в том числе в крупных российских ИТ-компаниях. Облачные вычисления применяются для решения задач в ряде предметных областей: семантический поиск, социальные сети, базы знаний, моделирование фотонных кристаллов, поиск последовательностей ДНК и т.д. Большое количество работ посвящено эффективному хранению и обработке данных в облачных системах. В статье приведены некоторые задачи, возникающие перед разработчиками облачных сервисов и перед специалистами, их использующими, обсуждаются тенденции развития облачных вычислений, в частности, возникающие вызовы и риски (challenges and risks).
МОДЕЛИРОВАНИЕ В СИСТЕМЕ ТЕХНИЧЕСКОЙ ПОДДЕРЖКИ ВЫЧИСЛИТЕЛЬНЫХ КЛАСТЕРОВ
ГРИШАКОВ В.Г., ФРОЛОВ Д.В.
Стр. 72 — 78
В настоящей работе рассматриваются проблемы технической поддержки высокопроизводительных вычислительных систем по сравнению с технической поддержкой в традиционных информационно-вычислительных системах. Выявляются проблемы технической поддержки класса высокопроизводительных вычислительных систем, для которых существенную роль играет функциональная живучесть. Описывается подход к использованию моделирования при организации системы административного управления вычислительным кластером, строящейся на принципах информационно-имитационной поддержки его жизненного цикла. Предлагается совместное использование информационного и имитационного моделирования для повышения эффективности процесса технической поддержки вычислительных кластеров. Рассматривается концептуальная схема организации службы технической поддержки с помощью информационно-имитационной модели вычислительного кластера и описывается ее использование.
АЛГОРИТМ КЛАССИФИКАЦИИ ГРАФИКОВ С ПОСЛЕДОВАТЕЛЬНЫМ УКРУПНЕНИЕМ ПРИЗНАКОВ
ХАНЕЕВ Д.М., СИДОРОВ К.В., ФИЛАТОВА Н.Н.
Стр. 78 — 86
Для решения ряда прикладных задач могут оказаться полезными классификаторы, работающие с выборками двухмерных графических зависимостей. В статье рассматривается новый подход к решению задачи классификации графических зависимостей, объединяющий ее с задачей сегментации. Описывается алгоритм выделения интервальных последовательно укрупненных признаков при работе классификатора на основе нейроподобной иерархической структуры. Данный классификатор основан на идее растущей пирамидальной сети, адаптированной для работы с не-четкими описаниями объектов. В процессе обучения в иерархической структуре классификатора формируются модели классов, которые интерпретируются в нечеткие высказывания (правила) для системы нечеткого логического вывода. Нечеткие высказывания отражают основные характеристики всех объектов обучающей выборки и представляются в понятной эксперту форме. Интервалы укрупнения признаков находятся путем анализа правил, полученных после обучения классификатора на первичных данных. Алгоритм автоматической генерации интервальных признаков позволяет локализовать участки с одинаковыми значениями нечетких признаков, что фактически приводит к сегментации исследуемых графических зависимостей на участки с близкими оценками их структурных свойств. Особенности работы алгоритма выделения последовательно укрупненных признаков подробно рассмотрены на примере искусственно сформированных данных. Программная реализация алгоритма протестирована на искусственно сформированных данных, а также на реальных клинических данных, представленных записями дыхательных шумов, речевых сигналов и электроэнцефалограмм. В статье исследовано влияние применения последовательно укрупненных признаков на результаты успешности классификации рассмотренных данных.
МЕТОД ОЦЕНКИ ТЕХНИЧЕСКОГО УРОВНЯ ИЗДЕЛИЯ ПО МОНИТОРИНГУ РЕКЛАМАЦИЙ В СИСТЕМЕ УПРАВЛЕНИЯ КАЧЕСТВОМ ПРОИЗВОДСТВА
АРЕФЬЕВ И.Б., КЛАВДИЕВ А.А., ВОЛОВИК А.В.
Стр. 86 — 92
В технике существует класс изделий, рассматриваемых как единый функциональный элемент, для которых показатели надежности не нормируются. Качество таких устройств оценивают по рекламациям. Оценку технического уровня этих изделий, отражающего его надежность, авторы предлагают осуществлять по статистике рекламаций на базе аппарата потенциального распределения вероятностей. В работе дана методика оцен-ки уровня безотказности такого типа технических изделий на примере преобразователей вращения. Предложенный метод позволяет оперативно и объективно оценивать технический уровень изделий и эффективность мероприятий по повышению их надежности на производстве. При этом учитывается неопределенность поведения среды эксплуатации. Рассмотренный подход к оценке технического уровня изделий не заменяет методы экспертиз, но является более объективным, так как не требует привлечения квалифицированных специалистов. Следовательно, исключается субъективная составляющая оценки изделия. На основе данного метода можно прогнозировать и оценивать эффективность мероприятий по обеспечению надежности изделия путем сопоставления его технического уровня до и после внедрения.
ОБ ОДНОМ ПОДХОДЕ К ОЦЕНКЕ ЭФФЕКТИВНОСТИ ИНФОРМАЦИОННОЙ ПОДДЕРЖКИ ПРОЦЕССОВ ЖИЗНЕННОГО ЦИКЛА КОРАБЛЯ
ТРЕТЬЯКОВ О.В.
Стр. 92 — 97
Создание средств автоматизации управления процессами жизненного цикла кораблей является актуальной задачей строительства Военно-морского флота РФ. Вместе с тем на практике часто возникают задачи оценки эффективности средств и систем информационной поддержки с точки зрения как обоснования затрачиваемых на их создание средств, так и их вклада в поддержание боевой готовности кораблей на заданном уровне. Настоящая статья посвящена обоснованию выбора показателя эффективности информационной поддержки жизненного цикла корабля. В качестве такого показателя предлагается использовать коэффициент системной готовности корабля. В отличие от широко используемого коэффициента технической готовности он позволяет учесть влияние факторов, не зависящих от технических решений, принятых при создании корабля, и прежде всего от времени логистических операций, необходимых для начала работ по восстановлению его готовности. В работе в концептуальном плане обсуждаются ключевые системные аспекты и целевые показатели, оказывающие наибольшее влияние на облик системы информационной поддержки. Сделаны обобщающие выводы о необходимости рассмотрения стоимости жизненного цикла корабля в качестве независимой переменной при оптимизации параметров проектных решений (технических, организационных, конструктивных), принимаемых на этапах создания корабля. При этом основные требования к системе информационной поддержки заключаются в обеспечении возможности обоснования этих решений на основе содержащихся в ней достоверных данных и адекватных программно-математических комплексов.
КОМБИНИРОВАННЫЙ ПОДХОД К РЕАЛИЗАЦИИ ОЦЕНКИ ЖИВУЧЕСТИ ТЕХНИЧЕСКИХ СРЕДСТВ КОРАБЛЯ ПРИ БОЕВЫХ ПОВРЕЖДЕНИЯХ С УЧЕТОМ НАКОПЛЕНИЯ УЩЕРБА
СОРОКИН В.Е., РЕУТ Е.В.
Стр. 97 — 105
Технические средства (ТС) (системы) современного корабля относятся к сложным системам, оценка живучести которых по сегодняшний день остается одной из важных научно-технических задач. Существующие методы общего назначения оценки живучести сложных систем требуют детальных исходных данных, специфических знаний и навыков пользователей, трудоемки и оценивают живучесть в процессе длительной эксплуатации. В статье под живучестью ТС корабля понимается обеспечение минимально необходимого уровня функционирования ТС для выполнения поставленной кораблю боевой задачи. При выполнении боевой задачи определяющим является воздействие на корабль различных средств поражения, вызывающих выход из строя элементов его ТС, которое в аспекте их живучести может рассматриваться как одномоментное и однозначное по результату и сопровождающееся вторичными поражающими факторами. Это позволяет предложить вычислительно более простой по сравнению с методами общего назначения детерминированный подход к оценке живучести ТС корабля. Он основывается на интегрированной базе данных электронной модели корабля, содержащей состав, связи, характеристики и размещение ТС и другие необходимые сведения для проведения расчетов. В этой базе данных хранятся также результаты расчетов для различных вариантов структурирования, размещения и конструктивной защиты элементов ТС с использованием внешних (де-терминированных или вероятностных) моделей боевых повреждений и развития аварийных процессов. Суть предлагаемого подхода в формировании целевых в аспекте оценки живучести ТС логических функций, в построении по исходным данным основной математической модели в виде ориентированного ациклического графа функциональных оценочных зависимостей и вычислении на ней оценочных показателей. Возможности комбинированного использо-вания экспертных систем для анализа частичного выполнения функций ТС в определенных ситуациях и итерационного внесения в исходные данные оперативных корректировок и результатов работы внешних моделей позволяют учитывать накопление ущерба для ТС корабля и одновременно исследовать как структурные, так и функциональные составляющие живучести. В статье приводится общее описание предлагаемого подхода и реализующих его алгоритмов.
ИССЛЕДОВАНИЕ ФУНКЦИИ НЕОПРЕДЕЛЕННОСТИ ШИРОКОПОЛОСНЫХ КОГЕРЕНТНЫХ МНОГОЧАСТОТНЫХ ЗОНДИРУЮЩИХ СИГНАЛОВ ДЛЯ ПОЛУЧЕНИЯ ДАЛЬНОСТНЫХ ПОРТРЕТОВ В ОБЗОРНЫХ РЛС
ТАЛАЛАЕВ А.Б., БЕРДЫШЕВ В.П., ПЛАТОНОВ А.Ю., МИРОНОВ А.М.
Стр. 105 — 112
Работа посвящена разработке алгоритма вычисления и исследования функции неопределенности широкополосных когерентных многочастотных зондирующих сигналов, используемых для получения дальностных портретов в обзорных радиолокационных станциях (РЛС). Для оценки разрешающей способности РЛС по радиальной дальности получено универсальное аналитическое выражение для функции неопределенности широкополосных когерентных многочастотных зондирующих сигналов двух видов – разомкнутых и сомкнутых. С этой целью используется общее симметричное выражение комплексных функций рассогласования для когерентных сигналов с единичной энергией. Для исследования функции неопределенности пачки прямоугольных импульсов с разными частотами с нормировкой на максимальное значение тела неопределенности были разработаны алгоритм и программа расчета функции неопределенности многочастотных зондирующих сигналов на языке инженерных и математических вычислений MATLAB 6.5. Представлены результаты исследования функции неопределенности при различных параметрах мно-гочастотных зондирующих сигналов. Для частных случаев полученное выражение совпадает с известными. Алгоритм позволяет получать вид функции неопределенности и ее сечений при различных параметрах многочастотных зондирующих сигналов (длительность импульса, период повторения импульсов в пачке, скважности, число импульсов в малой пачке (одной частоты), число малых пачек (число частот), изменение частоты от подпачки к подпачке (от малой пачки к малой пачке), ширина спектра импульса). Алгоритм вычисления и исследования функции неопределенности отличается от известных новыми соотношениями, учитывающими вариации параметров многочастотных зондирующих сигналов в пределах их длительности, и новыми процедурами численного определения функции неопределенности, обеспечивающими сокращение вычис-лительных затрат. Полученные выражения могут быть использованы при моделировании и оценке функции неопределенности при различных параметрах многочастотных зондирующих сигналов, используемых для получения дальностных портре-тов в интересах распознавания классов и типов воздушных объектов лицом, принимающим решение при выборе системы распознавания РЛС и сравнении альтернативных вариантов.
АЛГОРИТМ ОПРЕДЕЛЕНИЯ ВЕРОЯТНОСТИ РАЗРЕШЕНИЯ ГРУППОВЫХ ВОЗДУШНЫХ ОБЪЕКТОВ В РАЙОНЕ АЭРОДРОМА ОБЗОРНЫМИ РЛС
КОРДЮКОВ Р.Ю., БЕРДЫШЕВ В.П., ПОМАЗУЕВ О.Н., МИРОНОВ А.М., СТУЧИЛИН А.И.
Стр. 112 — 119
Работа посвящена разработке алгоритма определения вероятности разрешения групповых воздушных объектов в районе аэродрома обзорными радиолокационными станциями (РЛС). Рассмотрены тактические требования к разрешающей способности обзорных аэродромных РЛС, связанные с возникающей плотностью размещения воздушных объектов в районе аэродрома и необходимостью обеспечения безопасности полетов. Представлены аналитические выражения, позволяющие оценить разрешающие способности РЛС по дальности и азимуту. Показаны пути их улучшения. Оценка вероятности разрешения воздушных объектов в группе проводится на основе аналитических выражений, полученных для возможных значений разрешающих способностей по дальности и азимуту с использованием гео-метрической интерпретации вероятности разрешения при равновероятных законах распределения значений расстояний между воздушными объектами и их взаимного углового расположения. Рассмотрены шесть случаев, отличаю-щихся соотношением разрешающих способностей по дальности и линейной разрешающей способности по азимуту с минимальными и максимальными расстояниями между воздушными объектами. Получены аналитические выражения для определения вероятности разрешения для этих случаев, из которых новыми являются формулы для 3-го и 4-го случаев при улучшении разрешающей способности по азимуту в РЛС с инверсным радиолокационным синтези-рованием апертуры. Разработаны алгоритм определения вероятности разрешения воздушных объектов в группе и программа на языке инженерных и математических вычислений MATLAB 6.5, основу которого составляют полученные аналитические выражения. Получены зависимости вероятности разрешения воздушных объектов в группе обзорной РЛС типа 5Н84АМ без и при использовании режима инверсного радиолокационного синтезирования апертуры от дальности и угла наблюдения при заданных параметрах: максимальных и минимальных расстояний между воздушными объектами, тангенциальной составляющей скорости, разрешающей способности по дальности и длины волны. Показано, что инверсное радиолокационное синтезирование апертуры позволяет существенно повысить дальность разрешения целей в группе как малоскоростных, так и скоростных воздушных объектов при различных параметрах разрешающих спо-собностей по дальности и азимуту, а также условий наблюдения. Представлены аналогичные зависимости вероятности разрешения воздушных объектов в группе для РЛС санти-метрового диапазона при использовании режима инверсного радиолокационного синтезирования апертуры. Сравниваются возможности РЛС метрового и сантиметрового диапазонов по разрешению воздушных объектов в группе. Разработанный алгоритм может быть использован для оценки возможностей существующих и перспективных РЛС по разрешению групповых воздушных объектов с различными разрешающими способностями по дальности и азимуту, а также обоснования их параметров для получения дальностных и азимутальных портретов в интересах распознавания классов и типов воздушных объектов, например, лицом, принимающим решение при выборе образца РЛС при сравнении альтернативных вариантов.
МЕТОД И ПРОГРАММНЫЙ КОМПЛЕКС ДЛЯ ИССЛЕДОВАНИЯ ПРОЦЕССА ПРЕССОВАНИЯ КОМПОЗИТОВ ВОЛОКНИСТОГО СТРОЕНИЯ
ЗАЛАЗИНСКИЙ А.Г., КРЮЧКОВ Д.И.
Стр. 119 — 126
Предложена концепция экспериментально-аналитического метода инженерного анализа и оптимизации процессов пластического деформирования неоднородных материалов. Разработана математическая модель определения поврежденности волокон и основы композита волокнистого строения при прессовании. Авторский метод решения отличается от предложенных ранее тем, что учитывает неоднородность на макроуровне, то есть учитывается вид композита и применяется его подходящая схема. Показаны схема гибридного моделирующего комплекса, входящие основные взаимодействующие компоненты: система Abaqus, математическая и управляющая подсистемы и база знаний. В математической подсистеме используются библиотеки языка Python, являющиеся альтернативой пакету MATLAB. Разработан алгоритм для решения задач в гибридном моделирующем комплексе. Для решения задач прогнозирования качества композитов волокнистого строения при прессовании созданы программный модуль для системы Abaqus с интерфейсом и подпрограмма определения поврежденности компонентов композита на основе разработанной математической модели. Практическое применение программного комплекса проиллюстрировано на при-мере моделирования процесса прессования композита Nb-Ti+Cu. Приведены результаты решения в программном комплексе задачи определения поврежденности волокна и основы по модели разрушения Джонсона–Кука и предложенной методике.
КОНЦЕПЦИЯ УПРАВЛЕНИЯ ПРОЦЕССОМ ПРОЕКТИРОВАНИЯ В САПР ТЕХНОЛОГИЧЕСКИХ ПРОЦЕССОВ КОВКИ
КОНОВАЛОВ А.В., КАНЮКОВ С.И.
Стр. 126 — 131
САПР технологических процессов (ТП) ковки различных видов поковок на молотах и прессах предусматривают возможность внесения пользователями корректировок в результаты проектирования, полученные в автоматическом режиме. При этом результаты проектирования представляют собой набор технологических параметров, отраженных в карте ТП ковки, и корректировка любого из них, как правило, требует повторного перепроектирования всего ТП с учетом внесенных ранее корректировок. В этом смысле речь идет об управлении пользователем процессом проектирования. В статье описываются принципы построения системы управления процессом проектирования в САПР ТП ковки на примере ковки валов на прессах. В общем случае все корректируемые параметры проектирования и предусмотренные управляющие воздействия на них разбиты на четыре группы по уровням значимости: генеральные, глобальные, локальные и индивидуальные. Разработана система классификации корректируемых технологических параметров и управляющих воздействий на них, определена взаимосвязь параметров управления и управляющих воздействий как между группами, так и внутри каждой из них. Для описания принципов управления САПР ТП ковки валов на прессах в режиме активного диалога пользователя с ЭВМ использован аппарат математической логики. Полученные результаты позволяют повысить устойчивость работы системы в изменяющихся производственных условиях, что значительно упрощает ее внедрение на различных предприятиях, а также создают предпосылки для разработки генетических алгоритмов проектирования технологии ковки, когда по мере накопления в процессе эксплуатации системы результатов проектирования оказанные управляющие воздействия систематизируются и автоматически используются системой для уточнения соответствующих алгоритмов.
АДАПТИВНАЯ СИСТЕМА УПРАВЛЕНИЯ СОДЕРЖАНИЕМ ОКСИДА КРЕМНИЯ В ШЛАКАХ ПРИ ПЕРЕРАБОТКЕ МЕДНО-НИКЕЛЕВЫХ РУД
ФОМИЧЕВА С.Г., КОНЕВ А.В.
Стр. 131 — 140
В данной статье представлены результаты проектирования автономных адаптивных регуляторов на базе нейро-нечетких сетей, используемых для балансировки содержания оксида кремния в шлаках при переработке медно-никелевых руд в медные и никелевые катоды. Показано, что, являясь высокоинерционными, данные металлургические процессы требуют двухуровневой системы регулирования – грубой и точной регулировки. При этом точная регулировка может адекватно выполняться нейро-нечеткими модулями в полностью автоматическом режиме, снижая операционную нагрузку на действия технолога-диспетчера, причем управляющие воздействия автономного адаптивного регулятора позволяют обеспечить более высокую точность балансировки по сравнению с ручным управлением. Приведена структура гибридной нейро-нечеткой сети, на основе которой разработан адаптивный регулятор. Показаны выявленные нечеткие тенденции зависимости содержания оксида кремния в шлаках от управляемых параметров высоких порядков нелинейности, подтвержденные экспериментально. Конфигурация структуры авторской гибридной сети представляет собой каскадно связанные между собой пять нейро-нечетких подсетей с обратными связями, включающими элементы задержки. Элементы задержки имитируют временной лаг, отображающий глубину инерционности процессов, который, в свою очередь, также является нечет-кой переменной. Данная конфигурация позволила адекватно реализовать мягкие управляющие воздействия на такие параметры, как общий расход песка, расход пыли, обогащение дутья, Ni+Cu в концентрате, S в концентрате, Fe в концентрате, SiO 2 в концентрате, а также корректно учитывать при прогнозировании ряд ретроспективных парамет-ров: Ni+Cu в штейне (истор.), Fe в штейне (истор.), SiO 2 в штейне (истор.), Ni+Cu в шлаке (истор.), Fe в шлаке (истор.).
ПРОГРАММНЫЙ КОМПЛЕКС ОЦЕНКИ ИНЖЕНЕРНО-ТЕХНИЧЕСКОЙ ЗАЩИЩЕННОСТИ ПОТЕНЦИАЛЬНО ОПАСНЫХ ОБЪЕКТОВ
БОРОВСКИЙ А.С.
Стр. 141 — 147
Обеспеченность объекта инженерно-техническими средствами охраны является важнейшей составляющей в проектировании систем физической защиты, так как именно от нее зависит защищенность объекта в целом. Процессу проектирования систем физической защиты присущи неопределенности, которые, как правило, связаны с неполнотой априорных знаний о проблеме, поэтому в разрабатываемую САПР должна входить интеллектуальная составляющая, основой которой является теория нечетких множеств. В статье рассматриваются архитектура программного комплекса оценки инженерно-технической защищенности объекта, алгоритм поддержки принятия решения в процессе оценки защищенности объекта и концептуальная модель прототипа системы анализа защищенности объекта. Детально описаны программные модули прототипа: модули оценки меры структурной защищенности критических элементов объекта, оценки требуемого уровня защищенности критических элементов объекта, вычисления показателя качества инженерно-технической защищенности объекта, определения требуемого уровня средств защиты для критических элементов объекта, определения степени оснащенности инженерно-техническими средствами охраны критических элементов объекта.
КОМПЛЕКС ПРОГРАММ ИДЕНТИФИКАЦИИ ТОЧЕЧНЫХ ДЕФЕКТОВ ЛИСТОВОГО СТЕКЛА
МЕШАЛКИН В.П., ПЕТРОВ Д.Ю., ИВАЩЕНКО В.А., ЕФИМОВ И.В.
Стр. 147 — 152
Приведена общая схема взаимодействия аппаратно-программного обеспечения АСУ технологическим процессом производства листового стекла. Предложен комплекс программ идентификации точечных дефектов листового стекла, реализованный на основе объектно-ориентированных средств программирования. Математическое обеспечение комплекса реализует оптико-вейвлетный метод локализации дефектов в листовом стекле и нейроэвристическую процедуру их классификации. Представлена также структура программного комплекса идентификации точечных дефектов листового стекла. Описаны способ реализации программного обеспечения и процедура развертывания программного комплекса на аппаратные платформы. Обосновано использование комплекса программ идентификации точечных дефектов листового стекла в системе управления производством высококачественного листового стекла. Программное обеспечение реализовано на языке C++ в MS Visual Studio и выполняется на промышленном компьютере на базе отказоустойчивого двухпроцессорного сервера Fastwel AdvantiX IS-4U-SYS5 с операционной системой реального времени PC_WinRTXEngine.
THE QUALITY CONTROL SOFTWARE ENVIRONMENT WITHIN THE PAPERBOARD PRODUCTS MANUFACTURING PROCESS
PALYUKH B.V., EGEREVA I.A., EMELYANOVA I.I.
Стр. 152 — 157
В работе рассматриваются подходы к организации регулирования качества продукции с учетом специфики бумажно-картонного производства, использующего вторичное волокнистое сырье, на основе применения комплекса программных средств. Предложен алгоритм функционирования системы регулирования качества на примере управления процессом приготовления крахмального клея с учетом наиболее распространенных оценочных параметров качества. Обоснована целесообразность сведения задачи управления технологическим процессом к задаче управления нечетким многостадийным производственным процессом, где эволюция состояния каждой стадии характеризуется некоторым нечетким отношением. Решение задачи сведено к решению функционального уравнения типа Беллмана. Для формирования базы знаний по рассматриваемой предметной области применяется метод построения множества предпочтительных состояний. Поиск и выбор оптимального варианта решения поставленной задачи в виде сервиса осуществляется путем применения многошагового алгоритма поиска альтернатив. Программный комплекс регулирования качества при производстве бумажно-картонной продукции позволяет отслеживать нарушения технологического регламента, выявлять причины отклонений фактических значений показателей качества от нормативных, осуществлять поиск и выбор оптимальных вариантов решения задач поддержки процесса в соответствии с технологическим регламентом.
A SIMULATOR FOR MODELING THE DRYING OF A BED OF COCOA BEANS
CHOKHONELIDZE A.N., LEMPOGO F. , BROWNACQUAYE W.
Стр. 157 — 163
В статье рассматривается процесс разработки программного обеспечения для определения оптимальных условий сушки слоя какао-бобов в конвективной сушилке. Для достижения данной цели на основе модели В. Лыкова (тепло- и массоперенос в капиллярной пористой среде) разработана математическая модель определения свойств слоя какао-бобов во время их термообработки. В ходе исследования был разработан алгоритм решения системы уравнений тепломассопереноса. Полученный алгоритм реализован при помощи инструментальных средств быстрой разработки приложений RapidApplicationDevelopmentTools, включая VisualBasic. NET, CodeFluent Entities и MATLAB 7.12. Симулятор будет служить мощным инструментом принятия решений, полезным для инженеров и операторов при разработке оптимальных условий сушки, необходимых для улучшения качества какао-бобов и конечных какао-продуктов.
ПРОГРАММНАЯ ПЛАТФОРМА ДЛЯ ВИРТУАЛЬНОГО ПОСРЕДНИЧЕСКОГО ОПЕРАТОРА В СФЕРЕ УСЛУГ
СЮСИН И.А.
Стр. 163 — 167
Предлагается решение задачи организации и управления взаимодействием поставщиков и потребителей различных услуг в едином информационном пространстве путем организации виртуального посреднического оператора. В качестве основного метода управления предлагается метод кондициального управления (управления обстоятельствами) в многоакторной интегрированной информационной среде. Ставится задача управления деятельностью посреднического оператора в сфере услуг, выделяются показатели эффективности его работы. Для решения постав-ленной задачи предлагаются алгоритмы, позволяющие обеспечить требуемый характер коллективного поведения поставщиков и потребителей услуг в едином информационном пространстве в условиях относительной самостоятельности оценки и принятия решений. В качестве примера задачи, для решения которой может быть успешно применен метод использования виртуального посреднического оператора, рассмотрена сфера туризма: в статье предлагается программное решение, реализованное с использованием описанных алгоритмов. Реализация предложенного подхода на практике в виде специализированной программной платформы может стать весьма привлекательным инструментом для поставщиков и потребителей определенного спектра услуг, взаимодействующих в едином информационном пространстве, и позволит реализовать потенциал информационно-коммуникационных технологий для повышения уровня сервиса.
ПЕРСПЕКТИВЫ ПРИМЕНЕНИЯ ГИБРИДНЫХ МЕТОДОВ ПРОГНОЗИРОВАНИЯ ПОКАЗАТЕЛЕЙ ГОСУДАРСТВЕННОЙ ПРОГРАММЫ РОССИИ «РАЗВИТИЕ НАУКИ И ТЕХНОЛОГИЙ»
ЯРУШЕВ С.А., АВЕРКИН А.Н.
Стр. 167 — 173
В статье рассматриваются проблемы прогнозирования в сфере исследований и разработок России. Сама сфера исследований и разработок представляет собой совокупность организаций и учреждений, в которых выполняются фундаментальные и прикладные исследования, опытно-конструкторские работы, и опытного производства. В результате деятельности этой сферы появляются новые знания, образцы техники и технологий, научные открытия. Интенсификация производства и использования новых научно-технических результатов предопределила резкое сокращение инновационного цикла, ускорение темпов обновления продукции и технологий. Современная экономическая ситуация в мире требует опережающего развития отдельных специфичных направлений научных исследований и технологических разработок («чистая» энергетика, новые технологии, нанотехнологии и т.д.), по многим из которых нет существенных заделов. Все это порождает появление коротких временных рядов, а любой прогноз основывается на анализе динамики показателей за предшествующий период времени. Как показывает практика, использование статистических методов в таких условиях становится затруднительным. Поэтому для достижения наилучших результатов при построении качественных прогнозов новых показателей, например в нанотехнологиях, предлагается использовать гибридные нейрорегрессионные системы. В статье описывается распределенная система прогноза показателей развития сферы исследований и разработок на основе комплексной эконометрической модели в форме уравнений множественной регрессии. Приводятся экспериментальные результаты краткосрочного прогноза развития сферы, полученные с использованием методов множественной регрессии.
МЕТОДИКА ОПРЕДЕЛЕНИЯ УЗКИХ МЕСТ В РАБОТЕ БОЛЬШИХ ТРУБОПРОВОДНЫХ СИСТЕМ
ЕДЕЛЕВ А.В., ВОРОБЬЕВ С.В.
Стр. 174 — 177
В статье рассматривается моделирование сценариев развития Единой системы газоснабжения с помощью программно-вычислительного комплекса «Нефть и газ России». Особое внимание уделяется определению в системе узких мест, то есть объектов, не имеющих резерва производственных возможностей. Чаще всего именно они либо являются, либо могут стать в будущем причиной недопоставки необходимого количества энергоресурса потребителям. Для определения узких мест в работе Единой системы газоснабжения с позиции обеспечения потребителей газом в необходимом объеме и ранжирования узких мест по первоочередности применения мероприятий для минимизации дефицита энергоресурса у потребителя рассмотрена модель оценки производственных возможностей Единой системы газоснабжения. Модель описана в виде задачи нахождения максимального потока минимальной стоимости. Для решения проблемы упорядочения узких мест по приоритетности проведения мероприятий для минимизации дефицита энергоресурса у потребителя в программно-вычислительном комплексе «Нефть и газ России» использован аппарат двойственных оценок. Работа модуля определения и ранжирования узких мест продемонстрирована на при-мере анализа возможности по пропуску газа действующей газотранспортной системы России при вводе в эксплуатацию Бованенковского газового месторождения на полуострове Ямал.
ПОСТРОЕНИЕ ПРОБЛЕМНО-ОРИЕНТИРОВАННЫХ ИНТЕРФЕЙСОВ ПРИЛОЖЕНИЙ СУПЕРКОМПЬЮТЕРА «УРАН» НА ОСНОВЕ MS SHAREPOINT
ГОЛЬДШТЕЙН М.Л., ЕРМАКОВ Д.Г.
Стр. 177 — 182
В статье предлагается решение задачи построения проблемно-ориентированных веб-интерфейсов приложений суперкомпьютера «УРАН». Веб-интерфейсы строятся на основе ПО MS SharePoint с использованием свободно распространяемых расширений (решений SharePoint) Power web-part и Advanced Workflow Actions for SharePoint Designer 2010 от «iLove SharePoint». Данные расширения обеспечивают выполнение скриптов Windows PowerShell в среде SharePoint. Для организации взаимодействия систем на основе MS Windows и Linux используется свободно распространяемый набор командлетов PowerShell – SSH from PowerShell using the SSH.NET library. Приводится пример использования решения для моделирования пользовательской среды пакета MATLAB. Аналог среды MATLAB создается на странице веб-частей SharePoint за счет внедрения в эту страницу Power web-part, служащую контейнером PowerShell-скрипту, который использует объектную модель SharePoint для генерации элементов интерфейса. В этом скрипте осуществляются дополнительная обработка команд и данных, введенных пользователем, формирование и передача команд MATLAB на выполнение через монитор ресурсов SLURM, возвращение результатов и их отображение. Для более объемных задач предлагается использовать библиотеки документов и InfoPath форм. С этими библиотеками связываются рабочие процессы SharePoint, которые при помощи расширения Advanced Workflow Actions for SharePoint Designer 2010 запускают PowerShell скрипты, формирующие на основе заполненных форм за-дания и передающие их SLURM. Взаимодействие сервера SharePoint и головного узла кластера «УРАН» осуществ-ляется по протоколу SSH при помощи командлетов PowerShell SSH from PowerShell using the SSH.NET library. Также рассмотрены некоторые вопросы безопасности предлагаемого решения.