non-deterministic

1热度

1回答

我有如下表： CREATE TABLE Portfolio.DailyStats ( Date date NOT NULL PRIMARY KEY, NAV int NOT NULL, SP500 decimal(8,4) NULL, R2K decimal(8,4) NULL, NetExp decimal(8,4) NULL, GrossExp decimal(8,4) NULL,

1热度

1回答

环境决定论的类型

研究经纪人必须工作的环境，我必须讲述它的决定论。的环境是确定的，如果下一个状态是先前状态的完美预见给出的知识和代理人的行动否则它的不确定性。我的问题是：如果我知道下一个状态是我可以计算的几个状态之一，但是我无法确切知道哪个状态？它还是非确定性的吗？或者它是一种不同类型的决定论？

0热度

1回答

使用SQL Server转换为确定性函数

我想用SQL Server创建一个确定性函数，这样我就可以为调用此函数的视图创建一个索引。该函数获取一个列名称并将该月的结尾作为日期时间返回。例如，201701到20170131。你能帮我把它转换成确定性函数吗？ CREATE FUNCTION dbo.ufnGetFiscalPeriodEndDate (@FiscalPeriod VARCHAR(10)) RETURNS DATE WI

0热度

1回答

NFA是epsilon和空集合语言吗？（非确定有限自动机）

我有NFA是这样的： enter image description here ，问题是：的是ε，和空集，这NFA的语言？

5热度

1回答

Coq中具有非确定性组件的数据结构

我试图在Haskell中经常使用的Coq中对非确定性（比MonadPlus和常用列表天真少）进行建模的不太朴素的monadic编码;例如列表的编码看起来像 data List m a = Nil | Cons (m a) (m (List m a)) 而在Coq中的相应定义如下所示。 Inductive List (M: Type -> Type) (A: Type) := Nil:

0热度

1回答

非确定下推自动机不同的图

在介绍计算书的理论，语言状态图给出：我知道有可能是替代图，但我怀疑的解决方案，我发现可能是错误的，这是比原来的稍有不同：我希望我的解决方案的任何计数器输入。

4热度

2回答

为什么T-SQL中的LAG函数是非确定性的？

我正在尝试在T-SQL中使用LAG来计算一些滞后功能。当LAG reference page说这个函数是非确定性的时候，我有点担心。 reference page on function determinism表示“在查询中指定ORDER BY子句不会改变该查询中使用的函数的确定性”。但是，我不明白为什么LAG会在相同条件下返回不同的结果。如果是这样，为什么人们会使用它？也许我没有正确解释“决定论

0热度

1回答

R-glmer在不同机器上的不同结果（非确定性）

函数glmer会在不同的机器上产生不同的结果吗？机器中的硬件有很大不同，虽然都运行相同的操作系统，R和包版本（事实证明这实际上并非如此）。该公式具有分组二项式响应变量和22个连续固定效应，它们都在相同的比例尺和几个随机效应，这些是字符串，我正在使用链接函数logit。 cbind(ill, not_ill) ~ 0 + fix1 + fix2 + ... + fix22 + (1|id/regi

5热度

1回答

非确定性渐变计算

我意识到，我的模型最终每次训练时都会有所不同，即使我将TensorFlow随机种子保持不变。我证实：初始化是确定性的;在第一次更新之前权重是相同的。输入是确定性的。事实上，包括损失在内的各种正向计算在第一批中是相同的。第一批次的梯度是不同的。具体来说，我在比较tf.gradients(loss, train_variables)的输出。虽然loss和train_variables具有相同的

0热度

1回答

构建非确定性图灵机

绘制双磁带非决定性图灵机M的图表，决定语言 L = {w∈Σ* | W =üüü∈Σ*} 如果我能得到帮助解释步骤如何构建NDTM（语言），我相信我能画出图，但我不可能拿出一个答案.. 谢谢