Реклама на сайте English version  DatasheetsDatasheets

KAZUS.RU - Электронный портал. Принципиальные схемы, Datasheets, Форум по электронике

Новости электроники Новости Литература, электронные книги Литература Документация, даташиты Документация Поиск даташитов (datasheets)Поиск PDF
  От производителей
Новости поставщиков
В мире электроники

  Сборник статей
Электронные книги
FAQ по электронике

  Datasheets
Поиск SMD
Он-лайн справочник

Принципиальные схемы Схемы Каталоги программ, сайтов Каталоги Общение, форум Общение Ваш аккаунтАккаунт
  Каталог схем
Избранные схемы
FAQ по электронике
  Программы
Каталог сайтов
Производители электроники
  Форумы по электронике
Удаленная работа
Помощь проекту

TTL и CMOS логика Цифровая схемотехника на логических микросхемах. Счетчики, сдвиговые регистры, простая логика...

 
Опции темы
Непрочитано 23.09.2017, 17:04  
Mishel 825
Частый гость
 
Регистрация: 20.09.2014
Сообщений: 18
Сказал спасибо: 0
Сказали Спасибо 0 раз(а) в 0 сообщении(ях)
Mishel 825 на пути к лучшему
По умолчанию Примеры минимизации булевой функции с большим числом переменных

Доброго времени суток!

Подскажите пожалуйста ресурс с примерами минимизации булевих функций на 8, 9, 10 и более переменных. Необходимо исходное выражение булевой функции и её минимальная форма. Процедура минимизации не обязательна.
Реклама:
Mishel 825 вне форума  
Непрочитано 24.09.2017, 03:15  
mike-y-k
Почётный гражданин KAZUS.RU
 
Регистрация: 04.08.2010
Адрес: Москва СЗАО
Сообщений: 2,928
Сказал спасибо: 1,978
Сказали Спасибо 614 раз(а) в 510 сообщении(ях)
mike-y-k на пути к лучшему
По умолчанию Re: Примеры минимизации булевой функции с большим числом переменных

А поиск? Есть даже онлайн ресурсы. "минимизация булевых функций онлайн"
__________________
rtfm forever должно быть основой для каждого. Альтернатива грустна, поскольку метод слепого щенка успешно работает при малом числе вариантов.

Последний раз редактировалось mike-y-k; 24.09.2017 в 16:44.
mike-y-k вне форума  
Непрочитано 24.09.2017, 12:20  
Mishel 825
Частый гость
 
Регистрация: 20.09.2014
Сообщений: 18
Сказал спасибо: 0
Сказали Спасибо 0 раз(а) в 0 сообщении(ях)
Mishel 825 на пути к лучшему
По умолчанию Re: Примеры минимизации булевой функции с большим числом переменных

От 9 переменных поиск результатов не даёт. На 8 переменных есть примеры функций для минимизации, очевидно штучно подобраны, для карти Карно.

Минимизация функций онлайн только до 6 переменных, включительно.
Mishel 825 вне форума  
Непрочитано 26.09.2017, 01:38  
Mishel 825
Частый гость
 
Регистрация: 20.09.2014
Сообщений: 18
Сказал спасибо: 0
Сказали Спасибо 0 раз(а) в 0 сообщении(ях)
Mishel 825 на пути к лучшему
По умолчанию Re: Примеры минимизации булевой функции с большим числом переменных

По адресу рассмотрена минимизация 8-переменной булевой функции картой Карно. Представлена минимальная форма заданной функции (приложил). В этой минимальной форме в 1-м и 2-м конъюктермах можно ещё провести элементарное поглощение седьмой переменной, 2-й конъюктерм станет меньший на одну переменную. Выходит, что правила контура метода Карно для 8-переменной функции не до конца проводят минимизацию?
Миниатюры:
Нажмите на изображение для увеличения
Название: Логическая 8-переменная функция.jpg
Просмотров: 0
Размер:	13.6 Кб
ID:	119052  
Mishel 825 вне форума  
Непрочитано 26.09.2017, 05:14  
mike-y-k
Почётный гражданин KAZUS.RU
 
Регистрация: 04.08.2010
Адрес: Москва СЗАО
Сообщений: 2,928
Сказал спасибо: 1,978
Сказали Спасибо 614 раз(а) в 510 сообщении(ях)
mike-y-k на пути к лучшему
По умолчанию Re: Примеры минимизации булевой функции с большим числом переменных

Mishel 825, тут уже от реализации алгоритма сильно зависит. Встречаемые варианты работали до 6 переменных. Дальше был тихий ужас.
Алгоритмы на методах Куайна и Куайна-МакКласки тут эффективнее.
И алогоритм Espresso в его реализациях кушает до 40 переменных. Кстати вроде на его основе работают оптимизаторы и валидаторы для программируемой логики. И оптимизаторы в системах проектирования микросхем. Хотя чаще там сразу несколько методов задействованы с выбором оптимума из результатов.

PS По ссылкам на статьи внизу есть ссылки на реализации в разных вариантах. Можно их проверить и выбрать оптимальный(е)/лучший(е)/…

PPS Тут сильная зависимость от Ваших задач и критериев оценки результата. В такой ситуации только показать векторы движения получится…
__________________
rtfm forever должно быть основой для каждого. Альтернатива грустна, поскольку метод слепого щенка успешно работает при малом числе вариантов.

Последний раз редактировалось mike-y-k; 26.09.2017 в 17:40.
mike-y-k вне форума  
Непрочитано 27.09.2017, 00:45  
ProtAS-13
Частый гость
 
