肖洋
- 作品数：6 被引量：69H指数：3
- 供职机构：北京化工大学信息科学与技术学院更多>>
- 发文基金：教育部留学回国人员科研启动基金青年科技基金更多>>
- 相关领域：自动化与计算机技术语言文字机械工程更多>>
- 如何在双语教学中发挥学生的主观能动性被引量：16
- 2003年
- 本文结合操作系统专业课程中进行双语教学的实践,对如何有效地开展双语教学进行了探讨,详细介绍了双语教学过程中的备课和课堂组织的特点,讨论了其中一些关键性的问题,并就如何在双语教学中充分发挥学生的主观能动性、培养学生的创新思维进行了深入的分析。
- 肖洋李芳
- 关键词：双语教学主观能动性创新思维
- 基于形式化UML的教务管理数据库实现方法被引量：2
- 2008年
- 利用统一建模语言(UML),实现了从高校教务管理类模式向教务管理关系数据库数据模式的转换。首先,以学籍管理系统为例,用UML的用例图、序列图、类图对其进行了建模。然后,在类的设计过程中,借助面向度量的UML的代数表达框架,检测了一些类模式的设计错误,对类模式进行了一些优化。最后,运用类图中类间的几种关系在关系数据库中的实现策略,建立了学籍管理数据库中的表。
- 寇迎奇易军凯肖洋
- 关键词：教务管理
- 基于约束逻辑程序设计的排课算法研究被引量：5
- 2006年
- 课程安排问题是典型的组合优化和不确定调度问题。采用约束逻辑程序设计的研究方法,结合课程安排自身的特点,通过约束推理找到最优的课程安排结果。约束逻辑程序设计综合了人工智能中一致性算法和启发式搜索算法,采用约束推理方法,能非常好地处理各种冲突,并且能快速地排出合理的课程。
- 徐成刚易军凯肖洋
- 关键词：排课约束逻辑程序设计
- 约束逻辑程序设计系统的变量事件机制研究
- 1 引言研究离散有限域约束问题的一个方法是约束逻辑程序设计,这个方法综合了人工智能中一致性算法和启发式搜索算法的优点,是人工智能的重要组成部分。一般来说,约束逻辑程序设计采用的基本策略是查找二叉树,从根节点开始按照事先规...
- 易军凯肖洋
- 文献传递
- 在线考试组卷算法研究被引量：46
- 2006年
- 针对网络化教学的需求,提出了一个在线考试系统,为了使生成的试卷更客观、科学和有区分度,文中首先讨论了组卷原则,并围绕这组组卷原则,提出了一个结构合理的试题库和自动组卷算法,提出了一套合理的组卷参数,从而实现了一个自动化试卷生成及考试系统。该系统已嵌入到学校的网络教学系统中,运行良好。
- 肖洋王骁刘凤新
- 关键词：组卷知识点考试系统
- 约束逻辑程序设计的变量压缩事件分析
- 2005年
- 该文涉及的约束逻辑程序设计(CLP)是一在二叉树上进行搜索的过程,提高搜索效率是CLP的主要研究方向之一。在CLP中约束推理机是核心,由变量组、约束过滤器、临时容器、推理引擎组成。在介绍了约束推理机激活过滤器,对变量进行区间压缩后,提出引入变量事件,总结为三种类型:SINGLE、BOUND和DOMCHG,用于减少过滤器的激发次数。实验结果表明,变量事件能够促进约束推理机的搜索效率,缩短二叉树搜索的时间,可以更快寻找到答案。
- 易军凯肖洋
- 关键词：约束逻辑程序设计二叉树
