Вопросы по теме '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 просмотров

Упрощение выражений Sympy как неявных функций переменных
Мне интересно, есть ли способ упростить выражения Sympy, переписав выражение в терминах уже определенной переменной, заставив Python собирать термины, соответствующие определению этой переменной. Заранее спасибо.
512 просмотров

Есть ли способ упростить приведенный ниже код с помощью векторов?
Я использую R. Мне нужно создать новый столбец во фрейме данных, который представляет собой сумму трех переменных. Сумма должна иметь место только в том случае, если для каждой из трех переменных есть числовые значения. Другими словами, если есть...
43 просмотров
schedule 25.04.2023

Stanford CoreNLP находит однородные части предложения
Я пытаюсь построить алгоритм упрощения предложений на основе Stanford CoreNLP. Одно из упрощений я хочу сделать - преобразовать предложение с однородными частями предложения в несколько предложений. Например. Я люблю маму, папу и сестру. ->...
124 просмотров
schedule 28.05.2024

Упрощение сетки для нескольких слоев
В моей игре есть пейзаж, он состоит из нескольких слоев (каждый представляет собой отдельную сетку), теперь я хочу сделать упрощение сетки для всех слоев, но я обнаружил, что между разными слоями есть много пересечений после применения упрощения в...
71 просмотров

Несовместимая выполнимость между 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