这严谨又逻辑的纪律却导致种种不可预期，甚至有机生长的变异，而和身体的曲线互动并形成强烈的对比。
The rigorous and logical orders result in an unpredictable, even organic growth of variations that contrast and interact with the curvature of the body.
本文将模式识别技术应用于油气化探，给出了方法的逻辑框图，剖析了一个典型实例，其结果说明运用模式识别方法获得地球化学场的基本结构及其变异特征，反映了地球化学场的变化规律。
This paper applies model distinguishing technique to geochemical exploration of oil and gas and gives the logic diagrams of the technical method with the aid of a typical example.
在介绍了相关理论知识后，使用当前较为流行的模型验证工具SPIN给出一个实例，提出了利用该工具针对系统的线性时序逻辑性质进行变异分析的方法。
This paper introduces the relevant theory, then uses the popular model checker tool SPIN and gives an example which analyzes the use of the tool against the logic properties of LTL in a …
应用推荐