章玥

章玥，女，博士，華東師範大學副教授。

基本介紹

• 中文名：章玥
• 畢業院校：北京郵電大學
• 學位/學歷：博士
• 職業：教師
• 專業方向：軟體定義網路、網路管理與通信軟體、嵌入式系統建模
• 任職院校：華東師範大學軟體工程學院
• 職稱：講師

個人經歷

2014.1至今華東師範大學計算機科學與軟體工充旬程學院副教授

2007.07-2013.12華東師範大學軟體學院講師

2002.09-2007.07北京郵電大學交換與網路國家重點實驗室碩博連讀

1998.09-2002.07北京郵電大學計算機科學與技術學院工學學士

海外訪學研修經歷

2014.03-2015.02丹麥技術大學訪問學者國家公派青年骨幹項目

研究方向

軟體定義網路，網路管理與通信軟體，嵌入式系統建芝驗茅模

科研成果

主持項目

2014.09-2015.09 “仔驗愚基於OBD北斗的車載智慧型雲平台及示範運營”，上海張江國家自主創新示範區專項發展資金重點項目子課題

2012.02-2012.12“車載匯流排診斷適配器開發”，上海快逸行信息科技有限公司

2011.10-2012.08 “863 70101項目子課題”，國家科技部863計畫項目

2011.09-2013.08 “無線感測器網路中服務可增量部署機制研究”，教育部軟硬體協同設計技術與套用工程研究中心主任基金項目

參與項目

2017.01-2020.12 “移動群智感知中基於位置語義的情景諒殼旬府計算關鍵技術組匪民研究”，國家自然科學基金面上項目

2016.07-2019.06 “基於微晶片技術的腦活動多道記錄系統”，上海市科委重大項目

2016.01-2018.12“網路化嵌入式軟體建模與仿真”，科工局項目

2012.09-2014.09“多行業複合套用智慧型催您墓喇IC卡安全機制與評測方法研究”，上海市科委重點科技攻關項目子課題

2010.01-2012.12“感測器網路故障檢測中間件研究與開發”，國家科技部國家科技重大專項子課題

2012.01-2014.12“網構化軟體可信評估技術與工具”，國家科技部863計畫重點項目

專利及軟體著作權

[1]計算機軟體著作權登記“全國企業信用信息公示網站信息抓取軟體V1.0”：軟著登字第1141715號，登記號：2015SR254629

[2]計算機軟體著作權登記“環境監測節點布局管理軟體V1.0”證書號：軟著登字第0506856號，登記號：2013SR001094

[3]計算機軟體著作權登旋去祖記“停車場誘導軟體V1.0”證書號：軟著登字第0506561號，登記號：2013SR000799

[4]發明專利“一種多復用智慧卡形式化建模與驗證方法”（第二申請人），證書號第2213171號

論文發表

[1]Y. Zhang, N. Dragoni, and J. Wang, “A Framework and Classification for Fault Detection Approaches in Wireless Sensor Networks with an Energy Efficiency Perspective,” International Journal of Distributed Sensor Networks, vol. 2015, Article ID 678029, 11 pages, 2015. doi:10.1155/2015/678029.（SCI）

[2]H. Enemark,Y. Zhang*, N. Dragoni, and C. Orfanidis, “Energy-Efficient Fault-Tolerant Dynamic Event Region Detection in Wireless Sensor Networks,” in Vehicular Technology Conference (VTC Spring), 2015 IEEE 81st, 2015, pp. 1–5.（通訊作者）(EI)

[3]C. Orfanidis,Y. Zhang, and N. Dragoni, “Fault Detection in WSNs - An Energy Efficiency Perspective Towards Human-Centric WSNs,” in Agent and Multi-Agent Systems: Technologies and Applications SE- 24, vol. 38, G. Jezic, R. J. Howlett, and L. C. Jain, Eds. Springer International Publishing, 2015, pp. 285–300.(EI)

[4]H. Cai, C. Peng,Y. Zhang, and L. Jiang, “A Component-based Intelligent Seamless Service Migration Mechanism and Flexible Communication Protocol in Pervasive Computing Systems,” Int. J. Comput. Intell. Syst., vol. 7, no. 3, pp. 493–505, 2014.（SCI）

[5]章玥,郭建,朱曉冉等.基於Event-B方法的多套用智慧卡的建模與開發[J].計算機工程與科學, 2014, 36(10): 1943-1951. (核心CSCD)

[6]Yuan T, Tang Y, Wu X,Zhang Y, Zhu H, Guo J. Formalization and Verification of REST on HTTP Using CSP.Electron Notes Theor Comput Sci. 2014;309(0):75-93. (EI)

