evaluation

1热度

1回答

在证明一般（有Coq的8.5），我所执行的以下操作： Require Import Arith. Eval cbv delta in Nat.add_comm 3 7. 输出是 Nat.add_comm 3 7 : 3 + 7 = 7 + 3 然而，Print Nat.add_comm.给出了一个长而复杂的功能以两个NATS如输入。我期望我的代码扩大Nat.add_comm的定义，这是E

0热度

2回答

“评价”的含义

我想了解“评价”的含义。我正在学习有关按名称调用和在Scala中调用值的问题，我对什么评估意味着什么感到困惑。是编译器为了理解我的代码而做的事情，还是在实际调用方法之前执行/验证方法的东西？除了评估策略，我找不到明确的解释。您能解释下面例子的评估吗？ def callByValue(x : Unit) = { for (i <- 0 until 5) { print(x

0热度

1回答

慢tensorflow培训和评估GPU

所以我进行了一些研究，并有大量的物体的速度和加速度数据的两个人正在一起移动周围的房间。在此之前，我已经成功地训练了一个使用LSTM和RNN的时间序列预测神经网络，以预测物体的速度将是未来的一步。训练这个神经网络之后，我再增加它使用的预测，与以前的数据一起，来预测另一个时间步走向未来，等了一定数量的时间步长。我已经包含了这个看起来像什么的图形，NN_explanation。从本质上讲，我使用以前的

3热度

1回答

是否按名称调用概念并通过引用传递独立概念？

至少在我的脑海里，我总是对函数的价值vs引用传递有个很好的想法。我正在通过斯卡拉，它似乎通过名称调用的概念，是相关的，但它自己独特的概念例如在C＃中存在ref关键字，并在斯卡拉存在调用通过名称=>运算符。这是我的理解，ref关键字 - 大致至少 - 用于传递指向一段数据的指针，而不是数据本身。即与Integer数据类型一起使用时，如果修改函数内部的Integer，整数也将在被调用端受到影响。

1热度

3回答

正确的方法来评估代码

所以我建立一个小的应用程序，你可以计算的JavaScript代码一些作品，但我有一个巨大的“道德经”的问题：起初我想用eval，但我发现它的危险，所以我很快找到了一个替代品。我能找到最接近的是函数的构造，但有一件事是不计算简单的代码片段，如2 + 3，因为它需要一个return声明，而eval没有，而且也没有这比eval更好的安全性（至少从我收集的内容来看）。是否有任何其他方式来评估字符串就

0热度

2回答

评估的许多参数尽可能（SymPy）

我在SymPy验证码： from sympy import * par_amplitude, par_const_force = symbols('Delta_U f') equation = par_amplitude * par_const_force print(equation.evalf(subs={'f':3, 'Delta_U':2})) 输出显然是6。 print(equ

0热度

1回答

Spark - 评估问题

我正在评估我创建的模型。该模型给出了输出结果，一个id列表及其核心反应错误构造（一个分数），并且id根据这个分数排序。比方说，分数越高，id越可疑。例子： ids: t4, c1, s3, d5, a2, ... score: 18, 15, 13, 5, 2, ... 另外，我有一个包含真正的可疑IDS另一个列表。 suspicious: c1,d5 我的目标是能够说的id是x％在我

11热度

3回答

空，条件运算符和！=

在C＃中引入Null-Conditional Operators，为下面的评测， if (instance != null && instance.Val != 0) 如果我把它改写这种方式， if (instance?.Val != 0) 将进行评估，以如果实例是空引用，则返回true;它的行为如同 if (instance == null || instance.Val != 0)

0热度

1回答

在PHP和JavaScript中评估二进制操作

我们有一个Web应用程序，它允许用户通过使用小型脚本语言编写自定义行为。我们偶然发现的一个问题是，某些操作在PHP和JavaScript中的评估方式不同。示例： -1 < 'A' 此代码在PHP中为true，但在JavaScript中为false。还有没有人遇到过这个问题，采取什么样的方法是明智的？编辑：纠正，它在PHP中为true，但在JavaScript中为false。

4热度

2回答

为什么Python在if语句中将字符串/数字计算为True仍然myNumber == True返回False？

下面将打印'ok'： if 5: print('ok') 然而，当我这样做： print(5 == True) 输出为False。字符串发生同样的事情。为什么？