In the theory of programming, program synthesis is deeply concerned with program verification.
在程序理论方面，程序综合与程序验证关系密切。
The top-down inductive program synthesis is based on the method of identification by enumeration.
自顶向下的归纳程序综合基于枚举识认方法。
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 visual program for synthesis problems of rigid body guidance flat four-bar mechanism with four-position is developed.
针对刚体导引四位置铰链四杆机构综合问题，进行了可视化的程序开发与设计。
A calculation method and a program description for analysis of the small disturbance stability and synthesis of stabilizers (PSS) of multimachine 'power systems are presented.
本文介绍了一种对多机电力系统小干扰稳定性进行分析及稳定器(PSS)综合的计算方法和程序。
It first discribes discribes the fonction and component of synthesis simulation system, then it gives the design idea and frame of operation flight program.
首先对综合仿真系统的功能和组成作了简要介绍，然后给出了作战飞行软件的设计思想和框图。
The design method of normal frequency standard signal source, which utilizes program control digital wave synthesis technology and achieved by microcontroller was given.
采用程控数字波形合成技术，通过单片微型计算机系统实现了工频标准信号源。
The synthesis of the island's environmental features creates an unparalleled recreational program.
对岛上环境特点的综合运用产生了一个无与伦比的娱乐项目。
The method fit for the program operation of the computer can be easily used for the synthesis of a finite automation with multi-input and multi-state.
该方法适宜于计算机编程操作，因此可方便地用于多输入多状态有限自动机的综合。
The correct test results of the chip also verify the effectiveness of this clock tree synthesis program.
芯片测试结果的正确也验证了这种时钟树综合方案的有效性。
In 2009, he was involved in launching Zhongxuanmei program. In 2011, he and Mi Shijie, a vision researcher, collaborated to establish IdeaWorks Synthesis Design research Institute.
2009年参与启动“中宣美”计划，2011年与视觉研究者米士杰共同成立创研综合设计研究所。
The results showed that: when the dosage of the best program of product synthesis is 2%, its anti-swelling rate is up to 93.4%.
实验结果表明：最佳合成方案产物的加量为2%时，其防膨率可以达到93.4%。
The computer program of synthesis is developed that is based on described algorithm. Recommendations on selection of proper synthesis parameters are presented.
基于所述算法开发了综合的计算机程序，提出了特有综合参数选择的建议。
In this process, cardiac hypertrophy is characterized by an increase in cell size and protein synthesis and reactivation of the fetal gene program.
在这个过程中常常伴有心肌细胞体积增大、心肌纤维增生和胚胎基因的重新激活。
In this process, cardiac hypertrophy is characterized by an increase in cell size and protein synthesis and reactivation of the fetal gene program.
在这个过程中常常伴有心肌细胞体积增大、心肌纤维增生和胚胎基因的重新激活。
应用推荐