数学计算机学院硕士论文答辩海报专业计算机软件与理论应用.doc

数学计算机学院硕士论文答辩海报（一） 专业 计算机软件与理论，应用数学 答辩时间 2010年5月23日下午2：30 答辩地点 计算机楼学术报告厅207 答 辩 委 员 会 组 成 姓 名 称 在 单 位 何 丰 教授 北方民族大学计算机科学与工程学院 委 员 魏立力 教授 宁夏大学数学计算机学院 冯 锋 副教授 宁夏大学数学计算机学院 秘 书 杨绍华 讲师 宁夏大学数学计算机学院 答辩 研究生 研究方向 论文题目 导师 彭瑞峰 软件形式化方法 基于SPIN的网络协议形式化分析与验证 丁志义 王家伟 计算机语言的形式语义 C#语言的类公理语义 数学计算机学院硕士论文答辩海报（二） 专业 基础数学 答辩时间 2010.5.24 下午2:00 答辩地点 计算机楼学术报告厅207 答 辩 委 员 会 组 成 姓 名 称 在 单 位 侯象乾 教授 宁夏大学数学计算机学院 委 员 韩慧丽 副教授 宁夏大学数学计算机学院 余国林 副教授 北方民族大学 秘 书 陶佳玲 讲师 宁夏大学 答辩 研究生 研究方向 论文题目 导师 韩宗贤 函数逼近论 推广的Sikkema-Kantorovich算子的逼近 孙渭滨 李小坠 函数逼近论 若干正线性算子的逼近 孙渭滨 杨瑞环 函数逼近论 Baskakov-Durrmeyer-Bézier算子与 广义Baskakov-Bézier算子的逼近研究 孙渭滨 马晓萍 函数逼近论 Szasz型算子的逼近 孙渭滨 纪明慧 函数逼近论 两类推广的Shepard型算子逼近的研究 孙渭滨 数学计算机学院硕士论文答辩海报（三） 专业 计算机软件与理论 答辩时间 2010年5月25日下午2：30 答辩地点 计算机楼学术报告厅207 答 辩 委 员 会 组 成 姓 名 称 在 单 位 吴素萍 教授 宁夏大学数学计算机学院 委 员 黄永东 副教授 北方民族大学 丁志义 教授 宁夏大学数学计算机学院 魏立力 教授 宁夏大学数学计算机学院 秘 书 杨绍华 讲师 宁夏大学数学计算机学院 答辩 研究生 研究方向 论文题目 导师 王路军 图形图像处理与多媒体技术 第二代身份证系统中的图像处理技术及实现 潘晨 王芬 图形图像处理与多媒体技术 基于SVM分类的图像边缘检测研究 潘晨 王彦明 图形图像处理与多媒体技术 僵尸网络发现与追踪的关键技术研究 潘晨 数学计算机学院硕士论文答辩海报（四） 专业 计算机软件与理论 答辩时间 2010年5月26日14：00 答辩地点 网络管理中心多媒体机房 答 辩 委 员 会 组 成 姓 名 称 在 单 位 卞良 高工 宁夏医科大学现代教育技术中心 委 员 赵国栋 副教授 宁夏大学数学计算机学院 高玉琢 副教授 宁夏大学网络管理中心 王学明 教授 宁夏大学远程教育学院 秘 书 郑莉 硕士研究生 宁夏大学数学计算机学院 答辩 研究生 研究方向 论文题目 导师 吴佳斌 计算机网络及其应用 西部民族地区信息化共享平台关键技术的研究与实现 高玉琢 袁方 计算机网络及其应用 基于SOA农（土特）产品网上销售系统的研究与设计 高玉琢 潘灶焰 计算机网络及其应用 IPv6校园网流量监控管理研究与实现 高玉琢 陈鹏 计算机网络及其应用 基于移动GIS的农情信息采集系统研究与实现 高玉琢 闫坤壕 计算机网络及其应用 基于SOA的学科建设管理信息系统分析与设计 高玉琢 李毅 数据库与知识工程 金卫医学教育网的Web使用模式挖掘 王学明 陈丽 数据库与知识工程 空间数据挖掘在交通量调查管理系统中的应用 王学明 数学计算机学院硕士论文答辩海报（五） 专业 运筹学与控制论 答辩时间 2010年5月26日15：00 答辩地点 计算机楼学术报告厅207 辩 委 员 会 组 成 姓 名 称 在 单 位 李星 教授 宁夏大学 委 员 靳祯 教授 中北大学理学院 刘锐 教授 宁夏大学数学计算机学院 高岳林 教授 北方民族大学信息与计算科学学院 高建国 教授 北方民族大学信息与计算科学学院 秘 书 李西宁 教授 宁夏大学数学计算机学院 答辩 研究生 研究方向 论文题目 导师 崔 楠 控制理论及其应用 不确定随机时滞系统的鲁棒稳定性 张启敏 王建玲 控制理论及其应用 随机Navier-Stokes的最优控制 张启敏 张自伟 控制理论及其应用 带Markov调制的随机时滞微分方程的数值解 张启敏 马志福 控制理