刘锐
- 作品数：14 被引量：17H指数：2
- 供职机构：宁夏大学数学计算机学院更多>>
- 发文基金：宁夏回族自治区自然科学基金国家自然科学基金国家级星火计划更多>>
- 相关领域：理学自动化与计算机技术更多>>
- 利用完全覆盖定理证题的方法和规律
- 2000年
- 根据要论证问题所具有的是整体性质还是局部性质给出利用完全覆盖定理证明问题的方法与规律。
- 刘锐杨金华
- 关键词：闭区间
- 中国移动云计算发展探究
- 2013年
- 随着云计算概念被Google、Amazofl、IBM等公司高调推出，各主要的IT巨头纷纷提出了自己的云计算计划。现在，云计算的火爆也在向电信领域蔓延。国际上，全球电信运营商正在积极寻找云计算带给电信业的机会，部分运营商甚至已经宣布为客户提供基于云计算的服务。在中国，云计算也被电信运营商提上桌面。本文主要针对云计算这一概念，论述云计算对电信运营商的重要性，中国移动向云计算转型的必要性以及中国移动目前的云计算发展现状。
- 张丽梅王文晶刘锐
- 关键词：云计算
- 利用导数讨论反函数的存在性
- 1990年
- 本文利用函数的导数研究其反函数的存在性,并对导函数的不连续点进行讨论。在大部分高等数学的教科书中都有如下两个定理。定理在区间X内严格单调的函数必有反函数。
- 刘锐
- 关键词：导数反函数存在性
- Sz'asz型算子的加权收敛速度的估计
- 2001年
- 令Ln(f)是Sza'sz型算子 ,研究Ln(f)加Jacobi权逼近的速度问题 ,得到逼近速度上界。
- 刘锐
- 关键词：加权逼近逼近阶JACOBI权上界下界
- 级数敛散性的几个判别法
- 1993年
- 本文首先以P级数、亚P级数为标准级数,建立几个交错级数和正项级数的判别法,然后以阿贝尔变换为依据,建立比阿贝尔判别法和狄利克莱判别法更广泛的判别法。
- 杨莲卫刘锐李正兴
- 关键词：判别法级数
- 二阶线性常微分方程m点边值问题的正解
- 2003年
- 建立了m点边值问题u″+a(t)f(u)=0,u(0)=0,u(1)- m-2i=1αiu(ηi)=b正解的存在性,其中b,αi>0,ηi∈(0,1),i=1,…,m-2为已知,且 m-2i=1αiηi<1,在适当的条件下证明了:存在一个正数b*,使得上述问题对于0b*无解.
- 刘锐
- 关键词：M点边值问题正解SCHAUDER不动点定理
- 基于故障树的故障诊断专家系统推理机的设计被引量：6
- 2014年
- 该文研究了专家系统推理机的原理,设计了基于故障树的汽车故障诊断专家系统推理机;并以汽车发动机不能正常启动为例,说明了该推理机的推理过程。
- 王文晶刘锐张丽梅
- 关键词：故障树故障诊断推理机专家系统
- 文本比较算法分析被引量：1
- 2014年
- 基于文本比较算法,以算法的比较为切入点,通过比较算法的时间复杂度,找出适应文本的算法。实验结果表明,Nakatsu算法在长文本和相似度高的文本中效率更高,更易使用。
- 赵明芳王学明刘锐
- 关键词：相似度文本
- Lucene在学位论文检测系统中的应用被引量：1
- 2014年
- 针对当今的学位论文重复率高的现状,文章提出了基于Lucene全文检索在学位论文查重中的重要应用。文章采用的技术主要包括Lucene框架技术,分词技术和搜索查询,并结合多种数据挖掘算法实现论文查重的检测系统,文章主要介绍论文查重的原理、方法和在系统实现过程中用到的核心技术,在技术整合的过程中呈现出该系统的优质性。
- 刘锐张丽梅王文晶
- 关键词：分词技术查重搜索LUCENE
- 系数为非对称指数型模糊数的多元线性最小二乘回归被引量：6
- 2002年
- 使用模糊数之间的某种距离和的最小二乘方法 ,研究了模糊多元线性回归模型 ,此模型的输入为精确数据 ,输出为模糊数据 ,回归系数为非对称指数型模糊数 ,并通过讨论一元模糊线性回归模型 ,推导出三组正规方程组以分别用于求解模糊回归系数的模糊中心参数、左边参数和右边参数 ,然后将此结果推广到多元情形 。
- 魏立力刘锐
- 关键词：最小二乘估计
