自顶向下的归纳程序综合基于枚举识认方法。
The top-down inductive program synthesis is based on the method of identification by enumeration.
在程序理论方面，程序综合与程序验证关系密切。
In the theory of programming, program synthesis is deeply concerned with program verification.
本文中提出一个用于程序综合的构造证明系统，规范演绎。
In this paper, a new constructive proving system, Specification Deduction, is presented.
由程序综合的控制电路以PW M控制和ZVS控制为目标，并由时钟同步，实现了对驱动波形的控制。
The latter takes PWM (Pulse-Width Modulation) control and ZVS control as its target, synchronizes with clock to realized its driven waveform. In addition, adaptive dead-time control is analyzed.
采用德尔菲法对现役飞行员进行两轮咨询，建立了基于安全性的进近和着陆阶段飞行员操作程序综合评价指标体系；
The comprehensive evaluation index system of POP in approach and landing phases was established by consulting in-service pilots with Delphi method twice.
本文以归纳程序综合系统NDIPS为背景，介绍自顶向下的归纳程序综合算法，以及程序假设空间的组织、搜索所采用的技术和策略。
With the inductive program synthesis system NDIPS, this paper presents its synthesis algorithm, the organization of its hypothesis space and the search strategies it adopted.
本文以归纳程序综合系统NDIPS为背景，介绍自顶向下的归纳程序综合算法，以及程序假设空间的组织、搜索所采用的技术和策略。
With the inductive program synthesis system NDIPS, this paper presents its synthesis algorithm, the organization of its hypothesis space and the search strategies it adopted.
应用推荐