參與型領導者 的英文怎麼說
中文拼音 [shēnyǔxínglǐngdǎozhě]
參與型領導者
英文
participative leaders- 參 : 參構詞成分。
- 領 : Ⅰ名詞1 （頸; 脖子） neck 2 （領子; 領口） collar; neckband 3 （大綱; 要點） outline; main point; ...
- 導 : 動詞1. （引導） lead; guide 2. （傳導） transmit; conduct 3. （開導） instruct; teach; give guidance to
- 者 : Ⅰ助詞1 （用在形容詞或動詞後面 或帶有形容詞或動詞的詞組後面 表示有此屬性或做此動作的人或事物） 2 ...
- 領導 : 1. （率領並引導前進） lead; exercise leadership 2. （領導者） leadership; leader
-
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來對兩個特定領域的問題進行了自動驗證:一方面的問題是驗證對弈中的必勝策略，即驗證對弈中的行棋雙方是否存在著必然獲勝的走法;另一方面的問題是驗證基於知識的安全協議，而這類協議的安全特性依賴于協議參與者的知識推理。
分享友人