课程文献中心 更多>>

关键词： 工程教育认证   毕业要求指标点   课程达成度评价   持续改进  

摘要： 按照工程教育认证要求,结合计算机科学与技术专业的人才培养实际情况,以操作系统课程为例,介绍了课程对毕业要求指标点的支撑、课程考核方式、课程达成度的计算与评价、课程达成度分析与教学过程持续改进等内容。以期为有关高校和教师提供参考。

关键词： 通用化   故障管理   日志记录  

摘要： 提出了一种对机载嵌入式计算机中常见操作系统故障的监控和记录方法,结合记录操作系统和处理器的状态信息,同时考虑到在多种操作系统、处理器上的适应性,设计一套具有操作系统故障监控和状态信息记录功能的通用操作系统故障管理软件,提高机载嵌入式计算机的可维护性。

关键词： 远程操作系统   西门子SCALANCE   工业无线设备  

摘要： 介绍了一种基于西门子工业无线设备的远程操作系统,整套系统硬件部分包含视频和控制两大模块。其中视频部分主要功能是还原驾驶舱的真实视觉体验,并对各个盲区部分进行监控和在线预警;控制部分主要包含远端的CPU控制模块,内部程序完成远程和本地的数据传输,同时,远程的控制软件嵌入了安全策略。

关键词： 操作系统   “五维一体”   全面信息化   BB平台   翻转课堂  

摘要： 为了解决操作系统课程内容难度较大、体系较为庞杂、知识点抽象难懂等问题,依托现代化信息技术,从资源信息化、平台信息化、模式信息化、过程信息化和评价信息化5个维度,深挖BB平台建课功能,创新翻转课堂教学模式,形成“五维一体”的全面信息化教学模式,并在操作系统课程中应用与实践。在教学实践后进行问卷调查,数据分析表明,90%的学生喜欢该教学模式,92.5%的学生认为“五维一体”的全面信息化教学模式合理。教学实践充分体现出全面信息化教学特征,凸显了全面信息化教学对教学质量和人才培养的显著提升作用。

关键词： 操作系统   实物展示教学法   溯源教学法   操作引导教学法   启发式教学法   任务驱动教学法  

摘要： 针对传统教学方法已不适应“操作系统”课程教学的现状,提出了实物展示教学法、溯源教学法、操作引导教学法,深化启发式教学法和任务驱动教学法。文章介绍了各种教学方法的操作步骤,这些教学方法在教学实践中降低了学生学习操作系统理论知识的难度,增强了学生的学习主动性,提高了学生学习的兴趣,取得了很好的教学效果。

关键词： 操作系统   万物互联   开发者   新格局   生态   设备  

摘要： 打造操作系统绝非易事,建立起生态更是难上加难,当更多的设备、厂商和开发者加入鸿蒙生态后,融合的不仅是设备,还有与生活、工作、娱乐、健康等方方面面相关的数据,届时一定会有超出想象的体验和产品出现,而即将迎来的是万物互联时代的新格局。

关键词： 空间机器人  

ISBN: (纸本)9787115547613

摘要： 本书首先回顾了空间机器人遇操作及其控制技术的研究意义和发展现状, 然后阐述了空间机器人遥操作系统设计和双边遥操作系统模型及性能分析, 并在此基础上对图形预测仿真及运动学参数辨识、空间机器人遥操作控制的相关理论及其方法进行了详细介绍, 最后对空间机器人遥操作地面验证技术及地面实验研究进行了阐述。书中的理论方法紧密结合实际, 可用于解决空间机器人在轨组装、维护等精细遥操作技术问题。

关键词： Access control  

摘要： Designing a trusted access control mechanism of an operating system (OS) is a complex task if the goal is to achieve high level of security assurance and guarantees of unwanted information flows absence. Even more complex it becomes when the integration of several heterogeneous mechanisms, like role-based access control (RBAC), mandatory integrity control (MIC), and multi-level security (MLS) is considered. This paper presents results of development of a hierarchical integrated model of access control and information flows (HIMACF), which provides a holistic integration of RBAC, MIC, and MLS preserving key security properties of all those mechanisms. Previous version of this model is called MROSL DP-model. Now the model is formalized using Event-B formal method and its correctness is formally verified. In the hierarchical representation of the model, each hierarchy level (module) corresponds to a separate security control mechanism, so the model can be verified with less effort reusing the results of verification of lower level modules. The model is implemented in a Linux-based operating system using the Linux Security Modules infrastructure.

关键词： Model checking  

摘要： Most of the software model checker tools do not scale well on complicated software. Our goal was to develop a tool, which provides an adjustable balance between precise and slow software model checkers and fast and imprecise static analyzers. The key idea of the approach is an abstraction over the precise thread interaction and analysis for each thread in a separate way, but together with a specific environment, which models effects of other threads. The environment contains a description of potential actions over the shared data and synchronization primitives, and conditions for its application. Adjusting the precision of the environment, one can achieve a required balance between speed and precision of the complete analysis. A formal description of the suggested approach was performed within a Configurable Program Analysis theory. It allows formulating assumptions and proving the soundness of the approach under the assumptions. For efficient data race detection we use a specific memory model, which allows to distinguish memory domains into the disjoint set of regions, which correspond to a data types. An implementation of the suggested approach into the CPAchecker framework allows reusing an existed approaches with minimal changes. Implementation of additional techniques according to the extended theory allows to increase the precision of the analysis. Results of the evaluation allow confirming scalability and practical usability of the approach.