leon

-2熱度

1回答

我從這個文件中究竟得到了什麼，首先我是基於flash進行數據集合收集的。在數據我認爲swf和flv文件。使用Java Script和eclipse平臺，我們需要在Java上顯示網頁，然後顯示那個網頁。現在在同一個程序中，我需要一個代碼來從桌面獲取文件路徑並將其顯示在eclipse框架上，如網頁 display，我需要獲取像flv和swf這樣的文件。但現在至少我必須顯示一些txt文件和圖像。請幫助我

0熱度

1回答

使用TypedADT構建在Inox公司

的INOX文檔指出以下 Inox公司提供的實用程序類型TypedADTSort和TypedADTConstructor （見文件INOX/AST/Definitions.scala）對應於ADT 定義其類型參數具有已經用具體的類型來實例化。可以使用這些來訪問參數/字段，並用實例化的類型包含表達式。以下對象包含建模數學字段所需的排序和構造函數。 import inox._ import ino

0熱度

1回答

在焊機

定義管道符我曾經在一個領域中的加法運算以下簡單求定義：要與中間符號和當前的解決方案，我覺得做使用 import inox._ import inox.trees.{forall => _, _} import inox.trees.dsl._ object Field { val element = FreshIdentifier("element") val ze

0熱度

1回答

建模Inox公司

類層次我想在Inox公司解算器界面下面的斯卡拉層次結構模型： abstract class Element() abstract class nonZero() extends Element final case class Zero() extends Element final case class One() extends nonZero() final case class n

1熱度

1回答

引入終止在萊昂/一個前提不鏽鋼

我是根據以下功能無類型演算的評價試圖證明： def eval(t: Term): Option[Term] = t match { case App(t1, t2) => eval(t1) match { case Some(Abs(x, body)) => eval(t2) match { case Some(v2) => eval(subst(x, v2, b

0熱度

1回答

如何在Inox中聲明抽象函數

我證明了橢圓曲線上的某些屬性，並且我依賴於一些處理字段操作的函數。但是，我不希望Inox推斷這些函數的實現，而只是假設它們具有某些屬性。舉例來說，我證明點p1 = (x1,y1) and p2 = (x2,y2)的添加是可交換的。爲了實現點的添加，我需要一個在其組件（即字段的元素）上實現加法的函數。加入將具有以下形狀： val addFunction = mkFunDef(addID)() {

0熱度

1回答

在焊機中使用notI。示例矛盾證明

在焊機中使用notI構造時存在一些問題。以下列爲例證：我的例子使用了有關環的結構和導出的引理（zeroDivisorLemma）的一般引理，它說環a0 = 0 = 0a中的所有'a'。我證明如果兩個元素不爲零，他們的產品不是零。如下。 val theorem: Theorem = forallI("a"::F,"b"::F){ case (a,b) => implI(and

1熱度

1回答

證明有序列表的串聯是在不鏽鋼

有序列表我有一個排序，我想在不鏽鋼（以前稱爲萊昂），以驗證陣列下面的代碼： import stainless.lang._ import stainless.collection._ object QuickSort { def isSorted(list: List[BigInt]): Boolean = list match { case Cons(x, xs @

1熱度

1回答

刪除PowerShell腳本中的某些文件

我有一個PowerShell腳本，通過一個目錄，並刪除超過18個月的文件。大多數的文件遵循以下命名約定： 20140628 然而，一些文件沒有。我試圖讓腳本忽略這些文件，只是刪除遵循命名約定的文件。但是，出於某種原因，下面的腳本正在做與此相反的操作，並刪除不遵循命名約定的文件並將其保留。我將如何修改腳本以適應我的需求？任何幫助將不勝感激。 $targetdirectory = "\\DPR320-

0熱度

1回答

匹配錯誤，同時證明終止功能在不鏽鋼

我有這個代碼證明在不鏽鋼/萊昂排序算法的終止。請注意，所採用的排名功能或措施並不是正確的，因爲這來自作業集。 import stainless.lang._ import stainless.collection._ object QuickSort { def isSorted(list: List[BigInt]): Boolean = list match {