Приглашаем к участию в новом номере журнала "Системная информатика"

Уважаемые коллеги!

Приглашаем вас прислать статью в номер 16 журнала "Системная информатика" до 10 сентября (включительно).

Номер выйдет 30 сентября.

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


О журнале

Научный электронный журнал "Системная информатика" основан в 2013 году.

Учредитель - Федеральное государственное бюджетное учреждение науки Институт систем информатики им. А.П. Ершова Сибирского отделения Российской академии наук.

Свидетельство о государственной регистрации СМИ - ЭЛ № ФС 77-55164.

Свидетельство выдано Федеральной службой по надзору в сфере связи, информационных технологий и массовых коммуникаций.

В журнале публикуются научные статьи по информатике, программированию и информационным технологиям. Статьи подлежат обязательному рецензированию членами редколлегии журнала.

Читать дальше

Скачать

Методика парадигмальной декомпозиции языков программирования

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

Некоторые эксперименты по построению и анализу графа Де Брёйна

В статье описывается опыт решения задачи нахождения цепочек в графе Де Брёйна с применением параллельных вычислений и распределенным хранением данных.
Скачать

Эволюция понятия и жизненного цикла графов знаний

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

Верификация предикатной программы пирамидальной сортировки с применением обратных трансформаций

Проводится дедуктивная верификация алгоритма классической пирамидальной сортировки Дж. Вильямса, реализованного программой sort на языке Си в библиотеке ОС Linux. Сортировка реализуется для объектов произвольного типа. Чтобы упростить верификацию, применяются нетривиальные трансформации, заменяющие арифметические операции с указателями явными элементами сортируемого массива. Программа преобразуется на язык предикатного программирования. Конструируются спецификации предикатной программы...
Скачать

Трансформация, спецификация и верификация программы вычисления числа элементов множества, представленного в виде битовой шкалы

Описывается трансформация программы memweight из библиотеки ОС Linux, устраняющая указатели. Далее программа трансформируется на язык предикатного программирования P. Для предикатной программы, полученной в результате серии упрощающих трансформаций, строится спецификация и проводится дедуктивная верификация. Для упрощения верификации в рамках спецификации строится модель внутреннего состояния исполняемой программы. Верификация программы memweight реализована в...
Скачать

Выделение именованных сущностей из текстов распорядительных документов с помощью глубоких нейронных сетей

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