组合游戏的刻画方法比游戏模板更为细致，而且更加接近等价性检测算法的设计。
The combinatorial games are much finer than game template in characterizing behavioral equivalences, and are much closer to the design of equivalence checking algorithms.
从事这项长时间辛苦誊写刻画的僧侣们就开始寻找减少每一个常用字笔画数的方法。
The monks that performed these long, tedious copying duties looked for ways to reduce the number of individual strokes per word for common words.
一个有用的刻画当前实践特色的方法是看一下用于同步模型和源代码的不同的方法。
One useful way to characterize current practice is to look at the different ways in which the models are synchronized with the source code they help describe.
应用推荐