На правах рекламы:
ISSN 0236-235X (P)
ISSN 2311-2735 (E)

Авторитетность издания

ВАК - К1
RSCI, ядро РИНЦ

Добавить в закладки

Следующий номер на сайте

2
Ожидается:
16 Июня 2024

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

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

11. Программный комплекс для разработки облачных виртуальных сред [№2 за 2015 год]
Авторы: Грибова В.В., Федорищев Л.А.
Просмотров: 8585
В статье описывается реализация инструментального комплекса ИРВИС (Интернет-разработка виртуальных интерактивных сред), предназначенного для разработки виртуальных сред на основе облачной платформы IACPaaS (Intellectual Applications, Control and Platform as a Service). Описаны основные принципы: автоматизация процесса разработки, включение в процесс разработки специалистов разного профиля, программы – облачные сервисы. В соответствии с этими принципами сформулирован ряд требований к комплексу ИРВИС и методам его реализации. Представлены основные сервисы комплекса: структурный редактор, графический редактор и интерпретатор. Структурный редактор применяется для разработки декларативной модели виртуальной среды. Описано, каким образом структурный редактор был реализован как выходной сервис редактора IWE (Improved Web Editor) облачной плат-формы. Графический редактор предназначен для визуального формирования элементов модели виртуальной среды с последующим дополнением декларативного представления. В статье описан метод реализации графического редактора как клиент-серверного облачного сервиса платформы, описана технология использования мультиагентного подхода с применением системы сообщений в реализации данного сервиса. Последний из описанных сервисов, интерпретатор, предназначен для запуска и работы разработанных виртуальных сред, каждая из которых становится самостоятельным сервисом облачной платформы. Аналогично графическому редактору представлен метод реализации интерпретатора как клиент-серверного облачного сервиса платформы с использованием мультиагентного под-хода. Приведены примеры использования комплекса ИРВИС для создания облачных виртуальных сред: компьютерный обучающий тренажер по классическим методам офтальмологии, виртуальная химическая лаборатория, вирту-альный редактор городского района.

12. Оценка распределения межрайонного пассажиропотока городского электротранспорта [№2 за 2015 год]
Авторы: Дружинина Н.Г., Трофимова О.Г., Трофимов С.П.
Просмотров: 6565
Разработана система анализа пассажиропотока городского электротранспорта на основе информации об электронной оплате проезда и навигационных данных движения подвижной единицы. Задача исследования заключается в идентификации пассажиропотока в условиях неопределенности на основе сопоставления информации об электронной оплате проезда (транзакции) и навигационной системы движения подвижной единицы (моменты прохождения через контрольные пункты – остановки). Введено понятие транзакциопотока как множества транзакций, по которым можно определить перемещение пассажиров, оплачивающих проезд по электронной карте. Показана возможность «склеивания» набора транзакций пересадок в единый маршрут пассажира, при этом решена задача «последней мили»: определены неизвестные место и время прибытия пассажира. Получены выборочные распределения пассажиропотока городского электротранспорта, содержащие основную информацию о перемещении пассажира: время и место начальной и конечной точек его поездки. Оценка распределения пассажиропотока городского электротранспорта проведена между административными районами города с привязкой к маршрутной схеме движения трамвая. Количество остановок в каждом административном районе различно, но это позволило определить направленность движения пассажиропотока по районам и загруженность маршрутов, проходящих через несколько районов города. Анализ проведен для реального пассажиропотока в рабочий и выходной дни. Система работает в условиях неполно-ты исходных данных (рассматривается только один вид общественного транспорта). В результате группировки остановок по административным районам построен OLAP-куб с информацией о маршруте пассажира. Статистический анализ куба позволяет определить экстремумы пассажиропотока, и городская администрация может сгладить эти экстремумы путем модернизации городской транспортной сети.

