公共文化服务平台

共 2 条记录，以下是 1-2

全选清除导出

排序方式：

基于GAG的Horn逻辑分布式推导模型被引量：3: 2012年; 分布式逻辑推理是在网络环境下提供分布式智能服务的推理机制,提出了一个基于广义与或图(GAG)的Horn逻辑分布式推导模型.该模型可以清晰地表示变量约束,实现无须回溯的远程谓词调用,Horn逻辑中一次成功的推导在该模型中被表示为一个解路径,问题求解被转换为对GAG的搜索.还讨论了广义与或图搜索算法在Horn逻辑推理当中的应用.; 张伟洪声贵; 关键词：HORN逻辑

CDIO教学改革中的教学质量评估系统被引量：12: 2013年; CDIO工程教育是近年国际工程教育一个新的研究与实践成果,它提出了一种崭新的工程教育模式.在我国实施CDIO过程中主要面临两个问题:一是CDIO的能力指标如何落实在课程当中;二是毕业生的培养效果如何评价.结合作者的教学研究与实践,提出对这两个问题的解决方案和对应的信息化系统设计:(1)首先明确专业培养目标;(2)其次明确课程目标;(3)专业培养目标应明确、完全地分解于课程目标当中;(4)根据学生的学习结果(课程学习+项目学习)对该专业实施CDIO改革的效果进行定量评价.; 张伟王丽云; 关键词：CDIO工程教育教学质量管理系统

全选清除导出

共1页<1>

国家教育部“985工程”(26311005)