Программные продукты и системы

Статьи из выпуска № 2 за 2014 год.

Упорядочить результаты по: Дате публикации | Заголовку статьи | Авторам

31. Система типового контроля программ на языке функционального программирования FPTL [№2 за 2014 год]
Авторы: Бочаров И.А., Кутепов В.П., Шамаль П.Н.
Просмотров: 9357
Описаны методы и алгоритм статического (до выполнения программы) контроля типов функциональных программ на созданном языке функционального параллельного программирования FPTL. Язык реализован на многоядерных компьютерах и успешно применяется на практике. FPTL – чисто функциональный язык, основанный на построении функций путем применения четырех операций композиции функций и рекурсивных определений. Три из этих операций являются параллельными, что позволило создать достаточно эффективные алгоритмы параллельного выполнения программы на многоядерных компьютерах, используя интерпретацию программы. Это принципиально отличает FPTL от других функциональных языков программирования, основанных на лямбда-нотации (Haskell, ML и др.). Система типов данных в языке состоит из встроенных типов (real, int, bool и др.) и определяемых абстрактных типов данных. Функции в языке являются в общем случае полиморфными. В теоретической части статьи определены условия правильной типизации FPTL-программ, на основе которых разработан алгоритм контроля типовой правильности программы до ее выполнения. В существующей реализации языка на многоядерных компьютерах тип о-вой контроль осуществляется в процессе выполнения программы, что занимает около 30 % времени ее выполнения. Разработанная система типового контроля является статической и позволяет заметно сокращать время выполнения параллельных программ.

32. Трансдуктивное обучение логистической регрессии в задаче классификации текстов [№2 за 2014 год]
Авторы: Шаграев А.Г., Бочаров И.А., Фальк В.Н.
Просмотров: 12676
Во многих задачах текстовой классификации возникают проблемы с получением достаточного количества размеченных документов для обучающей выборки. При этом обычно имеется значительное количество доступных неразмеченных текстов. В данной статье рассматривается метод, используя который, можно значительно улучшить качество классификации, имея довольно малую по сравнению с тестовой выборкой обучающую выборку. Предложен нестандартный способ формирования признакового описания текстов на естественных языках, учитывающий специфику написания новостных текстов. Помимо этого, рассматриваются модификации классического линейного метода решения задачи классификации – логистической регрессии. Для оптимизации параметров логистической регрессии применяется модифицированный метод стохастического градиентного спуска. При обучении регрессии используется модифицированный функционал потерь, увеличивающий зазор между классами. Предлагается также оригинальный метод трансдуктивного обучения логистической регрессии. Для его осуществления вводится специальный функционал качества для неразмеченной коллекции, который позволяет существенно увеличить полноту классификации. Для проверки применимости разработанных модификаций метода логистической регрессии используется процедура обратного скользящего контроля. По результатам приведенных в статье вычисли-тельных экспериментов становится очевидным положительное влияние авторских модификаций метода логистической регрессии и трансдуктивного обучения на качество классификации.

33. Формирование мультимодельной системы для принятия оптимальных управленческих решений на предприятии [№2 за 2014 год]
Авторы: Беляева М.А., Бурляева О.К., Сырова И.В.
Просмотров: 12281
В статье приведены результаты разработанной системы поддержки принятия решений в сфере мясного производства, в основу которой положены модели с использованием имитационных систем Anylogic, Simplex3, инструментальных сред BPwin 7.1 и Aris 7, а также система структурно-параметрического моделирования. Компьютерная мультимодельная система решает задачи оценки технического обеспечения предприятия и экономического состояния мясоперерабатывающего предприятия, прогнозирования и планирования доходов, расходов и убытков, расчета численности работников на предприятии и фонда заработной платы, оценки и планирования структуры предприятия, выявления приоритетных направлений развития мясного производства, планирования средств на строительство, ремонт и содержание инфраструктуры мясоперерабатывающего предприятия, выделения основных факторов риска и прогноза критических ситуаций, расчета объема продаж готовой продукции. Система позволяет определять маркетинговую ситуацию, проводить ценовую политику и устанавливать компромиссные цены, устраивающие как производителя мясной продукции, так и покупателя, определять спрос на мясную продукцию по ее ассортименту. Решение вышеуказанных задач достигается путем применения современных методологий, программных продуктов и систем, создания моделей деятельности предприятия как в статике, так и в динамике, проведения многофакторного анализа данных, их «экспорта» и «импорта» из одного программного продукта в другой, интегрируя этим самым в одно целое репозиторий и информационную систему предприятия. Компьютерная мультимодельная система поддержки принятия решений дает возможность совершенствовать процесс мясного производства и может быть полезна руководителям, менеджерам, предпринимателям в мясном бизнесе.