13. Исследование влияния профилирования памяти средствами библиотеки jemalloc на время выполнения многопоточных приложений [№2 за 2015 год]
Авторы: Иванов Е.Ю., Торопов А.В., Косяков М.С.
Просмотров: 7966
Для проведения экспериментов на основе популярных синтетических тестов реализовано многопоточное приложение, позволяющее варьировать различные параметры, связанные с выделением памяти. Предложен критерий для оценки результатов профилирования памяти. На примере системы алгоритмической торговли Tbricks показано, что синтетические тесты не обладают достаточной степенью адекватности для анализа влияния профилирования памяти на характеристики оперативности реального приложения. Установлено, что неактивное профилирование не влияет на рассматриваемые характеристики, в то время как при активном профилировании наблюдаемые значения зависят от интервала выборки и могут ухудшаться в несколько раз. Проведен анализ исходного кода библиотеки jemalloc, отве-чающего за профилирование памяти, что помогло определить сбор стеков как основную причину накладных расхо-дов при профилировании. Выполнено сравнение рассматриваемых характеристик оперативности при использовании библиотек для сбора стеков libunwind и prof-libgcc: результаты экспериментов, выполненных с использованием би б-лиотеки для сбора стеков libunwind, в среднем на 20 % хуже, чем при использовании библиотеки prof-libgcc. На ос-нове проведенных экспериментов авторами рекомендован интервал выборки, при котором результаты профилирова-ния содержат информацию не менее чем о 90 % всей выделенной памяти. При этом увеличение времени выполнения приложения с высокой степенью параллелизма составляет порядка 5 % по сравнению с отключенным профилированием, что позволяет анализировать выделение памяти в приложениях в процессе их работы в промышленных условиях.

14. Моделирование системных показателей оценки эффективности научных школ [№2 за 2015 год]
Авторы: Ильясов Б.Г., Карамзина А.Г., Фазлетдинова Ю.Р.
Просмотров: 11755
Эффективность научной деятельности научно-исследовательского университета зависит от качества управления его функционированием и развитием. Такое управление необходимо осуществлять на основе знаний о текущем со-стоянии университета, которое можно определить с помощью оценки эффективности научной деятельности. Практическая реализация оценки научной деятельности затруднительна в связи с субъективной природой формирования научных знаний и необходимостью применения различных методов и показателей с привлечением экспертов. Для оценки эффективности научной деятельности научно-исследовательского университета предлагается рассчитывать интегральную оценку эффективности научных школ, в рамках которых ведутся научные исследования. Для ее расчета используется иерархическая система, включающая уровневую оценку градиентов, параметров, системных показателей и интегральную оценку в целом. Авторами обоснована необходимость создания автоматизированной информационной системы оценки эффективности научной школы, применение которой позволит повысить качество управления университетом на всех уровнях, а также обеспечить эти уровни управления необходимой информацией. Разработан комплекс моделей с применением структурного подхода к проектированию автоматизированных информационных систем: диаграммы потоков данных, диаграмма «сущность–связь». Для отражения взаимодействия основных подсистем автоматизированной системы разработана функциональная схема ПО.

15. Выбор метрики для системы автоматической классификации электрорадиоизделий по производственным партиям [№2 за 2015 год]
Авторы: Казаковцев Л.А., Ступина А.А., Орлов В.И.
Просмотров: 8199
Комплектация критически важных электронных узлов сложных систем качественной электронной компонентной базой – необходимое условие повышения надежности систем в целом. При этом важно, чтобы однотипные эле-менты схемы имели одинаковые характеристики, что обеспечивается наилучшим образом, если данные элементы изготовлены в рамках одной производственной партии из одной партии сырья. К различным категориям электронных узлов предъявляются разные требования по количеству используемых в них партий изделий. В настоящей работе за-дача выявления производственных партий в поставляемой партии изделий по результатам входных тестовых испытаний рассматривается как задача кластерного анализа. В статье обосновывается выбор прямоугольной метрики в задаче k-средних. В работе приведена необходимая при этом модификация используемой процедуры локального по-иска. Даны примеры результатов работы системы автоматической классификации электронных компонентов по производственным партиям, решающей задачи кластерного анализа на реальных данных с использованием метода k-средних с квадратичной евклидовой мерой расстояния и с прямоугольной метрикой. В качестве тестовых данных были использованы данные тестовых испытаний партий микросхем. Размерность данных – до 2 500 векторов данных, каждый из которых содержит результаты измерений до 230 параметров. Для визуального представления результатов классификации многомерного массива данных использовался метод многомерного масштабирования (MDS – Multidimensional Scaling).

