韩光辉
- 作品数：30 被引量：73H指数：6
- 供职机构：武汉商学院更多>>
- 发文基金：国家自然科学基金湖北省自然科学基金湖北省教育厅科学技术研究项目更多>>
- 相关领域：自动化与计算机技术理学文化科学更多>>
- 基于学习对象理论的教学资源库研究被引量：2
- 2010年
- 学习对象是教育技术领域的一个全新理念。作为理论,学习对象研究影响教学资源可重用性的各种因素间的最佳结构状态;作为技术,学习对象是教学资源的抽象与封装,教学资源以学习对象的形式存在,教学设计者通过重用学习对象来共享教学资源。本文介绍了学习对象的特征、分类、粒度和元数据语义模型,分析了在教学资源库系统中引入学习对象的优势,讨论了基于学习对象的教学资源库系统中学习对象粒度定位、类的封装与继承及其XML绑定。
- 韩光辉
- 关键词：元数据教学资源库
- 连通图上的粒结构
- 2015年
- 现实世界的许多问题可以抽象成图,所以研究图上的粒计算模型是很有必要的。采用基于集合划分的粒化方法和图论方法研究了连通图上的粒结构。首先讨论集合的划分及其加细,证明了划分的加细是偏序,建立了划分的粗化与划分的划分之间的联系。然后,对连通图的点集进行划分同时保持划分块之间的关联,则粒化相当于图的收缩,粒结构既是基于划分的偏序结构同时又是一种图结构。最后给出了粒层的关联矩阵表示和构造粒层的矩阵变换方法。
- 韩光辉曾诚
- 关键词：粒计算连通图偏序
- n维测度空间与n维乘积测度空间的关系被引量：1
- 2008年
- 由集合Xk中半环Pk上的σ-有限测度μk出发,在n维基本空间X1×X2×…×Xn的情形建立测度空间有两个途径:一是利用积分理论构造n维乘积测度空间(X1×X2×…×Xn,P*1×P2*×…×Pn*,μ1*×μ2*…×μn*,二是利用测度扩张理论直接构造n维测度空间(X1×X2×…×Xn,S(n),μ*)。本文讨论了这两个测度空间之间的关系。
- 韩光辉
- 关键词：乘积测度
- 一种改进的基于路径的语义相似度计算算法
- 在概念之间的相似程度计算算法中，基于路径的语义相似度算法扮演着重要的角色。首先分析常用的几种基于路径的相似度计算算法，然后针对Wu和Palmer算法中存在的两个缺陷，提出了一种改进算法。从整体上来讲，这种算法的改进较为直...
- 曾诚韩光辉李兵朱子龙
- 关键词：语义相似度
- 一个改进的LR(1)分析表及其构造算法被引量：1
- 2001年
- LR(1)分析表是LR(1)分析器的核心。改进了传统的LR(1)分析表 ,提出了新的构造算法。该算法利用LR(1)基本集代替LR(1)项集 ,对于归约状态直接标注归约转移后的状态编号。该分析表不含GOTO表 ,基于它的LR(1)语法分析过程一般不需要后入先出栈的辅助。
- 韩光辉
- 划分格及其应用
- 2015年
- 首先证明了加细?是集合U的划分全体?(U)上的偏序,讨论了划分的加细与划分的划分之间的联系。然后,U上的等价关系全体E(U)是格,偏序结构(E(U),?)与(?(U),?)同构,由此得到划分格?(U)。最后介绍了划分格在信息系统、知识库和粒计算中的应用。
- 韩光辉曾诚
- 关键词：偏序信息系统知识库粒计算
- Sylvester不等式等号成立的一个充要条件被引量：1
- 2010年
- 给出了矩阵等价标准形的一个新的证明,描述了其中可逆矩阵P,Q的构造,在此基础上,本文给出了Sylvester不等式等号成立的一个充要条件。
- 韩光辉
- 关键词：矩阵等价标准形
- 可求积集的若干性质被引量：1
- 2004年
- 研究可求积集与可求积集的分割,给出了一组性质,推广了关于分割的一个重要结论.
- 韩光辉
- 关键词：LEBESGUE测度
- 改进的LR(1)分析表及其构造算法
- 2001年
- 提出一个改进的不含GOTO表的LR (1)分析表及其构造算法 ,基于它的LR (1)语法分析过程不需后入先出栈的辅助。
- 杨军韩光辉
- 关键词：构造法分析器计算机
- 关于有限自动机定义的一个注记被引量：1
- 2015年
- 给出了有限自动机的一般定义M=(Q,Σ,R,q0,F),其中R哿(Q×(Σ∪{ε}))×Q,特别地,如果R:Q×Σ→Q,则M是确定性有限自动机,该定义统一描述了确定性有限自动机、非确定性有限自动机、带空转移的非确定性有限自动机与部分自动机的概念。在该定义下,证明了确定性有限自动机与非确定性有限自动机的等价性以及正则语言类关于连接、闭包运算的封闭性,因此该定义在理论上是完备的。
- 韩光辉曾诚
- 关键词：有限自动机正则语言