[7]章玥,郭建,朱曉冉.基於模型的開發方法在多套用智慧卡中的套用[J].信息網路安全, 2013 (12): 75-79.

[8]徐興元,章玥,季民河,等.農業生態環境監測中無線感測節點信號有效傳輸距離的確定[J].農業工程學報, 2013, 29(14): 164-170.(核心CSCD, EI)

[9]Zhang Y, Cai H, Zhu M. RESTful Management for Cyber-Physical Systems[C]//Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW), 2012 15th IEEE International Symposium on. IEEE, 2012: 43-47.(EI：20122215073670)

[10]Cai H, Peng C, Jiang L,Zhang Y*. A Novel Self-Adaptive Fault-Tolerant Mechanism and Its Application for a Dynamic Pervasive Computing Environment[C]Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW), 2012 15th IEEE International Symposium on. IEEE, 2012: 48-52.（通訊作者）（EI：20122215073641）

[11]Wu X,Zhang Y, Zhu H, et al. Formal Modeling and Analysis of the REST Architecture Using CSP[J]. Web Services and Formal Methods, 2012: 49. (EI：20133716725034)

[12]Cai H, Peng C,Zhang Y. A Novel Framework of Self-Adaptive Fault-Tolerant for Pervasive Computing[C]//Innovative Mobile and Internet Services in Ubiquitous Computing (IMIS), 2012 Sixth International Conference on. IEEE, 2012: 286-291. (EI: 20124315605755)

[13]Cai H; Jiang L;Zhang Y, "Context and policy based fault-tolerant scheme in mobile ubiquitous computing environment,"Industrial Electronics and Applications (ICIEA), 2012 7th IEEE Conference on, vol., no., pp.1711,1715, 18-20 July 2012 (EI: 20130115864755)

[14]Chen Z,Zhang Y. Visualized deployment of wireless sensors in ArcGIS-based environmental monitoring system[C]Electrical and Control Engineering (ICECE), 2011 International Conference on. IEEE, 2011: 1403-1406. (EI: 20114614517840)

[15]郭建,章玥.《嵌入式系統概論》課程教學改革與實踐[J].計算機工程與科學, 2011, 33(z1). (核心CSCD)

[16]Zhang Y. Service oriented management of heterogeneous wireless sensor networks[C]Wireless Communications, Networking and Mobile Computing, 2009. WiCom'09. 5th International Conference on. IEEE, 2009: 1-4.(EI: 20100112610777)

[17]章玥,邱雪松,孟洛明.基於Web Services的網路管理業務流程管理系統互動接口[J].電子與信息學報, 2008, 30(6): 1470-1474.( (核心CSCD, EI: 20082811371399)

[18]章玥,邱雪松,孟洛明.異構網路管理系統間分散式協作機制[J].計算機套用研究, 2008, 25(9): 2741-2745.(核心CSCD)

[19]章玥,邱雪松,孟洛明.網路管理系統分散式協作的業務流程分發機制[J].計算機工程,2008,34(9):33-35. (核心CSCD)

[20]章玥,邱雪松,孟洛明.面向電信運營商務過程的管理服務構建方法[J].計算機套用研究, 2008, 25(7): 2124-2128. (核心CSCD)

[21]章玥,李文璟,邱雪松,孟洛明.異構網路管理系統間動態協作體系結構[J].計算機系統套用,2008,(2):2-6. (核心CSCD)

[22]Guan D, Wang J,Zhang Y, et al.Understanding Bittorrent download performance[C]Networking, 2008. ICN 2008. Seventh International Conference on. IEEE, 2008: 330-335. (EI: 20083511492212)

[23]ZHANG Yue, QIU Xue-song and MENG Luo-ming. A Web Services-Based Dynamically Cooperative Network Management Architecture: Proceedings of the First International Conference on Communications and Networking in China（Chinacom06）[C]. Beijing, 2006.（EI: 20074610922057）

[2]H. Enemark,Y. Zhang*, N. Dragoni, and C. Orfanidis, “Energy-Efficient Fault-Tolerant Dynamic Event Region Detection in Wireless Sensor Networks,” in Vehicular Technology Conference (VTC Spring), 2015 IEEE 81st, 2015, pp. 1–5.（通訊作者）(EI)

[3]C. Orfanidis,Y. Zhang, and N. Dragoni, “Fault Detection in WSNs - An Energy Efficiency Perspective Towards Human-Centric WSNs,” in Agent and Multi-Agent Systems: Technologies and Applications SE- 24, vol. 38, G. Jezic, R. J. Howlett, and L. C. Jain, Eds. Springer International Publishing, 2015, pp. 285–300.(EI)

[4]H. Cai, C. Peng,Y. Zhang, and L. Jiang, “A Component-based Intelligent Seamless Service Migration Mechanism and Flexible Communication Protocol in Pervasive Computing Systems,” Int. J. Comput. Intell. Syst., vol. 7, no. 3, pp. 493–505, 2014.（SCI）

[5]章玥,郭建,朱曉冉等.基於Event-B方法的多套用智慧卡的建模與開發[J].計算機工程與科學, 2014, 36(10): 1943-1951. (核心CSCD)

[6]Yuan T, Tang Y, Wu X,Zhang Y, Zhu H, Guo J. Formalization and Verification of REST on HTTP Using CSP.Electron Notes Theor Comput Sci. 2014;309(0):75-93. (EI)

[7]章玥,郭建,朱曉冉.基於模型的開發方法在多套用智慧卡中的套用[J].信息網路安全, 2013 (12): 75-79.

[8]徐興元,章玥,季民河,等.農業生態環境監測中無線感測節點信號有效傳輸距離的確定[J].農業工程學報, 2013, 29(14): 164-170.(核心CSCD, EI)

[9]Zhang Y, Cai H, Zhu M. RESTful Management for Cyber-Physical Systems[C]//Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW), 2012 15th IEEE International Symposium on. IEEE, 2012: 43-47.(EI：20122215073670)

[10]Cai H, Peng C, Jiang L,Zhang Y*. A Novel Self-Adaptive Fault-Tolerant Mechanism and Its Application for a Dynamic Pervasive Computing Environment[C]Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW), 2012 15th IEEE International Symposium on. IEEE, 2012: 48-52.（通訊作者）（EI：20122215073641）