16. Генетический алгоритм автоматизированного проектирования подготовительных переходов ковки [№2 за 2015 год]
Авторы: Канюков С.И., Коновалов А.В.
Просмотров: 9842
Опыт разработки и внедрения САПР технологии ковки различных типов поковок на молотах и прессах показывает, что в перечне задач, которые необходимо решать в процессе автоматизированного проектирования, немало так называемых трудноформализуемых задач. Эти задачи опытный технолог при неавтоматизированном способе проектирования решает достаточно легко, а разработчики САПР вынуждены закладывать в систему приближенные алгоритмы и предлагать пользователям-технологам вносить свои исправления в полученные решения в режиме активно-го диалога. При таком подходе производственный опыт технолога используется системой только в конкретном варианте проектирования и не обобщается на другие варианты. В то же время сформированная БД ранее спроектированных технологических процессов с участием человека или без него в неявном виде отражает производственный опыт технологов и специфику кузнечного производства предприятия. Задача состоит в том, чтобы использовать эту информацию при решении трудноформализуемых задач. Перспективным при этом представляется применение идей и методов теории генетических алгоритмов, позволяющих системе использовать опыт предыдущих решений и развиваться на этой основе в процессе эксплуатации. В статье описан разработанный генетический алгоритм решения задачи проектирования подготовительных пере-ходов ковки валов в САПР технологических процессов ковки на прессах. Данный алгоритм обладает свойствами самоусовершенствования и автоподстройки к реальным условиям производства, что, в свою очередь, позволит изба-вить пользователей САПР от необходимости внесения большого количества корректировок в результаты проектирования. Описанный в статье подход к разработке генетических алгоритмов может быть использован и при решении других трудноформализуемых задач проектирования технологии ковки.

17. Разработка системы поддержки принятия решений при определении уровня экологического штрафа производственного предприятия [№2 за 2015 год]
Автор: Кисляков И.М.
Просмотров: 8544
В данной статье рассматривается разработка системы поддержки принятия решений для учета экологического фактора административным центром при запуске инвестиционного проекта, включая как открытие новых производств, так и расширение действующих мощностей. Обосновывается необходимость в разработке вышеуказанной системы. Приводятся требования пользователя к системе и, соответственно, ее компонентный состав: информационный компонент (поиск и сбор информации для работы системы), моделирующий компонент (разработка математической модели и реализации ее в виде компьютерной программы), экспертный компонент (анализ результатов, полученных в ходе работы моделирующего компонента, и предоставление рекомендаций). Описывается роль каждого компонента в системе поддержки принятия решений. Приводится пример реализации разработанной автором системы, позволяющей облегчить конечному пользователю работу по поиску точного, объективного, научно обоснованного результата, помогающего администрации территории вести взвешенную политику по экономическому развитию с минимальным причинением вреда окружающей природной среде. Методика применения системы поддержки принятия решений иллюстрируется на основе использования авторской разработки «Экологический балансер».

18. Метод ограничений верифицируемых моделей [№2 за 2015 год]
Авторы: Кораблин Ю.П., Шипов А.А.
Просмотров: 9942
Программные системы с каждым днем становятся все более сложными и комплексными, поэтому необходимо наличие таких инструментов, которые позволяли бы относительно легко выполнять проверку их работы на соответствие заданным спецификациям, особенно, когда речь идет о больших и распределенных программных системах. В данной статье предлагается новая методика, представляющая собой отдельный этап процесса верификации систем подобного рода и позволяющая сделать верификацию в целом более эффективной. Поскольку методика – это от-дельный этап верификации для метода Model Checking или метода проверки на моделях и может быть с легкостью автоматизирована, ее внедрение в уже существующую технологию не является сложной задачей. В основе работы метода лежит принцип, согласно которому модели всех систем содержат избыточные вычисли-тельные последовательности, их анализ при проверке конкретных свойств системы необязателен и не оказывает влияния на конечный результат. Исключение данных вычислительных последовательностей из исходной модели пе-ред верификацией заданных свойств и является основной задачей метода. В статье дано подробное описание предлагаемого метода, а также выполнена оценка его эффективности. Теоретический материал подкреплен рядом наглядных примеров работы метода, в частности, примером для распределен-ной программной системы. Авторы полагают, что использование данного метода позволит существенно сократить число анализируемых при верификации вычислительных последовательностей для модели заданной системы и тем самым повысить производительность этого процесса.

