个人简介
冯晓宁，男，1976年4月生，专业为计算机科学与技术，主持了国家自然科学基金项目、国家863计划项目子课题、国家核能重大专项子课题、国家高技术船舶重大专项子课题、总装预研项目、黑龙江省科技攻关项目、黑龙江省自然科学基金等。获得省部级科技进步三等奖3项。在国内外核心期刊及国际会议上发表学术论文30余篇。培养硕士研究生博士研究生30余人。
教育经历
1995.9-1999.7 哈尔滨工程大学 计算机科学系 计算机及应用 学士
2002.9-2005.3 哈尔滨工程大学 计算机科学与技术学院 计算机软件与理论 硕士
2004.9-2009.3 哈尔滨工程大学 计算机科学与技术学院 计算机应用技术 博士
工作经历
1999.7-2004.8 哈尔滨工程大学 计算机科学与技术学院 助教
2004.9-2009.8 哈尔滨工程大学 计算机科学与技术学院 讲师
2009.9-2019.8 哈尔滨工程大学 计算机科学与技术学院 副教授
2019.9-至今 哈尔滨工程大学 计算机科学与技术学院 教授
承担项目
1、高技术船舶重大专项子项目、“7.6万吨半潜运输船设计建造技术研发及产业化”动力定位系统方案研究、2014/09-2014/12、40万元、在研、主持。
2、国家科技重大专项、2014ZX06004-003、核电站Living-PSA和在线风险监测与管理技术研究、2014/01-2016/12、2947.23万元、在研、参加。
3、哈尔滨工程大学中央高校基本科研业务费专项资金、HEUCF100605、基于位置感知的移动信息服务若干关键技术研究、2013/01-2013/12、3万元、已结题、主持。
4、黑龙江省自然科学基金、F201129、基于任务的集成多视图仿真组合理论与集成方法研究、2012/01-2015/12、5万元、在研、主持。
5、哈尔滨工程大学中央高校基本科研业务费专项资金、HEUCF100605、面向复杂分布式信息系统的关键技术研究、2012/01-2012/12、7.02万元、已结题、主持。
6、国家自然科学基金面上项目、61272184、基于不确定图模型的医学图像数据挖掘关键技术的研究、2013/01-2016/12、85万元、在研、参加。
招生信息
计划每年招收5名硕士研究生，工学硕士优先。
本科生授课课程
曾教授课程：
《数字逻辑》 专业基础理论课 72/64/56学时
《操作系统》 专业基础理论课 72学时
《计算机组织与结构》 专业基础理论课 80学时
《计算机图形学》 专业课 32学时
《IT英语》 专业课 32学时
《数据库新技术》 专业选修课 32学时
《计算机专业英语》 专业课 32学时
目前教授课程：
《数字逻辑》 专业基础理论课 56学时
研究生授课课程
《无线传感器网络》 选修课 32学时
实践性教学
曾教授课程：
《数字逻辑实验》 32学时
目前教授课程：
《软件工程课程设计》 2周
《毕业设计》 14周
教学研究课题
1.本科教学优秀成果奖 优秀主讲教师
专利成果
2016年
1. 一种移动信标的分布式水下网络定位方法，201610289418.8，2016-5-4，发明
2. 一种多普勒辅助水下传感器网络时间同步方法，201610289417.3，2016-5-4，发明
2015年
1. 一种异步占空比和网络编码的水下传感器网络MAC协议通信方法，201510028497.2，2015-1-21，发明
2. 一种基于库仑力模型的图形节点遮挡消除方法，201510212824.X，2015-4-30，发明
3. 一种多移动汇聚节点的水下传感器网络路由方法，201510028498.7，2015-1-21，发明
招生就业
招生：
欢迎有志从事物联网、网络安全、人工智能、机器学习、深度学习、多智能体无人系统等领域研究的同学报考我的硕士生和博士生！
每年可招收博士生3名，研究生6名！
考生专业：没有限制，没有限制，没有限制！欢迎计算机、电信、自动化、数学及其它专业同学报考。
欲加入本实验室研究团队的同学，请尽早（保研同学大三下学期即可）与本人联系，并准备好以下内容的PDF电子档
1. 个人简历：包括个人简介、教育及科研经历、研究论文、获奖情况、技能、研究兴趣及未来计划、自我评价等（请注明联系方式）
2. 大学历年成绩单
经过与本人的沟通并获得本人同意，将优先推荐您加入本实验小组
历年就业：
2016级：
陈阿康
冯润霄（专业学位）
宋 雪（专业学位）
王 鹏（专业学位）
2015级：
韩宁
李 娜（专业学位） 现签约去哪儿网
韩 岚（专业学位） 现签约顺风公司
严碧君（专业学位） 现签约华为公司
2014级：
张素苹 现工作于大众点评（上海）。
曲文杰 现工作于百度。
孟庆普 现签约中兴。
陈洪鹤（专业学位） 中南大学（学士） 现工作于哈尔滨工程大学哈船科技有限责任公司。
2013级：
张 文 现工作于北京航天科工集团
朱晓龙 现工作于青岛海信集团
2012级：
刘秀龙 黑龙江大学/软件工程（学士） 现工作于龙江银行（哈尔滨）。
刘佳杰 黑龙江大学/软件工程（学士） 现工作于联通研究院（哈尔滨）。
赵卫华 现工作于中兴公司
2011级：
张 旭 现工作于华为公司
李麒星（专硕）哈尔滨师范大学/计算机科学与技术（学士） 现工作于深圳华为公司。
2010级：
王金娜 哈尔滨师范大学/计算机科学与技术（学士） 哈尔滨工程大学/计算机软件与理论（硕士） 现工作于北京中石油下属公司。
2009级：
马岚 哈尔滨商业大学/信息管理与信息系统（学士） 哈尔滨工程大学/计算机软件与理论（硕士） 现工作于百度。
研究领域
2011年以前，从事软件建模与仿真、Petri网应用、分布式系统等相关研究工作。自2011年开始从事水下无线传感器网络、水声传感器网络、水下移动组网等方面的研究，对水下传感器网络进行了深入研究，在路由协议的形式化描述与验证、路由层协议算法与策略、MAC层协议、时间同步和定位、水下传感网网络安全等方面开展了相关研究工作，取得了一定的相关工作积累和研究工作成绩。
近期论文
查看导师新发文章
（温馨提示：请注意重名现象，建议点开原文通过作者单位确认）
2017
1. 冯晓宁,王卓,朱晓龙,张文. 多普勒辅助水下传感器网络时间同步机制研究[J]. 通信学报,2017,(01):9-15页.
2015
1.冯晓宁，王卓，张旭.基于L-π演算的WSN路由协议形式化方法.吉林大学学报. 2015.9 Vol.45 No.5 1565-1571页（EI：20153501211609）
2.Xiaoning Feng,Zhuo Wang,Xiulong Liu,Jiajie Liu. ADCNC-MAC: asynchronous duty cycle with network-coding MAC protocol for underwater acoustic sensor networks. EURASIP Journal on Wireless Communications and Networking.2015, 2015:207（SCI：000390044800001；EI：20153501211609）
2014
1.冯晓宁，王卓，王金娜. LTS仿真模型组合验证方法. 哈尔滨工程大学学报. 2014.05 35（5）（EI：20142517852457）
2013
1.冯晓宁，王卓，王金娜.仿真模型组合的验证方法研究. 西安交通大学学报. 2013.12 47（12）7-12，122（EI：20140317209537）
2.冯晓宁，李麒星，王卓. 一种基于BPMN的业务流程图到BPEL的映射方法.计算机研究与发展. 2013 50（Suppl）44-52
2012
1.冯晓宁，王卓等.行为驱动的仿真模型组合方法研究.系统仿真学报，24（1），20-25，2012.1
2.PSO-based DBSCAN with obstacle constraints. Journal of Theoretical and Applied Information Technology. Feng Xiaoning; Wang Zhuo; Yin Guisheng; Wang Ying. v 46, n 1, p 377-383, December 2012（EI：20131016090758）
2008
1.冯晓宁. 基于分层面向对象Petri网的软件建模方法研究. 计算机工程与应用. 2008.12
2.FengXiaoning*, Wangzhuo. Applying a semantic information Petri Net modeling method to AUV system design. Journal of Marine science and application. 2008.1
3.Feng Xiaoning*, Yin Guisheng. Hierarchical Object-Oriented Petri Net Modeling Method based on Ontology. IEEE ICSE2008. 2008.1（EI: 083811554794）
2006
1.Feng Xiaoning*, Liu Qun, Wang Zhuo. A Web Service Composition Modeling and Evaluation Method Used Petri Net. Advanced Web and Network Technologies. 2006.1（SCI：000235659100125； EI：06279982351）
2.Feng X, Liu Q, Wang Z. AUV modeling and analysis using a colored object-oriented Petri net[C]//Computer and Computational Sciences, 2006. IMSCCS'06. First International Multi-Symposiums on. IEEE, 2006, 2: 405-409. （EI：20065110322820）
京公网安备 11010802027423号