湖北省教育科学“十一五”规划课题(2010B338)
- 作品数：7 被引量：7H指数：2
- 相关作者：韩光辉曾诚陈惠敏谢瀛慧郝梅更多>>
- 相关机构：武汉商业服务学院武汉大学更多>>
- 发文基金：湖北省教育科学“十一五”规划课题国家自然科学基金湖北省自然科学基金更多>>
- 相关领域：自动化与计算机技术文化科学更多>>
- 基于学习对象的教学资源库构建研究被引量：3
- 2011年
- 教学资源的重用有利于提高教学的效率和质量,然而面对现在数量众多的孤立分散、缺乏统一标准的教育资源,想重用这些资源非常困难。设计了一种基于学习对象的教学资源库,通过对资源元数据库的管理,实现对教学资源的管理,为用户查询、获取资源提供了有效途径。
- 陈惠敏
- 关键词：元数据教学资源库
- 移动云计算架构下的基于学习对象理论的教学资源库构建被引量：1
- 2012年
- 学习对象是教学资源的抽象与封装,教学资源以学习对象的形式存在,教学设计者通过重用学习对象来共享教学资源,学习对象理论研究影响教学资源可重用性的各种因素间的最佳结构状态。本文提出了基于校园云架构的教学资源库构建,该架构基于移动云计算和智能终端,分析了在该架构下构建教学资源库系统的方法和优势。
- 谢瀛慧
- 关键词：移动云计算教学资源库
- 基于LOM的知识模型与个性化学习控制被引量：2
- 2012年
- 在智能教学系统中,知识模型是专家模型的核心,是实现智能教学的一个关键问题。本文讨论知识点及其相互关系的形式表示,提出基于LOM的知识点模型与学习控制策略。知识点被设计、封装为学习对象,提高了学习内容的可重用性、可管理性、可定制性与互操作性。LOM的语义描述能力,使得系统本身具有一定程度的知识理解能力。以知识点LOM模型为结点的知识网络是语义网络,其语义计算能力便于知识的发现与关联。将专家知识网络动态映射为学生知识网络,实现了个性化学习。
- 韩光辉曾诚
- 关键词：知识表示LOM智能教学系统知识库知识网络
- 右线性文法与有限自动机等价性的一个新证明
- 2012年
- 迄今为止,左、右线性文法与有限自动机的等价性都是通过相互模拟构造来证明的。文章首先引入字母表上的右线性方程组及其最小解的概念,证明了最小解的存在性与有效可解性,描述了最小解的结构;其次通过右线性方程组及其最小解,证明了右线性文法与有限自动机的等价性。完全类似地,可以引入字母表上的左线性方程组及其最小解,并且证明左线性文法与有限自动机的等价性;最后简要阐述了右线性方程组在有限自动机的矩阵模型和正则语言类的形式模型方面的研究意义。
- 韩光辉曾诚
- 关键词：有限自动机等价性最小解
- 一种半自动Web服务语义标注方法
- 2012年
- 针对目前Web服务语义标注方法的准确性不高和随意性较强等问题,提出一种半自动Web服务语义标注方法。首先解析Web服务的功能接口信息,抽取作为标注对象的核心词;然后利用概念相似度匹配算法生成候选概念集合,供自动标注或人工选择标注;若候选概念集合为空集,则利用同义词匹配算法与模式匹配算法再次匹配,求得新的候选概念集合。实验结果表明,该语义标注方法有效提高了查全率。
- 韩光辉曾诚
- 关键词：WEB服务语义标注WORDNETKMP算法
- 正则表达式方程组的最小解被引量：1
- 2011年
- 网络安全检测中,正则表达式匹配是深度包检测的主要手段,匹配算法则是其关键技术。目前,正则表达式匹配算法可以大体分为转换压缩、状态压缩和字母表压缩三类。文章讨论正则表达式方程组最小解及其求解算法,证明了正则表达式方程组的最小解的存在性和基于Gauss消元法的求解算法的正确性,给出了最小解的构造,分析了求解算法的时间复杂度,为规则压缩奠定了理论基础。
- 韩光辉曾诚
- 关键词：最小解时间复杂度
