АННОТАЦИИ СТАТЕЙ ЖУРНАЛА "ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ" №9, 2014

К оглавлению

УДК 004.414.23
А. Д. Иванников, д-р техн. наук, зам. директора по научной работе, е-mail: ADI@ippm.ru, А. Л. Стемпковский, д-р техн. наук, академик РАН, директор, Институт проблем проектирования в микроэлектронике РАН

Формализация задачи отладки проектов цифровых систем

Приведена модель требуемого внешнего поведения проектируемой цифровой системы, заданной схемой соединения цифровых блоков и программным обеспечением. В качестве такой модели предлагается использовать семейство стационарных динамических систем, которое задается множеством терминальных переменных, множеством значений этих переменных, а также множеством допустимых взаимодействий цифровой системы с внешней средой. Задача отладки проектов цифровых систем формулируется как задача сравнения двух семейств стационарных динамических систем, с одной стороны, семейства, заданного требованиями технического задания на проектирование, а с другой стороны, семейства, определяемого схемой соединения блоков и текстом программного обеспечения цифровой системы.
Ключевые слова: моделирование цифровых систем, отладка проектов, модель цифровой системы, сложные цифровые схемы и микросистемы, стационарные динамические системы, допустимые взаимодействия

С. 3—10

УДК 004.657
Н. С. Дудаков, инженер-программист, ОАО "Концерн "Системпром", e-mail: Nikolay.Dudakov@gmail.com, Ю. Ю. Шумилов, д-р техн. наук, проф., e-mail: shumilovyy@gmail.com, Национальный исследовательский ядерный университет "МИФИ"

Гибридная система управления хранением и оптимизации данных в АСУ

Решается задача повышения эффективности систем управления базами данных при разработке АСУ. Описаны современные подходы к построению систем управления базами данных. Показано, что для ряда практических задач применение существующих открытых СУБД недостаточно эффективно. Предложено разделение данных и использование нескольких программных решений для улучшения производительности системы управления хранением данных. Предложена математическая модель системы, процесс обработки запросов в базе данных описывается в терминах теории массового обслуживания. В соответствии с моделью системы предложены критерии эффективности работы системы, позволяющие количественно оценить разбиение данных. Также разработана методика оптимизации разбиения данных, позволяющая получить оптимальное разбиение и, тем самым, улучшить производительность СУБД.
Ключевые слова: СУБД, архитектура баз данных, система массового обслуживания, нелинейное псевдобулево программирование

С. 10—14

УДК 519.72:621.372
В. А. Грушин, канд. техн. наук, доц., Я. А. Архипова, ст. преподаватель, e-mail: yand5833@yandex.ru Нижегородский государственный лингвистический университет им. Н. А. Добролюбова

Динамическая модель краткосрочного прогнозирования социально-экономических процессов

Рассматривается метод анализа и прогнозирования социально-экономических данных на базе динамической модели в виде набора обеляющих фильтров порядка с 1 по Q включительно на основе построения динамической функции прогноза. Описан алгоритм обработки данных, его возможности и анализ эффективности применения. Приведены результаты практического применения предложенной модели при прогнозировании динамики цены акций ОАО "Газпром".
Ключевые слова: авторегрессионная модель наблюдений, обеляющий фильтр, обеляющий фильтр переменного порядка, динамическая функция прогноза, однородность данных, дерево прогнозов

С. 15—19

УДК 519.857
В. И. Струченков, д-р техн. наук, проф., Московский государственный технический университет радиотехники, электроники и автоматики (МГТУ МИРЭА), e-mail: str1942@mail.ru

Алгоритмы нелинейного программирования для САПР железнодорожных трасс

При автоматизированном проектировании трасс новых дорог возникают задачи нелинейного программирования большой размерности. Стандартные методы решения таких задач требуют неприемлемо больших затрат машинного времени. В статье предложены алгоритмы, использующие специфические особенности проектных задач, которые позволили преодолеть вычислительные трудности, не поступаясь математической корректностью.
Ключевые слова: трасса, план и продольный профиль, нелинейное программирование, целевая функция, градиент

С. 20—27

УДК 658.512

Д. В. Салеев, аспирант, е-mail: saleevd@gmail.com, А. П. Преображенский, канд. физ.-мат. наук, доц., Воронежский институт высоких технологий

Анализ особенностей САПР для ПЛИС

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

С. 28—33

УДК 004.056.53
К. А. Щеглов, магистрант, А. Ю. Щеглов, д-р техн. наук, проф., Национальный исследовательский университет информационных технологий, механики и оптики, Санкт-Петербург, e-mail: info@npp-itb.spb.ru

Защита от атак на уязвимости приложений

Исследованы вопросы защиты от атак на уязвимости приложений, изложен подход к защите, основанный на реализации разграничительной политики доступа к защищаемым ресурсам для критичных процессов (приложений), проиллюстрированный апробированными техническими решениями. Предложенный подход универсален в том смысле, что его эффективное применение возможно не только в целях защиты от атак, направленных на использование уязвимости приложений (что рассмотрено в данной работе), но и в целях защиты от любого рода атак, связанных с наделением приложений несанкционированными возможностями (за счет макровирусов, вредоносных скриптов и т. п.) и последующей эксплуатацией этих возможностей.
Ключевые слова: компьютерная безопасность, защита информации, атака, несанкционированный доступ, уязвимость приложений, контроль доступа, разграничительная политика доступа

С. 34—39

