李凤英 - 桂林电子科技大学 - 计算机与信息安全学院

个人简介

个人简介 2011年12月毕业于西安电子科技大学，获工学博士学位。主持广西自然科学基金项目、广西可信软件重点实验室基金项目各1项。作为主要成员参与完成国家自然科学基金项目共3项。在包括《计算机学报》、《控制与决策》等在内的著名期刊和重要会议上发表论文10余篇，EI收录9篇。目前研究方向为Petri网理论与应用，智能规划，形式化方法。在研项目：[1]国家自然科学基金项目：基于抽象和符号技术的并发软件验证研究[2]广西自然科学基金项目：赋时Petri网的符号分析技术及其应用研究[2]广西可信软件重点实验室项目：基于ZBDD的装配序列规划研究主要科研论文：[1]李凤英,古天龙,徐周波.Petri网的符号ZBDD可达树分析技术.计算机学报,2009,32(12):2420-2428[2]李凤英,古天龙.柔性制造系统中生产调度问题零压缩二叉决策图算法.控制与决策,2010,25(5):657-661[3]FengyingLi,TianlongGu,LiangChang.AsymbolicOBDD-basedalgorithmforassemblysequenceplanning.AdvancedMaterialsResearch,2010,97-101:2444-2448[4]FengyingLi,TianlongGu,GuoyongCai,LiangChang.SymbolicZBDDrepresentationsformechanicalassemblysequences.Proceedingsofthe7thInternationalConferenceonIntelligentInformationProcessing,2012:208-215[5]李凤英,古天龙,常亮,徐周波.基于赋时Petri网的装配建模研究.机械科学与技术,2012,31(7):1115-1120[6]李凤英,古天龙,常亮,徐周波.一种基于赋时Petri网和ZBDD装配序列规划方法.计算机科学,2012,39(2):170-174[7]李凤英,古天龙.基于Petri网启发式搜索的装配序列规划.系统仿真学报,2009,20:152-155[8]李凤英,古天龙,侯杰.基于赋时Petri网的装配序列规划符号求解.桂林电子科技大学学报,2010,30(2):146-149[9]JieHou,FengyingLi,HuijiaoWang.Anorderedbinarydecisiondiagrammodelforproductionknowledgerepresentationanditsreasoning.ProceedingsofThirdInternationalConferenceonGeneticandEvolutionaryComputing,2009:166-168[10]JieHou,FengyingLi,HuijiaoWang.Petrinetmodelforconcurrentcontrolofdatabasesystem.Proceedingsof2010InternationalConferenceonIntelligentComputingandIntegratedSystems,2010:813-815[11]QianjinWei,TianlongGu,FengyingLi,GuoyongCai.SymbolicrepresentationofindiscernibilityrelationusingZBDDs.Proceedingsofthe7thInternationalConferenceonIntelligentInformationProcessing,2012:216-225[12]古天龙,李凤英.一类Petri网调度问题的符号求解技术.系统仿真学报,2005,17:148-150[13]ZhouboXu,TianlongGu,LiangChang,FengyingLi.AnovelsymbolicOBDDalgorithmforgeneratingmechanicalassemblysequencesusingdecompositionapproach.JournalofAdvancedMaterialsResearch,201-203(2011):24-29.(EI)[14]ZhouboXu,TianlongGu,LiangChang.AnovelsymbolicOBDDalgorithmforgeneratingmechanicalassemblysequencesusingdecompositionapproach.AdvancedMaterialsResearch,2011,201-203:24-29[15]徐周波,古天龙,常亮,李凤英.约束满足问题求解的符号OBDD桶消元算法.计算机科学,2011,38(7):200-202讲授课程：[1]计算机科学导论（本科生基础必修课）[2]数据库系统原理（本科生专业基础必修课）[3]信息检索（硕士生学位课）

研究领域

查看导师新发文章（温馨提示：请注意重名现象，建议点开原文通过作者单位确认）

研究领域：Petri网理论与应用，智能规划，形式化方法