Вопросы по теме 'simplification'
AS3: Как упростить код Action Script 3?
Вот пример, который я должен использовать, когда хочу создать кнопку с эффектом наведения мыши:
this.buttonExample.buttonMode = true;
this.buttonExample.useHandCursor = true;...
707 просмотров
schedule
28.07.2022
Упрощение логического выражения в java
Есть ли какой-либо инструмент или библиотека в java, которая упрощает формулу логического выражения и дает результат.
когда входы такие,
exp = (a || a' ) result = 1
exp = ( a || b ) && ( a' || b ) result = b (after simplification)...
4431 просмотров
schedule
25.10.2022
Как правильно упростить выражение «x» плюс «x» в MATLAB?
У меня очень простой вопрос: я пытаюсь упростить выражение x + x , чтобы получить ответ 2x в MATLAB, но мне трудно определить правильный формат, и я не знаю, что искать в файлах документации. Ответ.
145 просмотров
schedule
24.11.2023
Упростить матричный матлаб
Я делаю некоторые матричные вычисления в Matlab. Что выглядит странно (для меня), так это то, что я получаю такие результаты, как
(8700286382685973*cos(q5)*sin(q4))/9007199254740992 +...
1931 просмотров
schedule
01.05.2023
Некоторое базовое упрощение булевой алгебры
Я хочу спросить об основном законе булевой алгебры. Что я узнаю:
1. A+A'B=A+B
2. A+AB'=A+B'
3. A+AB=A
4. A+A'B'=A+B'
но я удовлетворяю некоторым условиям, например: A'+AB
Итак, каков ответ для A'+AB ?
103 просмотров
schedule
22.07.2023
Библиотека упрощения сетки в C #
Как и в случае с этим другим вопросом , мне интересно, какие C # mesh-simplification libraries доступны там.
Моя (я считаю распространенной) проблема - уменьшить вычислительные затраты на рендеринг .stl meshes .
3283 просмотров
schedule
12.01.2023
Упростите выражения с вложенными ∃ и равенством
Я наткнулся на доказательство, которое не мог легко автоматизировать, пока не добавил эту лемму в набор упрощений Изабель:
lemma ex_ex_eq_hint:
"(∃x. (∃xs ys. x = f xs ys ∧ P xs ys) ∧ Q x) ⟷
(∃xs ys. Q (f xs ys) ∧ P xs ys)"
by auto...
144 просмотров
schedule
20.07.2022
Постепенное упрощение линии
В Интернете есть много информации об упрощении обычных линий,
https://www.jasondavies.com/simplify/
https://bost.ocks.org/mike/simplify/
http://geomalgorithms.com/a16-_decimate-1.html
http://mourner.github.io/simplify-js/
т.е....
291 просмотров
schedule
16.02.2023
Упрощение выражений Sympy как неявных функций переменных
Мне интересно, есть ли способ упростить выражения Sympy, переписав выражение в терминах уже определенной переменной, заставив Python собирать термины, соответствующие определению этой переменной.
Заранее спасибо.
512 просмотров
schedule
20.09.2022
Есть ли способ упростить приведенный ниже код с помощью векторов?
Я использую R. Мне нужно создать новый столбец во фрейме данных, который представляет собой сумму трех переменных. Сумма должна иметь место только в том случае, если для каждой из трех переменных есть числовые значения. Другими словами, если есть...
43 просмотров
schedule
25.04.2023
Stanford CoreNLP находит однородные части предложения
Я пытаюсь построить алгоритм упрощения предложений на основе Stanford CoreNLP. Одно из упрощений я хочу сделать - преобразовать предложение с однородными частями предложения в несколько предложений. Например.
Я люблю маму, папу и сестру. ->...
124 просмотров
schedule
28.05.2024
Упрощение сетки для нескольких слоев
В моей игре есть пейзаж, он состоит из нескольких слоев (каждый представляет собой отдельную сетку), теперь я хочу сделать упрощение сетки для всех слоев, но я обнаружил, что между разными слоями есть много пересечений после применения упрощения в...
71 просмотров
schedule
09.04.2023
Несовместимая выполнимость между ctx-solver-simplify и ctx-simplify Z3
Я пытаюсь сделать z3 (я использую z3py), чтобы проверить, выполнима ли формула или нет, и если она выполнима, то упростить ее.
Сначала я использовал Z3 ctx-solver-simplify . Однако, поскольку я постоянно делаю много звонков, использование этой...
72 просмотров
schedule
05.02.2023
Есть ли способ заставить упрощение полилиний CGAL работать для внутренних/общих границ?
Я пытался выполнить упрощение линий на полигонах, принадлежащих картам, с помощью этого руководство CGAL , например. Южная Корея.
Это скриншот Южной Кореи после упрощения строк с помощью CGAL.
Я выполнил упрощение линий, добавив каждый полигон...
198 просмотров
schedule
29.12.2022
Упрощение экземпляров Add-only с константами, но включая радикалы, с использованием Sage и sympy
Я занимаюсь разработкой простых функций, которые генерируют константы для различных фильтров разного порядка, таких как Баттерворт . Например, результатом Баттерворта (2) будет:
s^2 + sqrt(2)*s + 1
(Будь прокляты администраторы за то, что...
29 просмотров
schedule
19.07.2022