program synthesis的例句大全

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为背景，介绍自顶向下的归纳程序综合算法，以及程序假设空间的组织、搜索所采用的技术和策略。

A method of inductive program synthesis by concept learning is presented in this paper.

本文介绍一种基于概念学习的归纳程序综合方法。

A Top-Down Method for Inductive Program Synthesis

自顶向下的归纳程序综合方法

A new algorithm A# that is a revision of A given in Ref. [ 1] is developed without the introduction of the induction principle. It can be used for performing loop and recursive automatic program synthesis even more satisfactorily.

本文提出不使用归纳原理实现循环和递归程序设计自动化，对文献[1]中算法A~进行了修改，提出算法A~。

The application of mode inference in inductive program synthesis

模式推理在归纳程序综合中的应用

Dtps: a program synthesis system based on tableau method

基于Tableau方法的程序综合系统&DTPS

Big School will be Xu Nailin the inland synthesis skill program leans the sentiment choice.

《淑女大学堂》将是徐乃麟内地综艺节目的倾情选择.

Secondly, for the Petri nets controller synthesis of DES, linear integer program ( LIP) is an efficient technique for the on-line computation of the control policy when the maximal uncontrollable subnet is loop-free.

当最大不可控子网是无环结构时，线性整数规划（LIP）是一种非常有效的在线求解控制律的方法。

dynamic synthesis of wallpaper program easy language code ~!

动态合成墙纸程序易语言代码~!

In this paper, The reasonable approaches of organic synthesis have been designed to use analytic and examinatorial program by means of corey's concept of synthon and disconnection, in the meantime, some common synthetic tactics have been suggested.

本文以Corey的合成子和切断为手段，利用分析程序和审查程序对有机反应路线进行合理设计，并提出了一些常用的合成策略。

Optimum synthesis technology of program controlling state variable RC active filter

程控状态变量RC有源滤波器的优化综合技术

During the post processing of TV program, the application of non-linear editing network makes the sharing of program material resources much convenient, and eliminates picture quality degradation induced by synthesis and copy of video cassette.

在电视节目的后期制作中，非线性编辑网络的使用实现了节目素材资源的共享，克服了录像带多版合成、复制图像质量劣化的缺点。

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

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

i most like the synthesis skill program which looked am "daily upward" , "joyful supreme headquarters" because of their unusual interest.

我最喜欢看的综艺节目是《天天向上》、《快乐大本营》因为它们非常的有趣。