嗨，作为我的项目的一部分，我一直在使用java中的reg-ex对算术表达式进行求值。表达式如下: 2+3/4(5+7)并将其转换为后缀我采用的过程是使用Reg-Ex解析所有标记(即整数、运算符、Open Paren之后，我将令牌数组转换为后缀表达式，然后求解该表达式，直到现在一切都很正常。
现在我想把它扩展到求解微分、积分或求解二次方程。
浏览 0提问于2012-08-16得票数 1
回答已采纳
3回答
您好，我已经创建了字符串格式的数学表达式 strFormula = CommonFunctions.FormatFormulaWithGermanStandard(strFormula);
我想要计算这个数学表达式
浏览 0提问于2012-02-09得票数 1
回答已采纳
上一次我问到如何在Z3 Java中定义函数。原因是在Java中没有定义函数的命令。答案是将函数的参数值替换为输入值()。ite (<= x y) y x))
(assert (>= (max2 a b) c))
我现在所做的是这样的：
2.使用Java我假设smt-文件(1)中的Max2函数是正确的，不需要重新求解。但是，如果我像上面的java代码(2)那样做，求解器必须再次求解</
浏览 2提问于2015-05-18得票数 1
回答已采纳
我想知道是否有一种方法可以使用两个堆栈在单次遍历中解决中缀表达式？堆栈可以是一个用于运算符，另一个用于操作数...如果表达式类似于2*3-(6+5)+8，该如何解决？
浏览 0提问于2012-11-17得票数 50
回答已采纳
1回答
我正在用MIPS做一个递归的迷宫求解程序，我正在尝试实现我们教授给我们的一个算法。基本上，我将如何将这样的java布尔表达式转换为MIPS。
浏览 1提问于2016-11-14得票数 0
回答已采纳
我有一个表达式!A+(A.!B)，在表达式求解器上，它给出了!A+(A.!B) = !(A.B)?。求解器通知“应用吸收定律”A.B+!A = B+!A。我已经制作了两个表达式的真值表，答案是正确的。但问题是，我不能理解吸收定律是如何在我的表达式!A+(A.!B)中实现的 有没有人可以详细解释一下吸收定律是如何应用到我的表情中的？
浏览 31提问于2020-04-21得票数 1
回答已采纳
2回答
我看到人们使用SAT解算器和SMT求解器来验证稳健代码是在做他们正在做的事情。
这两者有什么区别呢？
浏览 0提问于2023-03-08得票数 0
回答已采纳
1回答
我正在解决Java中的逻辑表达式，这些表达式由of和OR组成，而不是运算符。为表达式中的每个变量创建一个真值表，并逐行计算。(p ∧ ¬q) ∨ (r ∧ s) ∨ (¬p ∨ u)现在，我正在考虑实现一个类似这样的替代解决方案:考虑上面的例子。我们可以注意到，即使只是通过求解p ∧ ¬q部分，所有<e
浏览 0提问于2019-02-18得票数 3
回答已采纳
1回答
.) |}
最大限度地增加表达式中真实子句的数量，即解决一个“请帮助我制定一个有效的CNF (参考如何在Python求解器或只是原始表达式)。
浏览 4提问于2021-10-22得票数 0
1回答
我正在做一个优化C代码的学校项目，其中的要求是就地解决算术表达式和替换常量(#define)。但是我不能将代码(我的编译器老师也不能)写到能够识别算术表达式并求解它们的解析器中。
浏览 5提问于2018-11-27得票数 0
5回答
将表达式的结果赋值给变量
、、、
尝试将表达式的结果传递给稍后可在另一个表达式中使用的变量。让DrScheme一次完成所有的代数运算是很容易的，但我需要让它求解第一个表达式，然后根据第一个表达式的结果求解第二个表达式。
浏览 0提问于2009-12-17得票数 1
(基本上，公式的准备可能很慢，因为它发生在运行前，但每个存储函数可能在运行时被多次调用，然后必须进行有效的评估)编辑:树结构确实可以存储表达式，但是计算速度仍然很慢，因为据我所知，在计算(如遍历树对象)时，我需要再次将
浏览 3提问于2016-02-27得票数 1
回答已采纳
1回答
我想用包含p和q的x和y的符号表达式来求解这个系统。我想知道是否有Java包可以处理符号计算来解决这样的系统。
浏览 0提问于2013-03-01得票数 3
3回答
import java.util.Scanner;
public static void main(String[] args) {
浏览 4提问于2015-10-11得票数 0
回答已采纳
如果我们知道变量满足某些方程，是否有可能简化SymPy中的表达式？例如，在Mathematica中，我们可以这样写： Simplify[a+b-c, a+b==c] 当然，在这种情况下，可以求解a并进行替换。但是，对于长表达式，进行全局替换可能没有意义。如果目标是生成尽可能短的表达式，则可能需要对某些项应用替换，其余项保持不变，或者为b而不是a进行求解。 我认为sympy.assumptions模块不能对这几个变量相互限制。
浏览 23提问于2021-04-23得票数 2
回答已采纳
1回答
本文认为，共享表达式检测技术在现代SMT求解器中得到了广泛的应用。当它处理一系列类似的表达式时，性能应该是非常好的。但是，在和上运行之后，我得到了意想不到的结果。而不是在"input1“中构建一个长约束A，而是定义一些中间变量来映射到"input2”中A的子表达式。在这种情况下，input1有更少的变量，应该比input2更快地解决这些问题。我无法从统计数据中找到有用的信息，因为它们完全相同，除了所消耗的解决时间和内存：如果有人能回答/解释什么对SMT求解器的性能
浏览 2提问于2014-05-26得票数 3
回答已采纳
3回答
我知道这是一个简单的语法问题，但我搞不懂。Path <%= request.getParameter('topic') %> <!-- works --><c:out value="${myVar}" /> <!-- doesn't print ou
浏览 2提问于2013-12-16得票数 0
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
腾讯会议
云直播活动推荐
腾讯云开发者
