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

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

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

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

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


О журнале

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

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

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

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

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

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

Скачать

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

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

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

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

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

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

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

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