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（語言），我相信我能畫出圖，但我不可能拿出一個答案.. 謝謝