陈矛
- 作品数：50 被引量：95H指数：7
- 供职机构：华中师范大学更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划国家科技支撑计划更多>>
- 相关领域：自动化与计算机技术文化科学理学电子电信更多>>
- 一种双温控制的排课方法及装置
- 本发明提供一种双温控制的排课方法及装置，包括：获取初始解，所述初始解为满足所有硬约束条件的方案；获取邻域结构，所述邻域结构为软约束条件对应的方案；根据所述初始解和所述邻域结构进行双温控制的模拟退火处理获得可行解，分析所述...
- 杨宗凯刘三女牙陈矛宋婷
- 文献传递
- 面向平面几何命题理解的融合算法研究
- 2013年
- 随着初等几何命题可视化机器证明的发展,如何让几何教学辅助软件能够直接理解几何命题的含义,自动生成对应的几何图形并进行推理证明,成为当前研究的一个新问题。现有的几何命题理解方法虽然在一定程度上实现了几何命题向形式化命令的转化,但是这些方法均没有考虑几何命题中分句间的逻辑关系,无法解决分句间形式化命令的冗余和冲突问题,导致后期自动作图和推理的准确率不高。针对这一问题,在前期工作的基础上提出了一个几何命题分句间形式化命令融合算法,并将该融合算法集成应用于已有的自然语言几何作图接口进行实验论证。结果显示,几何命题分句间形式化命令融合算法将自然语言几何作图的准确率从原来的84.17%提高到了91.67%,能够有效提高几何命题理解的准确性。
- 黄焕刘清堂陈矛
- 关键词：几何命题自然语言
- 一种逻辑动漫平台系统
- 一种逻辑动漫平台系统，包括制作器部分和播放器部分。制作器部分包括编辑器、编译器和打包器，编辑器用于先将收集添加的素材作为元件导入，然后对元件进行加工编辑，封装成元件对象；编译器用于将元件对象编译成向量；打包器用于把向量打...
- 陈矛刘清堂葛强
- 文献传递
- 一种课程推荐方法、系统及电子设备
- 本发明提供一种课程推荐方法、系统及电子设备，方法包括：利用高阶的用户‑课程交互信息和知识图谱来形成用户/课程表征。根据待推荐课程在相似用户集合的浏览量来得到用户—课程相关度、使用关联规则计算两门课程搭配的频繁程度作为用户...
- 陈矛刘三女牙杨雅静
- 走班教学下的分班排课方法及装置
- 本申请提供一种走班教学下的分班排课方法及装置，应用于数据处理领域。该走班教学下的分班排课方法包括：获取学生的选课数据，分析该选课数据中各课程的选考课人数，确定第一分班结果。通过第一模拟退火算法对该第一分班结果进行优化调整...
- 陈矛刘三女牙杨宗凯宋婷
- 文献传递
- 基于向量恒等式的几何证明题自动生成方法
- 2025年
- 几何证明题的自动生成是智能教育领域中的热点研究问题。现有方法通常以单道已有习题的原始几何关系为基础,利用几何自动推理技术,推理发现新的几何关系并合成新习题。由它们生成的习题所包含的几何关系全都可以基于输入习题的原始几何关系推理得到,缺乏新颖性。针对这一问题,提出一种通过重组2道已有习题的几何关系以生成新习题的方法。通过引入向量恒等式理论,为几何关系的表示以及判定源自不同习题的几何关系能否重组为新习题提供理论依据,进而实现从已有习题中自动提取几何关系,以及将源自不同习题的几何关系自动重组为新习题的算法。实验分析以及专家的评估结果表明,所提方法在运行性能以及教育应用方面都具有可行性,并且在相同输入的情况下能够生成现有方法无法生成的更具新颖性的习题。
- 李雷陈矛彭翕成
- 关键词：几何证明题
- 一种基于知识图谱的多元环境感知推荐方法及系统
- 本发明提出了一种基于知识图谱的多元环境感知推荐方法及系统，首先设计了面向推荐场景的基于知识图谱的规则提取方法，其主要使用知识图谱中用户与项目之间的连接路径，来提取指定推荐场景中最能代表用户兴趣偏好及项目属性特征的规则。继...
- 陈矛刘三女牙杨宗凯吴超
- 文献传递
- 云教育服务关键技术与规模化应用
- 杨宗凯刘三女牙刘拥纲张昭理欧阳由宋磊易乔治许炜陈增照王泰黄涛陈矛吴砥舒江波刘海
- 云教育服务是国家现代服务业科技规划的重要内容之一,包括数字教育资源共享服务、云端一体化学习空间服务以及各类在线学习、教育APP等数字化学习服务。该项目攻克了云教育服务关键支撑技术，构建了安全可靠的国家云教育平台，探索了基...
- 关键词：
- 关键词：教育服务
- 一种教师端与学生端之间的可靠数据传输方法
- 本发明公开了一种教师端与学生端之间的可靠数据传输方法，根据交互量大小选择传输方式，即在交互量大时选用组播，交互量小时选用单播。对于组播导致的数据不完整问题，利用自检重传机制确定组播导致的丢包或错误包，对丢包或错误包采用单...
- 陈增照吴珂何秀玲刘三女牙杨宗凯戴志诚陈矛
- 文献传递
- 中学立体几何智能教育软件的设计与实现被引量：7
- 2011年
- 立体几何一直是中学几何教学的重点和难点,由于开发难度较大,国内外的几何教育软件大都只具备平面几何功能而缺少立体几何相关的功能。本文尝试利用作者设计和实现的立体几何教育软件解决教师和学生在教学中遇到的困难。文中首先给出了智能教育平台的概念,然后介绍了根据智能教育平台概念而开发的中学立体几何智能教育软件的设计框架和功能结构,接下来针对各个功能模块给出了具体说明,最后给出了一些案例演示了如何将本软件应用于中学立体几何的教学。
- 刘郑陈矛
- 关键词：智能教育平台
