Журнал "Программная инженерия"
Теоретический и прикладной научно-технический журнал
ISSN 2220-3397

Номер 11 2015 год

УДК: 519.72
О конструктивном представлении группы Джевонса для инженерно-технических решений обработки информации
А. М. Кукарцев, ст. препод., e-mail: amkukarcev@yandex.ru, А. А. Кузнецов, д-р физ.-мат. наук, проф., e-mail: kuznetsov@sibsau.ru, Сибирский государственный аэрокосмический университет имени академика М. Ф. Решетнева, г. Красноярск

Действия группы Джевонса на множестве бинарных векторов и булевых функций позволяют строить инженерно-технические решения для представления и обработки информации. В статье рассмотрено конструктивное представление группы Джевонса для этого класса прикладных задач. Приведены правила вычисления для разработки программной, аппаратной и программно-аппаратной реализаций и необходимые доказательства их корректности. Предлагаемые правила были успешно апробированы при решении уравнений действия группы Джевонса на множестве булевых функций. Рассматриваемый материал статьи является ядром разработанной библиотеки программных функций "domain operations processor" (или dop), в которой реализованы указанные в статье правила вычисления. Библиотека распространяется под лицензией GNU Lesser General Public License.

Ключевые слова: представление информации, группа Джевонса, действие группы на множестве, бинарные векторы, булевы функции, вычислительные средства
Стр. 25–33

1Работа выполнена при поддержке гранта Президента РФ (проект МД-3952.2015.9)