本文的最后一部分将使用组合游戏来刻画行为等价关系。
In the last part of this thesis, we will characterize behavioral equivalences by combinatorial games.
组合游戏的刻画方法比游戏模板更为细致,而且更加接近等价性检测算法的设计。
The combinatorial games are much finer than game template in characterizing behavioral equivalences, and are much closer to the design of equivalence checking algorithms.
这三个领域的排列就像一个组合游戏,形成了不同的空间序列,也许能从中诞生一个单独的展区。
Like a combinatorial game, the permutations of these three areas generate sequences of different Spaces which possibly can come to create a single exhibition area.
字母组合游戏很简单,在规定的时间内对六个字母进行重组得到尽可能多的单词,然后进行到下一关。
Word Warp was simple. Rearrange six letters to form as many words as possible before your time runs out. Then move up to the next level.
游戏可以帮助儿童学会组合字母。
这使得游戏有可能不再依赖复杂的按键组合操作。
This made possible games that did not rely on complicated combinations of buttons.
英国电视曾制作了一个游戏类节目,比较参赛者的资产组合在数周内的表现,这么短暂的时间以保证结果实际上是随机的。
British TV ran a gameshow comparing the performance of contestants' portfolios over a matter of weeks, a period so short as to ensure the results were in effect random.
与搭讪不同,你在社交圈游戏中会很清楚她之后会去哪里(在你的社交圈的组合里),所以像落水的人紧紧抱住救生筏一样粘着她是没有必要的。
Unlike cold approach, you have a pretty good idea where she’ll be later (in your combined social group) so sticking to her like a man on a life raft isn’t necessary.
用上游戏里的所有选择,可以有多少个故事组合?
With all these choices in the game, how many story combinations are there?
显然,许多其他种类的服务能够被定义并集成到中间件中,并然后互相组合起来以提供在游戏环境中使用增值的流程。
Clearly many other kinds of services could be defined and integrated into the middleware, and then combined with each other to provide value-add processes usable from within the game environment.
特定的玩家在网上组合在一起成为一个宗派,然后向游戏的聚集站支付一笔订购费以租用一台专用的服务器来使用。
Dedicated players group socially together online in clans and then pay a subscription fee to an aggregator to host a dedicated server for their use.
找到最适合你游戏的风格的升级组合。
从那时起,玩一些像魔兽世界之类的游戏就需要语音聊天,因为这些游戏需要大规模群组合作(称为突袭),这些活动需要沟通。
Since then games like World of Warcraft have made voice chat a necessity, as they revolve around large-scale group activities (called raids) where communication is essential.
这不过是个数字游戏,一个带点小运气的排列组合。
It's simply a Numbers game with a little luck thrown into the mix.
《星际争霸2》已决定在游戏中使用角色姓名和角色代码的组合显示方式,做为玩家的独特身份标识服务非常符合我们的论坛建设目标。
StarCraft II already uses a character name and character code combo in-game, which serves as a unique player identifier and fits well with our goal for the forums.
该设备是一个秘密的地狱男爵二世另一个现实游戏的切入点。一种交互式的组合锁,揭示线索,提示和球员的方向。
The Secret Device is an entry point for the Hellboy II alternate reality game. An interactive combination lock that reveals clues, hints and player direction.
我们已经通过我们的方式玩遍了AppStore中的游戏并找到了11个最佳的下载,寻找到一个不同游戏类型的优秀组合。
We've played our way through the App Store's games to find the best 11 downloads, looking for a good mix of different gaming genres.
所以高通银行对此清清楚楚看见双摄像头和光谱isp联系,以获取他们进入游戏的智能手机的相机模块的组合竞争相当激烈。
So Qualcomm is banking on this combination of the Clear Sight dual cameras and the Spectra ISP to get them into the game of camera modules for smartphones where competition is pretty intense.
不过也许Fusion技术和游戏之间最令人感兴趣的可能性在于将专门设计为协同工作的APU和GPU组合起来。
But perhaps the most intriguing possibilities for Fusion and gaming lie in the combination of an APU and a GPU that are designed to work together.
你可以将任意数量或组合的组件添加到一个单一的游戏对象。
You can attach any number or combination of Components to a single GameObject.
许多类型的游戏在不同的方式上组合智能的行为并没有打算给玩家一个直接的挑战。
Many types of games incorporate intelligent behavior in ways that aren't meant to be a direct challenge to the player.
任天堂公司的GameBoy相机和打印机的组合可以把你的境况不佳,9岁的男孩进入游戏,数码相机,可以打印的路要走。
Nintendo's Game Boy camera and printer combination could turn your ailing, 9-year-old Game Boy into a digital camera that could print on the go.
与搭讪不同,你在社交圈游戏中会很清楚她之后会去哪里(在你的社交圈的组合里),所以像落水的人紧紧抱住救生筏一样粘着她是没有必要的。
Unlike cold approach, you have a pretty good idea where she'll be later (in your combined social group) so sticking to her like a man on a life raft isn't necessary.
在此3d动作冒险游戏史诗中扮演一个刺客的角色。绚丽的动作与令人印象深刻的技能组合混合了剑和拳脚。
Play an assassin in this 3d action adventure game of epic proportions. Strike with acrobatic moves impressive combos mixing sword skills and kicks.
新学校的游戏设计者组合了一所非常棒的视频游戏学校。
A game designer from the New school put together a wonderful video gaming school.
当字从说话的游戏到声音控制的电视组合被适用于每件事物的时候,这尤其真实。
This is especially true when the word is applied to everything from talking games to voice-controlled television sets.
当字从说话的游戏到声音控制的电视组合被适用于每件事物的时候,这尤其真实。
This is especially true when the word is applied to everything from talking games to voice-controlled television sets.
应用推荐