ChinaSoft系统软件教育论坛

国产可控计算机系统及其生态链的构筑迫切需要理解和掌握编程语言、程序分析和系统软件原理与技术方面的人才,为核心系统研发提供中坚力量。系统软件类课程主要讲授编程语言的特点及范型、数据的结构与组织管理、程序的编译原理和技术、操作系统以及程序在计算机系统上的运行机理等。通过这些课程,不但要培养学生掌握语言与系统的理论基础,使之能建立准确描述真实系统的模型并利用模型预测系统行为;而且要强化系统实践,培养学生分析与构造结合底层硬件特性的系统软件研发能力。

论坛主席:

黄志球(南京航空航天大学)

论坛筹备委员会:

张昱(中国科学技术大学)

陈渝(清华大学)

活动主办:

中国计算机学会系统软件专委会

日程安排:

时间:2020年11月20日(星期五)09:00-12:00,14:00-17:30

地点:重庆富力假日酒店会议室6

论坛议程:

时间

主题

讲者

09:00-09:30

陈向群,北京大学

09:30-10:00

刘先华,北京大学

10:00-10:30

茶歇

10:30-11:00

周烜,华东师范大学

11:00-11:30

武延军,中科院软件所

11:30-12:00

交流

午餐

14:00-14:30

从MIPS到RISC-V的操作系统实验课教学实践

蒋德钧,中国科学院大学

14:30-15:00

沈俊,上海大学

15:00-15:30

15:30-16:00

助力高校系统软件教育乘云而上

胡文青,阿里云集团

16:00-16:30

陈清源,中国科学技术大学

16:20-17:30

圆桌会议(关于全国大学生OS比赛、编译比赛的交流等)

报告及嘉宾简介:

1.陈向群:以开源与系统能力比赛形式推动操作系统教研

摘要:介绍当前操作系统内核当前面临的挑战和解决方法,进一步介绍当前开源社区对系统软件的影响,以及前期面向CPU/编译器的系统能力比赛对学生的教育作用。讨论开源和系统能力比赛的方式进行操作系统教研的一些想法,以及对如何建立操作系统生态环境的一些思考。

简介:陈向群,北京大学信息科学技术学院、高可信软技术教育部重点实验室,教授,博士生导师。北京计算机学会理事长,中国计算机学会教育专委会常务理事,教育部计算机教学指导委员会“系统能力培养教学改革”专家组成员。长期担任北京大学操作系统系列课程主讲教师。开设本科生专业课:《计算机系统导论》、《计算机系统导论(讨论班)》、《操作系统》、《操作系统实习》、《操作系统实习(实验班)》;开设研究生课程:《系统软件前沿技术》。编著及翻译教材若干本。

2.刘先华:关于编译原理等系统类课程教学的若干调整性思考

3.周烜:教学内容如何跟上数据库系统的演进

摘要:在互联网时代,数据库的应用场景得到了快速拓展。应用对数据库系统功能和性能提出了更广泛的要求,导致了各种新的系统形态的出现,比如各式NoSQL和NewSQL数据库。传统的数据库课程将教学内容集中在传统关系数据库(即OldSQL)。为了顺应时代,我们需要调整数据库课程,融入更丰富的系统形态,提高学习者理解数据管理系统的层次和视角。我将通过华东师范大学在“当代数据管理系统”课程上的实践对这一问题进行探讨。

简介:周烜,华东师范大学教授,数据科学与工程学院副院长。2001年本科毕业于复旦大学,2005年在新加坡国立大学取得博士学位,2005年至2010年期间先后在德国L3S研究中心和澳大利亚联邦科工组织从事科研工作,随后在中国人民大学信息学院任教6年,于2017年3月加入华东师范大学。研究兴趣包括数据库系统和信息检索技术。他曾参与和负责多个国内外的科研项目和工业合作项目,积累了丰富的数据管理系统研发经验。他的研究成果被发表于众多国际一流的学术会议和期刊。凭借在分布式数据库领域的成果转化获得国家科技进步二等奖和教育部科技进步一等奖。入选教育部“新世纪优秀人才”支持计划。

4.武延军:工业级开源操作系统的教学实践与思考

摘要:近年来,许多“卡脖子”领域的教学与产业需求“两张皮”被社会诟病,操作系统领域同样面临这一问题。在大学本科的操作系统教学中,到底选用轻量级、研究型操作系统(如xv6等),还是选用Linux、Android这样的工业级开源操作系统。如果选用后者,理论和实践之间的平衡如何把握,是否会影响创新,是否难度过大、技术栈太深超出学生的能力接受范围。进一步,如果基于开源软件的开展教学,如何做好精准选型,鼓励学生参与产业最需要的开源项目。中科院软件所希望在开源软件供应链的研究和实践中回答以上问题。

5.蒋德钧:从MIPS到RISC-V的操作系统实验课教学实践

