• 梅蒂斯

  • 引用文献445篇[sw04089]
  • 梅蒂斯是一组程序对于划分图,划分有限元网格。。。递归二分法、多级k-way和multi-约束已开发分区方案。。。
  • 雅尔米普

  • 引用913篇文章[sw04595]
  • 混合整数编程,多参数编程,几何图形编程YALMIP的主要特点是:容易。。。起动。易于使用:您可以定义限制条件以及使用直观和标准的客观函数。。。
  • 鼻涕

  • 引用507篇文章[sw02300]
  • 大规模约束优化。序列二次型编程(SQP)方法已被证明是非常有效的解决。。。目标函数中的光滑非线性函数限制条件. 这里我们考虑一般不等式的问题。。。
  • 汽蚀余量

  • 参考第147条[sw07420]
  • npsol5.0:Fortran非线性软件包编程. NPSOL是一组Fortran 77子程序。。。最小化光滑函数限制条件,其中可能包括变量的简单边界。。。提供子例程来定义目标和限制条件函数及其一阶导数。NPSOL。。。问题大小。NPSOL使用序列二次型编程(SQP)算法,其中每个搜索方向。。。
  • OPL公司

  • 引用31篇文章[sw21239]
  • 数学建模语言编程以及组合优化。它是第一种结合。。。从数学建模语言中具有丰富的约束语言和指定搜索的能力。。。战略是约束 编程. 本文描述了可用的设备。。。在中实现传统搜索过程约束 编程还有日程安排。。。
  • 通用电气代码

  • 引用63篇文章[sw06272号]
  • 基于系统和应用程序。Gecode提供了一个约束具有最先进性能的求解器。。。打开。Gecode对编程:它可以很容易地接口。。。其他系统。它支持编程新的限制条件分支策略和搜索引擎。。。可变域可以是已编程在与变量相同的效率水平上。。。
  • 麦克佩克

  • 引用了78篇文章[sw06973]
  • 包含数学集合程序平衡限制条件(MPEC)AMPL测试问题。。。
  • 帕帕

  • 引用28篇文章[sw30926]
  • 尊重各种软硬限制条件,和首选项。另外,家庭保健问题。。。优化核,线性组合编程,约束 编程,和(元)启发式的家庭。。。适应约束结构,从而提供所需的灵活性。。。
  • 萨尔萨

  • 引用了30篇文章[sw02661]
  • 约束 编程被认为是解决组合优化问题的一种有效方法。然而。。。局部搜索,生成混合算法限制条件. 这样的组合缺乏一种语言来支持优雅的。。。保留原始声明性约束逻辑编程. 我们提议一种语言,萨尔萨语,专注。。。
  • 克尼特罗

  • 引用175篇文章[sw00490]
  • 互补性问题限制条件(MPCC或MPECs)和混合整数编程(MIPs),特殊凸混合。。。
  • R溶剂

  • 引用71篇文章[sw04334]
  • RSolver是一个程序用于求解量化不等式限制条件. 像投射解决方案。。。
  • NLPQL公司

  • 引用130篇文章[sw08457]
  • 二次方的编程目标可微的非线性约束优化问题的求解方法约束功能。。。
  • CC Pi

  • 27条引用[sw15033]
  • 约束-用于指定服务级别协议的基于语言。服务级别协议是一个关键问题。。。要求。我们的语言结合了两个基本的编程... 范式:名字传递结石和并发约束 编程(抄送编程). 具体来说,我们扩展了cc编程... 机制约束组合。我们给出了两个cc的保约化翻译编程...
  • 保鲜膜

  • 引用36篇[sw09892]
  • 答案集求解器(扩展)约束正常逻辑程序. 它结合了高级建模。。。答案集容量编程(ASP)与约束解决问题。限制条件在非线性有限整数上。。。
  • 莫扎特

  • 引用了20篇文章[sw04759]
  • 十年的研究编程语言设计和实现,约束-基于推理,分布式计算。。。支持声明性的编程,面向对象编程,约束 编程,以及并发作为一部分。。。
  • 快速解释

  • 引用28篇文章[sw28625]
  • 工业设施的主要说明约束 编程工具,例如,使用。。。
  • 精灵

  • 引用了43篇文章[sw21361]
  • 元语言。精灵是一个约束逻辑编程基于LF逻辑框架的语言。。。
  • ARMC公司

  • 在26篇文章中引用[sw04949]
  • 约束-基于编程语言可以导致一个优雅和简洁的实现一个实用的。。。使用Prolog系统与约束逻辑编程作为实现平台的扩展。。。
  • NLPQLP公司

  • 引用了40篇文章[sw04073]
  • 序列二次型的特殊实现编程(SQP)方法。从二次近似开始。。。函数与线性化限制条件,一个二次方编程子问题的公式化和求解。。。分布式系统的节点、目标和约束函数可以在预定的。。。
  • SOCS公司

  • 参考文献124篇[sw07737]
  • 机床轨迹定义。稀疏非线性编程利用最先进的稀疏线性代数。。。限制条件现在可以在台式计算机上有效地解决。稀疏非线性编程软件。。。