Описание тега pyeda
PyEDA - это библиотека Python для автоматизации электронного проектирования.
0
ответов
Может ли pyeda упростить использование xors?
Я пытаюсь проанализировать некоторые функции с помощью PyEDA. Есть ли способ конвертировать выражения в DNF для использования операций XOR, если это делает их проще? Например: >>> import pyeda.inter >>> >>> a,b=map(pyeda.i…
20 фев '19 в 22:16
2
ответа
Любой способ переупорядочить переменные для бинарных диаграмм решений?
Я работаю над инструментом обучения для бинарных диаграмм решений, в которых также есть функция для переупорядочения переменных. Кто-нибудь может предложить подходящую библиотеку, которая реализует переупорядочение переменных при построении дерева, …
30 июн '17 в 10:27
0
ответов
PyEDA - заменить узел в выражении
Рассмотрим следующий фрагмент PyEDA: a, b, c = map(exprvar, 'abc') f1 = And(a,Or(~a,b)) print(f1) выходы: And(a, Or(~a, b)) Как я могу заменить первый a с c? compose заменяет все экземпляры a: f1.compose({a: c}) выходы: And(c, Or(~c, b))
11 июл '18 в 12:05
0
ответов
Визуализация BDD с помощью IPython и GraphViz
Я пытаюсь работать с PyEDA, мне нужно визуализировать бинарную диаграмму решений, я читаю этот документ, но не могу его понять! здесь написано: Если у вас установлен GraphViz на вашем компьютере, и исполняемый файл dot доступен на пути вашей оболочк…
10 май '18 в 19:43
0
ответов
Составление схемы двоичного решения PyEDA в IPython
После установки Graphviz и gvmagic я запускаю следующую команду для отображения BDD: ff = a|b&c %dotobj ff Тем не менее я получаю следующее сообщение об ошибке: FileNotFoundError [WinError 2] Любые подсказки, пожалуйста, о причинах этой ошибки?
31 июл '18 в 15:05
1
ответ
Pyeda: инфиксная форма логического выражения
Pyeda позволяет писать логическое выражение в префиксной и инфиксной форме: p = Or(And("A","B"), And("C","D")) # prefix i = expr("A & B | C & D") # infix Хотя можно автоматически получить из i форма относительного префикса, я не знаю (в док…
23 дек '16 в 20:00
0
ответов
Парсинг PyEDA TruthTable
Я использую метод PyEDA expr2truthtable для вычисления таблицы истинности следующего выражения: (a & (b|c)) Есть ли способ проанализировать TruthTable, в идеале преобразовав его в фрейм данных?
01 авг '18 в 12:58
0
ответов
Пиеда обратное выражение
Я использую библиотеку pyeda, чтобы уменьшить выражение, которое я даю в качестве входных данных. Я прочитал документацию, но не нашел никакой полезной функции для этой проблемы обратного выражения. Когда я применяю сокращение для моей входной функц…
07 апр '19 в 19:14
1
ответ
PyEDA: преобразование текстовой строки в форму DNF
Я новичок в Python. Я пытаюсь преобразовать текстовую строку в форму DNF с помощью PyEDA. Мой код отлично подходит для этой строки. X [0] & (X [1] | X [2]) -> Или (И (X[0],X[1]), И (X[0],X[2])) Но когда я пытаюсь использовать указанную ниже строку, …
20 май '20 в 16:59
0
ответов
Изображение ipython3:graphviz не отображается?
Попытка отобразить логическую формулу: In [27]: a,b,c,d = map(bddvar, 'abcd') In [28]: f = a & b | a & c In [30]: %dotobj f <IPython.core.display.SVG object> как вы видите, я получаю сообщение, но изображение не появляется? (gvmagic за…
30 сен '19 в 00:10
1
ответ
PYEDA таблица истинности функций
Надеюсь, что найдется кто-нибудь, кому нравится PYEDA. Я хочу добавить фиктивные переменные в функцию. Позвольте мне иметь f=x1, но как я могу получить таблицу истинности для этой функции, у которой тоже будет x2 Как и таблица истинности для f(x1)=x…
08 мар '20 в 04:50
0
ответов
Pyeda для конвертации BDD в ZDD
У меня есть график (схема BLIF), который я хочу преобразовать в его BDD [1], а затем в его ZDD [2] с помощью Pyeda. Может ли кто-нибудь пролить свет на сложность шагов [1] (хочу ли я сначала найти логическую функцию из BLIF?) И [2]?
21 апр '20 в 00:05
1
ответ
Как создать логическое выражение PyEDA, используя строку, содержащую логическое выражение?
Я получаю логическое выражение в виде ( (A & B) | (C & ~D) )из интерфейса. Мне нужно преобразовать это в логическое выражение, которое может решить PyEDA. Чтобы написать логическое выражение в PyEDA, нужно сделать два шага. Создайте логическ…
02 июл '20 в 09:53
1
ответ
pyeda метод "абстрактного синтаксического дерева"
На самом деле я пытаюсь преобразовать логические выражения в целочисленные ограничения линейного программирования. Я пытаюсь сначала преобразовать выражения в CNF (используяpyeda), а затем из CNF сформируйте ограничения (так как это довольно просто)…
06 май '20 в 00:15
1
ответ
Создание диаграммы двоичных решений из доступной структуры данных
Этот вопрос довольно длинный; пожалуйста, потерпите меня. У меня есть структура данных с такими элементами {x1, x2, x3, x4, x5}: {0 0 0 0 0, 0 0 0 1 0, 1 1 1 1 0,.....} Они представляют все ИСТИНА в таблице истинности. Конечно, 5-битные строковые эл…
23 апр '20 в 02:33
0
ответов
Как решить логическое выражение, заданное в строковом формате, с помощью Python?
Я пытался решить логические выражения, указанные в строковом формате как ( ( i_0 & i_1 ) ^ i_2 ) ^ i_3 Используя пакет PyEDA, я могу преобразовать текст в выражение следующим образом: from pyeda.inter import * be_text = "( ( i_0 & i_1 ) ^ i_…
20 май '21 в 09:22
1
ответ
Эффективно создавайте структурированную диаграмму бинарных решений
Я пытаюсь создать BDD с определенной структурой. У меня есть одномерная последовательность логических переменных x_i, например x_1, x_2, x_3, x_4, x_5. Мое условие считается выполненным, если нет изолированных единиц или нулей (кроме, возможно, крае…
06 янв '21 в 17:13
0
ответов
Преобразование набора двоичных данных в таблицу истинности в Python с помощью PyEda
Как можно преобразовать набор двоичных данных в таблицу истинности в Python с помощью PyEda? Пример: Учитывая набор двоичных данных: x1 | x2 | x3 | y 1 | 0 | 0 | 0 1 | 0 | 1 | 1 1 | 1 | 0 | 1 1 | 1 | 1 | 1 Функция, которую я ищу, это: t = data2tt(x,…
12 фев '21 в 10:46
1
ответ
Как распространить отрицание на литералы?
Я хотел бы преобразовать выражение так, чтобы все операторы отрицания распространялись на литералы. Так ~(a | b)становится ~a & ~b. У кого-нибудь есть решение для этого? from pyeda.boolalg.expr import expr formula = "~(a | b)" e = expr(formula, …
28 янв '21 в 11:56
1
ответ
Библиотеки Python для представления расстояния между точкой и ДНФ неравенств
Зафиксируем число переменных равным 4: значит, x0, x1, x2, x3. Я ищу конструкцию Python, которая позволяет мне: (i) хранить в памяти дизъюнктивную нормальную формулу, где атомарными формулами являются неравенства: a0x0 + a1x1 + a2x2 + a3x3 >= a4 …
25 фев '22 в 16:20