[11]Wu X,Zhang Y, Zhu H, et al. Formal Modeling and Analysis of the REST Architecture Using CSP[J]. Web Services and Formal Methods, 2012: 49. (EI：20133716725034)

[12]Cai H, Peng C,Zhang Y. A Novel Framework of Self-Adaptive Fault-Tolerant for Pervasive Computing[C]//Innovative Mobile and Internet Services in Ubiquitous Computing (IMIS), 2012 Sixth International Conference on. IEEE, 2012: 286-291. (EI: 20124315605755)

[13]Cai H; Jiang L;Zhang Y, "Context and policy based fault-tolerant scheme in mobile ubiquitous computing environment,"Industrial Electronics and Applications (ICIEA), 2012 7th IEEE Conference on, vol., no., pp.1711,1715, 18-20 July 2012 (EI: 20130115864755)

[14]Chen Z,Zhang Y. Visualized deployment of wireless sensors in ArcGIS-based environmental monitoring system[C]Electrical and Control Engineering (ICECE), 2011 International Conference on. IEEE, 2011: 1403-1406. (EI: 20114614517840)

[15]郭建,章玥.《嵌入式系統概論》課程教學改革與實踐[J].計算機工程與科學, 2011, 33(z1). (核心CSCD)

[16]Zhang Y. Service oriented management of heterogeneous wireless sensor networks[C]Wireless Communications, Networking and Mobile Computing, 2009. WiCom'09. 5th International Conference on. IEEE, 2009: 1-4.(EI: 20100112610777)

[17]章玥,邱雪松,孟洛明.基於Web Services的網路管理業務流程管理系統互動接口[J].電子與信息學報, 2008, 30(6): 1470-1474.( (核心CSCD, EI: 20082811371399)

[18]章玥,邱雪松,孟洛明.異構網路管理系統間分散式協作機制[J].計算機套用研究, 2008, 25(9): 2741-2745.(核心CSCD)

[19]章玥,邱雪松,孟洛明.網路管理系統分散式協作的業務流程分發機制[J].計算機工程,2008,34(9):33-35. (核心CSCD)

[20]章玥,邱雪松,孟洛明.面向電信運營商務過程的管理服務構建方法[J].計算機套用研究, 2008, 25(7): 2124-2128. (核心CSCD)

[21]章玥,李文璟,邱雪松,孟洛明.異構網路管理系統間動態協作體系結構[J].計算機系統套用,2008,(2):2-6. (核心CSCD)

[22]Guan D, Wang J,Zhang Y, et al.Understanding Bittorrent download performance[C]Networking, 2008. ICN 2008. Seventh International Conference on. IEEE, 2008: 330-335. (EI: 20083511492212)

[23]ZHANG Yue, QIU Xue-song and MENG Luo-ming. A Web Services-Based Dynamically Cooperative Network Management Architecture: Proceedings of the First International Conference on Communications and Networking in China（Chinacom06）[C]. Beijing, 2006.（EI: 20074610922057）