教师信息



姓 名
沈夏炯
性 别
男


职 称
教授

办公电话

电子信箱
shenxj@henu.edu.cn

系室分类
网络工程系

个人主页
http://www.scholat.com/shenxj



研究方向




空间数据分析、软件工程、分布/并行计算、形式概念分析



教育及工作经历




1986年，毕业于武汉大学计算机科学技术系，计算机系统结构专业，获理学学士学位。
1986年7月至今，河南大学计算机系，教师
期间，2006年毕业于上海大学计算机工程与科学学院，控制理论与控制工程专业，获工学博士学位。
现任河南大学计算机与信息工程学院副院长



社会及学术兼职




河南省计算机学会常务理事
CCF会员



奖励及荣誉




河南省科技进步奖一等奖（2014-J-014-R07/15），民航气象信息综合处理系统
河南省科学技术进步奖三等奖（2006-J-298-R01107），Web构件技术在招生考试信息系统中的应用研究
教育厅学术技术带头人
开封市优秀教师
河南大学科技优秀奖，2015年9月



主讲课程




操作系统、数据结构、软件工程、并行程序设计、形式概念分析



论文著作




[1] Integrating flexibility and interactivity in bioinformatics visual programming tools with Focus+Context algorithm, Int. J. Data Mining and Bioinformatics(SCI)
[2] Mining Biomedical Literature to Identify Viruses and Bacteria as Potential Bioterrorism Weapons, IEEE Intelligent System(SCI)
[3] The design and implementation of thematic maps automatic production system for remote sensing image, Advances in Intelligent and Soft Computing, Vol 124, 585-590, 2011(EI)
[4] A Novel Technique Proposed for Testing of Object- Oriented Software Systems, IEEE GrC 2009
[5] Automatic Generation of Test Case based on GATS Algorithm, IEEE International Conference on Granular Computing 2009, Proceedings Vol 1: 496-500 (EI)
[6] Association Rules Mining Based on the Discriminative Concept Lattice, 5th International Conference on Natural Computation 2009, Proceedings Vol 1: 119-123 (EI)
[7] A Method to Solve Small-screen and Scaling-up Problems in VPLs with Fisheye Views, Proceedings of ISISE 2008,93-97(EI, ISTP)
[8] Controls-Based visual programming, Proceedings of MMIT 2008, 639-641(EI)
[9] A Novel Visual Programming Method Designed for Error Rate Reduction, Proceedings of ISCSCT 2008, 280-283(EI)
[10] Discussion on a new visual programming language. In Proceedings of WCSE 2008. (EI, ISTP)
[11] Intelligent search engine based on formal concept analysis，2007 IEEE International Conference on Granular Computing, GrC 2007，666-671(EI)
[12] A Study of the Query Target of the Chinese Query Sentence, 2007 IEEE International Conference on Granular Computing, GrC 2007，740-744 (EI)（第二）
[13] 分水岭分割算法研究综述,计算机工程,2015
[14] 基于概念格的RBAC模型中角色最小化问题的理论与算法, 电子学报（第4）,2014
[15] MGSI-8CA标记算法, 计算机工程与应用,2013(20)
[16] A Bottom-up Algorithm of Vertical Assembling Concept Lattices,International Journal of Data Mining & Bioinformatics,7（3）：229-224，2013-01，通讯作者



科研项目




[1]主持，国家自然科学基金面上项目，全概念类比中元知识结构表示的研究，2013.1——2016.12
[2]主持，国家重大专项子课题，XX信息共享服务原型系统设计与系统集成
[3]主持，国家航天局航天遥感论证中心，互联网应用模式下遥感图像3D/2D一体化展示平台关键技术研究，2012.01-2014.12
[4]主持，国家航天局航天遥感论证中心，基于SOA的网络定标技术研究，2010.3-2011.9
[5]参加，国家863计划项目子课题，基于语义知识的数据集成系统关键技术及平台
[6]参加，民航气象信息综合处理系统，豫科鉴字[2009]第343号
[7]主持，可视化程序设计语言的研究与实现，豫科鉴字[2009]第1213号
[8]主持，基于概念格同构生成的IsoFCA系统，豫科鉴字[2007]第244号
[9]主持，高校人事电子档案管理信息系统，豫科鉴字[2007]第245号
[10]非凡公司委托横向课题，“秒秒逛街”新型电子商务系统，2016.04-2017.08，经费550万元



专 利




软件著作权，多源栅格数据集成处理系统[简称MDIPS]V1.0，证书号：软著登字第**号，登记号：2013SR145051



其 他




QQ:**