34. Эволюция и принципы построения информационных систем управления предприятием [№2 за 2014 год]
Авторы: Заложнев А.Ю., Заложнева Л.Л., Чистов Д.В., Шуремов Е.Л.
Просмотров: 12589
В статье рассматриваются эволюция и некоторые принципы построения информационных систем управления предприятием различного уровня, которые поддерживают функционирование производственных и логистических систем, реализующих производственно-технологические и бизнес-процессы и участвующих в распределении производства товаров и услуг. Под эволюцией понимается поступательное наращивание функциональных возможностей информационных систем управления предприятием, предполагающее использование новых подходов и принципов, и связанных с ними технологических решений. Рассматриваются основные концепции и устанавливаются аналогии между принципами и технологическими решениями, лежащими в основе концепций построения информационных систем управления, с одной стороны, и понятиями и подходами, используемыми в теории управления техническими системами, с другой. На конкретных примерах показано, что в результате последовательной реализации концепций построения информационных систем управления в практику управления предприятиями были введены важные понятия теории управления техническими системами: обратная связь, равновесие, управляемость, чувствительность, устойчивость, оптимальность, адаптируемость, идентификация, оценивание, информационное управление и другие. Отдельное внимание уделяется таким важным подсистемам информационных систем управления предприятием, как системы управления взаимоотношениями с клиентами и поставщиками, а также программным приложениям и компонентам, входящим в их состав, и другим подсистемам, ориентированным на поддержку бизнес-процессов. Рассматривается комплексный подход к построению систем управления предприятием, подразумевающий как горизонтальную, так и вертикальную интеграцию систем управления. При рассмотрении вертикальной интеграции основной акцент сделан на концепции CIM, программные реализации которой позволяют осуществлять вертикальный автоматизированный контроль над технологическими процессами промышленного предприятия.

35. Эталонная модель системы административного управления ИТ-инфраструктурой на основе методологии ARCON [№2 за 2014 год]
Авторы: Гришаков В.Г., Логинов И.В.
Просмотров: 12623
Виртуальная система административного управления выделенным ИТ-компонентом создается вышестоящим контуром управления с использованием рекурсивно-иерархического метода. Создание и последующее управление виртуальной системой административного управления в процессе ее жизненного цикла реализуется на основе гибридной модели объекта управления. В работе в качестве абстрактной модели, применяемой при создании гибридной модели объекта управления, предложено использовать адаптированную под предметную область систем административного управления эталонную модель коллаборативных сетевых организаций ARCON. Адаптированная эталонная модель определяет состав, функции, архитектуру и поведение системы административного управления. Она может использоваться для описания виртуальных предприятий, в которых управление распределено между несколькими согласующими свои действия агентами, что характерно для поведения участников виртуальных систем административного управления. Абстрактные параметры эталонной модели заполнены конкретными значениями, характерными для виртуальных систем административного управления ИТ-инфраструктурой. При этом определены как внутренние, так и внешние составляющие модели на общем уровне абстракции. Для определения жизненного цикла систем административного управления предложено отображение эволюционной составляющей модели ARCON на типовую модель жизненного цикла по ГОСТу 15288. Для управления развитием системы административного управления на всем ее жизненном цикле с применением адаптированной модели предложена методика, базирующаяся на агентно-ориентированном подходе и определяющая порядок управления на основе гибридной модели. Ее применение позволяет повысить эффективность формирования, поддержки и эволюции системы административного управления. Для использования методики в процессе административного управления определены схема применения гибридной модели и порядок ее наполнения для решения частных задач управления.

◄ ← Предыдущая | 1 | 2 | 3 | 4