腾讯云
开发者社区
文档
建议反馈
控制台
首页
学习
活动
专区
工具
TVP
最新优惠活动
文章/答案/技术大牛
搜索
搜索
关闭
发布
登录/注册
精选内容/技术社群/优惠产品,
尽在小程序
立即前往
文章
问答
(9999+)
视频
沙龙
2
回答
解
算
器
赋值
2
:
TwoLayerNet
和
CS231n
numpy
、
neural-network
然而,当我尝试执行求解
器
时,我遇到了一条错误消息。具体地说,我执行以下代码行: model =
TwoLayerNet
() solver.train() 我最初收到的错误消息来自optim.py,它说: 41 config.setdefault('learning_rate', 1e-
2
)从消息中我了解到梯度
和
W的维度不同
浏览 50
提问于2020-05-01
得票数 0
2
回答
纸浆装置测试失败
python
、
linear-programming
、
pulp
如果您没有安装任何其他的解决
器
和
与纸浆工厂捆绑的CoinMP解决程序,那么下面的输出就是您所期望的。”
解
算
器
pulp.solvers.CPLEX_CMD不可用。
解
算
器
pulp.solvers.COIN_CMD不可用。
解
算
器
pulp.solvers.COINMP_DLL不可用。
解
算
器
pulp.solvers.GLPK_CMD不可用。
解</e
浏览 10
提问于2011-06-24
得票数 6
1
回答
我自己的限制谷歌或-工具
python
、
constraint-programming
、
or-tools
我是Python中CP问题
和
OR-Tools方面的新手,我想做以下工作:for i in range(I): 这是正确的,因为x是一个IntVar。
浏览 5
提问于2017-11-06
得票数 4
1
回答
SAT Solvers,0深度作业
sat-solvers
、
sat
例如,当谈到SAT
解
算
器
时,“0深度”
和
"CNF任务“的值意味着什么?这些值通常是各种SAT
解
算
器
输出信息的一部分。
浏览 7
提问于2015-09-16
得票数 2
回答已采纳
1
回答
如何找到连接两组点的最小代价
algorithm
、
math
、
geometry
、
mathematical-optimization
我得到了两组点S
和
V,它们的大小都是n。我想将这两组点连接起来,使得S中的每个点都链接到V中的一个点。连接两个点的成本定义为两点之间的欧几里得距离。应该有n!可能的链接方式。
浏览 0
提问于2012-04-16
得票数 5
回答已采纳
1
回答
使用F#进行优化
f#
、
mathematical-optimization
、
minimization
目标是最小化具有六个参数a、b、c、d、gamma
和
rho_infty的函数minFunc (该函数相当长,因此我不在这里发布它)
和
附加条件:d > 0,gamma我已经尝试了微软
解
算
器
基金会的内尔德米德
解
算
器
,但我不知道如何添加非线性条件a + d > 0
和
0 <= gamma <= -ln(rho_infty)。(Func<float [], _&g
浏览 0
提问于2014-04-02
得票数 3
2
回答
SAT
解
算
器
能用来找到所有的解决方案吗?
satisfiability
假设我有一个SAT求解
器
,它给定一个联合范式的布尔公式,返回一个
解
(满足公式的变量
赋值
),或者返回问题不可满足的信息。 我能用这个
解
算
器
找到所有的解决方案吗?
浏览 1
提问于2012-09-03
得票数 19
1
回答
如何知道GEKKO花了多长时间来解决我的模型?
python
、
gekko
我知道基于,我可以让我的代码打印运行代码所用的总时间,但我不知道如何隔离求解
器
时间。start = time.time()x = m.Var(value=0)m.Equations([x +
2
*y==0, x**
2
+y**
2
==1])m.solve(disp=True)print([x.value[0],y.value[0end = time.time() pr
浏览 19
提问于2019-11-22
得票数 4
回答已采纳
1
回答
Choco 4:每当布尔变量被
赋值
或未
赋值
时调用方法
constraint-programming
、
choco
我有一个关于Choco 4 CP
解
算
器
的技术问题。 每当我的模型中的一些布尔变量在搜索过程中被
赋值
或未
赋值
时,我都想调用一个方法(让我们称之为f())。f()的目的是更新传播
器
广泛使用的数据结构。我的第一个尝试是实现一个自定义变量,但是方法onUpdate( IVariableMonitor v,IEventType iEventType)只有在变量被
赋值
为0/1而不是未
赋值
时才会被调用。我也尝试过使用搜索监视
器
,但目前没有
浏览 5
提问于2020-08-03
得票数 0
1
回答
当使用“nlsat”
解
算
器
时,可以提取非卫星核心
z3
在前面的问题中,我问到当使用nlsat
解
算
器
处理非线性实算法上的多项式约束时,z3是否能给出一个完整的结果。正如泰勒所回答的,nksat的
解
算
器
是完整
和
健全的。我想知道是否有可能在使用nlsat
解
算
器
时提取出unsat核心?如果z3不支持,我能在z3之上实现它吗?另一个问题是它能处理多大的问题。
浏览 4
提问于2014-04-13
得票数 2
回答已采纳
1
回答
如何安装minizinc解决程序
sat-solvers
、
minizinc
在MiniZinc (windows )中,我如何解析:平板锌:错误: FD
解
算
器
后端不支持‘`var’类型的变量。我意识到我需要一个不同的解决程序,但找不到一个程序安装一个
和
首选项dlg似乎不起作用。另外,还不清楚哪个
解
算
器
会起作用。
浏览 8
提问于2015-01-31
得票数 4
回答已采纳
1
回答
SceneKit cloth物理-有可用的
解
算
器
吗?
scenekit
、
game-physics
、
scnscene
、
cloth-simulation
是否有本地cloth
解
算
器
解决方案?如果没有,有没有其他可以与SceneKit集成的求解
器
? 谢谢
浏览 12
提问于2018-03-02
得票数 3
1
回答
在windows上使用coinmp.dll
python
、
windows
、
optimization
我试图建立一个简单的环境来解决线性规划问题,使用Pulp
和
CoinMP.dll。我不能让它起作用。有人能帮忙吗?当我试着在这里运行测试的第一件事是我所拥有的
解
算
器
pulp.solvers.PULP_CBC_CMD不可用。
解
算
器
pulp.solvers.CPLEX_DLL不可用。
解
算
器
pulp.solvers.CPLEX_CMD不可用。
解
算
器
pulp.solve
浏览 5
提问于2013-11-12
得票数 0
1
回答
将Matlab匿名函数转换为Scilab内联函数
matlab
、
anonymous-function
、
scilab
除了一些包含的函数(例如f=@(x,y)sin(x)+log(y))之外,我的大多数Matlab函数都可以使用Scilab函数转换为Scilab函数。有没有办法将匿名函数转换为Scilab (例如,对于前面的例子是deff('[z]=f(x,y)','z=sin(x)+log(y)')),这样我就不必更改我的函数了?
浏览 0
提问于2014-10-31
得票数 4
1
回答
Gurobi还是CPLEX?二次不定目标-二次正半定约束
cplex
、
gurobi
、
quadratic-programming
、
non-convex
我想最小化一个受一组线性
和
二次约束的二次目标函数。我能用Gurobi或CPLEX处理这个问题吗?哪个是更好的选择?
浏览 5
提问于2017-04-27
得票数 3
2
回答
SAT
解
算
器
和
SMT
解
算
器
有什么区别?
smtchecker
、
symbolic-execution
、
sat-solver
、
smt-solver
我看到人们使用SAT
解
算
器
和
SMT求解
器
来验证稳健代码是在做他们正在做的事情。 这两者有什么区别呢?
浏览 0
提问于2023-03-08
得票数 0
回答已采纳
1
回答
对称矩阵不对称
matlab
、
matrix
、
symmetric
如果我加上A=(A+A')/
2
,得到的矩阵是对称的(当然是...)。然而,我不想做这样的事情。有没有其他的补救措施可以让A自然对称而不需要任何后处理?
浏览 4
提问于2016-06-06
得票数 2
1
回答
在进行理论一致性检查之前,Z3的SAT
解
算
器
是否获得完整的作业?
z3
、
smt
在进行理论一致性检查之前,Z3的SAT
解
算
器
是否获得了对SMT问题的命题(化)部分的完整
赋值
?另外,在实际代码(codeplex稳定的z3 v4.3.1)中,由SAT求解
器
决定的命题字面(启发式)在哪里?
浏览 3
提问于2014-01-21
得票数 1
回答已采纳
2
回答
获取
解
算
器
类型
和
步长(对于固定步长
解
算
器
)
matlab
、
simulink
我的问题是:有没有办法找出当前使用的是哪个求解
器
以及使用了哪些参数?我们的模型将不能支持可变时间求解
器
,我想给出一个警告。类似地,该模型需要固定的步长来进行初始化。 提前谢谢。
浏览 1
提问于2012-08-09
得票数 4
1
回答
在C#中有没有什么直接的方法来优化数学函数或最小化表达式中的参数?
c#-4.0
、
machine-learning
、
mathematical-optimization
我正在尝试用C#实现一个算法,里面有一些数学函数,比如:但是我不确定在C#中是否有任何直接的优化方法,我在论坛上找不到任何东西
浏览 0
提问于2012-08-25
得票数 1
回答已采纳
点击加载更多
扫码
添加站长 进交流群
领取专属
10元无门槛券
手把手带您无忧上云
相关
资讯
学会fx5800P程序编写
C语言基础:通用指针
cplex:python 实现读取文本模型并解算
Long time no see
智能通风专题:中小矿井通风网络解算与智能通风系统解决方案
热门
标签
更多标签
云服务器
ICP备案
对象存储
实时音视频
即时通信 IM
活动推荐
运营活动
广告
关闭
领券