English translation for "行棋"
|
- [ xíngqí ]
played
Related Translations:
平棋: a draw in chess or other board games 黑白棋: family computer - othelloothello shiyouyo (j v002)reversi
- Example Sentences:
| 1. | 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来对两个特定领域的问题进行了自动验证:一方面的问题是验证对弈中的必胜策略,即验证对弈中的行棋双方是否存在着必然获胜的走法;另一方面的问题是验证基于知识的安全协议,而这类协议的安全特性依赖于协议参与者的知识推理。 |
- Similar Words：
- "行期未卜" English translation, "行期型息" English translation, "行期已近" English translation, "行其" English translation, "行其子明" English translation, "行棋序列" English translation, "行崎" English translation, "行起动脉冲" English translation, "行起动信号" English translation, "行起始" English translation
|
|
|
