行棋的英文

• played

• "行"英文翻译    go
• "棋"英文翻译    chess or any board game
• "飞行棋" 英文翻译 :    aeroplane chess
• "太空飞行棋" 英文翻译 :    zathura: a space adventure
• "行棋序列" 英文翻译 :    move sequence
• "土耳其行棋傀儡" 英文翻译 :    the turk
• "行其子明" 英文翻译 :    xingqi ziming
• "行崎" 英文翻译 :    yukisaki; yukizaki
• "行其" 英文翻译 :    a surname 行其子明 xingqi ziming
• "行起动脉冲" 英文翻译 :    horizontal-drive pulse
• "行期已近" 英文翻译 :    the date of departure is drawing near
• "行起动信号" 英文翻译 :    horizontal driving
• "行期型息" 英文翻译 :    run-time type information
• "行起始" 英文翻译 :    start of line
• "行期未卜" 英文翻译 :    the date of departure remains undecided

• 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来对两个特定领域的问题进行了自动验证:一方面的问题是验证对弈中的必胜策略,即验证对弈中的行棋双方是否存在着必然获胜的走法;另一方面的问题是验证基于知识的安全协议,而这类协议的安全特性依赖于协议参与者的知识推理。

• 行棋的韩语：[동사]【문어】 바둑·장기의 돌이나 말을 움직이다. 我已经下过子儿, 该你行棋了; 나는 이미 두었으니, 이번엔 네가 둘 차례다
• 行棋的俄语：pinyin:xíngqí играть в шахматы
• 行棋什么意思：下棋。    ▶ 宋 何薳 《春渚纪闻‧画字行棋》： “又弈棋， 古亦谓之行棋。”    ▶ 明 谢肇淛 《五杂俎‧人部二》： “委巷儿戏， 则有行棋， 或五或七， 直行一道， 先至者胜。”