Электротехнический форум :: Просмотр темы - Помогите найти э.схемы для кандидатской работы
 
Электротехнический портал Элекаб - справочник электрика, энергетика.

О проекте
Авторам
Реклама на портале

 
Главная | Справочник | Схемотека | Нормативы | Форум | Статьи | Выставки | Пресс-релизы |

Электротехнический форум
Элекаб. Справочник электрика и энергетика.
 
 FAQFAQ   ПоискПоиск   ПользователиПользователи   ГруппыГруппы   РегистрацияРегистрация 
 ПрофильПрофиль   Войти и проверить личные сообщенияВойти и проверить личные сообщения   ВходВход 

Помогите найти э.схемы для кандидатской работы

 
Начать новую тему   Ответить на тему    Список форумов Электротехнический форум -> Поиск документов
Предыдущая тема :: Следующая тема  
Автор Сообщение
Sergey63reg



Зарегистрирован: 02.06.2013
Сообщения: 1

СообщениеДобавлено: Вс Июн 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).
Заранее огромное спасибо.
Вернуться к началу
Посмотреть профиль Отправить личное сообщение
Показать сообщения:   
Начать новую тему   Ответить на тему    Список форумов Электротехнический форум -> Поиск документов Часовой пояс: GMT + 4
Страница 1 из 1

 
Перейти:  
Вы можете начинать темы
Вы можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете голосовать в опросах


© 2003-2021 Электротехнический портал www.elecab.ru
При копировании материалов наличие активной гиперссылки, ведущей на справочник электрика и энергетика "Элекаб" обязательно.
Контакты: elecab@elecab.ru