摘要:操作系统课程教学过程中的一个重要环节是培养学生实践动手开发操作系统的能力。本报告将结合过去5年中国科学院大学在操作系统实验课上的教学实践,介绍我们从MIPS指令集向RISC-V指令集演进的OS实验内容变化及设计思考。同时,本报告将介绍我们在实验课程中使用的软件框架与硬件平台,以及在课程实践中发现的问题和教学经验。

简介:蒋德钧,博士,中科院计算所副研究员,中国科学院大学岗位教师,主要研究兴趣包括存储系统,操作系统,分布式系统,存储体系结构等。研究成果在ATC,MSST,PACT,TACO,ICS,ICCD等国际会议上发表,累计引用次数百次。承担或参与多项国家重点研发计划项目、863项目,国家青年科学基金项目,人社部留学人员科技活动优秀项目等。在北京航空航天大学获得学士学位,在清华大学获得硕士学位,在荷兰阿姆斯特丹VrijeUniversiteit获得计算机科学博士学位。

6.沈俊:强基础、重实践,以赛促教的本科创新人才培养模式

摘要:根据一流创新人才培养的要求,在教学内容、教学模式、实践环节等方面进行探索和实践,以学生创新能力培养为抓手,建立创新人才培养新模式和金字塔培养结构。通过课内外联动、学与赛联动、校企联动等,建立以提升创新能力为导向的实践机制和以问题驱动为导向的探究机制,多方位提升学生的发展空间。

简介:陈清源,中国科学技术大学大四本科生,全国大学生计算机系统能力大赛编译系统设计赛特等奖队伍成员。

