刘燕丽

作品数:18被引量:53H指数:4
导出分析报告
供职机构:武汉科技大学理学院更多>>
发文主题:数据结构实践教学教学方法课堂教学子句更多>>
发文领域:自动化与计算机技术文化科学更多>>
发文期刊:《实验技术与管理》《计算机学报》《计算机工程与设计》《计算机教育》更多>>
所获基金:国家自然科学基金湖北省自然科学基金湖北省教育厅科学技术研究项目更多>>
-

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
条 记 录,以下是1-10
视图:
排序:
基于渐增式奖励上界的最大k-plex问题求解
《华中科技大学学报(自然科学版)》2024年第11期43-49,共7页刘燕丽 迟思义 刘浪 何琨 
国家自然科学基金资助项目(U22B2017);湖北省教育厅资助项目(Q20211111)。
针对最大k-plex完备算法的分支策略影响剪枝率这一问题,提出一种基于强化学习和上界奖励的顶点策略.该策略基于划分式定界函数获得上界,利用上界的变化值奖励分支顶点,评估分支动作对子问题的影响程度;实现了渐增式的奖励计算,以减少学...
关键词:最大k-plex问题 非确定多项式复杂度的难度问题 强化学习 奖励函数 分支策略 
利用分支学习优化子图同构的搜索
《软件导刊》2024年第3期88-93,共6页张梓涵 刘燕丽 李春丽 迟思义 
国家自然科学基金项目(U22B2017);湖北省教育厅科学研究计划青年项目(Q20211111)。
子图同构问题是经典的、具有广泛实际应用的NP完全问题。针对精确算法的分支策略依赖顶点度,计算代价高的问题,提出结合无解记录和顶点度约束规则,通过混合分支学习策略减少求解时间的方法(SIBL)。无解记录是指算法每次重启前无目标解...
关键词:NP完全问题 子图同构问题 分支定界 约束规则 分支策略 
基于搜索信息反馈策略的MaxSAT非完备求解算法
《计算机学报》2023年第4期711-726,共16页徐振兴 何琨 李初民 刘燕丽 郑迥之 
科技部高端外国专家引进计划项目智能学习与优化核心算法研究(No.G2022154012L);微软亚洲研究院联合研究基金基于学习的组合优化问题求解(No.100338928)资助.
MaxSAT问题是SAT可满足性问题的优化形式,具有NP难度.本文分析了传统的MaxSAT局部搜索求解器对工业算例求解存在的局限性,并基于此分析提出了新的初始解构造算法ASIF.ASIF是一个基于树形赋值的初始解构造算法,其中包含了一个全局信息反...
关键词:组合优化 最大可满足性问题 非完备算法 搜索信息反馈 赋值算法 
基于顶点冲突学习的最大公共子图算法
《计算机应用》2021年第6期1756-1760,共5页王宇 刘燕丽 陈劭武 
湖北省大学生创新训练项目(S201910488044);冶金工业过程系统科学湖北重点实验室开放基金资助项目(Y201716)。
针对最大公共子图(MCS)的传统分支策略依赖于图的静态属性,缺少学习历史搜索信息的问题,提出了基于顶点冲突学习的分支策略。首先,把上界的减少值作为分支点完成匹配动作的奖励;其次,由于当最优解被更新时,得到的最优解是分支点不断推...
关键词:组合优化问题 NP-HARD问题 强化学习 算法设计 最大公共子图 
基于动态奖惩的分支策略的SAT完备算法被引量:3
《计算机应用》2017年第12期3487-3492,共6页刘燕丽 徐振兴 熊丹 
湖北省教育厅科学研究计划项目(B2016015)~~
针对学习子句数量有限或相似度高导致历史信息有限、搜索树不平衡的问题,提出了基于动态奖惩的分支策略。首先,对每次单子句传播的变元进行惩罚,依据变元是否产生冲突和产生冲突的间隔,确立不同的惩罚函数;其次,在学习阶段,利用学习子...
关键词:NP完全问题 可满足性问题 冲突驱动子句学习 完备算法 分支策略 
关系数据库范式理论的实例教学法探讨被引量:4
《高师理科学刊》2016年第2期66-69,共4页余艳 邢远秀 刘燕丽 
武汉科技大学教学研究项目(2012X51);武汉科技大学研究生教学研究项目(2014JY33);湖北省自然科学基金项目(2015CFB602)
关系数据库规范化理论是本科数据库课程的重要内容之一.为提升教学质量,以范式理论的教学问题为例,探讨了实例教学的重要性和具体实施方法.在教学环节中精心设计了4个教学实例,阐明了范式理论的意义,辅助了范式理论的讲解,并引导学生积...
关键词:关系数据库 规范化理论 范式 实例教学 
基于环型扩展推理规则的MaxSAT完备算法被引量:3
《南京大学学报(自然科学版)》2015年第4期762-771,共10页刘燕丽 黄飞 张婷 
国家自然科学基金(51306133);武汉科技大学校基金(2015XZ031)
最大可满足性问题(MaxSAT)是可满足性问题的优化求解问题,是经典的NP难问题.基于分支限界的MaxSAT完备算法采用推理规则、失败文字检测等方法缩短算法计算时间.推理规则产生的新子句可以构成更多的冲突集,从而有效地提高了二叉树的剪枝...
关键词:NP难问题 可满足性问题 最大可满足性问题 分支限界 推理规则 环型结构 
基于扩展失败文字检测的MaxSAT完备算法被引量:2
《计算机工程与设计》2015年第3期669-673,共5页刘燕丽 朱文杰 张婷 
国家自然科学基金项目(51306133)
为提高MaxSAT完备算法剪枝率和运算效率,分析失败文字检测寻找冲突集的过程,提出扩展失败文字检测方法。通过延长失败文字搜索冲突的路径,形成搜索1步、2步和任意步的递进失败文字检测方式,实现改进的MaxsatzEF算法。实验测试了MaxSAT...
关键词:NP难问题 可满足性问题 最大可满足性问题 分支限界 失败文字检测 
基于最大可满足性问题的专业实验方案设计
《软件导刊》2015年第2期37-39,共3页刘燕丽 余艳 张婷 
基于最大可满足性问题的专业实验方案以组合拍卖为应用背景,采用命题逻辑建模、分支限界算法,针对问题设计优化的存储结构。专业实验方案展现了一个完整的工业问题的解决过程,内容涉及程序设计语言、数据结构、离散数学、算法设计等计...
关键词:实验教学 算法设计 数据结构 NP问题 
数据结构实践教学内容设置的分析与思考被引量:22
《实验技术与管理》2014年第4期170-173,共4页余艳 刘燕丽 李琳娜 
武汉科技大学教学研究项目"‘数据结构’理论及实践教学研究"(2012X51)
数据结构实践教学是课堂理论教学的有效延伸。讨论了数据结构实践教学环节中存在的问题,针对这些问题思考提升实践教学质量的方法,并着重从实践教学内容的设置方面进行了调查和改革,在实践教学中取得了良好的效果。
关键词:数据结构 实践教学 教学改革 
检索报告 对象比较 聚类工具 使用帮助 返回顶部