АННОТАЦИИ СТАТЕЙ ЖУРНАЛА "ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ"
№12. Том 22. 2016

К оглавлению

УДК 004.512; 004.89
А. А. Разоренов, аспирант, e-mail: arazorenov@hse.ru, В. А. Фомичев, д-р техн. наук, проф., e-mail: vfomichov@hse.ru, Национальный исследовательский университет "Высшая школа экономики", Москва

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

Предлагаются новые формальные средства для разработки алгоритмов семантического анализа (парсинга) естественно-языковых предписаний. В качестве методологической основы исследования выбрана теория К-представлений (концептуальных представлений) — единственная сегодня теория, удобная для построения семантических представлений произвольно сложных предписаний. Изложены следующие теоретические результаты: (а) построена новая формальная модель лингвистической базы данных (ЛБД), эта модель значительно более компактна по сравнению с двумя моделями ЛБД, рассматриваемыми теорией К-представлений; (б) предложена новая формализация понятия "семантико-синтаксическая структура предписания". Предложенные формальные средства были использованы в проектировании практически полезного естественно-языкового интерфейса файлового менеджера.
Ключевые слова: естественный язык, семантический анализ предписаний, семантическое представление, теория К-представлений, СК-язык, морфологический базис, шаблон К-представления, словарь лингвистических фреймов, лингвистическая база данных, граф семантико-синтаксических связей, естественно-языковое управление файловой системой, Natural Language Commander

С. 883–891

УДК 004.89
А. С. Домников, канд. техн. наук, доц., asdomnikoff@mail.ru, В. В. Белоус, канд. техн. наук, доц., walentina.belous@bmstu.ru Московский государственный технический университет им. Н. Э. Баумана, Москва, Россия

Синтез рационального упорядочения учебных модулей методом Бержа*

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

C. 892–898

*Работа выполнена при поддержке Минобрнауки России (проект 2014-14-579-0144).

УДК 004 + 004.896
И. Г. Малыгин, д-р техн. наук, проф., директор, В. И. Комашинский, д-р техн. наук, зам. директора по научной работе, kama54@rambler.ru, ИПТ РАН

Информационные технологии и искусственный интеллект — основные двигатели четвертой индустриальной революции (Industrie 4.0)

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

C. 899–904

УДК 621.675
И. Я. Львович, д-р техн. наук, проф., ofiice@vivt.ru, Панъевропейский университет, Братислава
Я. Е. Львович, д-р техн. наук, проф., ofiice@vivt.ru, А. П. Преображенский, д-р техн. наук, проф., app@vivt.ru, О. Н. Чопоров, д-р техн. наук, проф., choporov_oleg@mail.ru
Воронежский институт высоких технологий, Воронеж

Особенности методов вычислительной гидродинамики для моделирования турбулентности

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

C. 905–913

УДК 519.87
Е. М. Бронштейн, д-р физ.-мат. наук, проф., e-mail: bro-efim@yandex.ru,
А. А. Давлетбаев, аспирант, e-mail: Arvid_NF@mail.ru, Уфимский государственный авиационный технический университет, Уфа

Задача маршрутизации с учетом зависимости стоимости транспортировки от погодных условий

Рассмотрена задача построения маршрута, по которому можно доставить однородный груз от пункта производства множеству потребителей транспортным средством ограниченной вместимости с минимальными затратами. Стоимость транспортировки груза между пунктами зависит от времени. Построены квадратичная и линейная целочисленные модели. Проведены вычислительный эксперимент решения задач различной размерности в среде IBM ILOG CPLEX Optimization studio 12.6.1 и сравнительный анализ эффективности моделей.
Ключевые слова: маршрутизация, нестационарность, линейное целочисленное программирование, метод ветвей и отсечений

С. 913–917

УДК 004.657
В. Б. Ефлов, канд. физ.-мат. наук, доц. кафедры, e-mail: veflov@gmail.com, Е. А. Питухин, д-р техн. наук, проф., зав. каф., e-mail: eugene@petrsu.ru, ГОУ ВПО "Петрозаводский государственный университет (ПетрГУ)",
Ф. В. Стафеев, консультант, e-mail: fedor.stafeev@gmail.com, Администрация Петрозаводского городского округа

Вопросы производительности при выполнении запросов в реляционной СУБД H2

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

C. 918–924

УДК 004.023 + 519.163
Э. Ю. Орехов, канд. физ.-мат. наук, доц., e-mail: emil.orekhov@bk.ru,
Ю. В. Орехов, канд. техн. наук, доц., Уфимский государственный авиационный технический университет

Сравнение и оценка качества эвристических алгоритмов на конечной массовой задаче в условиях неравновероятной генерации тестовых примеров

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

C. 925–930

УДК 004.312.2; 621.3.049.771.14
С. В. Гаврилов¹, д-р техн. наук, зав. отделом, С. И. Гуров² канд. физ.-мат. наук, доц., e-mail: sgur@cs.msu.ru, Т. Д. Жукова¹, инженер-исследователь, Д. И. Рыжова¹, мл. науч. сотр., e-mail: ryzhova_d@ippm.ru
¹Институт проблем проектирования в микроэлектронике РАН, г. Москва,
²Московский государственный университет имени М. В. Ломоносова

Применение теории кодирования для повышения помехозащищенности комбинационных схем

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

С. 931–937

УДК 004:378
Е. Н. Решетова, e-mail: ereshetova@hse.ru, преподаватель Департамента программной инженерии факультета компьютерных наук Национальный исследовательский университет "Высшая школа экономики" (НИУ ВШЭ)

Универсальные компетенции студента образовательного направления "Программная инженерия"

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

C. 938–945

УДК 621.39

Б. И. Соловьев, канд. техн. наук, доцент, сотрудник, Д. Л. Жусов, канд. техн. наук, сотрудник, e-mail: d.zhusov@mail.ru, С. А. Просолупов, сотрудник,
Академия ФСО России,г. Орел

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

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

C. 946–951

УДК 519.872
В. Н. Тарасов, д-р техн. наук, проф., зав. каф., e-mail: tarasov-vn@psuti.ru, Л. В. Липилина, аспирант, e-mail: mila199113@gmail.com, Н. Ф. Бахарева, д-р техн. наук, проф., зав. каф., e-mail: nadin1956_04@inbox.ru, Поволжский государственный университет телекоммуникаций и информатики, г. Самара

Автоматизация расчета характеристик систем массового обслуживания для широкого диапазона изменения их параметров

Приведено описание программы расчета характеристик систем массового обслуживания (СМО) G/ G/1, которым соответствуют входные распределения с коэффициентами вариаций интервала между поступлениями требований и временами обслуживания, меньшими и большими 1, т. е. перекрывающими весь интервал (0, ¥). Для этого рассмотрены СМО M/M/1 c запаздыванием во времени, H₂/M/1 и H₂/H₂/1 с гиперэкспоненциальными входными распределениями 2-го порядка.
В качестве выходных характеристик использованы среднее время ожидания требований в очереди и дисперсия времени ожидания. Остальные характеристики рассматриваемых систем являются производными от среднего времени ожидания.
Ключевые слова: системы массового обслуживания, среднее время ожидания в очереди, метод спектрального разложения, интегральное уравнение Линдли, преобразование Лапласа

C. 952 – 957

Оглавление