• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Найдены 134 публикации
Сортировка:
по названию
по году
Статья
D.S. Kildishev, A.V. Khoroshilov. Proceedings of the Institute for System Programming of the RAS. 2019. Vol. 30. No. 5. P. 163-176.

В рамках данной статьи рассматривается метамодель, лежащая в основе системы управления требованиями Requality. Базовая модель представляет собой дерево, каждой вершине которого сопоставлен набор именованных и типизированных свойств. Базовая модель проста и удобна для представления семантики набора требований, но оказывается не особо пригодной для формирования и сопровождения сколько-нибудь сложных каталогов требований. Поэтому авторами вводится набор декларативных моделей, позволяющих описывать каталог требований более компактным образом. При этом семантика декларативных моделей задаётся при помощи определения трансляции в базовую модель. Эти возможности обеспечивают гибкий инструментарий для компактного описания типовых наборов требований. Также в статье рассматриваются особенности реализации представленной метамодели в системе управления требованиями Requality. В заключении предлагается исследовать комбинацию представленной модели каталога требований с формальными моделями, позволяющими описывать семантику каждого требования в отдельности.

Добавлено: 17 октября 2019
Статья
Turdakov D., Aleksiyants A., Borisenko O. et al. Proceedings of the Institute for System Programming of the RAS. 2015. Vol. 27. No. 5. P. 35-48.
Добавлено: 13 сентября 2016
Статья
I. Shugurov, A. Mitsyuk. Proceedings of the Institute for System Programming of the RAS. 2015. Vol. 27. No. 3. P. 237-254.

В данной работе представлено приложение для проведения экспериментов в области Process mining и тестирования алгоритмов починки моделей. Подходы и методы Process mining предназначены для извлечения моделей бизнес процессов из логов событий, их анализа и усовершенствования. Починка модели  процесса необходима в случаях недостаточного соответствия существующей модели логам событий реального процесса. В статье рассматривается реализация модульного подхода починки моделей. Несмотря на то, что статья нацелена на описание особенностей реализации инструмента, теоретические основы модульной починки моделей рассмотрены на уровне, достаточном для понимания подхода. Более того, рассмотрены сценарии использования инструмента и описаны способы его расширения. Приведен обзор других существующих решений для починки моделей, обсуждены их сильные и слабые стороны.

Добавлено: 18 августа 2015
Статья
Tatarnikov A. Proceedings of the Institute for System Programming of the RAS. 2016. Vol. 28. No. 4. P. 77-98.

Генерация тестовых программ на языке ассемблера и проверка корректности результатов их выполнения является наиболее широко применяемым подходом к функциональной верификации микропроцессоров. Данная задача решается при помощи специальных автоматизированных средств, называемых генераторами тестовых программ. Высокая сложность современных электронных устройств создает потребность в автоматизированных средствах, способных генерировать тестовые программы, покрывающие нетривиальные ситуации в их работе. Большинство таких средств используют в качестве входных данных шаблоны тестовых программ, которые позволяют описывать тестовые сценарии в абстрактном виде. Такой подход предоставляет инженерам-верификаторам возможность описывать широкий спектр задач генерации, затрачивая минимальные усилия. Шаблоны тестовых программ разрабатываются на специальных предметно-ориентированных языках. Такие языки должны удовлетворять следующим требованиям: (1) они должны быть достаточно простыми для использования инженерами-верификаторами, не обладающими серьезными навыками программирования; (2) они должны быть применимы для широкого спектра микропроцессорных архитектур и (3) они должны быть легко расширяемы для поддержки описания новых типов задач генерации. В данной работе рассматривается язык описания шаблонов тестовых программ, который был создан для расширяемой среды генерации тестовых программ MicroTESK, разрабатываемой в ИСП РАН. Это гибкий предметно-ориентированный язык, основанный на языке Ruby, который позволяет описывать широкий набор задач генерации в терминах абстракций цифровой аппаратуры. Среда генерации MicroTESK и язык описания тестовых шаблонов успешно применяются в промышленных проектах по верификации микропроцессоров на базе архитектур MIPS и ARM.

Добавлено: 26 ноября 2017
Статья
Avdoshin S. M., Beresneva E. Proceedings of the Institute for System Programming of the RAS. 2019. Vol. 31. No. 4. P. 121-138.
Добавлено: 24 октября 2019
Статья
AvdoshinS.M., Lazarenko A.V., Chichileva N.I. et al. Proceedings of the Institute for System Programming of the RAS. 2019. Vol. 31. No. 5. P. 191-202.
Добавлено: 31 декабря 2019
Статья
N. S. Zubkova, S. A. Shershakov. Proceedings of the Institute for System Programming of the RAS. 2019. Vol. 31. No. 4. P. 139-150.
Добавлено: 28 октября 2019
Статья
Davydova K. V., Shershakov S. A. Proceedings of the Institute for System Programming of the RAS. 2016. Vol. 28. No. 3. P. 85-102.
Добавлено: 18 ноября 2016
Статья
K. Davydova, S. Shershakov. Proceedings of the Institute for System Programming of the RAS. 2017. Vol. 29. No. 4. P. 155-174.
Добавлено: 18 октября 2017
Статья
Salibekyan S. M., Oleynik P. P. Proceedings of the Institute for System Programming of the RAS. 2016. Vol. 28. No. 3. P. 35-50.

