桂林電子科技大學(xué)計(jì)算機(jī)與信息安全學(xué)院導(dǎo)師：李鳳英

發(fā)布時(shí)間：2021-11-20 編輯：考研派小莉推薦訪問(wèn)：

桂林電子科技大學(xué)計(jì)算機(jī)與信息安全學(xué)院導(dǎo)師：李鳳英內(nèi)容如下，更多考研資訊請(qǐng)關(guān)注我們網(wǎng)站的更新！敬請(qǐng)收藏本站，或下載我們的考研派APP和考研派微信公眾號(hào)（里面有非常多的免費(fèi)考研資源可以領(lǐng)取，有各種考研問(wèn)題，也可直接加我們網(wǎng)站上的研究生學(xué)姐微信，全程免費(fèi)答疑，助各位考研一臂之力，爭(zhēng)取早日考上理想中的研究生院校。）

+桂林電子科技大學(xué) 研究生
微信,為你答疑,送資源

桂林電子科技大學(xué)計(jì)算機(jī)與信息安全學(xué)院導(dǎo)師：李鳳英正文

[導(dǎo)師姓名]
李鳳英

[所屬院校]
桂林電子科技大學(xué)

[基本信息]
導(dǎo)師姓名：李鳳英
性別：
人氣指數(shù)：2320
所屬院校：桂林電子科技大學(xué)
所屬院系：計(jì)算機(jī)與信息安全學(xué)院
職稱：副教授
導(dǎo)師類型：碩導(dǎo)
招生專業(yè)：計(jì)算機(jī)科學(xué)與技術(shù)（學(xué)術(shù)型）、軟件工程（專業(yè)學(xué)位）
研究領(lǐng)域：Petri網(wǎng)理論與應(yīng)用，智能規(guī)劃，形式化方法

[通訊方式]
電子郵件：lfy@guet.edu.cn

[個(gè)人簡(jiǎn)述]
2011年12月畢業(yè)于西安電子科技大學(xué)，獲工學(xué)博士學(xué)位。主持廣西自然科學(xué)基金項(xiàng)目、廣西可信軟件重點(diǎn)實(shí)驗(yàn)室基金項(xiàng)目各1項(xiàng)。作為主要成員參與完成國(guó)家自然科學(xué)基金項(xiàng)目共3項(xiàng)。在包括《計(jì)算機(jī)學(xué)報(bào)》、《控制與決策》等在內(nèi)的著名期刊和重要會(huì)議上發(fā)表論文10余篇，EI收錄9篇。

[科研工作]
在研項(xiàng)目：[1] 國(guó)家自然科學(xué)基金項(xiàng)目：基于抽象和符號(hào)技術(shù)的并發(fā)軟件驗(yàn)證研究[2] 廣西自然科學(xué)基金項(xiàng)目：賦時(shí)Petri網(wǎng)的符號(hào)分析技術(shù)及其應(yīng)用研究[2] 廣西可信軟件重點(diǎn)實(shí)驗(yàn)室項(xiàng)目：基于ZBDD的裝配序列規(guī)劃研究主要科研論文：[1] 李鳳英, 古天龍, 徐周波. Petri網(wǎng)的符號(hào)ZBDD可達(dá)樹(shù)分析技術(shù). 計(jì)算機(jī)學(xué)報(bào), 2009, 32(12): 2420-2428[2] 李鳳英, 古天龍. 柔性制造系統(tǒng)中生產(chǎn)調(diào)度問(wèn)題零壓縮二叉決策圖算法. 控制與決策, 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] 李鳳英, 古天龍, 常亮, 徐周波. 基于賦時(shí)Petri網(wǎng)的裝配建模研究. 機(jī)械科學(xué)與技術(shù), 2012, 31(7): 1115-1120[6] 李鳳英, 古天龍, 常亮, 徐周波. 一種基于賦時(shí)Petri網(wǎng)和ZBDD裝配序列規(guī)劃方法. 計(jì)算機(jī)科學(xué), 2012, 39(2): 170-174[7] 李鳳英, 古天龍. 基于Petri網(wǎng)啟發(fā)式搜索的裝配序列規(guī)劃. 系統(tǒng)仿真學(xué)報(bào), 2009, 20: 152-155[8] 李鳳英, 古天龍, 侯杰. 基于賦時(shí)Petri網(wǎng)的裝配序列規(guī)劃符號(hào)求解. 桂林電子科技大學(xué)學(xué)報(bào), 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 網(wǎng)調(diào)度問(wèn)題的符號(hào)求解技術(shù). 系統(tǒng)仿真學(xué)報(bào), 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] 徐周波, 古天龍, 常亮, 李鳳英. 約束滿足問(wèn)題求解的符號(hào)OBDD桶消元算法. 計(jì)算機(jī)科學(xué), 2011, 38(7): 200-202講授課程：[1] 計(jì)算機(jī)科學(xué)導(dǎo)論（本科生基礎(chǔ)必修課）[2] 數(shù)據(jù)庫(kù)系統(tǒng)原理（本科生專業(yè)基礎(chǔ)必修課）[3] 信息檢索（碩士生學(xué)位課）

[教育背景]
以上老師的信息來(lái)源于學(xué)校網(wǎng)站，如有更新或錯(cuò)誤，請(qǐng)聯(lián)系我們進(jìn)行更新或刪除，聯(lián)系方式

添加桂林電子科技大學(xué)學(xué)姐微信，或微信搜索公眾號(hào)“考研派小站”，關(guān)注[考研派小站]微信公眾號(hào)，在考研派小站微信號(hào)輸入[桂林電子科技大學(xué)考研分?jǐn)?shù)線、桂林電子科技大學(xué)報(bào)錄比、桂林電子科技大學(xué)考研群、桂林電子科技大學(xué)學(xué)姐微信、桂林電子科技大學(xué)考研真題、桂林電子科技大學(xué)專業(yè)目錄、桂林電子科技大學(xué)排名、桂林電子科技大學(xué)保研、桂林電子科技大學(xué)公眾號(hào)、桂林電子科技大學(xué)研究生招生）]即可在手機(jī)上查看相對(duì)應(yīng)桂林電子科技大學(xué)考研信息或資源。