19. Web-ориентированный компонент продукционной экспертной системы [№2 за 2015 год]
Авторы: Коршунов С.А., Павлов А.И., Николайчук О.А.
Просмотров: 12467
В работе рассматриваются вопросы реализации компонента продукционной экспертной системы в виде web-приложения. Данный компонент позволит специалисту-предметнику решать проблемы, используя сформированные им логические правила, описывающие динамику исследуемых процессов. Web-доступ к компоненту обеспечит возможность коллективного доступа, что особенно важно при междисциплинарных исследованиях, требующих работы коллектива специалистов из разных областей знаний. Компонент обладает следующей архитектурой: web-сервис; модуль взаимодействия с БД, реализующий программный интерфейс доступа к ней; модуль управления базами знаний, предназначенный для работы с правилами и фактами; графический редактор правил, основывающийся на RVML-нотации представления продукций; модуль связи с web-сервисом, реализующий пользовательский интерфейс доступа к web-сервису экспертной системы; БД для хранения базы знаний (фактов, правил и начальных условий). Более подробно рассмотрена реализация web-сервиса. Основная задача web-сервиса – подготовить информацию (факты и правила) из БД для ее последующей обработки машиной вывода, то есть преобразовать ее из обобщенного вида в формат JESS. Полученная информация будет использована машиной вывода для осуществления логического вывода на основе правил и фактов. Основные модули web-сервиса: интерфейс БД, реализующий программный ин-терфейс доступа к ней; продукционная машина вывода, осуществляющая процесс рассуждения по правилам и пред-ставленная в виде программной библиотеки, реализующей машину вывода JESS; модуль преобразования правил и фактов из обобщенного вида в формат машины вывода, реализация которого зависит от используемой машины вы-вода.

20. Решение задачи прогнозирования с использованием нейронных сетей прямого распространения на примере построения прогноза роста курса акций [№2 за 2015 год]
Автор: Лесик И.А.
Просмотров: 16109
В статье рассматривается проблема прогнозирования курса акций с использованием нейронных сетей прямого распространения. В качестве основы для алгоритмов были использованы однослойный перцептрон (без скрытого слоя) и многослойный перцептрон (по Румельхарту). Реализованы метод обратного распространения ошибки для обучения сети, а также подбор оптимального значения параметра скорости обучения для алгоритмов. Приводятся условия сходимости алгоритмов (в смысле сходимости среднеквадратического значения к некоторой константе) и оценки асимптотической сложности для алгоритмов. Проведены испытание и анализ результатов прогнозирования с использованием временного ряда динамики изменения курса акций российской энергетической компании ОАО «Газпром». Традиционные методики оценки точности прогноза, основанные на измерении отклонения прогноза от реальных данных (например, вычисление средней абсолютной оценки в процентах (MAPE) или средней абсолютной ошибки (MSE)) не всегда позволяют адекватно оценить качество прогноза для динамики стоимости акций, которым свойственна высокая волатильность, поскольку для таких данных важнее определить, когда будет рост, а когда падение, а самое главное – трудно спрогнозировать скачки, отделяющие друг от друга стационарные периоды изменения стоимости. Поэтому в статье была использована методика оценки качества прогноза, альтернативная таким методикам, как подсчет MAPE и MSE. На основе результатов прогнозирования с использованием методики подсчета точности результатов прогнозирования и анализа графика прогноза делается вывод о возможности получения достоверных прогнозов роста курса акций с использованием нейронных сетей прямого распространения.

← Предыдущая | 1 | 2 | 3 | Следующая →