结构归纳法

  • 网络structural induction
结构归纳法结构归纳法
  1. 提出一种扩展一阶B型Cooper变换模式,用结构归纳法证明了其正确性,并给出应用示例。

    In this paper , an expansive first-order B-type Cooper transformation pattern is presented . Its correctness is proved by the structural induction , and an example is given .

  2. 生成测试数据的结构归纳法

    Structural Induction for Generating Test Cases

  3. 在程序综合方面,利用了结构归纳法原理,从而建立了一种自动综合程序的图式;

    An algorithm of automatic synthesis of recursive program using SGD technique and structural induction principle is designed and implemented on FELIX C-256 computer .

  4. 利用子目标演绎和结构归纳法的自动编程技术

    The dysfunction of oxygen free radical metabolism and overproduction of NO locally might participate in this pathologic process . AN AUTO-PROGRAMMING TECHNIQUE USING SUBGOAL DEDUCTION AND STRUCTURAL INDUCTION

  5. 在具体的证明过程中,主要使用的是关于公式结构的归纳法。

    In the proving process , we mainly use the induction on the formula structure .