m%tk 的意思是什麼

m%tk 英文

  • m : (pl. M's, m's)1. 英語字母表第十三字母。2. M 形狀的東西;【印刷】= em. 3. M (羅馬數字) 1000. MCML = 1950.
  • tk : TK =tank.
  1. If this method is not suitable in your situation, you may want to try it anyway and use the scripts generated by mtk as a starting point

    如果這種方法不適合您的情況,不管怎樣,您應該試一試,使用mtk生成的腳本作為敲門磚。
  2. In this thesis, we ’ ve first introduced some conceptions of model checkingand knowledge reasoning. then we ’ ve mainly introduced my tutor ’ s methodof model checking temporal logic of knowledge. lastly, we ’ ve applied thismethod to two specific areas with our tool mctk : one problem is to verifythe winning strategies in the zero - sum games, which is to automatically findout whether there exists a way ensuring the necessarily win of players ; theother problem is to verify the knowledge based security protocols, whosesecure properties rely on the knowledge reasoning of the anticipants in theprotocol

    本文首先介紹了模型檢測和知識推理的基本概念,然後著重介紹了我導師所提出的模型檢測時態知識邏輯的方法,最後使用本實驗室研製的相關工具mctk來對兩個特定領域的問題進行了自動驗證:一方面的問題是驗證對弈中的必勝策略,即驗證對弈中的行棋雙方是否存在著必然獲勝的走法;另一方面的問題是驗證基於知識的安全協議,而這類協議的安全特性依賴于協議參與者的知識推理。
  3. Along the top, you will see that mtk has 5 tabs

    在頂端,您將看到mtk有5個標簽頁。
  4. Save your project and exit mtk

    這時可以保存項目,退出mtk
  5. Import the source sql script into mtk

    將源sql腳本導入mtk
  6. This is how mtk becomes aware of the structure of the source database

    這樣, mtk就知道源數據庫的結構。
  7. Create a new mtk project

    創建一個新的mtk項目。
  8. Fix the classpath and restart mtk to continue with this project

    更改類路徑並重現啟動mtk ,以便繼續處理這個項目。
  9. Once the conversion is complete, you will be taken to the refine tab of the mtk

    在完成轉換之後,就會進入mtk的refine標簽頁。
  10. This is the step where mtk parses the input script you provided in the previous step

    在這一步中, mtk將解析上一步中提供的輸入腳本。
  11. A script used for creating the schema for the source database to be used as input to mtk

    有一個用來創建源數據庫的模式的腳本(用作mtk的輸入) 。
  12. The mtk only needs to know about the source table structures to generate export import scripts

    Mtk只需要知道源表的結構,生成導入/導入腳本即可。
分享友人