樊磊
- 作品数：52 被引量：253H指数：7
- 供职机构：教育部更多>>
- 发文基金：国家自然科学基金北京市教委科技发展计划北京市教委资助项目更多>>
- 相关领域：理学文化科学自动化与计算机技术一般工业技术更多>>
- 高中新课标“开源硬件项目设计”模块:课程实施与实验室建设被引量：2
- 2018年
- 我,吴俊杰,是一个有物理教学背景的信息技术教师,所以很适应实验室环境的教学。同时,我们国家的办学标准也经历了一个从“有桌椅板凳黑板就不错了”到“专业课程需要有专业教室来支撑”的发展阶段。北京景山学校从2000年开始比较系统地开设了机器人课程,在接手这项工作及在后续的创客教育实践中,我越来越觉得机房应该升级为信息技术实验室,包含信息技术课程所需的专业的信息技术教具和学具。因而,本次对话我们有幸邀请到新版信息技术课程标准的核心专家组成员樊磊教授,邀请他从国家政策的角度谈一谈信息技术实验室环境下的信息技术课程在未来的实施样态,也给连续三期的以“开源硬件项目设计”为主题的对话栏目做一个总结。
- 樊磊吴俊杰
- 关键词：专业课程开源信息技术课程实验室环境
- 分子格的直积分解与广义序同态的构造
- 樊磊崔宏斌郑崇友
- 关键词：分配格序态同态
- R-偏序集及其Scott拓扑被引量：3
- 2006年
- 本文给出了从一个集合构造R-偏序集的方法,并用迁移系统和部分模拟的例子对这一方法的实现作了进一步的说明,同时还给出R-偏序集上的Scott拓扑.
- 高泾萍何伟樊磊李娜
- 关键词：SCOTT拓扑
- 领会课标精神,贴近社会生活,夯实专业基础
- 2018年
- 信息技术课程新标准从内容上看,大幅增加了反映信息技术新发展方向的内容,如大数据、物联网、人工智能、开源硬件及移动应用设计等。这样的转变不能简单理解为“内容增加、难度加大”,更不能用“回归编程”加以概括。对信息技术教师而言,观念的改变也许是最大挑战。以下笔者通过几个具体问题,谈谈新课标带来的一些观念转变。●内容的更新和增加并不意味着难度必定加大从表面上看,新课标的内容要求的确有明显增加。新课标强调信息技术教学要贴近社会现实和学生生活,而上面提到的这些新兴技术早已在日常生活和学习中被广泛采纳和应用。
- 樊磊
- 关键词：社会生活信息技术课程夯实
- 基于本体的自然语言信息抽取在软件测试中的应用被引量：1
- 2008年
- 现在银行等行业的大型软件拥有非常复杂的结构,并和其他系统有数据交换,这使得需要耗费大量的业务人员做客户端测试工作,业务人员习惯于自然语言描述问题,使得处理分类和抽取这些信息变得困难.本文提出基于语义和本体的自然语言抽取方法,提出软件测试领域规则,并将其组织成数据库.测试数据来自于笔者参与的某银行项目.
- 刘启贤何伟樊磊于在洋
- 关键词：语义本体信息抽取软件测试
- 一类基于R-偏序集的Scott不动点定理的简单变异
- 2008年
- 对R-完备的R-偏序集,证明了(1)R-连续映射关于偏序族中偏序的最小不动点恰好作成其关于偏序族所逼近的偏序上的最小不动点的逼近序列,这区别于对最小不动点的"对角线"方式逼近;(2)R-连续映射一定是ω-连续映射;(3)关于偏序族中任何偏序都连续的R-连续映射一定是连续映射;(4)最后本文给出了以上结果的简单应用.
- 武利刚樊磊
- 关键词：连续映射不动点
- 格中各种分配性的刻划与分子格范畴的一些特征性质
- 樊磊
- 关键词：刻划分子格
- R-偏序集上的cpo,代数cpo与连续cpo被引量：1
- 2010年
- 本文研究了若干结构在R-偏序集上的保持性.利用例子说明了R-偏序集所带的偏序族在逼近某个偏序时未必保持cpo,代数cpo或连续cpo等结构,并给出了使得代数cpo和连续cpo结构得以保持的充分条件.
- 武利刚樊磊高泾萍
- 关键词：CPO
- 带有偏序逼近族的偏序集上Scott拓扑的比较被引量：4
- 2007年
- 设(A,■)是偏序集,ω是自然数集,若对任意n∈ω,■n是A上的偏序,■n+1■n,∩n∈ω■n=■,则称(A,■)是带有偏序逼近族R={■n|n∈ω}的偏序集,简称为R-偏序集,记为(A,■;R).若n∈ω,An=(A,■n)是cpo,且对n∈ω,令Tn表示关于■n的Scott拓扑,本文给出了Tn弱于Tn+1的一个充分条件,以及它的简单应用.
- 武利刚樊磊
- 关键词：SCOTT拓扑
- 关于Domain范畴的若干性质被引量：4
- 1999年
- 给出保逼近序的Scott连续伴随的等价刻划,在此基础上建立了几类以保逼近序的Scott连续函数为态射的Dom ain 范畴。
- 白凤艳樊磊郑崇友
