闫林
- 作品数：34 被引量：54H指数：4
- 供职机构：河南师范大学计算机与信息工程学院更多>>
- 发文基金：国家自然科学基金河南省自然科学基金河南省基础与前沿技术研究计划项目更多>>
- 相关领域：自动化与计算机技术电子电信理学更多>>
- 粒空间中基于粒计算的粒语义推理
- 2008年
- 在论域上定义公式,并因其与粒相对应,使得粒空间得以形成.在粒空间中由粒之间的关系确定出粒语义推理,并对此进行讨论.通过粒计算,证得粒语义推理满足命题逻辑自然推理系统的每一推理规则,因此粒空间上的可靠性成立,这表明形式推理蕴涵粒语义推理.尽管粒空间上的完备性不成立,但结果表明粒语义推理是各经典推理模式的扩充,所以粒语义推理既拓宽推理研究的范围,又引进粒计算的研究方法,促成粒计算与逻辑推理的进一步融合.
- 闫林张学栋魏雁天何建仓
- Java中异常结构的语法分析研究
- 2005年
- 为了提高Java的运行速度,人们对Java编译器进行了深入研究,发现异常结构对编译器的语法分析、语义分析及代码优化都有一定的影响。为了降低异常结构带来的不利影响,文中针对Java中的异常结构提出了一种语法分析方法。该方法采用G树作为语法分析树,较传统的语法分析树的时空效率有明显提高,不仅提高了语法分析的效率,而且提高了语义分析的效率。
- 张聪品闫林
- 关键词：JAVA语法分析G树
- 基于Gabor特征的快速贝叶斯人脸识别被引量：3
- 2012年
- 对贝叶斯分类中两种计算相似度的公式进行简化,设计了基于Gabor特征的快速贝叶斯人脸识别方法。首先对人脸图像进行Gabor小波变换,把同一个人的Gabor特征与本人的类内Gabor均值图像之差作为类内差异图像,对类内差异图像进行小波分解取其低频图像;然后采用2DPCA方法建立类内特征子空间。对测试图像进行Gabor特征提取,并与目标图像的类内均值Gabor特征作差形成差异图像,对差异图像进行小波分解,提取低频子图信息投影到类内特征子空间,利用简化的贝叶斯准则进行分类。实验结果表明,该方法降低了算法复杂度,提高了识别率,并对光照和表情变化具有较强的鲁棒性。
- 牛丽平闫林郑延斌薛占鳌
- 关键词：人脸识别贝叶斯分类GABOR变换小波变换
- Web本体语言OWL及在产品信息表达中的应用被引量：1
- 2007年
- STEP标准和STEP标准的形式化信息描述语言EXPRESS在数据格式上统一了产品信息的建模标准,实现了语法层面上的数据交换和互操作能力。而当今计算环境要求基于语义Web的语言来描述产品信息,以实现产品信息在知识级的交换和共享,STEP没有提供这种特性。介绍了由W3C主持制定的Web本体语言OWL,并用实例给出了OWL在产品信息表达中的应用。
- 王岁花闫林
- 关键词：OWLSTEP语义WEB描述逻辑
- 一类特殊双射函数及在数据转换方面的应用被引量：1
- 2005年
- 为了实现多维数据到一维数据的转换 ,本文首先考虑两个集合 :自然数集N和笛卡尔积N×N。由于它们都是可数集 ,所以本文给出了一个从N×N到N的双射函数f(m ,n) ,进而将其扩展 ,得到了从任意个N的笛卡尔积N×N×…×N到N的双射函数———排序函数。然后着重讨论了这些函数的应用 ,它们具有从多维数据到一维数据的转换功能 ,使得多维数据的处理转换为一维数据的比较 。
- 闫林孙印杰
- 关键词：数据转换数据处理排序函数
- 一维与多维数据的双射函数转换法及应用
- 2010年
- 通过在技巧上和构造上的数学研究,建造出了从Nn到N的双射函数hn:Nn→N以及hn的逆函数hn-1:N→Nn.这两个函数的出现,使自然数集合N与n个N的笛卡尔积Nn之间的元素具有相互可以转换的一一对应关系.从而有效地实现了一维数据同多维数据之间的转换,并且hn和hn-1在数据的密码设置方面具有实际意义和特殊作用.
- 刘慧靳瑞霞闫林
- 关键词：多维数据双射
- 一种改进的二维最小误差阈值分割方法被引量：4
- 2012年
- 二维最小误差(TME)阈值法是一种有效的图像分割方法,但该方法计算复杂度高,难以实时处理,且该算法受噪声影响较大。针对此问题,提出了一种改进的TME阈值分割方法。首先,将传统的3×3模板分成互补的两个模板:十字模板和4-角域模板,并用这两个模板分别对原图像进行中值滤波得到两幅图像;然后,用两幅图像创建二维直方图并对其进行分割,以获得更好的分割性能;最后,对TME阈值选取公式进行简化得到最简公式,并利用此最简公式和其在二维直方图上的计算特性构建新型的快速算法,以便降低计算复杂度。仿真实验结果表明,与当前TME阈值分割方法相比,所提方法不仅分割效果更好、稳定性更强,而且运行速度更快,占用的存储空间更少。
- 张新明冯云芝闫林何文涛
- 关键词：图像分割递推算法
- 数学概念的一种特殊形式化方法被引量：1
- 1998年
- 数学定理的机器证明首先应将数学概念形式化(或称符号化 ) ,形式化的方法和技巧对于理论上的推理研究以及是否能够真正利用计算机进行推理将起关键作用。本文讨论了一种特殊形式化数学概念的方法 ,其主要特点就是仅引入两个谓词和有限个常项符号 ,按照某种规则生成公式后便可对众多数学概念进行描述。由于只有两个谓词和有限个常项符号出现 ,因此对利用计算机推理具有重要意义。
- 闫林潘红
- 关键词：数学定理数学概念形式化
- 数据集的粒化树及其建模应用被引量：3
- 2014年
- 通过对数据集的不同划分,得到了基于数据集的粒化树。结合关联元素的信息,建立了基于不同数据集粒化树之间的关联关系,确定了两种粒化树中的两条关联链,促成了它们经关联元素的相互联系。由于每一关联链中的粒从粗到细逐步变化,使得关联元素与粒度的逐步细化密切相关,这是粒计算数据处理模式的体现。相关的结论为人才供求问题的算法描述提供了数学模型,并通过实例予以展示。
- 闫林宋金朋
- 数据关联的粒化树描述方法被引量：2
- 2015年
- 为探讨数据关联问题,对数据集实施分层粒化处理,得到分层结构的粒化树.进而利用粒化树的层次信息和粒度的数值表示,并通过关联数据产生的数据联系,给出两棵粒化树之间数据关联的定义.文中视上近似为算子,借助上近似运算对应的粒,获得数据关联的判定定理,并基于粒度的数值信息判定关联紧密程度,形成数据关联的粒化树描述方法,其展示的粒化分层和粒度数值表示可看作粒计算研究的一种形式.实例的讨论表明粒化树方法的应用价值.
- 闫硕闫林
- 关键词：数据关联
