章玥

华东师范大学讲师

章玥，女，博士，华东师范大学副教授，专业方向为软件定义网络、网络管理与通信软件、嵌入式系统建模。

个人经历

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)

[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）

全国各地天气预报查询

上海市

云南省

云南省

云南省

云南省

云南省