The article describes two approaches for control access rights based on role approach (RBAC) and the use of tables (lists) access rights (ACL). At first, an overview of modern approaches to information security and control user access rights of applications with different architectures is provided. After that, two author's methods of data protection is described. The first approach was developed for the protection of object-oriented applications, the second approach was developed for object-attribute applications used to operating network (graph) databases and knowledge bases. The focus of attention is the first author's approach based on the description of access rights for classes, attributes of classes and objects that has a certain criterion. The approach is implemented by the use of a class hierarchy, composition and structure describing in detail in the article. The article gives examples of specific information systems developed by the first author: information system for scientific conferences that was repeatedly used at the conference "Object systems" (objectsystems.ru) and information system of the beauty salon. Further focus is on the second approach required development of new technique to the information security of network (graph) information structures. The approach developed by second author fully duplicates the functionality of the first approach. In particular, it provides permissions copy when copying of the network data structure, just as in the object-oriented paradigm is a transfer of the properties of parent to child class; the article gives a detailed description of such mechanism. For access control, the method involves the use of a special virtual device. Information about access rights is linked to the node network (graph) if restrict access is needed.

Добавлено: 16 сентября 2016
Статья
Горшков И. А., Долгалева И. И. Труды Института системного программирования РАН. 2018. Т. 29. № 4. С. 325-336.

В интернете все большую популярность приобретают СМИ, отказывающиеся от общепринятого формального способа изложения новостей и делающие акцент на креативности предоставляемого контента. Яркими примерами могут послужить паблик "Лентач" из социальной сети "ВКонтакте", сопровождающий каждую новость мемами, и ресурс "КАКТАМ?", оборачивающий заголовки в намеренно сверхэмоциональную форму. Мы решили реализовать инструмент Narrabat, пересказывающий новости в еще одном необычном стиле. Его задача -  преобразовывать новостные ленты, взятые из сторонних источников, в небольшие стихотворения, отражающие ключевые события новостных сюжетов. В качестве основы для генерации стихов используется большая коллекция русской классики (состоящая из, к примеру, произведений Блока и Некрасова). Одним из главных достоинств выбранной нами формы пересказа и созданного инструмента в частности является то, что, при всей оригинальности вывода, процесс его генерации полностью автоматизирован, в отличие от сервисов, описанных выше. Инструмент работает в несколько этапов: сначала происходит выделение фактов из заголовков выгруженных новостей при помощи Tomita Parser, после чего факты передаются в модуль, отвечающий за генерацию стихотворения. По ходу работы мы использовали несколько подходов для генерации стихотворений, такие, как алгоритмы, построенные на правилах, и машинное обучение, включая нейронные сети. На данном этапе наилучший результат дал первый метод, однако работа по обучению нейронной сети ведется до сих пор. В данной статье мы опишем текущие результаты работы, приведем примеры сгенерированных стихотворений, а также перечислим направления для дальнейшего улучшения инструмента.

Добавлено: 31 октября 2018
Статья
Zelenova S. A., Zelenov S. V. Proceedings of the Institute for System Programming of the RAS. 2017. Vol. 29. No. 6. P. 183-202.

In the paper, we address mission critical systems, such as automobile, avionic, mobile robotic, telecommunication, etc. Such systems must meet hard real-time constraints in order to avoid catastrophic consequences. To meet the real-time constraints, strict periodicity is used (i.e. for any periodic task, time between release points is constant). Sensors, actuators and feedback control functions are typical examples of strict periodic tasks. We study a monoprocessor preemptive scheduling problem for arbitrary number of strict periodic tasks. In this context, we focus on the following problem: how to find non-conflict set of task release points (i.e. sequences of instance release points for different tasks must not intersect). First, as a preliminaries, we introduce some fundamental definitions and prove several elementary schedulability conditions. Next, we investigate the correlation between the scheduling problem and a graph coloring problem for graphs of some special kinds. The graphs under consideration are built on the basis of the tasks' period values. We introduce a notion of divisibility graph for tasks' periods, and study compatibility of graphs' coloring with respect to the schedulability problem. At last, we prove a theorem that provides necessary and sufficient graph coloring conditions for schedulability of given strict periodic tasks. This theorem allows either to find non-conflict set of task release points directly, or to determine quickly that scheduling is impossible.  

