注册会员 | 设为首页 | 加入收藏夹
您好，欢迎光临本网站！[请登录] ！[注册会员]！  

搜索资源列表

  1. 开源约束编程软件：Gecode

  2. 非常棒的约束编程的开源软件，C++实现的。通过对gecode的学习，既可以解决自己的约束规划方面的问题，又可以学习到C++的精彩应用。gecode还提供了一个基于gecode的flatzinc语言（一个高级的约束编程的声明式语言）的解释器。试试吧！！！共有两个压缩文件，这是第1个。

  3. 所属分类：C++

    • 发布日期：2009-07-15
    • 文件大小：16777216
    • 提供者：mathsoperator

  1. 开源约束编程软件：Gecode(2)

  2. 非常棒的约束编程的开源软件，C++实现的。通过对gecode的学习，既可以解决自己的约束规划方面的问题，又可以学习到C++的精彩应用。gecode还提供了一个基于gecode的flatzinc语言（一个高级的约束编程的声明式语言）的解释器。试试吧！！！共有两个压缩文件，这是第2个。

  3. 所属分类：C++

    • 发布日期：2009-07-15
    • 文件大小：13631488
    • 提供者：mathsoperator

  1. HuaWei Verilog 约束

  2. 华为FPGA编程规范，编写verilog代码时应注意的书写规范。

  3. 所属分类：硬件开发

  1. 约束编程（英语）

  2. 约束编程（英语）Constraint Programming、Constraint Processing， Dechter

  3. 所属分类：其它

    • 发布日期：2013-03-09
    • 文件大小：23068672
    • 提供者：windbai

  1. A Constraint Programming-based solution approach for ... problems

  2. 约束编程不可多得的好资料,hospital resident

  3. 所属分类：讲义

    • 发布日期：2014-11-02
    • 文件大小：198656
    • 提供者：iamhuanggua

  1. Constraint+Processing

  2. Constraint+Processing，约束编程超级好的资料

  3. 所属分类：专业指导

    • 发布日期：2014-11-02
    • 文件大小：23068672
    • 提供者：iamhuanggua

  1. 非二元约束满足问题求解

  2. 非二元约束满足问题求解 约束编程学习的好资料

  3. 所属分类：专业指导

    • 发布日期：2014-11-02
    • 文件大小：102400
    • 提供者：iamhuanggua

  1. 基于蚁群优化的约束求解算法研究

  2. 约束编程的好paper:基于蚁群优化的约束求解算法研究

  3. 所属分类：专业指导

    • 发布日期：2014-11-02
    • 文件大小：2097152
    • 提供者：iamhuanggua

  1. cKanren, 在球拍中嵌入约束编程语言.zip

  2. cKanren, 在球拍中嵌入约束编程语言 版权所有( C ) 2013 -4 Claire Alvis版权所有( C ) 2011 -2013 Daniel P 。 ，Oleg Kiselyov，Claire E 。 Alvis，Jeremiah，Willcock，Kyle M

  3. 所属分类：其它

    • 发布日期：2019-09-18
    • 文件大小：92160
    • 提供者：weixin_38743481

  1. choco-solver, 一个面向约束编程的开源 Java.zip

  2. choco-solver, 一个面向约束编程的开源 Java 文档，支持和问题处理 。下载和安装choco规划求解是一个开放源代码的Java库，用于约束编程。当前稳定版本为 4.0.5 ( 28 2017年月 ) 。choco解算器附带：各种类

  3. 所属分类：其它

    • 发布日期：2019-09-18
    • 文件大小：3145728
    • 提供者：weixin_38744435

  1. choco-solver, 一个面向约束编程的开源 Java.zip

  2. choco-solver, 一个面向约束编程的开源 Java 文档，支持和问题处理 。下载和安装choco规划求解是一个开放源代码的Java库，用于约束编程。当前稳定版本为 4.0.5 ( 28 2017年月 ) 。choco解算器附带：各种类

  3. 所属分类：其它

    • 发布日期：2019-10-10
    • 文件大小：3145728
    • 提供者：weixin_38744207

  1. Google OR-Tools(四) 约束编程 Constraint Programming

  2. 本文参考Google OR-Tools官网文档介绍OR-Tools的使用方法。 1 约束满足问题 1.1 CSP定义 在前一篇文章中我提到Google OR-Tools中解决整数规划问题有MP Solver和CP Solver两种工具，但是只介绍了MP Solver，而这篇文章则会介绍CP Solver。之所以会有这两种工具，是因为虽然都是解决整数规划，各自面对的问题类型还是有区别的，CP Solver一般用于约束满足问题(Constraint Satisfaction Problem)，简称C

  3. 所属分类：其它

    • 发布日期：2021-01-07
    • 文件大小：172032
    • 提供者：weixin_38670186

  1. CP-IP:“针对相互正交的拉丁方的整数和约束编程”中时序的程序，脚本和日志-源码

  2. CP-IP:“针对相互正交的拉丁方的整数和约束编程”中时序的程序，脚本和日志

  3. 所属分类：其它

    • 发布日期：2021-03-15
    • 文件大小：157696
    • 提供者：weixin_42109125

  1. 危险理论启发了针对概率约束编程的微种群免疫优化

  2. 在探讨了基于免疫学中危险理论的自适应采样微免疫优化方法之后，这项工作解决了一种通用的单目标概率约束编程问题，该编程没有任何事先的随机分布信息。 在整个算法的设计中，根据样本的约束方式和客观评估的方案，将当前种群根据个体优势的版本分为未感染，易感和感染亚人群。 那些未感染和易感的亚群增殖其克隆并以较小的可变突变率进行适应性突变，而被感染的亚群以较大且可变的突变率直接参与突变。 同时设计了两种突变策略，以及针对个体的生命周期版本，以沿不同方向进化这些亚种群，从而探索出这些多样化且高质量的解决方案。

  3. 所属分类：其它

    • 发布日期：2021-03-14
    • 文件大小：1048576
    • 提供者：weixin_38596117

  1. TablaZinc:使用约束求解器生成吉他谱-源码

  2. 塔布拉锌 这是一个使用约束求解器为弦状弦乐器（例如吉他，贝斯，曼陀林，班卓琴等）生成制表法的实验。 输入是一种旋律，由没有持续时间指示的MIDI音符编号数组表示。 输出是带有微动手的指法注释的表。 src和data文件夹包含用语言编写的模型文件和数据文件。 免责声明 我一般没有约束编程方面的经验，尤其是MiniZinc。 如果您是该领域的初学者，并且正在寻找写得很好的示例，那么此存储库可能不是正确的地方。 如果您是专家，欢迎您提供反馈。 请。 用法 以下命令使用模型文件中指定的一组约束从

  3. 所属分类：其它

    • 发布日期：2021-03-08
    • 文件大小：11264
    • 提供者：weixin_42116596

  1. sugeno测度空间上的机会约束编程

  2. 不确定编程是在不确定环境下处理优化问题的理论工具，它主要建立在概率，可能性或可​​信度度量空间中。 Sugeno度量空间是概率度量空间的有趣且重要的扩展。 这促使我们讨论基于Sugeno度量空间的不确定编程。 我们构建了Sugeno度量空间上的第一类不确定规划，即Sugeno度量空间上的不确定规划的期望值模型。 本文研究了Sugeno度量空间上的第二种不确定规划，即Sugeno度量空间上的机会约束规划。 首先，给出了α最优值和α悲观值作为排名度量的定义和特征。 其次，介绍了Sugeno机会受限编

  3. 所属分类：其它

    • 发布日期：2021-02-24
    • 文件大小：435200
    • 提供者：weixin_38734008

  1. loco：Clojure的约束编程库-源码

  2. 机车 警告：该项目不再维护。 另外，请注意，此项目是针对Choco 3（而非Choco 4）编写的。 Loco是Clojure的约束编程库。 Loco为Java库Choco提供了一个完全声明性的功能接口。 [loco "0.3.1"] Loco需要JDK 8。 什么是约束编程？ 约束编程是关于解决可以用整数变量和这些变量的约束表示的问题。 例如，考虑一个问题，其中变量x是1到6的整数， y是3到7的整数。我们也知道x+y=10的约束。 x和y的所有可能值是什么？ 用Clojure回答这个

  3. 所属分类：其它

    • 发布日期：2021-02-20
    • 文件大小：26624
    • 提供者：weixin_42131352

  1. 住宅区附表：在MiniZinc（约束编程）中为编程类3开发的住宅区的附表。-源码

  2. 住宅区的时间表 MiniZinc（约束编程）中为第3类编程开发的住宅区的时间表。 要求安装MiniZinc IDE，链接： :

  3. 所属分类：其它

    • 发布日期：2021-02-11
    • 文件大小：2048
    • 提供者：weixin_42109732

  1. monadiccp：Monadic约束编程框架-源码

  2. monadiccp：Monadic约束编程框架

  3. 所属分类：其它

    • 发布日期：2021-02-04
    • 文件大小：179200
    • 提供者：weixin_42102713

  1. codac：Codac是一个库，提供用于对实数，轨迹和集合进行约束编程的工具-源码

  2. Codac（域和承包商目录）是一个C ++ / Python库，提供用于对实数，轨迹和集合进行约束编程的工具。 它在状态估计或机器人定位中有许多应用。 请参阅官方网站： ：

  3. 所属分类：其它

    • 发布日期：2021-02-04
    • 文件大小：8388608
    • 提供者：weixin_42102713
« 12 3 4 5 6 7 8 9 10 ... 34 »