1回答
对称矩阵不对称
、、
我最近写了有限元方法的代码。由于我的算法生成的是对称矩阵，因此在收集每个元素的数据后，得到的矩阵应该是对称的。
但是，在我循环遍历元素之后，得到的全局矩阵是不对称的。基本代码结构如下：
A=zeros(dof,dof)
for (each element)
loc_A = v'*(diagonal matrix)*v
% (v is 1xN row vector)
% loc_A is symmetric matrix
A(K,K) = A(K,K)+loc_A
% (K is Nx1 colum
浏览 4提问于2016-06-06得票数 2
我正在开发一个Python包，用于计算几个NP-Hard图不变量。当前版本的包对几乎所有的算法都使用暴力，但我对使用整数编程来帮助加速较大图的计算非常感兴趣。
例如，求解n-顶点图的独立数的一个简单整数规划就是最大化
考虑到约束条件
，其中
。
如何使用PuLP解决此问题？PuLP是我的最佳选择吗，或者使用另一种语言的求解器是有益的，比如Julia，而interface可以与之打包在一起？
浏览 18提问于2017-12-18得票数 1
2回答
我正在使用Z3 Python接口为我的实验创建公式。然后，我将该公式发送到Z3求解器。如果我没记错的话，Z3使用了自己的求解器！
如何在Z3py中使用不同的SAT/SMT求解器？
我在CBMC (C bounded Checker)中使用的方法是:运行程序并生成一个中间DIMAC表示(在一个文件中)，然后使用该文件作为其他SAT求解器的输入。我可以在Z3中做类似的事情吗？谢谢。
浏览 2提问于2017-06-19得票数 3
1回答
使用文本格式的Z3，我可以使用define-fun来定义函数，以便稍后重用。例如：
（define-fun test((a Int) (b Int)) Int
（ite (and (> a 2) (<= b 3))
1
(ite （and (<= a 2)(> b 10))
2
a
)
)
）
所以我想知道如何定义使用C#应用程序接口的乐趣，因为Context.MkFuncDecl仅用于生
浏览 0提问于2012-06-28得票数 2
我需要一个SAT解算器库或程序，无论是在C++或哈斯克尔编写。我想知道你为什么选择它，那个库/程序的优缺点是什么。我需要它是尽可能快，并易于使用。
谢谢你的回答！
浏览 5提问于2012-11-13得票数 0
回答已采纳
1回答
请参阅上的PyZ3程序。第一次调用check()很好，但是如果我们向求解器添加一个约束并再次调用check()，我们会得到一个不一致的模型！
sy_i = Bool('sy_i')
s0_v, s1_v, s2_v, sx_v, sy_v = Reals('s0_v s1_v s2_v sx_v sy_v')
c = [s0_v >= 1,
sx_v >= 1,
s1_v >= s0_v * sx_v,
sy_v >= 1,
Or(Not(sy_i), s1_v == RealVal(0.0
浏览 0提问于2013-01-08得票数 3
回答已采纳
1回答
我被分配了一个程序，我必须为方程和图形创建一个MATLAB模型，如下所示-- 。不幸的是，我已经被困了很长一段时间。
或dh/dt = (-r^2*sqrt(2*g*h))/(0.5r+htan(phi))^2
哪里
g=386.4 in/s^2
h = 2+(34/64) in
r = 1/10 in
angle=30.519612098961595 degrees
我计算了dh/dt，它是-0.185963075319895 in/s和清空t=13.611573134321043 s的时间，我通过t=h/-c1_t=13.611573134321043来计算。
我的x和y范围是：
浏览 0提问于2014-10-12得票数 0
1回答
GML (游戏制造者语言)脚本是用C/C++语言剪裁的，并且GML为Visual C++编写的代码，它总是正确的，因为它只是在C++语言特性下？
我认为写这个问题有点不对，可能是再问一代人几个星期。但是如果正确的话，就不需要再问了。
浏览 0提问于2011-05-20得票数 1
有没有什么包可以执行稀疏线性代数计算，可能是基于快速高效的C库？我在Hackage上搜索，但我没有找到任何相关的东西: hmatrix，它使用GSL，BLAS和LAPACK，很棒，但似乎不包括解决线性系统和稀疏矩阵的特征值/向量问题的特殊算法。我想找到的是，它类似于scipy中的sparse.linalg模块。谢谢!
浏览 1提问于2010-10-22得票数 11
回答已采纳
1回答
我使用组件允许用户选择他们出生的日期(出生日期)。我应该显示一个错误信息，如果用户选择一天大于今天的日期，以防止年龄为负数。我的组件看起来如下：
<p:calendar id="fechaNacimiento" yearRange="c-100:c"
pattern="dd/MM/yyyy" navigator="true"
value="#{afiliadoController.afiliado.fecha_nacimiento}"
requiredMessage="Debe
浏览 1提问于2016-03-20得票数 1
回答已采纳
这个是java后端代码
image.png
这个是前端
image.png
image.png
总是返回403是怎么回事？签名不对，这不是你官方的demo吗？
浏览 1789提问于2018-07-09
2回答
我有一个EBNF语法，它有一些关于这个模式的规则：
sequence ::=
item
| item extra* sequence
上述内容是否等同于以下内容？
sequence ::=
item (extra* sequence)*
编辑
由于你们中的一些人在这两个序列中都观察到了bug或歧义，我将给出一个具体的例子。提供了一个。这种语法有几个具有此模式的生产者：
lineto-argument-sequence:
coordinate-pair
| coordinate-pair comma-wsp? lineto-argument-sequenc
浏览 13提问于2010-06-20得票数 0
回答已采纳
1回答
所以这个程序的思想是让用户以罗马数字的形式输入，最多可以达到4999。我决定用一个开关箱循环一串输入。问题是，当我输入一个类似于99的值，即XCIX，它返回-101。任何帮助都是感激的。
int number = 0, M = 1000, D = 500, C = 100, L = 50, X = 10, V = 5, I = 1;
for (int i = 0; i < roman.length(); i++)
{
switch (roman[i])
{
case 'M': number += 1000; break;
case &#
浏览 0提问于2014-09-07得票数 0
回答已采纳
2回答
我需要有人帮我加快写作速度。我发现了一些类似的问题，但没有涉及处理语言或Java，所以我希望有人能帮助我解决这个问题。
编辑
正如John在下面指出的那样，它看起来不够快，无法以我想要的速度发送这么多数据。有人知道其他可用的arduino接口吗？
端编辑
我正在使用arduino来控制一个由400 RGB LED组成的网格，我已经把它连接起来了。为了向arduino发送命令，我在处理过程中编写了一个小程序，它操作一个表示LED的大型数组。然后，我试图通过发送800个字节的数据到arduino，每20毫秒以115200波特的串行速度更新网格。每20 is调用一次的处理代码是：
noStrok
浏览 1提问于2010-11-11得票数 3
1回答
目前，我正在阅读大量关于软件工程、软件设计、设计模式等的知识。来自完全不同的背景，这些对我来说都是令人着迷的新东西，所以如果我没有使用正确的技术术语来描述某些方面，请容忍我;-)
我最终大部分时间都使用 (R中的一种面向对象的方法)，因为对于我正在做的很多事情来说，面向对象似乎是正确的选择。
现在，我想知道是否有人有一些关于在R中实现 (模型视图控制器；也称为MVP：Model View Presenter)模式的好建议或经验，最好是使用引用类。
对于那些对类似的东西感兴趣的人，我真的可以推荐以下书籍：
更新2012-03-12
我最终确实想出了一个我对MVC的解释的小例子(这可能并不完全
浏览 28提问于2012-03-13得票数 56
回答已采纳
1回答
如果我在一个数据库中为键表( a，b，c)创建一个B+树索引，这个数据库有2KB页，使用64位指针，其中a，b和c都是4字节大小，每条记录的总大小是88字节。
如果表有36,279行，那么索引深度的可能值的范围是多少？
浏览 1提问于2012-11-11得票数 1
1回答
我有一个用C写成的exe，并且已经对它进行了解压缩，但是输出就在我的头上。我需要学习程序集才能理解exe所做的事情，还是有其他的方法？
编辑:我之所以想知道exe中的内容，是因为我想重写它，通过一些改进，不对exe本身感兴趣。
浏览 1提问于2013-09-05得票数 0
1回答
我是Python中CP问题和OR-Tools方面的新手，我想做以下工作：
# declare variables
for i in range(I):
for k in range(K):
x[i,k]=solver.IntVar(0,N,"x %i %i " % (i,k))
#constraints
solver.Add(CustomFunction[(x[i,k])] == 1) # only consider the values of x[i,k] evaluated in CustomFunction is equal to 1
但是，在评
浏览 5提问于2017-11-06得票数 4
6回答
我决定在今年夏天的某个项目上获得一些经验。由于当地市场的需求，我更喜欢学习Java (标准和企业版本)。但我甚至无法猜测该做什么项目。最近，我对C有了一些想法。使用C，我可以为庞大的Linux项目做出贡献。我并不是说我的作品一定会被朗诵。我可以拿出密码来练习。但是在我的地区找到好工作是不对的。如果是JavaSE，就有机会开发一些桌面应用程序。但是想到JavaEE，我被困住了。我会非常感谢你的回答。
浏览 6提问于2010-05-21得票数 5
2回答
我试着用c语言做一个简单的计算器，支持带括号的+，-，*和/运算符。例如，((2.1 - 5.6)*4)+(2.8+2 / 2.2)应该是-10.29...我试着这样做，但它只适用于外巴克。如果用户的输入包含括号，我不知道该如何处理。
float calc(void)
{
float x,y, parse;
char c;
int test = scanf("%f %c %f", &x,&c,&y);
if (test == 0){ // if '(' starts equation
pa
浏览 3提问于2014-06-07得票数 0
1回答
我试图写一个正确的线性上下文无关文法，其中0和1的数之间的差应该是偶数。例如：
010001 = 4 - 2 = 2 (even)
我有一个。也许能帮上忙！我想把它写在prolog上。我做了另外10项练习，但这对我来说太难了。对怎么做有什么想法吗？
我的代码
s --> [].
s --> [1],a.
s --> [0],b.
a --> [1],s.
a --> [0],c.
b --> [1],c.
b --> [0],s.
c --> [].
c --> [1],b.
c --> [0],a.
这在很多情况下都是可行的，
浏览 3提问于2014-04-06得票数 1
回答已采纳
2回答
我正在做一个使用ODE求解器(ode45)为MATLAB中的算法创建图形用户界面的项目。所以我必须把MATLAB代码翻译成Java。问题是ode45求解器。Java似乎没有现成的求解器，而且ODE也不是我的专长。是我看起来不太好，还是真的没有为Java实现的ODE解算器？
谢谢
浏览 4提问于2012-07-17得票数 6
我正在做一个使用AngularJS和Sails的项目。尝试运行webapp应用程序时，我发现以下错误：
ReferenceError: diff is not defined
at http://localhost:1337/js/angular-sails-bind.js:108:38
at Object.fn (http://localhost:1337/js/dependencies/angular.min.js:117:478)
at k.$digest (http://localhost:1337/js/dependencies/angular.min.js:119:35)
浏览 0提问于2014-10-03得票数 1
1回答
我希望将给定配置的整个运行时间限制为1800s，该配置由主问题组成，通过这些主问题调用子问题:1和2。除此之外，您能告诉我如何针对不同的子模型设置不同的时间限制吗？例如，如果我想将子问题1的运行时间限制在500s，将子问题2的运行时间限制在800s。我使用了代码描述中所示的行- execute{ cplex.tilim=1800;}，但程序的运行时间超过1800s。
<code>A0</code>
浏览 28提问于2019-03-27得票数 1
5回答
在Linux上有没有解决整数规划的好工具？
我有一个小问题，我想要计算以节省时间:D。这是一种子集求和问题。我有一个大约20个整数值的列表，我想用满足某个最小值的最小和来计算子集。你可以用一个整数程序来表示。就像这样
\sum_{i=1}^{n} w*x -> min
使用
\sum_{i=1}^{n} w*x >= c with x \in \{0,1\}
或者，有没有其他的好方法呢？
浏览 3提问于2012-05-20得票数 6
回答已采纳
谁可以请帮助我关于aspx页面的设计。
当我们设计aspx图形用户界面时，我们有几个标题/控件标签的选项，比如webcontrol/ html控件。
当我们使用html控件而不是webcontols，比如表单的标题，控件标签时，有没有什么性能上的好处呢？
我认为对于多语言网站，我们不能对静态文本使用html控件。不是吗？
浏览 1提问于2010-01-05得票数 1
回答已采纳
1回答
我正在尝试用Python 3中的GEKKO运行一个微分方程系统解算器(通过Jupyter notebook)。
对于错误的初始参数，它当然会立即停止，并表示找不到解决方案。或者立即结束而不对参数/函数进行改变。
对于其他初始参数，CPU (任务管理器中的APM.exe)忙碌30秒(取决于问题大小)，然后回到0%的使用率。但一些计算仍在运行，不会产生输出。停止它的唯一方法(而不是完全杀死python )是停止APM.exe。我还没有得到一个解决方案。
在这样做的时候，我得到了disp=True的输出，它已经进行了一定次数的迭代(对于相同的初始参数也是如此)，并且：
No such file or
浏览 0提问于2020-04-11得票数 2
我正在尝试用C#实现一个算法，里面有一些数学函数，比如：
最小化a ||xu( I)-∑j aj( I) bj ||2 +β|| a( I) ||1
但是我不确定在C#中是否有任何直接的优化方法，我在论坛上找不到任何东西，或者也许你可以在C#中提供任何建议来解决这个优化问题。
浏览 0提问于2012-08-25得票数 1
回答已采纳
我正在尝试Gekko的MINLP问题，然而，可用的求解器APOPT对解决我的问题没有帮助。可以在Gekko Python中使用SCIP解算器吗？
浏览 50提问于2020-07-06得票数 2
我是一名Java程序员，正在开发一个iPhone应用程序。我希望它使用推送通知服务。
我最初认为我可以使用Google App Engine为Apple提供有效负载，但现在我发现这是不可能的，因为App Engine不支持与Apple通信所需的低级套接字编程。
有没有可以替代Google App Engine让我使用Java的？
简而言之，我想知道是否有支持Java和Socket编程的免费托管平台
更新-自从写这个问题以来，我已经写了一个应用程序，它使用城市飞艇在GAE和APNS之间充当中间人。它的效果非常好。这是一个应用程序引擎的问题- ，如果你想了解的话，但我个人认为这并不是GAE应该做的
浏览 0提问于2009-07-28得票数 5
回答已采纳
2回答
我有三个数据点，通过这三个数据点，我必须拟合一条Y=m*X+C形式的直线，我希望这条线有预先确定的斜率'm‘，但是常数’C‘可以在使用matlab进行拟合时改变以获得最小的误差。有人能帮我吗？
浏览 1提问于2014-09-02得票数 0
回答已采纳
1回答
我正在参加一个计算机组织的课程，我看到了这段视频：
为什么编译器编写人员需要了解汇编语言？编译器不把像Java这样的高级语言翻译成二进制语言(或者Java中的字节码)吗？汇编语言什么时候进来？
以下是我书中的一句话：
高级编程语言一种可移植的语言，如C、C++、Java或Visual，由可被编译器翻译成汇编语言的单词和代数符号组成。
我真的认为编译器从高级语言到二进制语言。这样不对吗？
浏览 1提问于2019-09-01得票数 1
5回答
未初始化的变量如何获得垃圾值？
、、、、
当我们创建一个变量而不对其进行初始化时，就会给它分配一些(随机的)名为垃圾值的数字。
这个值是如何分配给变量的？
这背后的整体概念/机制是什么？
这种情况只发生在C中吗？
浏览 7提问于2009-09-14得票数 13
回答已采纳
1回答
我对优化代码有一个问题。我写的代码应该优化这两个目标，考虑它们的表达式，并产生可以绘制的值。这是我的代码，如下所述。 from pyomo.environ import *
import numpy as np
import pandas as pd
import random
import matplotlib.pyplot as plt
model = ConcreteModel()
st1 = []
st2 = []
rows =10
n = []
for i in range(rows):
rn = random.randi
浏览 31提问于2021-09-23得票数 0
1回答
我编写android应用程序，并在某些语言上进行本地化，英语是默认的。
比，我建立APK，下载应用到我的手机和检查本地化。当我将我的系统语言从上面的列表中更改为一种时，我的应用程序自动切换到这种语言。
我构建ABB &将我的应用程序发布到Android Play Market。发布后，我更新了它，并尝试检查本地化开关系统语言。我的位置是俄罗斯。当我的系统语言是俄语时，应用在俄语上。当系统语言是上述列表中的任何其他语言(法语、德语、汉语等)时，应用程序语言是英语。
有什么不对吗?怎么解决？
浏览 6提问于2022-02-01得票数 0
我是SCIP新手，我有一个包含大约500,000个整数变量、500,000个线性约束和100,000个非线性约束的大型MINLP。
我读了很多关于SCIP性能的论文，但找不到SCIP可以处理多少变量和约束。我发现的其中一篇论文显示了已解决问题的数量，但没有显示变量和约束的数量，如下所示。
关于SCIP可以处理多少变量和约束，以及SCIP需要多少时间来解决，有没有什么经验或论文可以参考？
浏览 13提问于2021-11-11得票数 0
import numpy as np
from scipy.optimize import linprog
b_ub = [74, 40, 36]
b_eq = [20, 45, 30]
A = np.array([[7, 3, 6], [4, 8, 2], [1, 5, 9]])
m, n = A.shape
c = list(np.reshape(A, n * m)) # Convert matrix A to list c.
A_ub = np.zeros([m, m * n])
for i in np.arange(0, m,
1): # F
浏览 5提问于2021-05-30得票数 0
回答已采纳
我必须将一个多集合划分为两个和相等的集合。例如，给定multiset：
1 3 5 1 3 -1 2 0
我将输出两个集合：
1) 1 3 3
2) 5 -1 2 1 0
它们的总和都是7。
为此，我需要使用Z3 (smt2输入格式)和“线性算术逻辑”，其定义如下：
formula : formula /\ formula | (formula) | atom
atom : sum op sum
op : = | <= | <
sum : term | sum + term
term : identifier | constant | constant
浏览 3提问于2012-01-29得票数 0
回答已采纳
我需要一个专业名单和一个字母等级的列表，我需要得到与字母等级相关的专业内完成课程的数量。所以如果我有：
Major
Mechanical Engineer
Electrical Engineer
Civil Engineer
Chemical Engineer
...
Grade
A
B
C
...
Student
100 - Alice - Mechanical Engineer
101 - Tom - Mechanical Engineer
102 - Rex - Mechanical Engineer
103 - Bob - Mechanical Engineer
104 - Jo
浏览 1提问于2019-11-27得票数 0
回答已采纳
我正在尝试优化C程序picosat，这是一个SAT解决程序。我的上一个程序运行了24小时，所以优化可能会让我安全几个小时。
注意: picosat是单线程的！多线程SAT求解是一个开放的问题。
我的计划是尝试用多个C编译器来编译picosat，看看哪个编译器产生的代码最快。
但是，我没有编译
有什么建议可以优化我的性能吗？到目前为止，我只使用了-O3，而仅仅是为了完善，-O4并没有提高性能。
如果有关系，这是我的CPU：
processor : 23
vendor_id : GenuineIntel
cpu family : 6
model
浏览 4提问于2013-11-09得票数 0
回答已采纳
我用cdn做应用包的分发，发现每天的请求数与ip访问次数相差较大，每天请求数大约是ip访问次数的60-80%。查了帮助文档，对这两个概念的描述是：3）请求数量：可查询最近30天内接入CDN的域名，被请求的数量情况；4）IP访问数：可查询最近30天内访问接入CDN的域名的IP数量，5分钟内去除相同IP；如果按照以上文字描述理解，请求数好像应该大于ip访问数才对？另外我核对了网站上下载链接的点击统计，与ip访问数基本一致，那请求数到底是什么含义呢？请各位大神指教，谢啦！
浏览 444提问于2015-12-18
虽然我不是在做扑克游戏，但游戏的目标是扑克牌打得最高的玩家获胜。我的游戏里有四个玩家。我能够实现一个游戏板和一个功能，允许玩家(一旦他们移动)拿起游戏板上的现有卡片，并将卡片正面朝上拿在他们的手中。游戏结束时，当没有更多的牌，或当玩家显然在早期拥有最高的扑克牌牌，并且没有机会获得更大的牌(这是显而易见的，因为所有的牌都是朝上的)。
原件：
我找到了阿尔文·梁的python扑克手评算器，我想在我的游戏中实现它：
满足我需求的更好的解决方案(我现在想实现这个)：(来自Peter Norvig的csc212 udacity课程)
import itertools
## Deck adds two
浏览 5提问于2013-05-17得票数 0
2回答
我正在将一个遗留的VB6项目迁移到C#中。
我想从下面的表达式中获得C#中的等价物：
Weekday(Date, vbMonday)
我知道C#中有一个函数：
int dayOfWeek = (int)DateTime.Today.DayOfWeek;
但是，如何指定一周的第一天是星期一，然后函数DayOfWeek，考虑到它并返回正确的值？
我需要得到一个int值。
浏览 5提问于2017-06-06得票数 2
回答已采纳
在MATLAB中，如果我有两个向量a=[a_1,..,a_n], b=[b_1,..,b_n]，我可以通过a./b获得另一个向量c = [a_1/b_1,..,a_n/b_n]。我如何在AMPL中实现这一点？
浏览 40提问于2020-10-11得票数 0
1回答
周期时间Simulink
、、、、
我必须从Simulink程序中生成代码，并将其闪存到控制器中。控制器的周期时间必须在10ms左右。如何在Simulink中进行设置？只需将求解器步长设置为10ms？
浏览 11提问于2020-03-21得票数 0
我在使用AlgDesign包时遇到了一些问题。我想创建一个使用federov交换算法的设计。不幸的是，我遇到了一个令人困惑的错误： Error in apply(data[, numericColumn], 2, mean) :
dim(X) must have a positive length 使用不同顺序的格网变量会出现错误 cand.list = expand.grid(x1 = scale(as.data.frame(c(0, 0.1, 0.2, 0.3, 0.4, 0.5)), center = 0.0, scale = 0.5),
浏览 15提问于2019-10-08得票数 1
2回答
我正在写一个c++程序来解算迷宫(实际上是解算直线追随者的迷宫)。为此，我声明了一个全局变量，
vector< node > node_container // to contain each node encountered
// with its latest info.
其中node是表示迷宫中实际节点的类。
class node
{
//members..
};
现在我使用递归函数来解算迷宫，
void node_action(node & current_node)
// w
浏览 0提问于2013-06-19得票数 3
回答已采纳
1回答
标题基本上说明了一切。我正在做一个作业，需要包括我的散点图和linprog()生成的线条。
我运行了linprog()并获得了这些值：
1.0000
1.0000
16.5000
12.5000
分别用于a、b、c和f。我这条线的方程式是：
ax + by - c = 0
我知道这是一个简单的问题，但我整晚都在寻找答案，什么也没有出现。有人能帮帮我吗？
浏览 3提问于2013-03-19得票数 2
回答已采纳
1回答
我仍然是一个相对较新的程序员，试图掌握递归。我已经看过各种在线教程，了解它们是如何工作的，它们让它看起来很容易理解。但是当我偶然发现这个问题时，我很难理解程序是如何运行的。
#include <stdlib.h>
#include <stdio.h>
void hanoi(int n);
int main (int argc, char *argv[]) {
hanoi(2);
}
void hanoi( int n ) {
printf("\n\n--------!n-------: %d\n\n", n);
if (
浏览 0提问于2016-06-14得票数 0
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
腾讯会议
实时音视频活动推荐
腾讯云开发者
