Описание тега bitvector

Описание тега Вопросы с тегом
Структура данных для массива однобитовых значений, обычно с упором на хранение и производительность с эффективным использованием памяти.
1 ответ

Как устранить битвекторную арифметику в Z3

Я пытаюсь использовать z3 для устранения выражения not ((not x) add y) что равно x sub y по этому коду: (declare-const x (_ BitVec 32)) (declare-const y (_ BitVec 32)) (assert (= (bvnot (bvadd (bvnot x) y)) (bvsub x y))) (check-sat) (simplify (bvnot…
27 дек '12 в 07:58
1 ответ

Memcpy()- как функция для битовых векторов?

У меня есть вектор битов, и я хочу скопировать его фрагмент в другой вектор (скажем, для простоты, в начало другого вектора). Обратите внимание, что все биты, возможно, должны быть смещены (или, скорее, повернуты) в некотором направлении, а не тольк…
11 сен '14 в 17:03
1 ответ

(Z3Py) Конкат, квантификаторы и битовые векторы

Можно ли использовать квантификаторы с битовыми векторами и конкатенациями? Для иллюстрации запустим следующий код в новейшей версии Z3: a = BitVec('a', 8) b = Concat(BitVec('b', 4), BitVec('c', 4)) prove(ForAll(a, Exists(b, a == b))) выдает следующ…
27 апр '13 в 16:40
1 ответ

Какие значения могут быть представлены с BitVecs в z3?

Я думаю, что я не понимаю, как BitVecs работает в z3. Я написал следующий код: >>> import z3 >>> s = z3.Solver() >>> a = z3.BitVec("a", 32) >>> s.add(z3.ForAll(a, z3.Not(z3.And(a > 2147483647, a < 2147484671…
12 июл '17 в 19:28
2 ответа

Как мне преобразовать поле Int в SQL Server в BitVector32 в моей программе на C#?

Тотальный новичок прыгает в глубокий конец. Это мой первый пост здесь. Я программист для мэйнфреймов, пытаюсь присоединиться к 1990-м годам и научиться некоторому объектно-ориентированному программированию (что в настоящее время мне нравится). Пожал…
26 авг '14 в 23:03
1 ответ

Лучший способ перебрать битовые векторы как массивы в C

Ранее, когда я перебирал битовые векторы, я использовал такие строки, как "0001", "0010", "0011" и т. Д. Я бы анализировал целые 10 оснований в строковые представления с правильной базой, используя Java, однако у меня кончились память быстро Использ…
07 янв '19 в 17:44
5 ответов

C/C++ битовый массив или битовый вектор

Я изучаю программирование на C/C++ и столкнулся с использованием "Битовых массивов" или "Битовых векторов". Не в состоянии понять их цель? вот мои сомнения - Они используются в качестве логических флагов? Можно ли использовать int вместо массивов? (…
05 янв '11 в 12:48
2 ответа

VHDL: как проверить выбранные биты вектора

Мне интересно, есть ли способ проверить только интересующие меня биты логического вектора std в VHDL. Моя новая попытка выглядит так: IF (vectorname = "1-00") THEN action END IF; Мне здесь интересно только проверить биты 3, 1 и 0 вектора. Бит 2 в эт…
27 фев '13 в 09:02
2 ответа

Реализовать битовый вектор C++ в проекте ios в xcode

Мне интересно, какой правильный способ реализации bitVector в проекте iOS использует xcode. Я довольно новичок в iOS и только что узнал, что могу использовать битовый вектор C++ в своем проекте. Любое руководство будет с благодарностью. Спасибо
20 мар '13 в 18:51
8 ответов

Java: разреженный битовый вектор

Есть ли в Java известные библиотеки для разреженных битовых векторов? (И есть ли рекомендации о том, насколько полезно их использовать по сравнению с java.util.BitSet?)
14 июн '10 в 20:57
1 ответ

BitVector операции невозможны

Я хочу выполнить операцию xor на двух BitVectors. При попытке превратить одну из строк в bitVector и затем перейти к операции xor, я получаю следующую ошибку: ValueError: invalid literal for int() with base 10: '\x91' Как я могу обойти эту проблему?…
09 авг '16 в 15:09
2 ответа

Проблемы с производительностью BitVector

Мне нужно использовать биты для операций в криптографической схеме, однако, когда я преобразую переменные и функции в BitVector(bitstring/int/texttrings=""), результатом является очень длинный битовый вектор, иногда имеющий длину в тысячи. Теперь, э…
24 авг '16 в 11:42
0 ответов

Структура данных / Алгоритм управления неперекрывающимися диапазонами значений?

Я работаю над системой, которая имеет 10 тысяч флагов для пользователя. Все флаги являются последовательными по номерам, от 0 до X, независимо от того, что X заканчивается. Ожидается, что Х будет расти со временем. И мы ожидаем, что будет много-мног…
22 сен '17 в 21:24
2 ответа

Интерпретировать std::vector<unsigned int> как эффективный алгоритм bitvector?

Я хотел бы интерпретировать std::vector&lt;unsigned int&gt; numbers как битовый вектор, то есть MSB numbers[0] 1-й бит, MSB numbers[1] это 33-й бит и так далее. Я хочу найти все последовательности единиц в этом векторе и сохранить соответствующие по…
16 окт '15 в 17:34
1 ответ

Конвертировать строку в битвектор в Java

Я хочу преобразовать строку в соответствующий ей битовый вектор в соответствии с битовым значением символа (указывается пользователем). Я имею дело со строкой генома, где у меня есть только 4 символа, то есть A,G,C,T. Я хочу представить их со следую…
21 июл '16 в 09:10
1 ответ

Решение уравнений с использованием логики высказываний

Я ищу идеи о том, как кодировать математические уравнения в форму cnf-sat, чтобы их можно было решить с помощью SAT-решения с открытым исходным кодом, такого как MiniSat. Итак, как мне конвертировать что-то вроде: 3x + 4y - z = 14 -2x - 4z <= -6 x -…
08 дек '15 в 19:28
1 ответ

Двоичная операция!= Не может быть применена при использовании обобщенных значений для битового вектора

Я нахожусь в процессе реализации класса Bit Vector в качестве упражнения, однако, зная Rust менее недели, я столкнулся с проблемой следующего кода: use std::cmp::Eq; use std::ops::BitAnd; use std::ops::Index; use std::ops::Not; struct BitVector&lt;S…
03 июн '16 в 12:00
1 ответ

Проверьте значения Nan в столбце ND-Array и удалите их

Код ниже был написан для проверки значений NaN в столбце Python ND-Array. Если в temparr1 или temparr2 есть NaN, мы удаляем соответствующую строку из них обоих. Проблема в том, что это не работает. Не могли бы вы помочь мне? temparr1=arr[index[index…
25 янв '13 в 05:31
1 ответ

Определение правил для битовых векторов в SMT2

Я переключился с использования Int на битовые векторы в SMT. Однако логика QF_BV не позволяет использовать какие-либо квантификаторы в вашем скрипте, и мне нужно определить правила FOL. Я знаю, как устранить экзистенциальные квантификаторы, но униве…
14 июл '15 в 19:14
3 ответа

Каково значение всех 32 битов, установленных в 1 в int?

Я экспериментировал с битовыми операциями в Java Я попытался установить битовый индекс по индексу, и это то, что я получил. Начинается установка с 0-го бита в целых числах от 0 до 31-го бита (поскольку int имеет максимум 32 бита) value of0bits set: …
16 фев '18 в 19:27