Whether the standard proof and formal derivation of the complex algorithmicprograms can be implemented is an important sign for checking if a formal method has vitality.
能否实现复杂算法程序的规范证明和形式推导是检验某种形式化方法有无生命力的重要标志。
This burning surface calculation method not only avoids stack math formulation derivation and calculation, but also avoids complex definition of standard geometry entities.
采用该计算方法不仅避免了大量的数学公式推导，也避免了内型面标准几何体的复杂定义。
The paper designed out Motor moment of inertia measurement based on the standard flywheel, through theoretical derivation and analysis.
本文通过理论推导和分析，设计出依靠标准飞轮的电机转动惯量测量方法。
应用推荐