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

搜索资源列表

  1. Python 几何约束求解器

  2. 开源的 Python编写 几何约束求解器 - qhull (libqhull5) -- see http://www.qhull.org/ - pyQt4 -- see http://qt.nokia.com/ - pyOpenGL -- see http://pyopengl.sourceforge.net/ - Numpy -- http://numpy.scipy.org/

  3. 所属分类：Python

    • 发布日期：2011-08-03
    • 文件大小：581632
    • 提供者：cadrd

  1. 几何约束求解的新方法

  2. 几何约束求解的新方法

  3. 所属分类：专业指导

    • 发布日期：2008-05-06
    • 文件大小：5242880
    • 提供者：wuhanwangtao

  1. 程序分析及约束求解器

  2. 本文档围绕如何使用约束求解器展开，包括用于逆向工程和寻找bug等的程序分析应用的SMT求解器。作者将展示如何将x86汇编码翻译成中间语言和SMT公式，还会讨论在程序分析时使用求解器的利与弊，求解器与污点数据分析的关系。

  3. 所属分类：专业指导

    • 发布日期：2014-08-15
    • 文件大小：1048576
    • 提供者：u010702509

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

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

  3. 所属分类：专业指导

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

  1. swift-Swift中的增量线性约束求解算法AutoLayout

  2. Swift中的增量线性约束求解算法（Auto Layout）

  3. 所属分类：其它

    • 发布日期：2019-08-15
    • 文件大小：87040
    • 提供者：weixin_39840387

  1. 协同设计中的定量约束求解方法研究

  2. 协同设计中的定量约束求解方法研究，张兆营，刘婷婷，产品设计可视为一个复杂系统的约束求解问题，对于设计过程中的定量化约束求解主要有值求解和区间求解两种算法，它们主要适用于变

  3. 所属分类：其它

    • 发布日期：2020-02-19
    • 文件大小：284672
    • 提供者：weixin_38603259

  1. optaplanner, Java约束求解器解决车辆布线员工排班及其他规划问题.zip

  2. optaplanner, Java约束求解器解决车辆布线员工排班及其他规划问题 OptaPlannerwww.optaplanner.org快速开发开始要生成并从源代码运行，请执行以下操作：$ mvn clean install -DskipTests$ cd optaplanner-example

  3. 所属分类：其它

    • 发布日期：2019-10-12
    • 文件大小：59768832
    • 提供者：weixin_38744375

  1. z3-4.8.4（微软的一款开源约束求解器）Win64

  2. Z3 是一个微软出品的开源约束求解器，功能十分强大，尤其是运用于逆向的时候，进行约束求解十分快速。 文件内包含z3的lib和include文件

  3. 所属分类：机器学习

    • 发布日期：2020-10-07
    • 文件大小：11534336
    • 提供者：qq_37400312

  1. holmes:使用传播器和CDCL进行约束求解的参考库-源码

  2. :man_detective: 福尔摩斯 Holmes是用于计算约束解决问题的库。 在后台，它使用传播网络和冲突导向子句学习来优化对参数空间的搜索。 现在可在上！ :running_shoe: 例子 是约束问题的一个很好的第一个例子。 在这个问题中，我们假设有五个人（贝克，库珀，弗莱彻，米勒和史密斯）住在一个五层楼的公寓楼中，我们必须弄清楚每个人的居住地。 这是我们陈述Holmes问题的方法： import Data.Holmes dinesman :: IO ( Maybe [ Defi

  3. 所属分类：其它

    • 发布日期：2021-03-22
    • 文件大小：65536
    • 提供者：weixin_42099151

  1. 基于路径约束求解的难以到达状态的测试生成

  2. 难以到达的状态的测试生成一直是功能验证中最困难的任务之一。 在本文中，我们提出了PACOST，一种基于PAth约束求解的测试生成方法，该方法在抽象指导的仿真框架中运行以覆盖难以到达的状态。 PACOST在路径约束求解器中将具体的仿真和符号仿真结合在一起，以生成一组有效的输入矢量，用于探索不同的仿真路径，然后进行考虑抽象距离的下一个状态选择。 此外，提出了两种回溯策略来缓解死角问题并确保快速收敛到目标状态。 实验结果表明，PACOST可以有效覆盖难以到达的状态。

  3. 所属分类：其它

    • 发布日期：2021-03-17
    • 文件大小：327680
    • 提供者：weixin_38590520

  1. crossword-composer:文字游戏的约束求解器-源码

  2. Crossword Composer是用于制作填字游戏的基于浏览器的工具。 该代码库包含两个主要部分： 单词拼图自动填充器（Rust），查找符合一组共享字母约束的一组单词。 基于浏览器的UI（Javascr ipt / Svelte），允许交互式拼图创建。 自动灌装机 自动填充器是用Rust编写的，可以用作独立库。 自动填充器本身并不了解填字游戏的结构。 它更类似于，后者将问题归结为最基本的表示形式：要满足的约束列表。 约束以数字列表的形式提供。 这些数字是插槽的标识符：填充者必须进行的各

  3. 所属分类：其它

    • 发布日期：2021-03-11
    • 文件大小：218112
    • 提供者：weixin_42162216

  1. mad-props:正向传播约束求解器monad。 非常适合解决Sudoku，N-Queens等-源码

  2. 疯狂道具 Mad props是一个简单的广义传播器框架。 这意味着它非常擅长表达和解决广义。 请注意， mad-props并未使用晶格过滤器进行传播，也不支持传播器元素的动态选择（尽管您可以通过选择的容器类型指定选择顺序）。 这些事情更加复杂。 还有很多其他的约束求解器，可能大多数都比这个约束求解器快，但是对于那些喜欢在Haskell工作的舒适性和类型安全性的人来说，我已经了解了。 使用其他约束求解器来表达您的问题可能会有些麻烦。 您需要将问题压缩到布尔变量之间的关系，或者尝试将问题塞入特

  3. 所属分类：其它

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

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

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

  3. 所属分类：其它

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

  1. hoodie:DotNet的约束求解演绎数据库-源码

  2. 连帽衫 DotNet的约束求解演绎数据库

  3. 所属分类：其它

    • 发布日期：2021-03-07
    • 文件大小：135168
    • 提供者：weixin_42129797

  1. 基于离散元胞蚂蚁算法的几何约束求解技术研究 (EI检索)

  2. 一个约束描述了一个应该被满足的关系,一旦用户已经定义了一系列的关系,那么在修改参数之后,系统会自动选择合适的状态来满足约束.在将几何约束问题的约束方程组转化为优化模型的时候,引入一种利用元胞演化规律和蚂蚁寻优特点的离散元胞蚂蚁算法.离散元胞蚂蚁算法是一种新型的仿生算法,它利用元胞在离散元胞空间的演化规律和蚂蚁寻优的特点,为解决实际问题提供了一种优化方法.实验表明,该方法可以比较有效的处理几何约束问题.

  3. 所属分类：其它

    • 发布日期：2021-03-03
    • 文件大小：744448
    • 提供者：weixin_38665490

  1. 禁忌粒子群算法在几何约束求解中的应用

  2.  约束问题可以转化为优化问题, 针对粒子群优化算法在算法的后期易陷入局部最优的缺点, 提出TPSO ( 禁忌粒子群优化算法) , 在算法的前期采用粒子群算法快速产生全局最优解信息素的初始分布, 后期引入禁忌搜 索算法, 记录已经达到的局部最优解, 在下一次搜索中, 不再或者有选择地搜索这些点, 从而跳出局部最优点, 并且 在搜索过程中允许接受劣解, 充分利用禁忌搜索的记忆能力及较强的爬山能力, 大大提高了获得全局最优解的概 率. 该算法综合了粒子群优化算法的快速性, 随机性和全局收敛性以及禁忌搜

  3. 所属分类：其它

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

  1. 基于有向图的约束求解新算法

  2. 针对一般几何约束系统欠约束状态下约束分解的多样性,通过对剩余自由度的分析,提出了几何元素优先级的概念,给出了约束有向图生成算法,实现了对约束系统的优化分解。本算法在AutoCAD 2000提供的二次开发接口ObjectARX上成功实现,运行结果表明具有良好的约束求解效率。对于欠约束系统的分解结果可以最大限度满足用户的需求。

  3. 所属分类：其它

    • 发布日期：2021-02-23
    • 文件大小：925696
    • 提供者：weixin_38703906

  1. cassowary-rs：Cassowary约束求解算法的Rust实现-源码

  2. cassowary-rs：Cassowary约束求解算法的Rust实现

  3. 所属分类：其它

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

  1. cassowary.lua：食火约束求解器引擎的Lua端口-源码

  2. cassowary.lua：食火约束求解器引擎的Lua端口

  3. 所属分类：其它

    • 发布日期：2021-02-03
    • 文件大小：28672
    • 提供者：weixin_42115513

  1. optaplanner：Java约束求解器，用于解决车辆路线，员工排班，任务分配，会议安排和其他计划问题-源码

  2. optaplanner：Java约束求解器，用于解决车辆路线，员工排班，任务分配，会议安排和其他计划问题

  3. 所属分类：其它

    • 发布日期：2021-02-03
    • 文件大小：62914560
    • 提供者：weixin_42164702
« 12 3 4 5 6 7 8 9 10 ... 50 »