РОССИЙСКАЯ ФЕДЕРАЦИЯ
ФЕДЕРАЛЬНАЯ СЛУЖБА ПО ИНТЕЛЛЕКТУАЛЬНОЙ СОБСТВЕННОСТИ
ГОСУДАРСТВЕННАЯ РЕГИСТРАЦИЯ ПРОГРАММЫ ДЛЯ ЭВМ

Номер регистрации (свидетельства): 2016614797

Дата регистрации: 05.05.2016

Номер и дата поступления заявки: 2016611928 09.03.2016

Дата публикации: 20.06.2016
	
Авторы:
Воронин Владимир Викторович,
Пахомов Денис Олегович

Правообладатель:
Федеральное государственное бюджетное образовательное учреждение высшего образования «Тихоокеанский государственный университет»

Название программы для ЭВМ:
Программный комплекс для совместной минимизации не полностью определенных логических функций

Реферат:
Программный комплекс предназначен для минимизации множества не полностью определенных логических функций, зависящих от одинакового числа аргументов на основе технологии карт Карно. Число наборов аргументов, на которых функции не определены, не ограничивается. Программный комплекс имеет следующие ограничения: множество функций должно иметь число элементов не более восьми, а число аргументов каждой функции должно быть не более пяти. Учитывая неопределенность исходных функций, в базовый алгоритм минимизации включены ряд эвристических правил, обеспечивающих реализацию принципа "число максимальных групп на максимальном количестве карт должно быть максимальным". В программном комплексе обеспечивает диалоговый режим с развитым графическим интерфейсом при вводе исходных данных (функции представимы двумя способами - таблицей истинности или соответствующей картой Карно), при сопровождении расчетов (предусмотрена возможность просмотра всех промежуточных результатов), при выводе искомые результаты представляются в минимальной дизъюнктивной нормальной форме.

Тип реализующей ЭВМ: IBM PC-совмест. ПК на базе процессора Intel Pentium и выше

Язык программирования: Borland С++ Builder 6

Вид и версия операционной системы: Windows ХР/Vista/7

Объем программы для ЭВМ: 2,33 Мб