Добавлено: Вс Июн 02, 2013 1:23 pm Заголовок сообщения: Помогите найти э.схемы для кандидатской работы
Здравствуйте. Моя жена учится в аспирантуре. Для написания кандидатской ей необходимо большое кол-во реальных, используемых в промышленности, эл. схем в формате булевых функций.
Входные сигналы, применяемые к этим сигналам, преобразования и их логическое описание (т.е. дизъюнкция, конъюнкция и т.д.)
Ниже привожу пример с описанием:
а) Описание: Пример файла показан для задачи выполнимости булевых формул (SAT или ВЫП) – экземпляром задачи SAT является булева формула, со-стоящая только из имен переменных, скобок и операций ^ (И), (ИЛИ) и ¬ (HE). Литералом является либо переменная, либо отрицание переменной. Например, x или ¬y. Дизъюнктом или клаузой называется логическое ИЛИ одного или нескольких литералов, например x; x y; x ¬y z. Формула записана в КНФ – представляет собой логическое И дизъюнктов.
Для того что бы стандартизировать запись формул для решателей SAT, был разработан формат DIMACS CNF. Файл в формате DIMACS CNF является текстовым файлом со следующей структурой.
Каждая строка, начинающаяся с символа "c", является комментарием.
Первая строка-не-комментарий должна быть записана в виде:
p cnf [ЧИСЛО ПЕРЕМЕННЫХ] [ЧИСЛО ДИЗЪЮНКТОВ]
Каждая последующая строка, которая не является комментарием, определяет дизъюнкт. Дизъюнкт записывается как последовательность чисел, записанных через пробел, положительно значение обозначает соответствующую переменную (4 значит x4), и отрицательное значение значит отрицание переменной (-5 значит ¬x5). Каждая строка должна заканчиваться числом ноль.
(x1 ¬x5 x4) ^ (¬x1 x5 x3 x4) ^ (¬x3 ¬x4)
Формула, представленная выше, будет записана как:
c Это коментарий.
p cnf 5 3
1 -5 4 0
-1 5 3 4 0
-3 -4 0
б) Пример файла (показаны начало и конец файла т.к. в нём 80 тыс. строк):
[img][/img]
[img][/img]
Размер данных файлов не важен. В кандидатской они будут урезаны. Нужно очень много разных схем.
Если у кого-то имеются/зает где скачать данные схемы очень прошу помочь. (Если есть что-то похожее - прошу скинуть схемы/ссылки на схемы на почту sergeysofonov@ yandex.ru).
Заранее огромное спасибо.
Вы можете начинать темы Вы можете отвечать на сообщения Вы не можете редактировать свои сообщения Вы не можете удалять свои сообщения Вы не можете голосовать в опросах