刘燕丽
- 作品数：18 被引量：52H指数：4
- 供职机构：武汉科技大学理学院更多>>
- 发文基金：国家自然科学基金湖北省自然科学基金湖北省教育厅科学技术研究项目更多>>
- 相关领域：自动化与计算机技术文化科学更多>>
- 利用分支学习优化子图同构的搜索
- 2024年
- 子图同构问题是经典的、具有广泛实际应用的NP完全问题。针对精确算法的分支策略依赖顶点度,计算代价高的问题,提出结合无解记录和顶点度约束规则,通过混合分支学习策略减少求解时间的方法(SIBL)。无解记录是指算法每次重启前无目标解的分支路径,为了去除无效搜索,首先移除目标图中顶点度小于当前模式图顶点的候选顶点,然后移除出现在无解记录中的顶点,最后依据顶点分值进行降序排序,优先选择分值大的顶点。新策略提供了利用上界下降量计算单个顶点和顶点匹配对的两种分值计算方式,并交替使用两种分值选择分支顶点以快速寻找目标解,避免贪心选择的局部最优问题。通过测试14220个来自生物、图像等领域的算例发现,SIBL相较于当前领先的Glasgow、McSplit+RL_SI分别多解决了10.08%、19.88%的中等难度算例,验证了分支学习能有效改进子图同构算法的求解效率。
- 张梓涵刘燕丽李春丽迟思义
- 关键词：NP完全问题
- 基于PIC18F串口到以太网的接口设计
- 2012年
- 在工业领域,大量机器设备需要接入网络,实现网络中心控制。以PIC18F452单片机为基础,完成了以太网接口的硬件平台设计,采用Microchip TCP/IP协议,完成系统软件的设计。该接口完成了远程控制设备功能,可以对设备状态进行监控,也可以对设备数据进行信息采集。该接口性能稳定,成本低,是工业领域非常实用的产品。
- 刘燕丽张镇沈华斌
- 关键词：以太网TCP/IPPIC微处理器
- 基于环型扩展推理规则的MaxSAT完备算法被引量：3
- 2015年
- 最大可满足性问题(MaxSAT)是可满足性问题的优化求解问题,是经典的NP难问题.基于分支限界的MaxSAT完备算法采用推理规则、失败文字检测等方法缩短算法计算时间.推理规则产生的新子句可以构成更多的冲突集,从而有效地提高了二叉树的剪枝率和算法性能.在已有的工作基础上,针对环型结构冲突集进行分析,找到与步长大于2的环型结构冲突集等价的新子句集,并利用整数规划证明了新子句集和冲突集的MaxSAT等价性.该环型扩展推理规则产生的新3元子句亦可以提高冲突集数,提高下界.在Maxsatz2013算法的基础上实现了新算法Maxsatce.测试了MaxSAT竞赛4个类别算例集.实验结果表明环型扩展推理规则对子句长度大于等于3的MaxSAT问题,可以提高二叉树分支点的下界值,最终有效地缩减算例运算时间.
- 刘燕丽黄飞张婷
- 关键词：NP难问题分支限界
- 基于优化冲突集提高下界的MAXSAT完备算法被引量：5
- 2013年
- 最大可满足性问题(MAXSAT)是经典的NP完全问题SAT的一个扩展问题.基于分支限界设计MAXSAT完备算法时,如何有效地提高下界是设计高效算法的关键和难点.基于优先找到规模小、结构简单的冲突集的思想,在Maxsatz算法的基础上,提出了改进的算法Maxsatz2013.通过使用推理规则优先、改变单子句的传播顺序、进一步失败文字检测这3个优化策略,增加了检测到的冲突集数,从而有效地提高了下界.测试了MAXSAT 4个类别共800多个算例.实验结果表明,这3个优化冲突集的策略是可行且有效的,所提出的算法在每一类算例上均明显地提高了计算效率.
- 刘燕丽李初民何琨
- 关键词：NP完全
- 基于扩展失败文字检测的MaxSAT完备算法被引量：2
- 2015年
- 为提高MaxSAT完备算法剪枝率和运算效率,分析失败文字检测寻找冲突集的过程,提出扩展失败文字检测方法。通过延长失败文字搜索冲突的路径,形成搜索1步、2步和任意步的递进失败文字检测方式,实现改进的MaxsatzEF算法。实验测试了MaxSAT国际竞赛4个类别的500多个算例,实验结果表明,递进失败文字检测方法找到了更多独立冲突集,可有效提高算法的下界,大幅缩短复杂算例的运行时间。
- 刘燕丽朱文杰张婷
- 关键词：NP难问题分支限界
- 高校院系教务管理系统的设计与实现——以信息与计算机科学系为例被引量：2
- 2011年
- 高校教务管理系统的设计通常针对整个学校的管理运行,而下属各院系又具备自身的特殊性。为方便信息与计算科学系的统计决策以及教职员工的信息共享、提高工作效率,设计并实现了服务于该系的教务管理信息系统,主要从系统需求分析、体系结构和系统实现3个方面展开讨论。
- 余艳刘燕丽
- 关键词：教务管理信息系统系统体系结构数据库
- 基于优化冲突集提高下界的MAXSAT完备算法
- 最大可满足性问题(MAXSAT)是经典的NP完全问题SAT的一个扩展问题.基于分支限界设计MAXSAT完备算法时,如何有效地提高下界是设计高效算法的关键和难点.基于优先找到规模小、结构简单的冲突集的思想,在Maxsatz...
- 刘燕丽李初民何琨
- 文献传递
- 基于搜索信息反馈策略的MaxSAT非完备求解算法
- 2023年
- MaxSAT问题是SAT可满足性问题的优化形式,具有NP难度.本文分析了传统的MaxSAT局部搜索求解器对工业算例求解存在的局限性,并基于此分析提出了新的初始解构造算法ASIF.ASIF是一个基于树形赋值的初始解构造算法,其中包含了一个全局信息反馈策略.该算法选取并定义了构造过程中有意义的统计量,使用这些量设计了一个全局搜索信息更新反馈机制,对初始解构造过程中的经验进行积累并为后续解的构造提供指导信息,再根据后续解的构造情况对全局经验进行反馈和更新,从而有效利用了解构造过程中的经验和信息.进一步地,将ASIF作为初始解构造算法,结合IPBMR算法中的路径截断(PB)策略,提出了新的算法PB-ASIF.实验设计与比较共分为三个阶段.第一阶段,将ASIF在300秒内首次找到的可行解与IPBMR求解300秒的结果进行对比.ASIF初始可行解更优的数量是IPBMR在300秒内求解的可行解更优数量的两倍多,其中非加权偏类算例更优解数量上前者更是后者的3.68倍.该阶段的实验结果表明,ASIF算法能快速构造优质的初始可行解.第二阶段,将PB-ASIF与IPBMR进行对比实验,在300秒求解时间内,PB-ASIF求得更优解的数量总体上是IPBMR的2.38倍,在非加权偏类算例更优解数量上前者更是后者的3.85倍.该阶段的实验结果表明,PB-ASIF算法求解工业算例的能力明显超过了IPBMR算法,有效改进了使用PB策略求解工业算例的效果.第三阶段,将PB-ASIF与其它优秀求解器进行联合求解,包括CCEHC求解器和SATLike3.0求解器.该阶段的实验结果表明,PB-ASIF算法与其它局部搜索类算法有很强的互补性,有提升其它求解器求解效果的能力.
- 徐振兴何琨李初民刘燕丽刘燕丽
- 关键词：组合优化
- 关系数据库范式理论的实例教学法探讨被引量：4
- 2016年
- 关系数据库规范化理论是本科数据库课程的重要内容之一.为提升教学质量,以范式理论的教学问题为例,探讨了实例教学的重要性和具体实施方法.在教学环节中精心设计了4个教学实例,阐明了范式理论的意义,辅助了范式理论的讲解,并引导学生积极参与到对理论知识的理解中.实践证明教学效果良好.
- 余艳邢远秀刘燕丽
- 关键词：关系数据库范式实例教学
- 数据结构实践教学内容设置的分析与思考被引量：22
- 2014年
- 数据结构实践教学是课堂理论教学的有效延伸。讨论了数据结构实践教学环节中存在的问题,针对这些问题思考提升实践教学质量的方法,并着重从实践教学内容的设置方面进行了调查和改革,在实践教学中取得了良好的效果。
- 余艳刘燕丽李琳娜
- 关键词：数据结构实践教学教学改革