Добавлено: 11 августа 2018
Статья
Gnatenko A. R., Zakharov V. Proceedings of the Institute for System Programming of the RAS. 2018. Vol. 30. No. 3. P. 303-324.
Добавлено: 14 июня 2018
Статья
Carrasquel Gamez J. C., Morales A., Villapol M. E. Proceedings of the Institute for System Programming of the RAS. 2018. Vol. 30. No. 4. P. 107-128.
Добавлено: 19 ноября 2018
Статья
Nosovskiy M.M., Degtiarev K.Y. Proceedings of the Institute for System Programming of the RAS. 2019. Vol. 31. No. 3. P. 99-122.

В наши дни электронная коммерция (ЭК) показывает беспрецедентные темпы роста во всем мире, вовлекая в эту деятельность миллионы людей на всех континентах. В то же время, ЭК создает почву для злонамеренных действий, что требует особого внимания и контроля. Одним из способов минимизации таких угроз является использование репутационных систем для отслеживания степени доверия в среде пользователей сети. Большинство существующих репутационных систем основаны на сборе отзывов относительно проведенных транзакций, и они, как правило, работают с представленными в виде чисел откликами клиентов (в частности, может использоваться привычная целочисленная шкала 0..5). В целом, понятия доверия и репутации являются примерами неопределенных (неточных) информационных данных, характерных для сферы электронной коммерции. Мы предлагаем использовать аппарат нечеткой логики для формального представления пользовательских отзывов, выражающих степень удовлетворенности результатом совершенных транзакций. В работе представлен краткий сравнительный анализ наиболее известных репутационных систем, таких как EigenTrust, HonestPeer, Absolute Trust, PowerTrust и PeerTrust. С учетом выделенных в результате анализа критериев (скорость сходимости, устойчивость (робастность), наличие гиперпараметров), проведенная серия компьютерных экспериментов позволила эмпирически выделить PeerTrust как наиболее устойчивый и масштабируемый алгоритм из числа рассмотренных. При наличии ограничений в отношении имеющихся данных, подготовлены реализации (Python 3.7) и проанализированы результаты, связанные с особенностями поведения нечетких версий алгоритма PeerTrust на основе нечетких множеств типа-1 (T1FS) и интервальных нечетких множеств второго типа (IT2FS).

Добавлено: 13 сентября 2019
Статья
Nesterov R.A., Mitsyuk A.A., Lomazova I.A. Proceedings of the Institute for System Programming of the RAS. 2018. Vol. 30. No. 3. P. 285-302.

В работе предложен подход для моделирования и симуляции поведения мультиагентных систем (МАС) с применением сетей Петри. МАС представляется как конечное множество сетей потоков работ. Асинхронные взаимодействия агентов описываются с помощью интерфейса, который определяется логической формулой над множеством атомарных ограничений. Эти ограничения задают порядок выполнения внутренних действий агентов. В статье рассматриваются только ациклические взаимодействия агентов. Также был разработан алгоритм симуляции поведения МАС с учетом ограничений взаимодействия агентов. Алгоритм реализован в виде подключаемого модуля для инструмента ProM 6. Предложенный подход может быть использован для оценки качества алгоритмов извлечения процессов (process discovery) с точки зрения характеристик получаемых моделей процессов.

Добавлено: 10 июля 2018
Статья
Pavel Pertsukhov, Mitsyuk A. A. Proceedings of the Institute for System Programming of the RAS. 2019. Vol. 31. No. 4. P. 151-162.

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

Добавлено: 14 октября 2019
Статья
A.M. Rigin, S.A. Shershakov. Proceedings of the Institute for System Programming of the RAS. 2019. Vol. 31. No. 3. P. 203-216.
Добавлено: 15 сентября 2019
Статья
Гудошникова А. А., Литвинов Ю. В. Proceedings of the Institute for System Programming of the RAS. 2016. Vol. 28. No. 2. P. 97-110.
Добавлено: 30 октября 2018
Статья
Денис Турдаков, Астраханцев Н. А., Недумов Я. Р. и др. Труды Института системного программирования РАН. 2014. Т. 26. С. 421-438.

В статье описан проект Texterra, в рамках которого была создана инфраструктура для анализа текстов. Texterra предоставляет масштабируемое решение для быстрой обработки текстовых документов, основанное на использовании знаний, извлекаемых из Веб-ресурсов и текстовых документов. В данной статье раскрываются детали реализации проекта, варианты использования и результаты экспериментальных исследований разработанных инструментов.

Добавлено: 6 ноября 2017
Статья
Денис Турдаков, Недумов Я., Астраханцев Н. и др. Труды Института системного программирования РАН. 2014. Т. 26. № 1. С. 421-438.

В статье описан проект Texterra, в рамках которого была создана инфраструктура для анализа текстов. Texterra предоставляет масштабируемое решение для быстрой обработки текстовых документов, основанное на использовании знаний, извлекаемых из Веб-ресурсов и текстовых документов. В данной статье раскрываются детали реализации проекта, варианты использования и результаты экспериментальных исследований разработанных инструментов.

Добавлено: 13 сентября 2016