В данном разделе Вы сможете найти программы минимизации булевых функций различными методами, программный комплекс для исследования задачи Штейнера на плоскости и многое другое.
BGMC v0.78 (rar) [559Kb]
Программа BGMC (Boolean Graph Minimization Complex) предназначена для минимизации систем
неопределенных булевых функций. В качестве метода минимизации используется оригинальный метод,
основанный на представлении системы булевых функций в виде графа. Данный подход позволяет
получить минимальную ДНФ для достаточно больших систем (на 20 и более переменных) за небольшой
промежуток времени. В процессе минимизации неопределенных функций производится их доопределение.
простой и удобный формат ввода/вывода
возможность задания функций в импликантной форме
работа с системами неопределенных функций*
нахождение минимальной ДНФ*
неограниченное алгоритмом количество переменных
невероятная скорость работы:
на 10 переменных - не более 0.01 с.
на 16 переменных - 4-5 с.
на 20 переменных - 80-120 с.
на 24 переменные - около 20 минут
(тестирование проводилось на CPU1200/SDRAM256)
Комплекс может сравниться с коммерческими приложениями. Программа распространяется freeware,
более подробную информацию можно найти в дистрибутиве. На данный момент доступна версия 0.78, к сожалению,
дальнейшее развитие приостановлено из-за отсутствия финансирования.
возможности, помеченные * были заложены в алгоритм, но не реализованы до конца из-за отсутствия финансирования.
espresso_dos (rar) [71Kb] espresso_linux (rar) [103Kb]
Программа минимизации СЧБФ, разработанная в университете Berkley, California. На
сегодняшний день считается промышленным стандартом для минимизации в классе ДНФ.
Параметры использования:
espresso : программа без ключей
espresso -Dqm : выполнение с таким ключом позволяет найти уточненное решение
espresso -Dexact : нахождение точного решения (с максимальными временными затратами)
Karno(kernel) v2.04 (rar) [72Kb]
Программа минимизации булевых функций до 20 переменных методом Карно (Закревского).
Довольно мощный и удобный инструмент минимизации. Позволяет получит тупиковую ДНФ,
близкую или совпадающую с минимальной благодаря небольшим дополнениям в алгоритме.
возможность задания функции в виде таблицы истинности, карты Карно или в импликантной форме
простой и удобный формат ввода/вывода
минимизация функций до 20 переменных включительно
отличная скорость работы:
на 10 переменных - не более 0.01 с.
на 16 переменных - 40-45 с.
(тестирование проводилось на CPU1200/SDRAM256)
Программа распространяется freeware. Однако по необходимости автор может выслать исходные тексты (Object
Pascal, среда Delphi), для этого свяжитесь с автором лично.
Karno(kernel) v2.04 + interface v3.7 (exe) [2.05Mb]
Дистрибутив включает в себя программу минимизации булевых функций до 20 переменных(см. выше) -
Karno(kernel)2.04 и русскоязычный графический интерфейс с большими возможностями. Интерфейс позволяет
работать с различными представлениями булевых функций, а также находить максимальный
покрывающий интервал для выбранной точки. Ядро программы (karno_kernel) распространяется
freeware (см. выше), интерфейс доступен по лицензии GNU.
Shteiner v1.21 (rar) [46Kb]
Программа для наглядного представления точек Штейнера на плоскости. Позволяет найти минимальный
остов для множества планарных точек, а также найти оптимальную точку Штейнера для введенного
множества точек. В принципе, программа позволяет найти приблизительное дерево Штейнера для
достаточного большого числа точек (порядка 80). Внимание: программа использует
видеомодуль Vesa2 и поэтому может не поддерживаться некоторыми видеокартами. Программа
распространяется freeware. Однако по необходимости автор может выслать исходные тексты (Turbo
Pascal), для этого свяжитесь с автором лично.
Graph Interface (Grin (zip) [933Kb]
Graph Interface (Grin) позволяет Вам создавать, редактировать, и исследовать графы. Система Graph Interface позволяет
не только получить информацию по теоретическим вопросам теории графов, но и в интерактивном режиме исследовать свойства графов,
редактировать их с помощью встроенного редактора. Вы можете создавать графы ориентированного или неориентированного типа.
Система имеет удобный интерфейс, который позволяет пользователю, не имеющему опыта работы с компьютером, быстро ее освоить.
Система может быть использована как для обучения основам теории графов, так и для проведения глубоких исследований в этой
области математики. Особо хочется отметить удобную справочную систему, содержащую помимо описания программы основные
моменты теории графов. Grin for Windows 9X, 2000, XP
Shteiner trass (rar) [210Kb]
Программа писалась в качестве зачета "Построение дерева Штейнера для этапа глобальной трассировки".
Программа загружает данные с файла который созданнется программой OrCAD. Затем она компонует элементы методом соседних и парных
перестановок(итерационный метод), при этом ведется визуализация процесса. Конечным результатом является трассировка методом Штейнера. Программа распространяется freeware. Однако по необходимости автор может выслать исходные тексты (Delphi), для этого свяжитесь с
автором лично.
Все программы проверены на работоспособность и отсутсвие вирусов. Администрация сайта не несет ответственности за любой ущерб, нанесенный программными продуктами нашего ресурса.