УДК 004, 378.1
Т. Н. Пастущак, канд. техн. наук, доц., зав. каф., проректор, С. С. Соколов, канд. техн. наук, доц., нач. управления, Н. М. Ковальногова, аспирант, А. В. Маньковская, специалист по дистанционным образовательным технологиям, ФГБОУ ВПО "ГУМРФ имени адмирала С. О. Макарова"

Приоритетные направления развития электронной информационно-образовательной среды отраслевого университетского комплекса

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

С. 40—46

УДК 004.02:378
А. А. Смагин, д-р техн. наук, проф., зав. каф., e-mail: AlSmagin@ulsu.ru, С. В. Липатова, канд. техн. наук, доцент, e-mail: dassegel@mail.ru, О. Л. Курилова, ст. преподаватель, e-mail: oxana197208@rambler.ru, Ульяновский государственный университет, г. Ульяновск

Метод численной оценки профессиональных и общекультурных компетенций студента и выпускника вуза

Описан разработанный метод количественной оценки общекультурных и профессиональных компетенций. Представлен способ формализации и измерения компетенций и их элементов студента или выпускника вуза. Продемонстрирована взаимосвязь дисциплин учебного плана на основе входящих и исходящих компетенций в рамках компетентностного подхода ФГОС ВПО.
Ключевые слова: компетенция, учебный план, оценка общекультурных компетенций, оценка профессиональных компетенций

С. 46—54

УДК 004.7
В. Н. Тарасов, д-р техн. наук, проф., зав. каф., Н. Ф. Бахарева, д-р техн. наук, проф., зав. каф. ИВТ, Г. А. Горелов, аспирант, С. В. Малахов, аспирант, Поволжский государственный университет телекоммуникаций и информатики, г. Самара, e-mail: vt@ist.psati.ru, bahareva-nf@psuti.ru, gleb_fox@bk.ru, malakhov-sv@psuti.ru

Анализ входящего трафика на уровне трех моментов распределений временных интервалов

Получено аналитическое решение для среднего времени ожидания для систем массового обслуживания типа H₂/M/1 с гиперэкспоненциальным распределением второго порядка интервалов времени входного потока путем решения интегрального уравнения Линдли методом спектрального разложения. Показано, что в этом случае распределения интервалов между требованиями входного потока можно аппроксимировать на уровне их трех первых моментов. Представлена программа-дополнение к анализатору трафика Wireshark для расчета моментных характеристик распределения интервалов между пакетами.
Ключевые слова: система массового обслуживания H₂/M/1, уравнение Линдли, метод спектрального разложения, анализатор трафика Wireshark, моментные характеристики интервалов

С. 54—59

УДК 519.876.5:004.048
Ю. С. Сербулов, д-р техн. наук, проф., Д. А. Глухов, канд. техн. наук, доц., e-mail: gluhovda@yandex.ru, ФГБОУ ВПО "Воронежская государственная лесотехническая академия", В. А. Малышев, д-р техн. наук, зам. начальника каф., ВУНЦ ВВС "Военно-воздушная академия" им. проф. Н. Е. Жуковского и Ю. А. Гагарина

Модель подсистемы нейтрализации внешних воздействий на производственно-экономическую систему в условиях конкурентной борьбы

Рассмотрено решение задачи нейтрализации внешних воздействий конкурентов на производственно-экономическую систему. Задача решается на основе применения искусственной иммунной системы. Сформулирована и разработана модель подсистемы нейтрализации внешних воздействий. Подробно раскрыты этапы функционирования наиболее сложных компонентов данной подсистемы.
Ключевые слова: производственно-экономическая система, искусственная иммунная система, нейтрализация внешних воздействий, модуль моделирования, база моделей

С. 60—66

УДК 519.68:15:681.5
В. М. Гриняк¹, канд. техн. наук, доц., e-mail: Viktor.Grinyak@vvsu.ru, Б. С. Головченко¹, инженер, e-mail: Boris.Golovchenko@vvsu.ru, А. С. Девятисильный², д-р техн. наук, гл. науч. сотр., e-mail: devyatis@iacp.dvo.ru
¹Владивостокский государственный университет экономики и сервиса
²Институт автоматики и процессов управления ДВО PAH

Нейронечеткая обучаемая система распознавания опасного сближения судов

Статья посвящена проблеме управления движением судов на морских акваториях. Рассматривается модель относительного движения двух судов и предлагается алгоритм выработки различных тревожных сигналов, соответствующих вербальному уровню опасности "судно — судно". В основу определения уровня опасности положен факт маневрирования судна и время, оставшееся до недопустимого сближения. Предложена конфигурация нейронечеткой сети для принятия решения об уровне опасности движения, обсуждаются способы обучения сети, в том числе на реальных данных о движении судов. Статья сопровождается результатами вычислительного эксперимента, демонстрирующего работу системы в типичных ситуациях.
Ключевые слова: управление движением судов, опасное сближение, траектория движения, маневрирование судна, нейронечеткая система

С. 68—73

УДК 004.032
В. В. Чеботарев, ведущий программист, e-mail: VitalyChVV@mail.ru, ОАО РЖД

Логическая нейронная сеть в основе контроля данных о перевозке грузов на железнодорожном транспорте

Предлагается практическая реализация информационной технологии, основанной на применении логической нейронной сети, в системе принятия решений по контролю поступления данных в центр управления перевозкой грузов из дорожных информационных центров сети ОАО РЖД.
Ключевые слова: логическая нейронная сеть, система принятия решений, факторное пространство событий, ситуация

С. 74—80

оглавление