桂林电子科技大学计算机与信息安全学院导师：李凤英
发布时间：2021-11-20 编辑：考研派小莉 推荐访问：
桂林电子科技大学计算机与信息安全学院导师：李凤英的内容如下，更多考研资讯请关注我们考研派网站的更新！敬请收藏本站。或下载我们的考研派APP和考研派微信公众号（里面有非常多的免费考研资源可以领取哦）[桂林电子科技大学研究生院导师介绍：玉振明]
[桂林电子科技大学研究生院导师介绍：周旦]
[桂林电子科技大学研究生院导师介绍：唐善茂]
[桂林电子科技大学研究生院导师介绍：任汝娟]
[桂林电子科技大学研究生院导师介绍：赵相忠]
[桂林电子科技大学研究生导师介绍：周德俭]
桂林电子科技大学学姐微信
为你答疑,送资源
95%的同学还阅读了：
[2022桂林电子科技大学研究生招生目录]
[桂林电子科技大学研究生分数线[2013-2021]]
[桂林电子科技大学王牌专业排名]
[桂林电子科技大学考研难吗]
[桂林电子科技大学考研群]
[桂林电子科技大学研究生学费]
桂林电子科技大学保研夏令营
桂林电子科技大学考研调剂2022最新信息
[桂林电子科技大学研究生辅导]
[考研国家线[2006-2021]]
[2022年考研时间：报名日期和考试时间]
桂林电子科技大学计算机与信息安全学院导师：李凤英正文
[导师姓名]
李凤英
[所属院校]
桂林电子科技大学
[基本信息]
导师姓名：李凤英
性别：
人气指数：2320
所属院校：桂林电子科技大学
所属院系：计算机与信息安全学院
职称：副教授
导师类型：硕导
招生专业：计算机科学与技术（学术型）、软件工程（专业学位）
研究领域：Petri网理论与应用，智能规划，形式化方法
[通讯方式]
电子邮件：lfy@guet.edu.cn
[个人简述]
2011年12月毕业于西安电子科技大学，获工学博士学位。主持广西自然科学基金项目、广西可信软件重点实验室基金项目各1项。作为主要成员参与完成国家自然科学基金项目共3项。在包括《计算机学报》、《控制与决策》等在内的著名期刊和重要会议上发表论文10余篇，EI收录9篇。
[科研工作]
在研项目：[1] 国家自然科学基金项目：基于抽象和符号技术的并发软件验证研究[2] 广西自然科学基金项目：赋时Petri网的符号分析技术及其应用研究[2] 广西可信软件重点实验室项目：基于ZBDD的装配序列规划研究主要科研论文：[1] 李凤英, 古天龙, 徐周波. Petri网的符号ZBDD可达树分析技术. 计算机学报, 2009, 32(12): 2420-2428[2] 李凤英, 古天龙. 柔性制造系统中生产调度问题零压缩二叉决策图算法. 控制与决策, 2010, 25(5): 657-661[3] Fengying Li, Tianlong Gu, Liang Chang. A symbolic OBDD-based algorithm for assembly sequence planning. Advanced Materials Research, 2010, 97-101: 2444-2448[4] Fengying Li, Tianlong Gu, Guoyong Cai, Liang Chang. Symbolic ZBDD representations for mechanical assembly sequences. Proceedings of the 7th International Conference on Intelligent Information Processing, 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] Jie Hou, Fengying Li, Huijiao Wang. An ordered binary decision diagram model for production knowledge representation and its reasoning. Proceedings of Third International Conference on Genetic and Evolutionary Computing, 2009: 166-168[10] Jie Hou, Fengying Li, Huijiao Wang. Petri net model for concurrent control of database system. Proceedings of 2010 International Conference on Intelligent Computing and Integrated Systems, 2010: 813-815[11] Qianjin Wei, Tianlong Gu, Fengying Li, Guoyong Cai. Symbolic representation of indiscernibility relation using ZBDDs. Proceedings of the 7th International Conference on Intelligent Information Processing, 2012: 216-225[12] 古天龙, 李凤英. 一类Petri 网调度问题的符号求解技术. 系统仿真学报, 2005, 17: 148-150[13] Zhoubo Xu, Tianlong Gu, Liang Chang, Fengying Li. A novel symbolic OBDD algorithm for generating mechanical assembly sequences using decomposition approach. Journal of Advanced Materials Research, 201-203(2011): 24-29. (EI )[14] Zhoubo Xu, Tianlong Gu, Liang Chang. A novel symbolic OBDD algorithm for generating mechanical assembly sequences using decomposition approach. Advanced Materials Research, 2011, 201-203: 24-29[15] 徐周波, 古天龙, 常亮, 李凤英. 约束满足问题求解的符号OBDD桶消元算法. 计算机科学, 2011, 38(7): 200-202讲授课程：[1] 计算机科学导论 （本科生基础必修课）[2] 数据库系统原理 （本科生专业基础必修课）[3] 信息检索 （硕士生学位课）
[教育背景]
添加桂林电子科技大学学姐微信，或微信搜索公众号“考研派之家”，关注【考研派之家】微信公众号，在考研派之家微信号输入【桂林电子科技大学考研分数线、桂林电子科技大学报录比、桂林电子科技大学考研群、桂林电子科技大学学姐微信、桂林电子科技大学考研真题、桂林电子科技大学专业目录、桂林电子科技大学排名、桂林电子科技大学保研、桂林电子科技大学公众号、桂林电子科技大学研究生招生）】即可在手机上查看相对应桂林电子科技大学考研信息或资源。
本文来源：http://m.okaoyan.com/guilindianzikejidaxue/yanjiushengdaoshi_527722.html