THE END
1.网校系统考试系统培训系统直播教学系统在线教育系统源码因酷教育软件-在线教育私有化平台解决方案提供商,提供教育数字化转型解决方案,产品包括网校系统,直播教学平台,考试系统,教育系统源码,培训系统等https://www.inxedu.com/
2.校管家培训机构管理软件培训学校管理系统校管家自2010年成立以来,深耕教育行业14年,现正在为110000+民办教育品牌提供服务。万人规模以上的机构超过175家,中大型机构超过11000家,让167万老师和3100多万学生、家长受益于数字化升级所带来的便利。https://www.xiaogj.com/
3.在线教育系统软件随着科技的发展,在线教育系统软件成为了现代教育的一种新模式。不仅能够为学生提供优质的教育资源,还能够方便教师进行教学管理和评估。下面介绍几个常见的在线教育系统软件。 1. Moodle:Moodle是一种基于网络的学习管理系统,是目前全球最流行的开源在线教育平台之一。它提供了丰富的功能,包括在线课程管理、作业提交和批改http://www.360doc.com/content/23/1108/23/81723323_1103283872.shtml
4.关于转发《关于进一步推进全省教育系统使用正版软件工作的通知通过本次教育系统软件正版化自查工作,掌握南昌市教育系统各单位正版软件使用情况,加强正版软件管理,规范软件台账,针对发现问题及时整治,推进本系统软件正版化工作。 二、自查涉及范围 南昌市教育系统各单位正在使用的教学、办公的计算机(包含服务器)的操作系统、办公软件等使用情况。 http://edu.nc.gov.cn/ncjyj/xjzx/202408/cd49e4519f524649a4d49c027b11f938.shtml
5.青岛文通教育软件系统有限公司做教育,要有梦想、情怀、责任感和使命感 关于我们 青岛文通教育软件系统有限公司(以下简称“公司”)是一家专业从事智慧校园软硬件产品销售、系统集成及运维服务于一体的企业。 公司围绕教育本质,深入教育核心,凭借拥有多年在教育产品应用领域积累的领先技术以及对教育行业需求的深刻理解,通过“智慧校园”一站式平台化解决http://www.qdwentong.com/
6.两部门:2027年底前教育系统全面使用正版操作系统软件办公软件和北京商报讯(记者方彬楠)12月11日,教育部官网发布《教育部国家版权局关于做好教育系统软件正版化工作的通知》(以下简称《通知》)。《通知》提出,2027年底前,教育系统软件正版化工作长效机制基本建立,教育系统软件正版率显著提升,全面使用正版操作系统软件、办公软件和杀毒软件,使用未经软件著作权人授权的软件情况基本杜绝https://wap.eastmoney.com/a/202412113265753764.html
7.系统软件有哪些什么是系统软件计算机系统软件和应用软件的教育与娱乐软件 软件开发是根据用户要求建造出软件系统或者系统中的软件部分的过程。软件开发是一项包括需求捕捉,需求分析,设计,实现和测试的系统工程。 软件一般是用某种程序设计语言来实现的。通常采用软件开发工具可以进行开发。 二者区别 系统软件是指控制和协调计算机及外部设备,支持应用软件开发和运行的系统,是无需用https://www.maigoo.com/goomai/158402.html
8.教育机构管理软件教育培训系统教育培训软件校盈易教育机构管理软件提供招生营销软件、学员管理、教务管理(报名缴费、排课、考勤、消课)、私域scrm等教育培训saas管理信息系统,解决教育培训运营管理难题。https://m.beiing.cn/
9.关于启用正版软件管理与服务平台的通知根据河南省教育厅办公室关于印发《河南省教育系统软件正版化工作方案(2022-2025)》的通知(教办科技〔2022〕286号)要求,推进操作系统软件、办公软件、杀毒软件3类通用软件合法授权,为贯彻落实国家知识产权保护和网络安全等法律法规,满足学校日常教学、科研和办公等需要,学校部署了正版软件管理与服务平台,首批上线三类通用软https://www.smxpt.cn/info/1038/8588.htm
10.可以做录播教育系统的软件有哪些APP推荐之前很多小伙伴都体验过在网上进行过网课的体验。但是有没有小伙伴了解过可以做录播教育系统的软件有哪些呢?很多的直播课程当时听完,后面想回去在看就看不到了。那今天这篇文章就可以帮组小伙伴们解决这种问题,对于这些可以录制视频上课的软件,小伙伴要多进行收藏以备不时之需! https://www.wandoujia.com/bangdan/398991/
11.教务系统软件有哪些好用实用的教务系统软件排行探索教育管理新境界:本文聚焦于寻找教务系统软件中的瑰宝,为你揭示市面上好评如潮、功能强大且实用的教务系统软件排行榜。无论是提升教学效率还是优化学校运营,这些工具都将为你的教育工作带来革新体验。深入了解一下,让信息化助力你的教学生涯吧! 1.灵会排课软件 2012 https://app.zol.com.cn/jiqiao/260082.html
12.免费版高校专业认证软件系统平台OBE教育OBE课程设计与形成性评价系统(OBE专业认证软件系统平台) 基于OBE教育理念研发的专业认证OBE课程设计与形成性评价软件系统平台,兼顾传统教学与OBE教学,一个平台管理所有校内专业。所有系统在研发设计初期,就将怎么减少教师工作量和怎么提升教学质量两大问题,进行了众多调研和分析设计,从而达到两者的兼顾和平衡。https://obeiip.com/SpecialtyCertificationSys/
13.青岛文通教育软件系统有限公司怎么样行业:计算机软件教育/培训/院校 全称:青岛文通教育软件系统有限公司。 发展阶段 排名:青岛软件人气排名第93名 荣誉:双软认证科技型中小企业根据算法标注 工资:77.8%的岗位拿6-10K,2024年较去年增长1%。销售类最多,占100%。 招聘:2024年较2023年下降44%。 https://www.jobui.com/company/9282435/
14.培训学校学员学生招生管理系统教育培训机构管理系统软件深圳浪腾软件专注教育培训管理软件11年,专注学校招生学员管理软件、培训学校管理系统、教育培训机构管理系统软件的研发与实施。电话:400-816-2879https://www.lantel.net/
15.教育培训管理软件线上教育系统招生运营管理平台教育机构的互联网经营解决方案,为您实现 多校区一体化经营管理。了解更多> 免费试用 观看视频 或致电 13840318098 一站式解决教育机构的经营难题 招生拓客 教务管理 学员管理 互动督学 微商城扩展包 多校区解决方案 丰富的营销工具,精细化线索管理 帮你降低招生成本 http://www.sichem.cn/show.php?id=119901
16.小诸葛微教育系统免费在线试用软件库选软件网为您提供教育培训系列管理软件信息,包括小诸葛微教育系统在线试用、小诸葛微教育系统报价、小诸葛微教育系统说明、小诸葛微教育系统资讯、小诸葛微教育系统供应商等信息,帮您了解小诸葛系列管理软件https://www.xuanruanjian.com/soft/msg/69324.phtml
17.汉尚教育考试网上巡查系统软件湖南筑智科技发展有限公司产品概述:软件具有获取区域视频源列表、实时视频预览、本地录像、抓拍、PTZ控制、矩阵上墙管理、矩阵预览控制、录像回放及下载等功能,满足不同用户在不同需求下的监控需求。符合《国家教育考试网上巡查系统视频标准技术规范(2017版)》相关技术规范。 具体功能如下:1、自动获取设备列表支持从SIP服务 http://www.zzkjchina.cn/claproducts.aspx?nid=28&typeid=76
18.金蝶在线教育管理系统线上教育数字化管理系统金蝶在线教育管理系统为在线教育企业提供专业的在线教育解决方案,金蝶在线教育管理系统帮助企业适时调整业务核心、完善成本结构、优化财务模型。更多金蝶在线教育管理系统功能、价格等信息,请关注金蝶软件官网。https://www.kingdee.com/solutions/online_education.html