Литвин, Ю. В. (кандидат экономических наук).
Система виртуального прототипирования и моделирования информационно-управляющих систем реального времени = System of Virtual Prototyping and Modeling Management Information Systems of Real Time / Ю. В. Литвин, К. С. Ноздрин, А. А. Полков
// Информационные технологии. - 2017. - Т. 23, № 5. - С. 370-375. - ISSN 1684-6400. - Библиогр.: с. 375 (8 назв.).

Авторы: Литвин, Ю. В., Ноздрин, К. С., Полков, А. А.

Аннотация: Рассматривается новый подход к оценке вероятностно-временных характеристик (ВВХ) создаваемых информационно-управляющих систем реального времени (ИУС РВ) на основе виртуальных прототипов, имитационных и комбинированных имитационно-регрессионных моделей.

Кудряшов, А. П. (младший научный сотрудник).
Реконструкция городской обстановки с учетом рельефа сервисов Google Maps = Reconstruction of the City Environment Based on Terrain Using the Topographic Map and Services Google Maps / А. П. Кудряшов, И. В. Соловьев
// Информационные технологии. - 2017. - Т. 23, № 5. - С. 382-387. - ISSN 1684-6400. - Библиогр.: с. 387 (10 назв.).

Авторы: Кудряшов, А. П., Соловьев, И. В.

Аннотация: Описывается подход для реконструкции сцены городской обстановки на основе данных топографического плана.

Чан Ван Нгиа (аспирант).
Разработка параллельной архитектуры кодеров БЧХ и LDPC в стандартах систем цифрового телевизионного вещания второго поколения с регулируемыми параметрами кодирования на базе ПЛИС = Development of the Parallel BCH and LDPC Encoders Architecture for the Second Generation Digital Video Broadcasting Standards with Adjustable Encoding Parameters on FPGA / Чан Ван Нгиа
// Информационные технологии. - 2017. - Т. 23, № 5. - С. 376-381. - ISSN 1684-6400. - Библиогр.: с. 381 (7 назв.).

Авторы: Чан Ван Нгиа

Аннотация: В данной работе предложен способ распараллеливания кодеров БЧХ и LDPC с регулируемой корректирующей способностью, поддерживающий все возможные конфигурации кодов БЧХ + LDPC.

Никифоров, Д. А. (аналитик).
Обзор инструментов для валидации XML-документов с помощью правил контроля, описанных на объектном языке ограничений (OCL) = A Survey of Tools for XML Validation Based on the Object Constraint Language (OCL) / Д. А. Никифоров, Д. В. Корж, Р. Л. Сиваков
// Информационные технологии. - 2017. - Т. 23, № 5. - С. 342-350. - ISSN 1684-6400. - Библиогр.: с. 350 (39 назв.).

Авторы: Никифоров, Д. А., Корж, Д. В., Сиваков, Р. Л.

Аннотация: Описывается подход к семантической валидации XML-документов, основанный на архитектуре, управляемой моделями.

Ульянов, М. В. (доктор технических наук; профессор).
Об одном характеристическом функционале слов над конечным алфавитом = On a Characteristic Functional for Words over a Finite Alphabet / М. В. Ульянов, Ю. Г. Сметанин
// Информационные технологии. - 2017. - Т. 23, № 5. - С. 333-341. - ISSN 1684-6400. - Библиогр.: с. 341 (11 назв.).

Авторы: Ульянов, М. В., Сметанин, Ю. Г.

Аннотация: Исходными объектами данной статьи являются конечные слова над некоторым конечным алфавитом. Эти слова представляют собой символьные коды исследуемых объектов и процессов, которые и являются предметом последующего анализа.

Деменков, Н. П. (кандидат технических наук; доцент).
Нечеткое преобразование Лапласа в задачах нечеткого математического моделирования = Fuzzy Transformation of Laplace in Tasks of Fuzzy Mathematical Modelling. Ч. 2 / Н. П. Деменков, Е. А. Микрин, И. А. Мочалов
// Информационные технологии. - 2017. - Т. 23, № 5. - С. 362-369. - ISSN 1684-6400. - Продолж. Начало: № 4. - Библиогр.: с. 369 (16 назв.).

Авторы: Деменков, Н. П., Микрин, Е. А., Мочалов, И. А.

Аннотация: Решается нечеткое дифференциальное уравнение путем линеаризации его по методу декомпозиции с последующим применением к нему нечеткого преобразования Лапласа.

Барский, А. Б. (доктор технических наук; профессор).
Нейросетевой метод ускоренного принятия решений операционной системой суперкомпьютера EРIС-архитектуры = Neural Tetwork Method of Accelerated Adoption of the Operating System Making Supercomputer EPIC-Architecture / А. Б. Барский
// Информационные технологии. - 2017. - Т. 23, № 5. - С. 394-400. - ISSN 1684-6400. - Библиогр.: с. 400 (9 назв.).

Авторы: Барский, А. Б.

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

Левин, В. И. (доктор технических наук; профессор).
Моделирование систем с неопределенностью с помощью полиинтервальной математики = Modeling of Systems with Uncertainty by Polyinterval Mathematic / В. И. Левин
// Информационные технологии. - 2017. - Т. 23, № 5. - С. 358-362. - ISSN 1684-6400. - Библиогр.: с. 362 (3 назв.).

Авторы: Левин, В. И.

Аннотация: Цель работы заключается в детальной разработке новой математической модели неопределенности - полиинтервала, являющегося последовательностью конечного числа интервалов неопределенности, системы алгебраических операций над полиинтервалами и правил выполнения этих операций.

Алгулиев, Р. М. (доктор технических наук; профессор).
Методы определения степени интеграции стран в среде электронного государства = Methods for Determination of the Degree of Integration of Countries in e-Government Environment / Р. М. Алгулиев, Г. Ч. Набибекова
// Информационные технологии. - 2017. - Т. 23, № 5. - С. 351-357. - ISSN 1684-6400. - Библиогр.: с. 357 (12 назв.).

Авторы: Алгулиев, Р. М., Набибекова, Г. Ч.

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

Юсупов, Р. М. (доктор технических наук; профессор).
К оцениванию эффективности информационных систем. Методологические аспекты / Р. М. Юсупов, А. А. Мусаев
// Информационные технологии. - 2017. - Т. 23, № 5. - С. 323-332. - ISSN 1684-6400. - Библиогр.: с. 332 (23 назв.).

Авторы: Юсупов, Р. М., Мусаев, А. А.

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

Печенко, И. С. (научный сотрудник).
ACES Tables: среда для создания и использования табличных спецификаций систем на кристалле = ACES Tables: a Framework for Greation and Usage of SoC Architectural Specifications in Table Form / И. С. Печенко, О. В. Венгер, Д. А. Плоткин
// Информационные технологии. - 2017. - Т. 23, № 5. - С. 388-393. - ISSN 1684-6400. - Библиогр.: с. 393 (18 назв.).

Авторы: Печенко, И. С., Венгер, О. В., Плоткин, Д. А.

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