章玥

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

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

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

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

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

軟件定義網絡，網絡管理與通信軟件，嵌入式系統建模 ^[1] 

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） ^[1]