西北师范大学数学与信息科学学院计算机科学系 
研究主题：PROLOG 广播算法 最短路径 数据挖掘 正解
研究学科：自动化类 电气类 轻工类
- 浅谈数据挖掘技术及其应用
- 1
- 《中国西部科技》西北师范大学数信学院计算机系;兰州理工中等专业学校 舒正渝 出版年：2010
- 关键词：数据挖掘 知识发现
- 非线性三点边值问题正解的存在性
- 2
- 《应用泛函分析学报》西北师范大学计算机科学系 马巧珍 出版年：2001
- 关键词：非线性边值问题 正解 锥 不动点定理 存在性 常微分方程 三点边值问题
- 基于签密的多方认证邮件协议 ( EI收录)
- 3
- 《电子学报》西北师范大学数学与信息科学学院计算机科学系 王彩芬 贾爱库 刘军龙 于成尊 出版年：2005
- 关键词：公平交换协议 一对多的认证邮件协议 签密 公平性 非否认性
- 微机控制动态无功补偿技术的研究
- 4
- 《兰州铁道学院学报》西北师范大学计算机科学系 文哲蓉 出版年：2000
- 关键词：微机控制系统 动态无功补偿 晶闸管开关 抗干扰
- 量子随机Cable方程的白噪声分析方法
- 5
- 《数学学报（中文版）》西北师范大学计算机科学系;华中科技大学数学系 王才士 黄志远 出版年：2002
- 关键词：量子随机Cable方程 白噪声 Wick积
- 基于改进的SVM分类器的医学图像分类新方法
- 6
- 《计算机应用研究》西北师范大学数学与信息学院计算机系;西北工业大学计算机学院 蒋芸 李战怀 出版年：2008
- 关键词：改进的支持向量机方法 粗糙集 乳腺X光图像
- 智能化变流充电控制系统的研究 ( EI收录)
- 7
- 《电源技术》西北师范大学计算机科学系;铁道部第一勘测设计院 文哲蓉 刘仰云 出版年：2000
- 关键词：变流充电 蓄电池 智能化控制系统 计算机控制
- 软件质量评价的一种定量化方法
- 8
- 《西北师范大学学报（自然科学版）》西北师范大学计算机科学系 肖鸿民 出版年：2000
- 关键词：软件质量评价 判断矩阵 一致性指标 定量化方法
- 程序正确性证明及循环不变式的寻找方法
- 9
- 《甘肃科学学报》西北师范大学计算机科学系 王彩芬 出版年：2000
- 关键词：程序验证 HOARE逻辑 循环不变式 程序正确性
- 三次隐多项式曲线的生成算法
- 10
- 《甘肃科学学报》西北师范大学数信学院计算机系 赵学峰 出版年：2002
- 关键词：三次隐多项式曲线 逐点生成算法 增量计算 计算机图形学 泰勒展开式 增量算法 像素阵列
