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

搜索资源列表

  1. 可满足性求解程序zchaff

  2. 用于可满足性问题的求解 希望有需要的

  3. 所属分类：专业指导

    • 发布日期：2009-09-08
    • 文件大小：72704
    • 提供者：bjtuwgj

  1. 遗传算法用于NP 完全问题的求解

  2. 摘要:讨论了如何利用遗传算法求解布尔表达式的可满足性问题,并给出该结果 对求解其他NP 完全问题时的应用. 关键词:遗传算法;布尔表达式可满足问题;NP2完全问题

  3. 所属分类：其它

    • 发布日期：2009-11-19
    • 文件大小：325632
    • 提供者：sd_junxi

  1. 遗传算法求解可满足性问题的java实现代码

  2. 我的毕业设计 遗传算法 可满足性问题 java NP 3-SAT SAT 代码 之前的版本有点小问题 优化了 子句生成的方法 还有简单的设计思路

  3. 所属分类：其它

    • 发布日期：2010-05-10
    • 文件大小：48128
    • 提供者：yuanlaifenglin

  1. 可计算性与复杂性-周长林 李占山 编

  2. 可计算性与复杂性——周长林 李占山 编 目录 第一部分 预备知识 第一章 导 引……………………………………………………………….1 1.1集合的概念与相关运算………………………………………..2 1.2关系…………………………………………………………..3 1.2.1关系的基本概念及其性质………………………………...3 1.2.2等价关系…………………………………………………...7 1.2.3部分序关系………………………………………………...7 1.3映射………………………………………

  3. 所属分类：专业指导

    • 发布日期：2010-06-21
    • 文件大小：3145728
    • 提供者：jessiezhang0322

  1. 可满足性问题DPLL算法研究

  2. 本论文的贡献在于总结和分析了那些推动SA=r问题发展的最主要的启发式 算法和技术，并在此基础上提出了两点创新。其一，提出了一种新的正f剐燕理技 术：对称扩展的一元子旬推导。与传统的一元子句推导技术相比，本文的方法通 过在一元子句推导过程中添加对称的蕴涵关系从而能够推导出更多的一元子句。 基于这项技术本文实现了一个可满足性问题预处理器Snowball。实验结果验证了 这项新的正向推理技术的有效性，并表明该预处理器Snowball能够有效地化简 SAT问题的规模并减少解决SAT问题的时间，特别是对

  3. 所属分类：专业指导

    • 发布日期：2011-12-25
    • 文件大小：1048576
    • 提供者：s_clover

  1. 解决SAT问题的JAVA代码

  2. 解决SAT问题的JAVA代码，判断输入的范式是否存在可满足性。

  3. 所属分类：Java

    • 发布日期：2014-12-24
    • 文件大小：3072
    • 提供者：sinat_15129573

  1. 3SAT问题测试用例

  2. 可满足性问题： 1. m=3(变元的个数),n=5(子句的个数),l=3(子句的长度), 3-5-3.txt: 1 -2 3 0 1 -2 -3 0 1 2 -3 0 1 2 3 0 -1 2 3 0 其中文件表示如下合取范式： cnf=(p1并(P2的非)并p3)交(p1并(P2的非)并(p3的非))交(p1并P2并(p3的非))交(p1并P2并p3)交((p1的非)并P2并p3)

  3. 所属分类：其它

    • 发布日期：2015-06-11
    • 文件大小：2048
    • 提供者：zhoubin1992

  1. 煤炭可选性评定方法探讨

  2. 针对现行标准《煤炭可选性评定方法》在实际应用过程中的问题进行了分析和探讨。在不同分选精度下,计算分析了某一分选密度所对应的错配物料密度范围,提出了以扣除分选密度±0.35g/cm~3以外物料为基准计算δ±0.1含量的动态修正方法,实现了满足不同煤质特征的可选性评定,克服了现行评定方法对部分煤质的"失真"问题。建议对现行评定方法进行优化,使其对各种原煤可选性评定具有普适性。

  3. 所属分类：其它

    • 发布日期：2020-05-05
    • 文件大小：226304
    • 提供者：weixin_38573171

  1. 可建造性设计决策中的模糊质量功能配置方法

  2. 质量功能配置(QFD)方法作为一种集成决策方法,有助于在满足顾客需求情况下将设计要素和建造过程诸要素联系起来。在常规QFD方法的基础上,通过对质量屋(HOQ)的改进并引入模糊集合理论,建立了可建造性设计决策中的模糊质量功能配置(Fuzzyqualityfunctiondeployment,FQFD)方法,研究了模糊质量功能配置方法在可建造性设计决策中的应用问题。具体的应用示例证明了该方法的可行性。

  3. 所属分类：其它

    • 发布日期：2020-06-26
    • 文件大小：270336
    • 提供者：weixin_38501299

  1. 基于分子信标的可满足性问题的粘贴模型

  2. 为了解决NP完全问题中的可满足性问题,将分子信标和粘贴模型的优势结合起来,设计了一种新的以分子信标为粘贴链的粘贴模型,并将该模型应用于可满足性问题的求解。由于分子信标具有易操作、高灵敏度、高特异性等特点,将分子信标作为粘贴链,分子信标粘贴链比普通粘贴链链更有优势,利用该模型求解问题的操作简单且容易观测,求得问题的解比普通的粘贴模型更准确可靠。

  3. 所属分类：其它

    • 发布日期：2020-06-23
    • 文件大小：1048576
    • 提供者：weixin_38729336

  1. 电路可满足性问题

  2. 【电路可满足性问题】 电路可满足性问题（Circuit satisfiability problem）描述为：给定一个电路，需要确定是否存在对输入的赋值使得输出值为1。如果存在这样的赋值，则称这个电路是可满足的。这个赋值也被称为一个满足的赋值。如图5为电路可满足性问题的一个实例。 图5 电路可满足性问题 图中的左边，从上到下依次是或门、非门。图中的右边是与门。当1和2输入都为1,3输入为0的时候，输出为1。即这个电路是满足的。 ,.:heart_suit:,.,.:heart_suit:,.,

  3. 所属分类：其它

    • 发布日期：2021-01-06
    • 文件大小：72704
    • 提供者：weixin_38722891

  1. 规则随机（k，s）-SAT问题的可满足性阈值的上限

  2. 规则随机（k，s）-SAT问题的可满足性阈值的上限

  3. 所属分类：其它

    • 发布日期：2021-03-13
    • 文件大小：480256
    • 提供者：weixin_38736011

  1. 随机多比特翻转算法求解布尔多项式方程组可满足性问题

  2. 随机多比特翻转算法求解布尔多项式方程组可满足性问题

  3. 所属分类：其它

    • 发布日期：2021-03-12
    • 文件大小：618496
    • 提供者：weixin_38733382

  1. 索引依赖性的可满足性

  2. 我们研究了布尔可满足性问题（SAT），该问题受限于存在线性关系的输入公式对同一子句中出现的变量的索引施加算术约束。 这可以看作是结构性的Schaefer二分法定理的对应部分，该定理研究SAT问题，对赋值有附加约束同一子句中变量的值。 更准确地说，让k-SAT（m，A）表示限制在以下情况下的SAT问题： k-CNF公式，在每个子句中，最后k-m个变量的索引完全由前m个决定例如，如果A包含i3 = i1 + 2i2和i4 = i2 −i1 +1，则A的子句4-SAT（2，A）的输入形式为yi1 2

  3. 所属分类：其它

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

  1. 满足性问题的并行量子算法

  2. 在本文中，我们提出了一种可满足性问题的经典并行量子算法。 我们已经利用了[GL Long和L. Xiao，Phys。 Rev. A 69（2004）052303]，从而可以通过使用经典并行性获得额外的加速度。 量子算法首先使用量子计数算法估计解的数量，然后使用量子搜索算法找到显式解。

  3. 所属分类：其它

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

  1. ArtiFlow中artifact生命周期的可满足性问题

  2. 以数据为中心是业务过程管理技术发展的一个新趋势.artifact是记录业务过程的数据实体,围绕artifact的业务过程管理正在成为业务过程管理研究的一个热点.生命周期是artifact的一个重要特征,业务过程能否满足对artifact生命周期的定义是业务过程设计中需要验证的一个重要特性.本文从artifact属性赋值顺序的角度,基于Petri网定义artifact的生命周期树.采用ArtiFlow建立业务过程模型,在ArtiFlow模型中根据业务规则提取artifact状态变化树,与artif

  3. 所属分类：其它

    • 发布日期：2021-02-21
    • 文件大小：567296
    • 提供者：weixin_38538021

  1. CVC4：CVC4是一个有效的开源自动定理证明器，可满足模数理论（SMT）问题-源码

  2. CVC4 CVC4是用于确定一阶公式（或此类理论的组合）的一阶公式的可满足性的工具。 它是“协作有效性检查器”工具家族（CVC，CVC Lite，CVC3）中的第四类，但未直接合并任何先前版本的代码。 如果您在工作中使用CVC4或将其合并到自己的软件中，我们邀请您向我们发送说明并链接到您的项目/软件，以便我们可以在“页面上将其链接。 CVC4旨在成为一个开放且可扩展的SMT引擎。 它可以用作独立工具或库。 它旨在提高性能并减少其前代产品的内存开销。 它完全用C ++编写，并在开源软件许可下

  3. 所属分类：其它

    • 发布日期：2021-02-17
    • 文件大小：9437184
    • 提供者：weixin_42101720

  1. 家庭作业可访问性：GT BootCamp的HW-1-源码

  2. 家庭工作可及性 GT BootCamp Preston Bradford的HW-1 版权 特此免费授予获得该软件和相关文档文件（“软件”）副本的任何人无限制使用软件的权利，包括但不限于使用，复制，修改，合并的权利，发布，分发，再许可和/或出售本软件的副本，并允许具备软件的人员这样做，但须满足以下条件： 以上版权声明和本许可声明应包含在本软件的所有副本或大部分内容中。 该软件按“原样”提供，不提供任何形式的明示或暗示担保，包括但不限于对适销性，特定目的的适用性和非侵权性的担保。 无论是由于

  3. 所属分类：其它

    • 发布日期：2021-02-16
    • 文件大小：49283072
    • 提供者：weixin_42099070

  1. 代码重构：此项目的目的是通过确保其符合可访问性标准并在项目开始时修复不符合这些标准的任何项目来改善可访问性。 未能达到可访问性标准将使公司面临潜在的诉讼，原因是该公司未能为残疾人士提供平等的网站可访问性。 该项目使站点符合指定的可访问性标准

  2. 代码重构 该项目的目的是通过确保其满足可访问性标准并修复项目开始时不符合这些标准的任何项目来改善可访问性。 未能达到可访问性标准将使公司面临潜在的诉讼，原因是该公司未能为残疾人士提供平等的网站可访问性。 该项目使站点符合指定的可访问性标准。 除了符合无障碍标准外； 还对网站，HTML和CSS进行了审查，以确定是否存在任何需要改进的地方以支持网站的可访问性和功能。 除了解决所有可访问性问题之外，本次评测还对功能进行了一些改进，并简化了代码。 下面列出了完整的摘要更改，在文件中注释了特定的更改以更

  3. 所属分类：其它

    • 发布日期：2021-02-12
    • 文件大小：49283072
    • 提供者：weixin_42109639

  1. 调查传播算法和蚁群算法相结合求解可满足性问题

  2. 调查传播算法和蚁群算法相结合求解可满足性问题

  3. 所属分类：其它

    • 发布日期：2021-02-09
    • 文件大小：102400
    • 提供者：weixin_38722944
« 12 3 4 5 6 7 8 9 10 ... 43 »