预备犯的概念及其成立的条件应在“罪行严重”和“对法益构成严重的威胁”的基础上进行重构。
The concept of one who prepares for a crime and the condition of its establishment should be rebuilt on the basis of "the quilt is serious" and "it poses great threats to legal interest".
第五章对比了常用软件测试方法，讨论了形式化方法的基本概念、数学预备知识和形式化规约语言。
Chapter five compares the method with the common software testing and discusses the concept, basic knowledge and language of FormalMethods.
提出了发电系统停运容量预备表的概念，并据此给出了先形成发电系统停运容量预备表，再建立发电系统停运容量模型的实用算法。
A new concept, the generation system outage capacity probationary model, is presented. Based on this concept, a practical algorithm for building generation system outage capacity model is proposed.
应用推荐