您的位置： 专家智库 > >

国家自然科学基金(61070084)

作品数：6 被引量：9H指数：2
相关作者：蔡增玉谷文祥李童张日明崔艳茹更多>>
相关机构：东北师范大学郑州轻工业学院大连海洋大学更多>>
发文基金：国家自然科学基金吉林省科技发展计划基金中央高校基本科研业务费专项资金更多>>
相关领域：自动化与计算机技术交通运输工程更多>>

文献类型

  • 6篇中文期刊文章

领域

  • 5篇自动化与计算...
  • 1篇交通运输工程

主题

  • 2篇SAT问题
  • 1篇遗传算法
  • 1篇知识图
  • 1篇上界
  • 1篇社会
  • 1篇社会性
  • 1篇适应度
  • 1篇适应度函数
  • 1篇子句
  • 1篇自然数编码
  • 1篇网络
  • 1篇路由
  • 1篇DTN网络
  • 1篇MI
  • 1篇车辆
  • 1篇车辆路径
  • 1篇N-
  • 1篇MAX
  • 1篇PROPHE...

机构

  • 4篇东北师范大学
  • 2篇郑州轻工业学...
  • 1篇大连海洋大学
  • 1篇长春汽车工业...
  • 1篇河南工业职业...
  • 1篇文学院
  • 1篇长春建筑学院

作者

  • 2篇蔡增玉
  • 2篇谷文祥
  • 1篇周俊萍
  • 1篇李东兵
  • 1篇谭前进
  • 1篇朱铁英
  • 1篇李淑霞
  • 1篇甘勇
  • 1篇贺蕾
  • 1篇周治国
  • 1篇姜蕴晖
  • 1篇龚茜茹
  • 1篇张建伟
  • 1篇刘书如
  • 1篇崔艳茹
  • 1篇殷明浩
  • 1篇张日明
  • 1篇李童

传媒

  • 1篇河南师范大学...
  • 1篇物流技术
  • 1篇计算机工程
  • 1篇微电子学与计...
  • 1篇吉林农业科技...
  • 1篇智能系统学报

年份

  • 1篇2021
  • 1篇2014
  • 4篇2012
共 6 条 记 录，以下是 1-6
全选 清除 导出
排序方式：
最坏情况下Min-2SAT问题的上界被引量：1
2012年
最坏情况下MaxSAT问题上界的研究已成为一个热门的研究领域.与MaxSAT问题相对的是MinSAT问题,在求解某些组合优化问题时,将其转化为MinSAT问题比转化为MaxSAT问题有着更快的速度,因此对MinSAT问题进行研究.针对Min-2SAT问题提出算法MinSATAlg,该算法首先利用化简算法Simplify对公式进行化简,然后通过分支树的方法对不同情况的子句进行分支.从子句数目的角度分析算法的时间复杂度并证明Min-2SAT问题可在O(1.134 3m)时间内求解,对于每个变量至多出现在3个2-子句中的情况,得到最坏情况下的上界为O(1.122 5n),其中n为变量的数目.
谷文祥姜蕴晖周俊萍殷明浩
基于无交叉遗传算法的物流车辆路径问题研究被引量：2
2012年
设计并实现了一种求解基本车辆路径问题的无交叉遗传算法,阐述了无交叉遗传算法求解物流车辆路径问题的关键技术,包括编码方案、初始种群生成方案、适应度函数、种群选择方案和变异操作等;并对比了使用目标函数倒数法和目标函数做差法构造适应度函数时的求解效果。实验结果表明,给出的无交叉遗传算法在求解车辆路径问题上具有良好的性能。
蔡增玉谭前进甘勇刘书如
关键词：车辆路径自然数编码适应度函数
智能规划的研究与发展
2021年
智能规划是人工智能领域中极为重要的研究方向,在60多年的研究历程中,产生了许多优良的求解方法,也解决了实现生活中的许多问题。特别是规划技术在航天器"Deep Space One"以及"沙漠风暴行动"等领域中的成功应用,更加激发了人们的研究热情。文章从智能规划的发展与分类入手,详细列出各种智能规划的联系与特点,并进行了比较与解析,旨在让对智能规划感兴趣的学者们对该领域有一个比较全面的了解。
刘莹李东兵谷文祥
SAT问题中隐蔽集求解的改进被引量：1
2014年
隐蔽集(backdoor sets)作为隐藏结构的一种,能有效地提高难求解问题的求解效率,近年来成为人们研究的热点.隐蔽集中变量的赋值能有效减少SAT问题求解的搜索分支,从而减少问题求解的时间复杂度和空间复杂度.为提高SAT问题的求解效率,提出一种求解SAT问题隐蔽集的改进算法,并给出最小隐蔽集的定义.在该算法中加入启发式,使求解出的隐蔽集变量个数较少,最后给出隐蔽集问题的总结和展望.
李淑霞龚茜茹谷文祥
关键词：SAT问题
基于社会性的DTN网络路由算法研究被引量：4
2012年
针对DTN网络中的消息传输问题,结合概率路由算法PROPHET和社会性路由算法SimBet的基本思想,提出一种DTN网络路由算法——ProSimbet。在选择转发节点时,综合考虑基于历史相遇记录的概率估计和节点的社会性这2个指标,从而降低消息转发次数。实验结果表明,在密集数据集INFOCOM06上,ProSimBet、SimBet、PROPHET和ER这4种路由算法的消息成功转发数目比较接近。在稀疏数据集MIT上,ProSimBet在消息转发次数上比SimBet降低26.1%,在消息成功转发数目上比PROPHET提高7.83%。
朱铁英崔艳茹李童周治国张日明
关键词：DTN网络社会性
具有预测功能的规划识别算法研究被引量：1
2012年
对规划识别中各种事件之间的关系进行了详尽的分析,根据分析结果,给出了具有预测功能的规划识别算法的知识图和规划识别算法,新的规划识别算法采用了自下而上和自上而下相结合生成解图的方法,对Kautz方法、基于规划知识图的方法和具有预测功能的规划识别算法在知识表示结构、搜索方法、冲突解决和求解结果等方面进行了对比和讨论.最后给出了实验结果,结果显示随着领域知识的增加识别算法所需的时间线性增加.
蔡增玉张建伟贺蕾
关键词：知识图
全选 清除 导出
共1页<1>
聚类工具0