Программа автоматизации алгебраических преобразований матрицеподобных структур для решения задач логического анализа
булевы вектора сжатые таблицы логический анализ матрицеподобные структуры алгебраические преобразования
Программа автоматизации алгебраических преобразований матрицеподобных структур для решения задач логического анализа.

Программа представляет собой командный процессор и графический редактор для выполнения алгебраических преобразований сжатых таблиц C- и D-типа. Программа позволяет выполнять операции дополнения, пересечения, объединения для сжатых таблиц и их наборов, а также операции преобразования сжатых таблиц в альтернативные классы. Операции реализованы в виде системы команд графического редактора, выполнение которых сводится к операциям с булевыми векторами. Предусмотрены средства редактирования сжатых таблиц и операций с ними, реализовано сохранение программы вычислений в формате XML. Программа позволяет эффективно решать задачи логического анализа, описываемые при помощи сжатых таблиц.

Тип ЭВМ: IBM PC-совместимый ПК
Язык: С++
ОС: Кроссплатформенная
Объем программы: 2 Мб

https://new.fips.ru/registers-doc-view/fips_servlet?DB=EVM&DocNumber=2022683344&TypeFile=html

Зуенко А.А., Олейник Ю.А. Программа автоматизации алгебраических преобразований матрицеподобных структур для решения задач логического анализа// Роспатент: Свидетельство о государственной регистрации программы для ЭВМ № 2022683344 от 5 декабря 2022 г. (заявка № 2021669715 от 21 октября 2022 г.)
Автоматизированная поддержка решения задач логического анализа с помощью преобразований матрицеподобных структур
Максим
Шишаев
Геннадьевич
Главный научный сотрудник
Доктор технических наук
Доцент
G-1757-2017
55351604300
99319
https://www.iimm.ru/shishaev-maksim-gennadevich/
0000-0001-7070-7878
РОССИЯ
Сергей
Кривовичев
Владимирович
Генеральный директор ФИЦ КНЦ РАН
РОССИЯ
20.23.25
Информационные системы с базами знаний
01.02.ET
COMPUTER SCIENCE, INFORMATION SYSTEMS
Александр
Зуенко
Анатольевич
РОССИЯ
Юрий
Олейник
Андреевич
РОССИЯ
МИНОБРНАУКИ РОССИИ
МИНИСТЕРСТВО НАУКИ И ВЫСШЕГО ОБРАЗОВАНИЯ РОССИЙСКОЙ ФЕДЕРАЦИИ
1187746579690
Петр
Мордовской
Григорьевич
Организация
Министерство науки и высшего образования Российской Федерации
Федеральные государственные казенные учреждения
ФИЦ КНЦ РАН
ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ БЮДЖЕТНОЕ УЧРЕЖДЕНИЕ НАУКИ ФЕДЕРАЛЬНЫЙ ИССЛЕДОВАТЕЛЬСКИЙ ЦЕНТР "КОЛЬСКИЙ НАУЧНЫЙ ЦЕНТР РОССИЙСКОЙ АКАДЕМИИ НАУК"
1025100508333
СЕРГЕЙ
КРИВОВИЧЕВ
ВЛАДИМИРОВИЧ
Организация
Министерство науки и высшего образования Российской Федерации
Федеральные государственные бюджетные учреждения