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