期刊文献+
共找到20篇文章
< 1 >
每页显示 20 50 100
互联网思维下的MOOC课程设计——以组合数学课程为例 被引量:7
1
作者 马昱春 鲍丽薇 武永卫 《计算机教育》 2016年第11期76-78,82,共4页
大规模开放在线课程(MOOC)作为在线教育的新兴模式将知识的传播范围进一步扩大,MOOC在时间空间上对教育模式带来冲击的同时对教学设计也带来了巨大的变革。文章从互联网思维角度分析MOOC课程设计与传统课堂的不同之处和相通之处,尤其从... 大规模开放在线课程(MOOC)作为在线教育的新兴模式将知识的传播范围进一步扩大,MOOC在时间空间上对教育模式带来冲击的同时对教学设计也带来了巨大的变革。文章从互联网思维角度分析MOOC课程设计与传统课堂的不同之处和相通之处,尤其从具体的MOOC课程运营中的实例出发,分析在线课程的关键设计要素。 展开更多
关键词 在线教育 MOOC 课程设计 互联网思维
下载PDF
深度备课引导创新思维,项目实践激发学术志趣——组合数学启发式教学探索 被引量:10
2
作者 马昱春 《计算机教育》 2016年第3期7-11,共5页
组合数学作为计算机专业的基础理论课,不仅需要从知识层面培养学生运用计算方法和分析工具的能力,更要培养其计算思维和创造性思维,从而提高他们的科学素养和专业素质。文章结合清华大学计算机系组合数学的教学实践,阐述以启发式教学引... 组合数学作为计算机专业的基础理论课,不仅需要从知识层面培养学生运用计算方法和分析工具的能力,更要培养其计算思维和创造性思维,从而提高他们的科学素养和专业素质。文章结合清华大学计算机系组合数学的教学实践,阐述以启发式教学引领思维、以创新实践激发兴趣的教学体系理念,提出通过创新性的教学设计将科学精神的培养融入到抽象的知识教育环节中。 展开更多
关键词 组合数学 创新 开放式 启发式
下载PDF
超图划分问题的元胞自动机模型及算法研究 被引量:2
3
作者 冷明 孙凌宇 +2 位作者 边计年 马昱春 朱平 《计算机工程》 CAS CSCD 2012年第15期23-27,共5页
对超图划分问题运用元胞自动机理论进行分析建模,提出一种元胞自动机模型以及基于该模型的赋权超图划分优化算法。在该模型中,元胞对应于赋权超图中的结点,邻接元胞对应于邻接超边所包含的结点,元胞的状态对应于所在的划分子集。引入二... 对超图划分问题运用元胞自动机理论进行分析建模,提出一种元胞自动机模型以及基于该模型的赋权超图划分优化算法。在该模型中,元胞对应于赋权超图中的结点,邻接元胞对应于邻接超边所包含的结点,元胞的状态对应于所在的划分子集。引入二维辅助数组存储每条超边在划分子集中的结点个数,给出快速的元胞收益值和划分割切值的计算方法,从而避免遍历超边中的结点。实验结果表明,与赋权图划分算法和迁移方法相比,该算法可以取得更优的划分,且时间复杂度和空间复杂度较低。 展开更多
关键词 赋权超图 划分算法 元胞自动机 时间复杂度 空间复杂度
下载PDF
一种时间复杂度为O(m)的无向超图核值求解算法 被引量:2
4
作者 冷明 孙凌宇 +1 位作者 边计年 马昱春 《小型微型计算机系统》 CSCD 北大核心 2013年第11期2568-2573,共6页
阐述了图核的全局信息在结点匹配中的应用,将图核理论扩展到超图上,提出了超图的核等相关概念,并给出了超图核值的形式化描述;分析了超图k水平p-核的构造性属性,给出了求解超图核值算法的基本步骤,进而讨论了降低时间复杂度的改进措施,... 阐述了图核的全局信息在结点匹配中的应用,将图核理论扩展到超图上,提出了超图的核等相关概念,并给出了超图核值的形式化描述;分析了超图k水平p-核的构造性属性,给出了求解超图核值算法的基本步骤,进而讨论了降低时间复杂度的改进措施,提出了基于结点属性函数快速求解超图核值的算法框架;重点阐述了无向超图的改进压缩存储格式,将无向超图核值的求解算法从结点的度属性扩展到不同的结点属性函数,并给出了基于该存储格式的结点属性函数p5(v,U)核值求解算法,其时间复杂度为O(m),空间复杂度为O(n+m+z);最后,基于ISPD98测试基准的18组无向超图进行了结点的度和核值的求解对比实验,其数据对比表明:核值相比结点的度更能反映出结点在超图中的重要程度. 展开更多
关键词 无向超图 核值 时间复杂度 算法
下载PDF
清华大学计算机专业本科人才培养的实践探索 被引量:4
5
作者 鲍丽薇 丁力 +1 位作者 马昱春 武永卫 《计算机教育》 2015年第11期2-6,共5页
依据"价值塑造、能力培养、知识传授"的育人理念,从价值教育模式、课堂教学模式以及学生志趣培养3个方面探索计算机专业本科人才培养,并提出改进建议。
关键词 三位一体 本科 人才培养 志趣
下载PDF
基于结点匹配策略的赋权超图核值实验比较 被引量:1
6
作者 冷明 孙凌宇 +3 位作者 朱平 边计年 马昱春 张亮 《计算机工程》 CAS CSCD 2013年第6期85-90,共6页
分析赋权超图多水平粗化阶段的节点匹配策略,给出引入节点核值全局信息到超图的节点匹配过程,发挥节点核值导向性作用,改进仅利用边的权值、节点的度等局部信息进行结点选择的匹配策略,将图的核值理论扩展到超图,提出超图核值等相关概... 分析赋权超图多水平粗化阶段的节点匹配策略,给出引入节点核值全局信息到超图的节点匹配过程,发挥节点核值导向性作用,改进仅利用边的权值、节点的度等局部信息进行结点选择的匹配策略,将图的核值理论扩展到超图,提出超图核值等相关概念及其形式化描述。基于ISPD98测试基准的18组超图,结合多水平粗化阶段的不同节点匹配策略,以节点的度和核值的最大值、累加和、分布密度为评估指标进行对比实验。结果表明,与传统节点匹配算法相比,该核值更能反映粗化节点在每组水平层粗化超图中的重要程度。 展开更多
关键词 赋权超图 匹配策略 核值 粗化阶段
下载PDF
基于角模块布图表示的增量式布图规划算法(英文) 被引量:1
7
作者 杨柳 马昱春 +2 位作者 洪先龙 董社勤 周强 《Journal of Semiconductors》 EI CAS CSCD 北大核心 2005年第12期2335-2343,共9页
提出了一种基于CBL布图表示的新的增量式布图规划算法.该算法能很好地解决包括不可二划分结构在内的布图规划问题.针对现有增量式的一些需求,算法给出了相应的高速解决方案.在已有的初始布局的基础上,基于CBL表示方法建立水平约束和垂... 提出了一种基于CBL布图表示的新的增量式布图规划算法.该算法能很好地解决包括不可二划分结构在内的布图规划问题.针对现有增量式的一些需求,算法给出了相应的高速解决方案.在已有的初始布局的基础上,基于CBL表示方法建立水平约束和垂直约束图,利用图中关键路径和各模块之间的累加的距离松弛量进行增量式操作.对于新模块的插入,在力求面积最小,线长最短和移动模块数目最少的目标指引下能快速地找到最佳位置作为插入点,高效地完成相关操作,算法的时间复杂性仅为O(n).通过对一组来自工业界的设计实例的测试结果表明,该算法在保证芯片的面积、线长等性能不降低甚至有所改善的情况下,运行速度相当快,仅在μs量级,满足了工业界对增量式布图规划算法在速度上的首要要求,同时保证了基本性能的稳定. 展开更多
关键词 增量式布图规划 角模块布图表示 连接图 平衡点
下载PDF
转专业大学生的志趣培养和质量保障 被引量:5
8
作者 鲍丽薇 马昱春 李向荣 《大学教育》 2017年第2期127-130,共4页
大学生转专业政策是人才培养模式变革的需要,其有利于人才培养质量的提升,是高校遵循人才成长规律,培养学生个性发展的一个有效的举措。清华大学计算机系近年来逐步加强转系学生的培养管理,面对以往接收转专业学生时出现的很多问题,如... 大学生转专业政策是人才培养模式变革的需要,其有利于人才培养质量的提升,是高校遵循人才成长规律,培养学生个性发展的一个有效的举措。清华大学计算机系近年来逐步加强转系学生的培养管理,面对以往接收转专业学生时出现的很多问题,如选拔环节考查项单一,培养方案认定原则不灵活,学生进入新专业后迟迟不能适应新的学习和生活等,计算机系教务部门不断总结归纳转专业学生选拔和培养工作中的成效和不足,积极探索转专业学生的志趣培养途径及质量保障机制,建立从选拔、培养及因材施教等方面的一系列行之有效的工作管理办法,从而提高专业人才培养质量。 展开更多
关键词 转专业 质量保障 因材施教
下载PDF
基于MPSoC并行调度的矩阵乘法加速算法研究 被引量:4
9
作者 杨飞 马昱春 +1 位作者 侯金 徐宁 《计算机科学》 CSCD 北大核心 2017年第8期36-41,共6页
矩阵乘法是数值分析以及图形图像处理算法的基础,通用的矩阵乘法加速器设计一直是嵌入式系统设计的研究热点。但矩阵乘法由于计算复杂度高,处理效率低,常常成为嵌入式系统运算速度的瓶颈。为了在嵌入式领域更好地使用矩阵乘法,提出了基... 矩阵乘法是数值分析以及图形图像处理算法的基础,通用的矩阵乘法加速器设计一直是嵌入式系统设计的研究热点。但矩阵乘法由于计算复杂度高,处理效率低,常常成为嵌入式系统运算速度的瓶颈。为了在嵌入式领域更好地使用矩阵乘法,提出了基于MPSoC(MultiProcessor System-on-Chip)的软硬件协同加速的架构。在MPSoC的架构下,一方面,设计了面向硬件约束的矩阵分块方法,从而实现了通用的矩阵乘法加速器系统;另一方面,通过利用MPSoC下的多核架构,提出了相应的任务划分和负载平衡调度算法,提高了并行效率和整体系统加速比。实验结果表明,所提架构及算法实现了通用的矩阵乘法计算,并且通过软硬件协同设计实现的多核并行调度算法与传统单核设计相比在计算效率方面得到了显著的提高。 展开更多
关键词 矩阵乘法 MPSOC 并行计算 负载平衡
下载PDF
清华大学计算机辅修专业人才培养实践 被引量:4
10
作者 戴音 马昱春 +1 位作者 郑莉 武永卫 《计算机教育》 2017年第7期6-8,13,共4页
介绍清华大学计算机辅修专业在招生、培养方案、课程设置以及师资配置等方面取得的办学经验,总结出一套适合非电子信息类学生的、促进学科融合的、培养兼具专业知识与信息技能的复合型人才的教学体系,并且针对课程体系建设及学生管理的... 介绍清华大学计算机辅修专业在招生、培养方案、课程设置以及师资配置等方面取得的办学经验,总结出一套适合非电子信息类学生的、促进学科融合的、培养兼具专业知识与信息技能的复合型人才的教学体系,并且针对课程体系建设及学生管理的新需求和新样态提出改进建议。 展开更多
关键词 计算机辅修 人才培养 教学体系
下载PDF
创新领军工程博士培养质量保障体系的探索与实践——以清华大学计算机科学与技术系为例 被引量:1
11
作者 鲍丽薇 高玉超 +1 位作者 刘敬晗 马昱春 《长春教育学院学报》 2022年第6期69-77,共9页
清华大学计算机科学与技术系在工程博士培养与管理方法上不断探索,在招生环节严格把控选拔标准;在培养过程中注重个性化,增设“调研报告与选题设想”环节;在论文撰写阶段,配合导师对学生的研究内容进行合理引导,注重学科交叉,工程科研... 清华大学计算机科学与技术系在工程博士培养与管理方法上不断探索,在招生环节严格把控选拔标准;在培养过程中注重个性化,增设“调研报告与选题设想”环节;在论文撰写阶段,配合导师对学生的研究内容进行合理引导,注重学科交叉,工程科研相融合;论文评审增加系级论文预查环节,规范论文标准,保障论文写作质量;学位审批阶段进行论文抽检,确保论文从形式到内容均达到培养目标的要求。逐步形成了一套行之有效的质量保障体系,为高质量的工程博士培养奠定了良好的基础。 展开更多
关键词 工程博士 质量保障 管理模式
下载PDF
基于混合式两阶段的动态部分重构FPGA软硬件划分算法 被引量:4
12
作者 马昱春 张超 Luk Wayne 《清华大学学报(自然科学版)》 EI CAS CSCD 北大核心 2016年第3期246-252,261,共8页
动态部分重构的特性大大提高了硬件设计的灵活性,但传统的软硬件划分算法不再适用于针对这类硬件的系统设计。部分研究考虑了动态部分重构的特性,并建立了混合整数线性规划(MILP)模型进行求解。但是由于MILP自身的限制,求解时间特别长,... 动态部分重构的特性大大提高了硬件设计的灵活性,但传统的软硬件划分算法不再适用于针对这类硬件的系统设计。部分研究考虑了动态部分重构的特性,并建立了混合整数线性规划(MILP)模型进行求解。但是由于MILP自身的限制,求解时间特别长,只能处理规模较小的问题。为了能够处理规模较大的问题,并且缩短求解时间,该文对MILP方法进行了详细的分析,并且通过启发式算法确定部分关键任务的状态,从而减小MILP的规模,加快求解速度。实验结果表明:与传统的数学规划方法相比,在求解质量不变的情况下,该算法可以得到最高约200倍的速度提升。 展开更多
关键词 软硬件划分 动态部分重构 启发式 混合整数线性规划
原文传递
数学课,该怎么MOOC?
13
作者 马昱春 《中国远程教育》 CSSCI 北大核心 2014年第24期117-117,共1页
到现在为止,科学仍然有许多未解之迷,只要你去想、去联系,就会发现它们不是离散的,而是相互联系的。我相信每一门理科的课程都有这样的例子。我们到底在讲什么?我们讲的是知识,但是它带动的是思维。知识是什么?知识就是静止在书... 到现在为止,科学仍然有许多未解之迷,只要你去想、去联系,就会发现它们不是离散的,而是相互联系的。我相信每一门理科的课程都有这样的例子。我们到底在讲什么?我们讲的是知识,但是它带动的是思维。知识是什么?知识就是静止在书上的几行字。看起来是静止在那里的,但过程实际上是流动的。 展开更多
关键词 数学课 知识 静止 课程
原文传递
MOOCAP学习者在线学习行为和学习效果评价模型研究 被引量:49
14
作者 沈欣忆 吴健伟 +2 位作者 张艳霞 李营 马昱春 《中国远程教育》 CSSCI 北大核心 2019年第7期38-46,93,共10页
中国慕课大学先修课(MOOCAP)是采用大规模开放在线课程(Massive Open Online Course,MOOC)和中国大学先修课程(Chinese Advanced Placement, CAP)相融合的方式,借助高等教育领域和基础教育领域的学科专家、资深教师,根据高中生的特点将... 中国慕课大学先修课(MOOCAP)是采用大规模开放在线课程(Massive Open Online Course,MOOC)和中国大学先修课程(Chinese Advanced Placement, CAP)相融合的方式,借助高等教育领域和基础教育领域的学科专家、资深教师,根据高中生的特点将大学课程进行重新设计的在线课程,是慕课大学先修课。本研究充分利用学习者在MOOCAP中的在线学习行为数据,采用德尔菲法、专家排序法、专家工作坊等多种研究方法,构建MOOCAP在线学习行为和学习评价模型,对MOOCAP课程的学习评价工作具有较强的指导性和可操作性,弥补了以往单凭学习成绩进行评价,或者仅依靠单一学习行为得出一些描述性结论的弊端,更具有全面性和系统性,为学生个性化的发展提供充分的过程评价数据依据,挖掘出学习者各自的学习特性,实现有针对性的'因材施教'。 展开更多
关键词 大规模开放在线课程 中国慕课大学先修课 中国大学先修课程 慕课 教育公平 教育改革 课程改革 学堂在线 在线学习 学习评价
原文传递
建渠以引流 构建从课内到课外的全流程育人场景——以高校理科课程为例
15
作者 马昱春 《北京教育(德育)》 2022年第10期44-48,共5页
因势利导将课堂内的课程思政设计进一步延伸到课后以及学业外,建构面向学生成长全过程的课程思政设计,将进一步推动课程思政育人效果的持久性和全面性,进一步在课堂之外引导学生助力成长,从而形成课内到课外的全流程育人场景。以计算机... 因势利导将课堂内的课程思政设计进一步延伸到课后以及学业外,建构面向学生成长全过程的课程思政设计,将进一步推动课程思政育人效果的持久性和全面性,进一步在课堂之外引导学生助力成长,从而形成课内到课外的全流程育人场景。以计算机专业基础理论课“离散数学(1)”和“组合数学”的教学实践为例,重点分析课程思政的设计如何贯穿到知识传授的各个环节中,形成立体化的课程思政体系,并深入探讨了课外建渠引流的场景,以课外师生交流的样态分类,课外读物的引导设计以及课后作业的精巧设计三个方面,阐述理科课程在全流程学科育人方面的要素和方法。 展开更多
关键词 课程思政 理科课程 课内课外 全流程
原文传递
角模块序列布图表示及基于角模块序列表示的边界约束布图规划算法
16
作者 洪先龙 马昱春 +3 位作者 董社勤 蔡懿慈 C.K.Cheng 顾钧 《中国科学(E辑)》 CSCD 北大核心 2002年第3期409-418,共10页
布图规划是VLSI布图设计中的关键环节,通常采用随机优化算法,而布图结构的编码表示(或称布图表示)是基于随机优化方法的布局算法的关键.提出一种新的布图表示-角模块序列(CBL),并从理论上证明它具有O(n)的布局评估算法计算复杂性... 布图规划是VLSI布图设计中的关键环节,通常采用随机优化算法,而布图结构的编码表示(或称布图表示)是基于随机优化方法的布局算法的关键.提出一种新的布图表示-角模块序列(CBL),并从理论上证明它具有O(n)的布局评估算法计算复杂性和较小的解空间.在布图设计中,部分模块的位置需要满足一定的约束条件,边界约束就是其中常见的一种.通过边界约束可以将特定模块的位置限制在指定的边界上,从而有利于模块与I/O端口的互连.基于角模块表示,推导出满足边界约束布局的充分必要条件,并结合模拟退火过程,通过修正中间解使受约束模块满足约束条件,从而实现了基于CBL模型的边界约束布图规划算法.将代价函数惩罚方法和启发式方法相结合,设计了边界约束的惩罚项,能够合理准确地衡量约束满足的情况,从而有效地控制模拟退火的进度,以保证最终布局满足所有约束.对MCNC的标准例子的测试结果表明算法是十分有效的. 展开更多
关键词 布图表示 角模块序列表示 VLSI 布图规划 模拟退火算法 边界约束 布图设计 集成电路
原文传递
芯片级布图规划中的缓冲器规划算法
17
作者 陈松 洪先龙 +4 位作者 董社勤 马昱春 蔡懿慈 Chung-Kuan Cheng 顾钧 《中国科学(E辑)》 CSCD 北大核心 2004年第8期869-881,共13页
文中对纳米技术下, 互连驱动的芯片级布图规划问题中的缓冲器规划问题进行了研究, 提出了基于空白区重分布(redistribution)的缓冲器规划算法; 布局中的空白区是指在布局中不被任何电路模块占用的闲置区域; 该算法充分利用布局中的空白... 文中对纳米技术下, 互连驱动的芯片级布图规划问题中的缓冲器规划问题进行了研究, 提出了基于空白区重分布(redistribution)的缓冲器规划算法; 布局中的空白区是指在布局中不被任何电路模块占用的闲置区域; 该算法充分利用布局中的空白区插入缓冲器. 在基于拓扑的布图规划表示中, 可以把电路模块和空白区相关联, 在相应区域内移动一些电路模块就可以达到重分布空白区的目的. 在进行空白区重分布的过程中, 给定布局的总面积和拓扑结构将维持不变. 通过重分布布局中的空白区, 可以增加满足时延约束的线网数目; 实验证实, 满足时延约束的线网数的增长率平均达到9%. 展开更多
关键词 缓冲器规划 空白区 重分布 布图规划 VLSI 角模块序列 独立可行区域 超大规模集成电路
原文传递
基于运行时基本代码块的可重构软硬件协同设计
18
作者 袁仲达 马昱春 +1 位作者 边计年 赵康 《清华大学学报(自然科学版)》 EI CAS CSCD 北大核心 2013年第9期1347-1355,共9页
针对可重构计算中软硬件协同问题,该文提出了基于运行时基本代码块的可重构软硬件协同设计方法。设计方法打破了以往基于源代码分析的可重构设计思路,以运行时基本代码块为基础,通过自动化的统计分析工具实现软硬件功能划分。该设计方... 针对可重构计算中软硬件协同问题,该文提出了基于运行时基本代码块的可重构软硬件协同设计方法。设计方法打破了以往基于源代码分析的可重构设计思路,以运行时基本代码块为基础,通过自动化的统计分析工具实现软硬件功能划分。该设计方法能够降低对人工干预的需求,克服对于源代码和特定编译工具的依赖,保证可重构计算资源的利用效率。样本应用程序的设计实验过程和结果展示了这种思路的有效性。 展开更多
关键词 可重构计算 运行时基本代码块 软硬件协同设计
原文传递
General Floorplans with L/T-Shaped Blocks Using Corner Block List
19
作者 马昱春 洪先龙 +2 位作者 董社勤 C. K. Cheng 顾钧 《Journal of Computer Science & Technology》 SCIE EI CSCD 2006年第6期922-926,共5页
With the recent advent of deep submicron technology and new packing schemes, the components in the integrated circuit are often not rectangular. On the basis of the representation of Corner Block List (CBL), we prop... With the recent advent of deep submicron technology and new packing schemes, the components in the integrated circuit are often not rectangular. On the basis of the representation of Corner Block List (CBL), we propose a new method of handling rectilinear blocks. In this paper, the handling of the rectilinear blocks is simplified by transforming the L/T- shaped block problem into the Mign-abutment constraint problem. We devise the block rejoining process and block alignment operation for forming the L/T-shaped blocks into their original configurations. The shape flexibility of the soft blocks, and the rotation and reflection of L/T-shaped blocks are exploited to obtain a tight packing. The empty rooms are introduced to the process of block rejoining. The efficiency and effectiveness of the proposed method are demonstrated by the experimental results on a set of some benchmark examples. 展开更多
关键词 FLOORPLANNING corner block list L/T-shaped blocks
原文传递
Thermal-Aware Post Layout Voltage-Island Generation for 3D ICs
20
作者 徐宁 马昱春 +1 位作者 刘佳 陶守 《Journal of Computer Science & Technology》 SCIE EI CSCD 2013年第4期671-681,共11页
To reduce the interconnect delay and improve the chip performance, three-dimensional (3D) chip emerged with the rapid increasing of chip integration and chip power density. Therefore, thermal issue is one of the cri... To reduce the interconnect delay and improve the chip performance, three-dimensional (3D) chip emerged with the rapid increasing of chip integration and chip power density. Therefore, thermal issue is one of the critical challenges in 3D IC design due to the high power density. Multiple Supply Voltages (MSV) technique provides an efficient way to optimize power consumption which in turn may alleviate the hotspots. But the voltage assignment is limited not only by the performance constraints of the design, but also by the physical layout of circuit modules since the modules with the same voltage should be gathered to reduce the power-network routing resource. Especially in 3D designs, the optimization using MSV technique becomes even more complicated since the high temperature also influences the power consumption and delay on paths. In this paper, we address the voltage-island generation problem for MSV designs in 3D ICs based on a mixed integer linear programming (MILP) model. First, we propose a general MILP formulation for voltage-island generation to optimize thermal distribution as well as power-network routing resources while maintaining the whole chip performance. With the thermal^power interdependency, an iterative optimization approach is proposed to obtain the convergence. Experimental results show that our thermal-aware voltage-island generation approach can reduce the maximal on-chip temperature by 23.64% with a reasonable runtime and save the power-network routing resources by 16.71%. 展开更多
关键词 three-dimensional integrated circuit multiple supply voltage thermal mixed integer linear programming
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部