1) constraint programming
约束程序
1.
Logic-based methods in optimization and different methods in constraint programming are summarized.
由于优化和约束程序各自具有扩充能力,它们开始有效地结合在一起。
2.
Mixed integer nonlinear programming algorithm integrated constraint programming is applied to solve optimal control problems of hybrid model.
为解决混杂系统优化控制的计算复杂性问题,针对结合逻辑规则的工业过程混杂模型,采用结合约束程序的混合整数非线性规划算法,求解这种混杂模型的优化控制。
2) concurrent constraint programming
并发约束程序设计
1.
Constraint programming especially constraint logic pro gr amming(CLP)and concurrent constraint programming(CCP)is becoming more and more important in the field of AI programming.
约束程序设计尤其是约束逻辑程序设计与并发约束程序设计在AI程序设计领域占据着越来越重要的位置。
3) constraint logic programming
约束逻辑程序设计
1.
Based on the constraint logic programming system BPU-CLP, the authors developed an intelligent tutoring system named BPU-ITS-Math, which is a student-oriented ITS aiming at high school mathematics tutoring.
以本实验室研制的约束逻辑程序设计系统BPU-CLP为基础,研制了一个适用于中学数学,面向学生的智能教学系统BPU-ITS-Math。
2.
Based on the Constraint Logic Programming(CLP) system BPU-CLP,this paper proposes a method to solve layout planning problem.
以本实验室研制的一个多重论域的约束逻辑程序设计系统BPU-CLP为基础,提出用约束逻辑程序(Constraint Logic Programm ing,CLP)解决布局规划问题。
4) CP (constrained procedure)
约束方法;限定程序
5) timing constraints
时序约束
1.
This paper introduces the basic principle of Static Timing Analysis(STA) for verifying FPGA design and some timing constraints related to STA.
介绍了采用STA(静态时序分析)对FPGA(现场可编程门阵列)设计进行时序验证的基本原理,并介绍了几种与STA相关联的时序约束。
6) timing constraint
时序约束
1.
This paper takes the residue number system as example, result in sub-module with different timing constraint at the architecture level.
并以剩余数系统为例进行仿真说明,在体系结构层得到具有不同时序约束的子模块,在电路层根据不同的路径长度分成两种不同的供电电压,达到降低功耗的目的。
2.
The basic timing constraints concept in ASIC design has been introduced in this paper, then with the ASIC design of VC12-VC4 E1 mapper in SDH system, the related timing constraints have been demonstrated in detail.
文中介绍了设计中所需考虑的各种时序约束 ,并以同步数字系列 (SDH)传输系统中 8路VC12 VC4E1映射电路设计为例 ,详细说明了设计中所采用的时序约束 ,并通过静态时序分析 (STA)方法使电路时序收敛得到了很好的验证。
补充资料：编译程序的编译程序
编译程序的编译程序
compiler-compiler
b Ianyi ehengxu de blanyi chengxu编译程序的编译程序《compile卜伪mpiler》产生编译程序的编译程序。它接受用某一适当的表示体系描述的某一语言类中任一语言A的词法规则、语法规则、语义规则和(或)代码生成规则，并从这些描述产生出用目标语言B写的关于语言A的编译程序的全部或部分。编译程序的编译程序又称为偏译租序的生成租序。 通常，编译程序分成词法分析程序、语法分析程序、语义分析程序、代码生成程序等若干部件。这些部件可以用一个总的编译程序的编译程序的不同部分来生成，也可以分别用不同的专用生成程序来生成。这些专用生成程序包括词法分析程序的生成程序，语法分析程序的生成程序和代码生成程序的生成程序等。 词法今析租序的生成粗序接受以正则文法或其它类似文法描述的单词，构造一个有限状态自动机，由此生成一个词法分析程序。 语法介析程序的生成程序接受以上下文无关文法的形式描述的源语言的语法，生成一个语法分析程序。各种语法分析程序的生成程序随实现语言、语法分析算法的原理以及源程序中语法错误处理能力的不同而异。如采用LR的语法分析程序的生成程序YACC和采用递归下降法的语法分析程序的生成程序L比en。 语义分析程序、中间代码生成程序和目标代码生成程序的生成程序的设计与实现与形式化的语义描述紧密相关。语义描述形式化技术相当困难，目前大多数生成程序中语义描述还是采用非形式化，它们的基本思想是为源语言的上下文无关文法的语法符号或产生式配以翻译子程序(语义动作或语义子程序)。 现有不少性能很好的编译程序的编译程序，如词法分析程序的生成程序LEX，语法分析程序的生成程序yACC和LLgen，它们都显著提高了编译程序的开发效率。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条