Компьютерные и информационные науки список научных статей
-
Applying the methods of system analysis to teaching assistants’ evaluation
This article presents the results of applying various methods of system analysis (CATWOE, Rich Picture, AHP, Fuzzy AHP) to evaluation of teaching assistants. The soft and hard methods were applied. Methods of system analysis are considered as an example at the Higher School of Economics (HSE) in...
2018 / Beresneva E., Gordenko M.ВАК -
Static dependency analysis for semantic data validation
Modern information systems manipulate data models containing millions of items, and the tendency is to make these models even more complex. One of the most crucial aspects of modern concurrent engineering environments is their reliability. The principles of ACID (atomicity, consistency, isolation,...
2018 / Ilyin D.V., Fokina N.Yu., Semenov V.A.ВАК -
Simulating behavior of multi-agent systems with acyclic interactions of agents
In this paper, we present an approach to model and simulate models of multi-agent systems (MAS) using Petri nets. A MAS is modeled as a set of workflow nets. The agent-to-agent interactions are described by means of an interface. It is a logical formula over atomic interaction constraints...
2018 / Nesterov R.A., Mitsyuk A.A., Lomazova I.A.ВАК -
К построению модульной модели распределенного интеллекта
Описание и моделирование динамики мультиагентных социальных систем методами, заимствованными из статистической физики «неживых» многочастичных систем, не отражает принципиальную особенность совокупности взаимодействующих автономных агентов: способность воспринимать, обрабатывать и использовать...
2018 / Словохотов Ю.Л., Неретин И.С.ВАК -
Bitcoin users deanonimization methods
Bitcoin is the most popular cryptocurrency on the planet. It relies on strong cryptography and peer-to-peer network. Bitcoin is gaining more and more popularity in criminal society. That is why Bitcoin is often used as money laundering tool or payment method for illegal products and services. In...
2018 / Avdoshin S.M., Lazarenko A.V.ВАК -
Применение AVX512-векторизации для увеличения производительности генератора псевдослучайных чисел
В работе описывается применение наборов SIMD инструкций (Single Instruction Multiple Data) для параллелизации алгоритма генерации псевдослучайных чисел. Дан обзор расширений MMX, SSE, AVX2, AVX512, реализующих принцип SIMD. Приведен пример реализации генератора LFSR113 с использованием расширения...
2018 / Гуськова М.С., Бараш Л.Ю., Щур Л.Н.ВАК -
Dealing with not fully described objects in decision support systems: Alternative approaches
Not fully described objects may be seen in many different areas and applications from medicine and up to space apparatus control. Starting to de-sign and develop a decision support system, which should work with not fully described objects, we may choose between alternatives. One of two approaches...
2018 / Yudin V.N., Karpov L.E.ВАК -
Оптимизация доступа к страницам памяти в системах, использующих программную реализацию глобального страничного кеша
В статье рассматривается способ обработки распределённых страниц в Oracle Real Application Clusters (Oracle RAC) и проводится его сравнение с другими известными способами в контексте сравнения архитектур доступа к страницам. В результате выявления недостатков традиционного способа, применяемого в...
2018 / Гусев Е.И.ВАК -
Чистая компиляция как парадигма программирования
В научной литературе широко представлено исследование возможностей интерпретируемого выполнения компьютерных программ. При этом противоположный подход, основанный на элиминации любых проявлений интерпретируемости, насколько можно судить, никем всерьез не исследовался. В настоящей статье...
2018 / Столяров А.В., Французов О.Г., Аникина А.С.ВАК -
Распараллеливание реализаций сугубо последовательных алгоритмов
Работа посвящена теме распараллеливания программ в особо сложных случаях когда используемый алгоритм является сугубо последовательным, параллельных альтернатив используемому алгоритму нет, а время его выполнения неприемлемо велико. Рассматриваются различные методы распараллеливания программных...
2018 / Бугеря А.Б., Ким Е.С., Соловьев М.А.ВАК -
Преобразование типизированных функций в реляционную форму
Реляционное программирование является подходом, позволяющим исполнять программы в различных "направлениях" для получения различных сценариев поведения по одной реляционной спецификации. В данной статье рассмотрена задача автоматического преобразования функциональных программ в реляционные....
2018 / Лозов П.А., Булычев Д.Ю.ВАК -
Автоматизированная генерация декодеров машинных команд
В работе предложен метод автоматизированной генерации декодеров машинных команд широкого класса процессорных архитектур с использованием транслятора языка ассемблера целевой архитектуры. Реализована программная система, использующая предложенный метод для генерации декодеров машинных команд...
2018 / Фокина Н.Ю., Соловьев М.А.ВАК -
Алгоритм удаления невидимых поверхностей на основе программных проверок видимости
Визуализация больших трехмерных сцен занимает существенное время. Для сокращения количества обрабатываемых объектов используются методы удаления невидимых поверхностей. В статье рассматривается семейство интерактивных методов удаления невидимых поверхностей, обладающих пространственной и временной...
2018 / Гонахчян В.И.ВАК -
Обзор расширяемого протокола аутентификации и его методов
Данная статья представляет собой обзор расширяемого протокола аутентификации (Extensible Authentication Protocol, EAP), специфицированного комитетом Internet Engineering Task Force, IETF, и предоставляющего эффективный механизм встраивания в него различных методов аутентификации, а также обзор...
2018 / Никешин А.В., Шнитман В.З.ВАК -
Онтология предметной области "Удобство использования программного обеспечения"
В статье представлена онтология предметной области «Удобство использования программного обеспечения». Описываются преимущества, которые может дать ее использование при анализе и оценке удобства использования программных продуктов. Представлены диаграмма классов предлагаемой онтологии и текстовое...
2018 / Сытник А.А., Шульга Т.Э., Данилов Н.А.ВАК -
Активное обучение и краудсорсинг: обзор методов оптимизации разметки данных
Качественные аннотированные коллекции являются ключевым элементом при построении систем, использующих машинное обучение. В большинстве случаев создание таких коллекций предполагает привлечение к разметке данных людей, а сам процесс является дорогостоящим и утомительным для аннотаторов. Для...
2018 / Гилязев Р.А., Турдаков Д.Ю.ВАК -
Подход к реализации системы верифицированного исполнения программного кода
В настоящей статье представлено описание технической реализации системы верифицированного исполнения программного кода. Функциональным предназначением данной системы является проведение исследования произвольных исполняемых файлов операционной системы в условиях отсутствия исходных кодов с целью...
2017 / Козачок А.В., Кочетков Е.В.ВАК -
Инкрементальное построение спецификаций моделей окружения и требований для подсистем монолитного ядра операционных систем
Методы и инструменты автоматической статической верификации позволяют выявить все ошибки искомых видов в целевых программах при выполнении определенных предположений даже в условиях отсутствия полных моделей и формальных спецификаций. Эта возможность является основой предлагаемого в работе метода...
2017 / Захаров И.С., Новиков Е.М.ВАК -
Формальная верификация библиотечных функций ядра Linux
В статье авторами рассматриваются результаты дедуктивной верификации набора из 26 библиотечных функций ядра ОС Linux с помощью стека инструментов AstraVer. В набор включены преимущественно функции, работающие с данными строкового типа. Целью верификации является доказательство свойств...
2017 / Ефремов Д.В., Мандрыкин М.У.ВАК -
Автоматизация разработки моделей устройств и вычислительных машин для qemu
Разработка виртуальных устройств и машин для QEMU трудоёмкий процесс. С целью поддержки разработчика, в данной работе был проведён анализ архитектуры QEMU и процесса разработки моделей отдельных устройств и виртуальных машин для QEMU. Предлагается подход к разработке, в рамках которого начальный...
2017 / Ефимов В.Ю., Беззубиков А.А., Богомолов Д.А., Горемыкин О.В., Падарян В.А.ВАК