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