课程文献中心 更多>>

关键词： 电梯检测通用控制仪   实时操作系统   ZigBee  

摘要： 针对一系列电梯检测仪器的控制仪存在功能相近、重复开发的问题,设计一种基于μC/OS-Ⅲ实时操作系统的电梯检测通用控制仪。该控制仪由信号采集、电机控制和手持控制等模块组成,且根据应用场景不同,可选择信号采集模块和电机控制模块的数量;各模块之间通过ZigBee无线网络通信。该控制仪适用于多种特种设备检测仪器,如电梯平衡系数检测仪、电梯超载开关检测仪、电梯无载静态曳引试验检测仪等,并具有较好的可扩展性,为后续产品开发节省成本、节约时间。

关键词： 网络操作系统   在线操作系统   智能电视   文件管理  

摘要： 最近,基于互联网的电视网络操作系统非常流行,这项技术的目标是实现万维网的全部功能。在线操作系统包括持久存储、远程进程执行、客户端管理、身份验证以及安全机制等组成部分。对此,以一个典型的电视网络在线操作系统为例,介绍其提供的服务、开发使用的底层技术、使用的优点以及一些实际应用,讨论在线操作系统的设计和实现方法。

关键词： 鸿蒙操作系统   HarmonyOS   高职院校   创新创业  

摘要： 作为中国科技企业的产品,鸿蒙操作系统一经发布就吸引了全球目光。在核心技术独立自主的背景下、"双高计划"对创新创业的要求下,开设有电子信息大类专业的高职院校可以去思考如何将鸿蒙操作系统引入课程中。本文由三部分组成。第一部分:鸿蒙操作系统的重要意义;第二部分:鸿蒙操作系统的技术特性;第三部分:介绍南京城市职业学院对于鸿蒙操作系统融入现有人才培养方案所做的工作以及后续的思考。

关键词： Windows服务器   VPN技术   SSTP VPN  

摘要： 文章简要介绍VPN技术的分类和特点,详述基于微软Windows服务器操作系统的PPTP和SSTP VPN技术的特点、原理和配置方式,及其简单使用、经济方便的应用特点对于广大中小微企业具有较好的利用价值。

关键词： 国产   数控系统   SylixOS实时操作系统   IgH EtherCAT总线  

摘要： 基于国产软硬件平台设计研发数控系统,介绍该数控系统的总体设计方案,重点说明该数控系统的软件架构,解析应用软件各模块功能及定义。介绍国产操作系统SylixOS和开源IgH EtherCAT总线主站协议栈的使用情况。

关键词： 核安全级   操作显示控制设备   商用操作系统   商品级物项适用性确认   确定性  

摘要： 核安全级控制显示操作设备(Nuclear safety classified control and information display,SCID)是核电站数字化仪控系统的关键设备,实现运行操作人员与数字化核安全级控制保护系统人机交互功能。本文对我国SCID的需求进行了分析,得出研制高性能SCID的必要性;提出了基于商用实时嵌入式操作系统的SCID软件总体设计方案,并对此方案中涉及的核电安全要求的确定性、系统的自诊断、系统的信息安全防范进行重点设计;随后针对商用操作系统使其达到核电同等质量水平出发,详述了商用操作系统选型和商品级物项适用性确认(Commercial Grad Dedication,CGD);目前高性能核安全仪控安全显示在防城港3&4号机组成功应用,成为我国首款获得工程应用的高性能SCID产品。

关键词： KNN算法   仿真操作   评估模型  

摘要： 为提高船用仿真操作系统的操作评估效率,科学公正地评估设备操作人员的操作熟练程度,对船用仿真操作系统的通用操作评估模型进行研究。对仿真操作评估系统进行通用化设计,依据要素评价法、实地考察法设计仿真操作系统的评估规则,基于KNN算法建立通用的评估模型,实现对仿真操作系统人员的操作水平的评价。从实例可以看出,此评估模型的操作评估较为公正客观,可用于船用操作类仿真训练评估系统的操作评估。

关键词： operating system   exception   Scalable Processor Architecture Version 8(SPARCv8)   Coq   formal verification  

摘要： Exception management,as the lowest level function module of the operating system,is responsible for making abrupt changes in the control flow to react to exception events in the *** correctness of the exception management is crucial to guaranteeing the safety of the whole ***,existing formal verification projects have not fully considered the issues of exceptions at the assembly *** for real-time operating systems,in addition to basic exception handling,there are nested exceptions and task switching by exceptions service *** our previous work,we used high-level abstraction to describe the basic elements of the exception management and verified correctness only at the requirement *** on earlier work,this paper proposes EMS(Exception Management SPARCv8),a practical Hoare-style program framework to verify the exception management based on SPARCv8(Scalable Processor Architecture Version 8)at the design *** framework describes the low-level details of the machine,such as registers and memory *** divides the execution logic of the exception management into six phases for comprehensive formal *** the executing scenario of the real-time operating system SpaceOS on the Beidou-3 satellite as an example,we use the EMS framework to verify the exception *** the formalization and proofs are implemented in the interactive theorem prover Coq.

关键词： 操作系统原理   双语教学   计算机科学与技术  

摘要： 高校开展双语教学是教学研究改革与实践的有益尝试。该文在对我院计算机科学与技术专业“操作系统原理”课程进行双语教学试点的基础上,从双语教学的教材选取、教学设计及过程、资源建设及作业与考核等方面进行了探索。通过过程管理分析,总结双语教学的经验,从而有效地推进高校双语教学的开展。

关键词： 新工科   课程改革   操作系统  

摘要： 在新工科背景下,传统的操作系统课程教学模式已经无法很好地满足当前的人才需求。然而,由于操作系统的概念抽象、原理复杂,缺乏真实的实验环节,导致学生对操作系统课程知识的掌握不够牢固,创新能力不强。基于此,详细分析操作系统课程的教学方式、教学内容和考核方式三个方面存在的问题,并提出相应的课程改革措施,以提高学生对该课程的学习兴趣,增强学生的自主学习能力与解决问题的能力,培养学生的创新意识。