课程文献中心 更多>>

关键词： 课程思政   微课   BOPPPS教学模式   操作系统课程  

摘要： 考虑到思政教育应与专业发展教育相结合,本文初步探讨《操作系统》微课教学和课程思政相融合的一种教学研究。本文以微课"哲学家进餐问题"为案例,研究基于BOPPPS教学模式,将课程思政通过润物细无声,实现显性专业知识教育与隐性思政教育的有机结合。研究表明课程思政需要结合《操作系统》课程特点,寻找德育元素,通过隐性渗透、寓道德教育于专业课程之中。本文研究成果也为其它课程如何融入思政教育提供一个有效途径。

关键词： 应用程序   操作系统   Python   JavaScript   Linux   高级语言   贝加莱   自动化解决方案  

摘要： 增强型交叉操作系统(exOS)使机器制造商可以在他们的贝加莱系统中使用任意Linux代码成为可能。在自动化解决方案的设计方面,这为机器制造商提供了前所未有的自由度。用C++、Python和JavaScript等高级语言编写的代码可以轻松地集成到机器应用程序中。增强型交叉操作系统(exOS)使机器制造商可以在他们的贝加莱系统中使用任意Linux代码。

关键词： 优先级调度   形式化验证   操作系统内核   Coq  

摘要： 实时操作系统常常运用优先级调度方案来进行抢占式调度.如果在这些操作系统中使用基于阻塞的同步原语则很容易产生无限优先级反转问题.历史上已经引入了多种不同的协议来避免产生这个问题.然而,这些协议往往非常复杂并且容易滋生错误.本文给出了一套系统的方案来定义这些协议并验证其能够保证有限优先级反转.本文首先给出有限优先级反转的形式化定义.然后介绍了验证框架,它可以用于验证不同的协议保证该性质.该框架可以支持协议抽象层面与具体实现层面的验证.本文已经成功的将该框架应用于验证POSIX标准中提供的优先级继承协议与优先级保护协议.并且,本文的所有工作都已在证明助手Coq中完成.

关键词： 计算机专业   Linux操作系统   应用策略  

摘要： 从高校计算机相关专业所开设的Linux操作系统这门课程的实际教学情况来看,因其受到多种因素的限制,最终的教学效果并没有达到预期。针对此种情况,课题组成员在对相关信息进行调研与分析后,发现若采用原本的教学方式可能无法满足这门课程教学的需要,由此认识到高校关于这门课程的改革势在必行。

关键词： 选煤厂   集控系统   应用   分析  

摘要： 随着近年来我国经济的不断发展,我国市场对煤炭的供应量有日益增加的趋势,而在我国的相关工作人员进行选煤厂选煤时,需要做好相应的现代化技术应用,将选煤厂集控操作系统应用于其中,是近年来煤矿开采的新课题。本文中简单分析了选煤厂选煤过程中存在的问题,简单阐述了将选煤厂集控操作系统应用于煤厂选煤中的方案,旨在为我国煤厂选煤工作提供参考与帮助。

关键词： 鸿蒙系统(HarmonyOS)系统功能   开发环境构建   应用实例  

摘要： 长期以来,操作系统级的软件产品都是国外的产品,如Unix、Windows、Linux、Android、macOS等.2021年,中国的华为公司正式发布一款真正的国产操作系统——鸿蒙系统(HarmonyOS),并且是基于万物互联的、分布式、开放的操作系统.短时间内在众多的终端上得以推广使用.本文从入门开始,首先介绍了鸿蒙操作系统的功能组成,然后说明了软件开发环境的构建,最后用一个小实例,检测开发环境构建的正确性并说明应用软件的基本开发过程.为广大鸿蒙软件开发初学者提供一个入门学习方法.

关键词： 泛在计算   操作系统   人机物融合   周期律   构建新型   自主可控   研究和开发  

摘要： 面对新时代的新蓝海,需要抓住机遇,加快布局,把握和遵循操作系统技术发展的基本规律,围绕人机物融合的泛在计算模式和环境,研究和开发新型操作系统技术,构建新型操作系统生态,通过追求创新发展和卓越引领,建立自主可控的技术体系,避免在新一轮发展周期中出现面向“新蓝海”的“缺芯少魂”。

关键词： 操作系统   产业崛起   产业生态   平板显示   集成电路   沿海发达地区   鲲鹏  

摘要： 在全国多地落子后,鲲鹏计算产业生态(以下简称"鲲鹏"或"鲲鹏产业")已经展现了勃勃生机。而它最近深度布局的一个地区却有些特殊--河南。客观上,缺乏集成电路、平板显示"硬件"制造企业,以及缺乏硬件和操作系统"软件"适配企业,河南与国内沿海发达地区,以及那些计算产业软硬件基础较好的地区相比,存在明显的"软肋"。

关键词： 中高放废物管理   远距离操作  

摘要： 本文对中高放废物管理过程中远距离操作的应用、组成、设计原则进行了总结概括,并配以设计实例作为说明.

关键词： Linux操作系统   线上教学   教学方案   考核办法  

摘要： 如何使线上教学扬长避短,保证线上教学的效果,让学生适应线上教学并且有所收获,是这种教学模式能否具有生命力的关键所在。文章对Linux操作系统课程的线上教学模式进行了探索,分析了该课程线上教学的特点,分别探讨了该课程开展线上教学的方案、过程和考核办法,并对线上教学模式存在的一些问题进行反思,以便分享交流。