程序综合 program synthesis(19)   program synthesis      DTPS: A PROGRAM SYNTHESIS SYSTEM BASED ON TABLEAU METHOD      基于Tableau方法的程序综合系统──DTPS 短句来源      Inductive Program Synthesis by Concept Learning      基于概念学习的归纳程序综合 短句来源      FORMAL PROGRAM SYNTHESIS APPROACH AND SYNTHESIZER NEAT      形式化的程序综合方法及综合器NEAT 短句来源      Design and Implementation of Program Synthesis Based on Resolution Principle      基于归结原理的程序综合设计与实现 短句来源      THE APPLICATION OF MODE INFERENCE IN INDUCTIVE PROGRAM SYNTHESIS      模式推理在归纳程序综合中的应用 短句来源 更多          “程序综合”译为未确定词的双语例句      PICASSO supports the combination of rule based and functional programming as well as the coorporation between multiple rule based programs:PICASSO-programs can easily be integrated to LISP-programs as ordinary LISP-functions and PICASSO-programs themself can call arbitrary LISP-functions.      PICASSO 支持基于规则的程序设计语言和函数型的程序设计语言两者的组合并支持多个基于规则的程序设计语言和函数型的程序设计语言两者的组合,并支持多个基于规则的程序之间的协同操作:可以容易地把 PICASSO 程序综合成象一般的 LISP 函数那样的 LISP 程序,而且 PICASSO程序本身也可以任意地调用 LISP 函数。 短句来源      The application of testing on nursing procedure in clinical teaching      护理程序综合考试在临床教学评估中的应用 短句来源      A PROGRAM SYNTHESIZING METHOD      一种程序综合方法 短句来源      ON THE DESIGN OF AN INDUCTIVE PROGRAM SYNTHESIZER NDIPS      归纳程序综合系统NDIPS的设计 短句来源      Techniques about IPsec, encryption and message digest are integrated into the program, to guarantee the data's security and integrity.      整个程序综合了IPSec技术、加密技术和消息摘要技术,保证了数据在公用网络中的安全。 短句来源 更多          相似匹配句对      Comprehensive calculation program for earthquake predication      地震综合计算预报程序 短句来源      A PROGRAM SYNTHESIZING METHOD      一种程序综合方法 短句来源      Comprehensive Data      综合资讯 短句来源      A Disk Copy Program      磁盘拷贝程序 短句来源      Integrated coverage      综合信息 短句来源 查询“程序综合”译词为用户自定义的双语例句     我想查看译文中含有：的双语例句 为了更好的帮助您理解掌握查询词或其译词在地道英语中的实际用法，我们为您准备了出自英文原文的大量英语例句，供您参考。   program synthesis Problems in commonsense and robot planning are approached by methods adapted from program synthesis research; planning is regarded as an application of automated deduction. 例句来源       We develop two applications of middle-out reasoning in inductive proofs: logic program synthesis and the selection of induction schemes. 例句来源       Here we present some of our successes and, because it may prove useful for circuit design and program synthesis as well as in the context of mathematics and logic, detail our approach to finding missing proofs. 例句来源       Thomas) but is relevant to practical applications such as circuit design and program synthesis. 例句来源       Because a sharp reduction in proof length (of constructive proofs) is correlated with a significant reduction in the complexity of the object being constructed, the cramming strategy is relevant to circuit design and program synthesis. 例句来源       更多                    Based on the theory of Diakoptics and the sparsity techniques, an algorithm for short circuit analysis in power systems is presented, and an approach called piecewise cut loop impedance approach is developed, by which the cut loop impedance matrix can easily be treated. The computer core storage can be reduced and the computations could be saved, It has the advantages of two methods, the Z matrix with tearing and the Y matrix with tearing.A program for the small computer TQ-16 is developed and the results o...             本文给出了根据分割论(Diakoptics)与稀疏技术理论的电力系统短路电流计算的算法及程序。该程序综合了阻抗分块法与稀疏技术的导纳法两种方法的优点,进一步提高了计算机解题能力。文中提出了处理切割线回路阻抗阵的方法——分块切割线回路阻抗法,采用这种算法,在TQ—16机可实现对2000个节点的网络的短路电流计算,较之用阻抗分块法其解题能力约可提高4.5倍。用该程序对实际网络进行了计算,给出了正确的结果。 文摘来源          Based on the principle of subgoal deduction (SGD), a mechanical reasoning system is developed, which lessens considerably the difficulties caused by the "combinatory explosion", a main drawback of resolution method. An algorithm of automatic synthesis of recursive program using SGD technique and structural induction principle is designed and implemented on FELIX C-256 computer. This is illustrated by a derivation of the "SOET" program.             本文介绍了我们在递归程序自动综合方面的一些研究,我们的初步成果主要有三个方面:1.发展了一种新的机器推理技术——子目标演绎法,它在一定程度上缓合了组合爆炸的困难;2.在程序综合方面,利用了结构归纳法原理,从而建立了一种自动综合程序的图式;3.利用1.,2.设计并且在FELIX C-256计算机上实现了“LISP递归程序自动综合的实验系统”(RPS-1)。 文摘来源          This article discusses the philosophy of outward and inward dif-ferentiation format and brings about the method of computing the three dimensions unsteady temperature field by computers. This method is inward-outward interchangeable limited differentiation computing method. Applying this method and its related program, and considering all the complex conditions of edge and physical parameters varying with temperature, the article computed some important sizes of molten pool and curve of thermal cycle of the...             本文在论证显式差分格式及隐式差分格式优缺点的基础上,提出了适合于用电子计算机解三维不稳定温度场的计算方法——隐显交变有限差分计算方法。使用本计算方法及相应的程序综合考虑了复杂的边界条件以及随温度变化的物性参数,计算了厚板粗丝CO_2自动电弧焊熔池的主要尺寸及近缝区热循环曲线,计算结果与实验结果吻合较好。 文摘来源   << 更多相关文摘         相关查询: 综合程序 自动程序综合 归纳程序综合 综合评价程序 综合程序作业 分析综合程序 综合制造程序 综合程序法 综合 综合目录功能程序 综合目录功能程序目录 临床综合评定程序  对查询结果不满意

CNKI小工具 在Springer中查有关的英文论文 在知识搜索中查有关程序综合的内容 在数字搜索中查有关程序综合的内容 在概念知识元中查有关程序综合的内容 在学术趋势中查有关程序综合 的内容

CNKI主页 |  设CNKI翻译助手为主页 | 收藏CNKI翻译助手 | 广告服务

2008 CNKI－中国知网

京ICP证040431号 互联网出版许可证 新出网证(京)字008号 北京市公安局海淀分局 备案号：110 1081725  2008中国知网(cnki) 中国学术期刊(光盘版)电子杂志社