АННОТАЦИИ СТАТЕЙ ЖУРНАЛА "ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ"
№10. Том 23. 2017

К оглавлению

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

Принципы применения теории К-представлений к разработке математических основ исполнения прикладными системами естественно-языковых предписаний

Статья продолжает серию публикаций автора и В. А. Фомичева (Информационные технологии 2015, № 6; 2016, № 12; 2017, № 1), посвященных применению теории К-представлений (концептуальных представлений) к разработке новых методологических основ проектирования компьютерных систем обработки естественно-языковых предписаний. Цель статьи — изложение основных идей определения бинарного отношения нового вида на семантических структурах, послужившего основой нового метода исполнения прикладными системами естественно-языковых предписаний. Это отношение называется отношением соответствия образцу. Указано, что предложенный формальный подход был успешно использован при проектиро­вании естественно-языкового интерфейса файлового менеджера NLC-2 (Natural Language Commander — Version 2).
Ключевые слова: обработка естественного языка, семантико-синтаксический анализ, теория К-представлений, СК-языки, управление программным обеспечением, естественно-языковые интерфейсы, отношение соответствия образцу, Natural Language Commander

C. 699 – 706

УДК 004.9; 62-52
А. Б. Филимонов, д-р техн. наук, проф., iilimon_ab@mail.ru, Московский технологический университет, Н. Б. Филимонов, д-р техн. наук, проф., nbfflimonov@mail.ru, Московский государственный университет им. М. В. Ломоносова, В. Ю. Тихонов, науч. ассист., bot-32@yandex.ru, Центр развития образования и международной деятельности "Интеробразование", Москва

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

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

С. 707 – 713

Работа выполнена при поддержке РФФИ, грант № 16-08-00313.

УДК 332.14; 004.942
М. М. Низамутдинов, канд. техн. наук, доц., зав. сектором, e-mail: marsel_n@mail.ru, В. В. Орешников, канд. экон. наук, ст. науч. сотр., e-mail: VOresh@mail.ru, ФГБУН Институт социально-экономических исследований Уфимского научного центра РАН

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

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

С. 714–721

Исследование проводится при поддержке РФФИ, № 16-29-12883.

УДК 519.683, 519.856
В. В. Федосов, канд. техн. наук, доц., e-mail: vlr.fdsv@gmail.com, Москва, А. В. Федосова, канд. физ.-мат. наук, доц., e-mail: afedosova@unal.edu.co Национальный университет, Богота, Колумбия (Universidad Nacional de Colombia)

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

Рассмотрена задача конфликта избыточных выбросов группы источников с нормативами загрязнения зон области. Критерием оптимизации определен численный интеграл многоэкстремальной функции превышения выбросов источников над нормативами области. Оптимизацию вели по четырем параметрам, три из которых принадлежат параболическим функциям, моделирующим выбросы источников. В качестве алгоритма применена процедура Нелдера—Мида. Информация для расчета стартового симплекса включала 2400 элементов. Численным экспериментом показана устойчивая сходимость к нулю критерия оптимизации, что соответствует разрешению конфликта. На каждой итерации фиксировались параметры оптимизации, а также результаты их взаимодействия в 2D—3D-графике. Установлена тенденция снижения концентрации избыточных выбросов вплоть до покидания источниками контролируемой области. Обсуждены результаты многопараметрической оптимизации.
Ключевые слова: загрязнение области, выбросы источников, нормативы загрязняющей нагрузки, многопараметрическая оптимизация, алгоритм Нелдера—Мида, многоэкстремальные функции, трансграничный перенос загрязнений

C. 721–727

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

Методы проектирования помехозащищенных комбинационных КМОП-схем, обеспечивающие автоматическое исправление ошибок

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

C. 728 – 735

УДК 004.896
В. М. Курейчик, д-р техн. наук, проф., зав. каф., kur@tgn.sfedu.ru, И. Б. Сафроненкова, аспирант, safronenkova050788@yandex.ru, Федеральное государственное автономное образовательное учреждение высшего образования "Южный федеральный университет", г. Таганрог

Разработка архитектуры СППР по выбору методов решения задач компоновки

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

С. 736–741.

УДК 004.92
В. В. Бурлов, канд. техн. наук, проф., проф. каф., e-mail: vladimir-burlov@yandex.ru, Л. В. Ремонтова, доц., доц. каф., e-mail: remontova@mail.ru, Пензенский государственный технологический университет, В. В. Косолапов, канд. техн. наук, доц. каф., e-mail: vladimir.kosolapov@mail.ru, Е. В. Косолапова, ст. преподаватель, e-mail: K-art-inka@yandex.ru, Нижегородский государственный инженерно-экономический университет

Моделирование кривой и поверхностей второго порядка в системе КОМПАС-3D

Рассматриваются инструментальные средства и функциональные возможности использования программного продукта КОМПАС-3D. Демонстрируются различные подходы к построению кривой второго порядка — параболы и созданию производных от нее поверхностей в системе трехмерного моделирования. Статья направлена на более глубокое изучение геометрo-графических дисциплин и продвижение отечественного IT-продукта в сфере образования.
Ключевые слова: ассоциативный чертеж, библиотека, график функциональной зависимости, гиперболический параболоид, конус, коническое сечение, канонические и параметрические уравнения, кривая, парабола, поверхность, система КОМПАС-3D

C. 742–749

УДК 004.94
В. И. Анисимов, д-р техн. наук, проф., гл. науч. сотр., e-mail: vianisimov@inbox.ru, Центр информационных технологий в проектировании РАН,г. Одинцово,
С. А. Васильев, аспирант, e-mail: venom-gt@list.ru, Санкт-Петербургский государственный электротехнический университет, Ю. И. Журавлев, академик, зам. директора по научной работе, Вычислительный центр им. А. А. Дородницына ФИЦ ИУ РАН

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

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

C. 749–752

Работа выполнена по теме (проекту) "Исследование и разработка математического, информационного и программного обеспечения веб-сервисов распределенных систем автоматизации схемотехнического проектирования для моделирования больших интегральных схем в частотной и временной областях с учетом вариации параметров и внешних воздействий в условиях функционирования в гетерогенных средах" (грант 0071-2014-0007).

УДК 621.3.04975.02; 621.3.049.75.002.72
А. Н. Архангельский, инженер, e-mail: aleksandr.arhangelskiy@bk.ru, АО "Российские Космические Системы" Москва

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

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

С. 753–760

УДК 004.9:378.147
В. Н. Юрин, д-р техн. наук, проф., e-mail: ontimati@yandex.ru, Московский авиационный институт (национальный исследовательский университет)

Мониторинг использования компьютерного инжиниринга в инженерном образовании

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

C. 761–767

Оглавление