国家科技支撑计划(2006BAH02A24)
- 作品数：13 被引量：58H指数：4
- 相关作者：杨宗凯刘清堂韩立龙严莉刘三女牙更多>>
- 相关机构：华中师范大学武汉大学中南民族大学更多>>
- 发文基金：国家科技支撑计划国家自然科学基金湖北省自然科学基金更多>>
- 相关领域：自动化与计算机技术文化科学电子电信更多>>
- 一种数字权利动态跃迁模型研究
- 2009年
- 针对目前数字权利难以动态描述的现状,提出了一种基于逻辑推理的数字权利动态跃迁模型。在定义好逻辑推理相关的基本要素后,分析了该跃迁模型的逻辑推理机制以及动态推理过程。最后深入地讨论了该跃迁模型中的各种可能表现形式,并给出了相应的应用模式。
- 韩立龙刘清堂杨宗凯
- 关键词：逻辑
- 一种基于分辨函数的属性约简算法及其应用被引量：1
- 2008年
- 针对个性化网络学习中影响学习策略的关键个性特征发现问题,基于粗糙集理论,提出了一种采用分辨函数进行属性约简的算法.应用分辨函数原理,逐次比较论域中的对象,以获取核集和非核集;利用逻辑运算求取最佳约简,并对约简集合的属性进行影响因子的排序,提取出关键个性特征属性.在西安交通大学英语学习网站平台上的实验结果表明,所提算法得出的学习者关键个性特征维数仅为原始维度的1/4,并可自动发现学习者关键个性特征知识,揭示个性特征和学习策略间的客观关系,精简50%的数据量.
- 吴茜媛郑庆华刘广东
- 关键词：网络学习属性约简
- 关于高校教师与网络教学的研究综述被引量：23
- 2009年
- 虽然网络教学目前已成为高等教育中一种日益重要的教学方式,然而现实中网络教学应用还存在着许多的困难与阻碍。众多研究表明,高校教师是影响网络教学有效应用的一个重要因素。本研究主要运用了文献研究的方法对国外关于高校教师与网络教学的相关研究进行了综述和分析,以期对我国高校网络教育的发展能够有所启发和借鉴。
- 严莉杨宗凯刘三女牙
- 关键词：高校教师网络教学角色
- 交互性虚拟教室的设计与实现被引量：6
- 2010年
- 以虚拟现实建模语言VRML为基础,结合Java设计并且实现了一个虚拟教室系统;设计了相关教室场景交互模式以增强学习的交互性,实现了对部分教室场景对象的感知与交互控制及虚拟教师和学生的交互功能;虚拟教师具有简单的表情和动作,有助于学生对教学内容的理解;此教学系统具有较好的教与学的交互功能,用户可以对虚拟教室进行任意角度的观察和自由操作;它提供了一个生动逼真的教学环境,将学习者"放在"与现实学习环境相似的场景中;它有助于学生的自主学习,具有较高的实用性。
- 胡燕
- 关键词：虚拟教室虚拟教师虚拟现实建模语言
- 基于证书修改的数字权限动态描述被引量：2
- 2009年
- 针对基于XML的权限描述语言(如XrML和ODRL)的本质缺陷,提出了一种基于证书修改的数字权限动态描述模型。在定义了该模型的相关基本要素后,深入探讨和分析了该模型的执行过程,并给出了一个应用模型。
- 韩立龙刘清堂杨宗凯
- 基于MathML的在线公式编辑器的实现与应用被引量：8
- 2008年
- 在阐述了数学标记语言MathML和公式插件WebEQ的基础上,提出了一种基于MathML的在线公式编辑器的设计,并以文本编辑器FCKeditor为平台进行了实现,最后给出了具体应用与进一步的改进,较好地解决了上述问题。
- 郭威刘三杨宗凯孙建文刘林
- 关键词：数学标记语言
- 基于逻辑推理的数字权利动态描述研究被引量：1
- 2009年
- 使用过程中数字权利的动态描述一直都是DRM应用系统研究的热点。提出一种基于逻辑推理的数字权利动态描述模型,在定义好该模型的基本要素以后,利用逻辑推理工具Prolog深入探讨和分析该模型中数字证书逻辑推理过程,并给出了相应的应用实例。
- 韩立龙刘清堂杨宗凯
- 关键词：逻辑推理
- 学习设计规范及应用研究被引量：1
- 2008年
- IMS所制定的学习设计规范描述各种各样的学习方法和过程、学习活动及协作情景,并保证学习资源的共享和重用。该规范对于教学设计的描述、学习活动序列的确定、网络课程的开发、学习资源的重用、网络教学平台的设计等方面的实践具有很大的指导作用。本文简要介绍了学习设计规范,并对学习设计规范的应用进行了实例探讨。
- 杨琛刘清堂杨宗凯
- 关键词：学习设计规范远程教育
- SOA中基于EPN的动态服务组合模型
- 2008年
- Web服务组合技术对提高面向服务的体系结构(SOA)的软件开发效率是非常重要的。该文对基于Petri网的服务组合进行了综述,目前采用较多的P/T_或高级网对服务组合的发展有重要的推动作用,但其所描述物理资源及其制约的变迁规则并不适合服务组合,使组合效率降低。采用服务组合并改变其变迁规则对服务建模,根据输入库所的匹配进行动态服务组合,并将其转化为经典的人工智能问题求解。给出了基于EPN的动态服务组合在股票查询中的实例。
- 高旻吴中福李季冯永江峰
- 关键词：WEB服务
- 基于逻辑证书的数字权利动态描述模型研究
- 2009年
- 数字权利的动态描述一直都是DRM应用系统研究的热点。提出了一种基于逻辑证书的数字权利的动态描述模型。在定义好相关的逻辑证书和逻辑规则后,利用逻辑推理的方法深入探讨和分析该模型中数字证书逻辑推理过程,通过逻辑推理的方法实现数字权利的动态描述。最后通过简单实例,验证了该方法的可行性。
- 韩立龙刘清堂杨宗凯
- 关键词：逻辑规则
