万武族
- 作品数：4 被引量：6H指数：1
- 供职机构：贵州大学更多>>
- 发文基金：贵州省省长基金贵州省优秀科技教育人才省长资金项目国家自然科学基金更多>>
- 相关领域：自动化与计算机技术农业科学更多>>
- 求解SAT问题的线性半定规划算法
- 2009年
- 将线性半定规划应用到SAT问题的求解过程中。首先将SAT实例转化为整数规划问题,然后松弛为线性规划模型,最后再转化为一般的线性半定规划模型去求解。用SDPA-M软件求解线性半定规划问题后,规定了如何根据目标函数值去判定SAT实例和当CNF公式可满足时如何根据最优指派的概率xi*(i=1,…,n)去进行变元赋值,以期求得该公式的可满足指派。上述算法不仅可以判定SAT问题,而且对于符合算法规定可满足的CNF公式皆可给出一个可满足指派。求解SAT问题的线性半定规划算法在文章中被描述并被给予相应算例。
- 李厚银许道云万武族
- 关键词：SAT问题整数规划线性规划
- 决策树分类算法C4.5中连续属性过程处理的改进被引量：5
- 2010年
- 决策树分类算法C4.5是数据挖掘中最常用、最经典的分类算法。但是C4.5算法也存在一些不足之处,针对C4.5算法处理连续属性比较耗时的特点,本文对连续的处理过程进行改进,以提高算法的计算效率。改进的C4.5算法与原C4.5算法相比,在构造决策树时具有相同的准确率和更高的计算速度。
- 李慧慧万武族
- 关键词：数据挖掘决策树C4.5算法
- 决策树分类算法在农作物病虫害诊断系统中的研究与应用
- 农作物是人类生产和生活所必需的资源，农作物的产量和质量直接影响到人类的生活，而病虫害是农作物生产过程中的重要制约因素。由于受全球气候变暖、生态环境恶化等因素影响，农作物病虫害发生频率越来越高。虽然我国是一个农业大国，但是...
- 万武族
- 关键词：决策树技术C4.5算法农作物病虫害
- 文献传递
- 一种货运列车编组调度模型及算法研究被引量：1
- 2009年
- 根据货运列车编组调度的基本要求,建立了配流模型。利用编组场待编组车节信息,结合到达场列车的实时信息,设计了信息反馈模型。根据配流模型和反馈模型,对列车进行解体和组编,考虑了军需物资和灾需物资的车辆信息,通过调整模型参数,使得模型继续适用那些由于铁路中断,需要绕行的货运列车。改变了传统算法只考虑局部车组信息,而忽视全局车组信息的弊端。因此,该模型具有灵活性。研究了基本的编组调度算法,使用贪心算法和动态规划算法相结合来求解,并分析了该算法的可行性。
- 万武族王晓峰
- 关键词：配流编组调度贪心算法
