transition-systems

2熱度

1回答

如何用SPIN建模轉換系統

我是新來的自旋。我想檢查一個轉換系統是否滿足給定的LTL屬性。但我不知道如何在promela中建立一個轉換系統的模型。 例如，下面顯示的轉換系統有兩個狀態，初始狀態爲s0。 如何檢查是否滿足LTL屬性：<> q。有人知道如何在promela中描述這個問題嗎？順便說一下，如何在自旋中使用LTL的下一個操作員？

model-checking spin transition-systems 2013-07-18

---

1熱度

1回答

建模合金中的HTTP轉換系統

我想建模一個HTTP交互，即一系列HTTPRequest/HTTPResponse，並且我試圖將其作爲一個轉換系統進行建模。 我通過使用定義的一類狀態下的排序： open util/ordering[State] 一國就是一組消息的： sig State { msgSet: set Message } 每對（HTTPRequest->類HTTPResponse）和（HTTPRe

http transitions alloy model-checking transition-systems 2014-08-29

---

0熱度

1回答

如何在SyntaxNet上培訓自定義的基於轉換的系統

我正在開發不是依賴分析器的分析器，但它仍然是基於轉換的系統。我沒有使用3個動作SHIFT，REDUCE-LEFT和REDUCE-RIGHT，就像弧過渡一樣，我提出了自己的解析器動作。正如我通過安道爾等人的論文所理解的那樣。 （2016年），只要系統遵循論文中定義的一些規則，我就可以在任何基於轉換的系統上培訓SyntaxNet。但我不知道我應該從哪裏開始。我查看了代碼，但它似乎主要用於培養依賴關係解

syntaxnet transition-systems 2016-08-05

---

0熱度

2回答

Ruby Graphviz - 標籤過渡系統的初始狀態？

我正在製作一個工具，可以在轉換系統上執行一些操作，並且還需要對它們進行可視化。 雖然沒有太多關於紅寶石 （這是最好的，我可以得到：http://www.omninerd.com/articles/Automating_Data_Visualization_with_Ruby_and_Graphviz）的文檔，我設法從我的過渡系統製作圖形。 （隨意使用它，沒有太多的例子代碼周圍的意見/問題，也歡迎。

ruby rubygems graphviz transition-systems 2011-06-07

---

0熱度

1回答

如何在promela中繪製過渡系統？

我是promela的新手。我有寫在PROMELA編程： bit signal [2]; active [2] proctype proc() { l1: signal[_pid]=1; l2: !signal[1-_pid] -> l3: signal[_pid]=0; } #define sig0 (signal[0]==0) #define sig1 (signal[0]==1)

promela transition-systems 2014-01-13

---