1) constraint logic programming
约束逻辑编程
2) Verilog constraint logic programming
Verilog约束逻辑编程
3) constraint logic programming (CLP)
逻辑约束编程
4) constraint logic programs
约束逻辑程序
1.
This paper presented a new semantics of constraint logic programs,i.
首先介绍了s-语义方法的基本思想,然后采用这种方法讨论了约束逻辑程序一个重要的可观察性特征——多重回答约束,并给出相应的语义,使得从语义角度反映了约束逻辑程序的并行特征,而且引入了一个新的关于程序等价的定义,从更严格的角度分析了程序的等价,加深了对程序的理解,有助于程序员编写高效和简洁的程序,突出了约束逻辑程序设计系统作为程序设计语言的特征。
5) logical constraint
逻辑约束
1.
In order to achieve a compact model,logical constraints enabled by CP are used to express the operation rules in crude feeding.
约束规划允许以逻辑约束表达混输过程中的操作规则,使模型简洁直观,而对整型变量及非线性约束不敏感,则降低了模型的求解难度。
6) Constraint logic
约束逻辑
补充资料：可编程逻辑控制器
分子式：
CAS号：
性质：一种数字运算操作的电子系统，专为在工业环境下应用而设计。它采用可编程序的存储器，用来在其内部存储执行逻辑运算、顺序控制、定时、计数和算术运算等操作的命令，并通过数字式、模拟式的输入和输出，控制各种类型的机械或生产过程。可编程控制器及其有关设备，都按易于与工业控制系统联成一个整体，易于扩充功能的原则而设计。
CAS号：
性质：一种数字运算操作的电子系统，专为在工业环境下应用而设计。它采用可编程序的存储器，用来在其内部存储执行逻辑运算、顺序控制、定时、计数和算术运算等操作的命令，并通过数字式、模拟式的输入和输出，控制各种类型的机械或生产过程。可编程控制器及其有关设备，都按易于与工业控制系统联成一个整体，易于扩充功能的原则而设计。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条