Регистрация: 17.03.2015
Сообщений: 49
Сказал спасибо: 0
Сказали Спасибо 47 раз(а) в 20 сообщении(ях)
ProtAS-13 на пути к лучшему
По умолчанию Re: Примеры минимизации булевой функции с большим числом переменных

Сообщение от Mishel 825 Посмотреть сообщение
Необходимо исходное выражение булевой функции и её минимальная форма.
Делал как-то для себя по Квайн+Петрик (см. екзешник во вложении).
Программу ограничил 8 переменными, хотя, как я помню, реализация позволяет и большее число переменных, но сейчас исходники искать надо, да и заново все вспоминать
Програмка, конечно сыровата - нет прогресс-бара (для малого количества переменных, было не нужно), очистка результатов отдельно не выведена (делается через смену количества переменных), может быть еще какие неудобства, сейчас уже и не вспомню.
Главное считает правильно, а когда получил результат, то и забил на всякие рюшечки.
Попробуйте, может пригодиться.
Кстати, делал по книжице: "Шевелев Ю.П. Дискретная математика. Ч.1. Теория множеств. Булева алгебра (2003)".
Если будете тестировать, то отпишитесь - чисто для статистики - не ошибся ли где в реализации алгоритма.
Вложения:
Тип файла: rar EvaluateDNF.rar (30.2 Кб, 0 просмотров)
ProtAS-13 вне форума  
Сказали "Спасибо" ProtAS-13
mike-y-k (27.09.2017)
Непрочитано 27.09.2017, 01:23  
mike-y-k
Почётный гражданин KAZUS.RU
 
Регистрация: 04.08.2010
Адрес: Москва СЗАО
Сообщений: 2,928
Сказал спасибо: 1,978
Сказали Спасибо 614 раз(а) в 510 сообщении(ях)
mike-y-k на пути к лучшему
По умолчанию Re: Примеры минимизации булевой функции с большим числом переменных

В процессе воспоминаний понял, что надо бы ещё сайт MIT прошерстить на предмет поиска решений, и посмотреть поглубже в материалах на сайте IBM.
__________________
rtfm forever должно быть основой для каждого. Альтернатива грустна, поскольку метод слепого щенка успешно работает при малом числе вариантов.
mike-y-k вне форума  
Непрочитано 27.09.2017, 03:21  
Mishel 825
Частый гость
 
Регистрация: 20.09.2014
Сообщений: 18
Сказал спасибо: 0
Сказали Спасибо 0 раз(а) в 0 сообщении(ях)
Mishel 825 на пути к лучшему
По умолчанию Re: Примеры минимизации булевой функции с большим числом переменных

Спасибо поддерживающим тему.
mike-y-k, хорошая информация, ищу примеры для тестирования.

ProtAS-13, протестировал на 4, 5, 6 и 8 переменных. Програма выдала правильный результат. Приложил функции для тестирования и результаты тестирования. Не везде отображается инверсия, что затрудняет ориентацию.
Вложения:
Тип файла: rar Тестирование метода Петрика.rar (305.1 Кб, 0 просмотров)
Mishel 825 вне форума  
Непрочитано 27.09.2017, 19:48  
Bill
Вид на жительство
 
Регистрация: 02.06.2003
Адрес: Челябинск
Сообщений: 490
Сказал спасибо: 3
Сказали Спасибо 126 раз(а) в 81 сообщении(ях)
Bill на пути к лучшему
По умолчанию Re: Примеры минимизации булевой функции с большим числом переменных

Сообщение от Mishel 825 Посмотреть сообщение
Доброго времени суток!

Подскажите пожалуйста ресурс с примерами минимизации булевих функций на 8, 9, 10 и более переменных. Необходимо исходное выражение булевой функции и её минимальная форма. Процедура минимизации не обязательна.
Цель какая?
Bill вне форума  
Непрочитано 27.09.2017, 20:03  
mike-y-k
Почётный гражданин KAZUS.RU
 
Регистрация: 04.08.2010
Адрес: Москва СЗАО
Сообщений: 2,928
Сказал спасибо: 1,978
Сказали Спасибо 614 раз(а) в 510 сообщении(ях)
mike-y-k на пути к лучшему
По умолчанию Re: Примеры минимизации булевой функции с большим числом переменных

Bill, а цель из названия и первого топика? Очень востребованно в семействе разнообразных программируемых логических… Оптимизация, однако. Руками написанное/нарисованное не всегда минимально получается и не лезет в имеющееся железо. Собственные средства в пакетах разработки тоже не всегда устраивают или отсутствуют из-за стоимости.
__________________
rtfm forever должно быть основой для каждого. Альтернатива грустна, поскольку метод слепого щенка успешно работает при малом числе вариантов.
mike-y-k вне форума  
 

Закладки
Опции темы

Ваши права в разделе
Вы не можете создавать новые темы
Вы не можете отвечать в темах
Вы не можете прикреплять вложения
Вы не можете редактировать свои сообщения

BB коды Вкл.
Смайлы Вкл.
[IMG] код Вкл.
HTML код Выкл.

Быстрый переход

Похожие темы
Тема Автор Раздел Ответов Последнее сообщение
Ускорить компьютер 7Fantomas7 Ремонт оргтехники 110 25.04.2017 15:26


Часовой пояс GMT +4, время: 12:16.


Powered by vBulletin® Version 3.8.4
Copyright ©2000 - 2017, Jelsoft Enterprises Ltd. Перевод: zCarot