中国高清大片免费大片

师资队伍

当前位置: 中国高清大片免费大片  /  师资队伍  /  教师名录  /  正文

王建林

日期:2019年02月26日   


教师信息


姓 名

王建林

性 别

undefined

职 称

副教授

办公电话

0371-23883088

电子信箱

jlwang@henu.edu.cn  

系室分类

计算机系

个人主页

暂未填写


研究方向



并行符号计算,定理机器证明


教育及工作经历  



2012年毕业于华东师范大学软件学院,系统分析与集成专业,博士学位。
  2012年至今, 中国高清大片免费大片教师,从事计算机系相关等的教学和研究。


社会及学术兼职  



暂未填写


奖励及荣誉



2013-2014学年 优秀实习指导教师.


主讲课程



C++程序设计
  Java程序设计
  数据库原理及应用
  虚拟现实技术


论文著作



[1].Jianlin Wang, Liangyu Chen, Zhenbing Zeng. A   Formal Proof of Pasting Lemma in Isabelle/HOL. In 2nd International   Conference on Networks Security, Wireless Communications and Trusted   Computing (NSWCTC) 2010, vol. 2, pp.458-461.
  [2].Liangyu Chen, Jianlin Wang, Ming Xu, Zhenbing Zeng. Reengineering of Java   Legacy System Based on Aspect-Oriented Programming. In 2nd International   Workshop on Education Technology and Computer Science (ETCS) 2010,   pp.220-223, IEEE Computer Society.
  [3].Jianlin Wang, Liangyu Chen, Zhenbing Zeng. Formalization of Kuratowski   Closure Operation in Isabelle/HOL. International Conference on Energy Systems   and Electrical Power (ESEP) 2011. Energy Proc, 13 , 2011, pp. 7894-7901.
  [4].Jianlin Wang, Liangyu Chen, Zhenbing Zeng. Formalization of Continuous   Functions in Topological Spaces Using Isabelle/HOL. In International   Conference on System Science, Engineering Design and Manufacturing   Informatization (ICSEM) 2011, vol. 2, pp.20-23.
  [5].Jianlin Wang, Hidetsune Kobayashi, Zhenbing Zeng. Isabelle Theorem Prover   and Theorem Proving of Topology. In Workshop on Technique and Theory of   Automated Reasoning(TTAR) 2011. pp. 6-6.


科研项目



[1]、国家青年科学基金项目: 基于符号-数值混合计算的多项式优化问题的准确验证(109010055), 项目负责人:杨争峰。
  [2]、国家青年科学基金项目:分布式移动通信场景下的参数化信道建模及预测优化机制研究(61304132),项目负责人:周毅。
  [3]、中国高清大片免费大片科研基金项目:基于实代数几何的形式化方法研究(2013YBZR012),项目负责人:王建林。
  [4]、河南省科技厅重点科技攻关项目:基于P2P的可视化办公系统的研究与开发(102102210021),项目负责人:李玉玲。
  [5]、中国高清大片免费大片科研基金项目:大规模实时空间查询处理技术及其在基于位置的服务中的应用(2013YBZR014),项目负责人:张重生。
  [6]、河南省科技厅科技攻关项目:北宋都城虚拟展示集成开发平台(142102310247),项目负责人:姜保庆。
  [7]、河南省科技厅科技攻关项目:面向历史领域的时空关联挖掘与信息检索平台的关键技术研究(132102210188),项目负责人:张重生。
  [8]、河南省科技厅科技攻关项目:云计算环境下基于能力匹配的遥感数据处理任务调度研究(142102210397),项目负责人:葛强。


专    利



[1].基于插值和多核并行求解多项式结式的计算软件,   软件著作权编号: CHD-111326. 2011SR080907


其    他



暂未填写











上一条: 许涛 下一条: 田军锋

浏览量:

En

中国高清大片免费大片-中国在线高清免费视频-中国大片免费收看a