课程文献中心 更多>>

关键词： 远景目标   社会主义市场经济建设   政治经济学   双重任务   经济基础   全面建成   生产关系   操作系统  

摘要： 社会企业作为一种新型的企业体制,是企业经济操作系统的升级,承担着经济发展和社会创新的双重任务。社会企业能否成为社会主义市场经济建设的主角?这是一个值得探讨的话题。我们经常说2035年要实现全面建成社会主义现代化国家的远景目标,“社会主义”的性质怎么样体现呢?它需要有社会主义的经济基础。经济基础又是什么?政治经济学里指的是“生产关系的总和”。很简单,当“生产关系的总和”的主体是社会主义性质的,那“社会”必然就是社会主义性质的。

关键词： 操作系统   向下兼容   开源代码   关键领域   产业布局   产品开发   安全风险   产业链  

摘要： 在引用开源代码过程中,我们会优先选择无协议冲突的代码,提前做好协议冲突的避险工作,保证OneOS的开源符合开源精神和开源协议要求。操作系统向上承接业务应用、向下兼容硬件差异,可以实现设备互联互通,是解决终端碎片化、安全风险高、产品开发复杂等问题的关键。操作系统能力建设对补齐国家软件产业发展短板、保障产业链安全至关重要,国家多个部门明确提出要聚焦操作系统等关键领域,加快产业布局,破解关键技术本土化难题。

关键词： 钢丝绳   神经网络   嵌入式   霍尔元件   剩余磁场激励   操作系统  

摘要： 为实时监测和排查电梯钢丝绳运行中存在的安全问题,提出了剩余磁场激励的弱磁检测方法。该方法采用开环永磁体磁化方式将被测钢丝绳充分磁激励,励磁后的钢丝绳缺陷部位会产生微弱漏磁场,采用霍尔传感器可将被测钢丝绳周围空间中磁感应强度的变化情况转化为电信号。检测系统采用多传感器融合的RBF-BP组合神经网络算法结合RT-Thread实时操作系统在单片机上运行。结果显示,钢丝绳各类损伤判断准确率达到了80%以上,检测效果良好,为电梯的安全运行提供了一条解决路径。

关键词： 矿鸿操作系统   视频监控   视频解码   视频跟踪  

摘要： 为响应煤矿综采工作面设备安全可信、自主可控的要求,设计并开发了基于国产矿鸿操作系统的矿用本安型视频监控一体机。本文介绍了一体机的系统组成、硬件设计、摄像仪协议的开发、视频跟踪采煤机切换算法,实现了对工作面采煤机和液压支架的实时视频监测,并随采煤机移动自动切换视频画面,促进了煤矿的智能化发展,为煤矿安全生产提供了有力保障。

关键词： 互斥量   功能正确性   形式化验证   定理证明   Coq定理证明器  

摘要： 操作系统在许多安全攸关领域为软件系统提供关键性底层支撑,操作系统中一个微小的错误或漏洞都可能引起整个软件系统的重大故障,造成巨大经济损失或危及人身安全.为了减少此类安全事故的发生,对操作系统正确性进行验证十分必要.传统测试手段无法穷尽系统中的所有潜在错误,因而操作系统验证有必要使用具有严格数学理论基础的形式化方法.在操作系统中,互斥量可协调多任务对资源的访问,是一种常用的任务同步方式,其功能正确性对于保障多任务应用的正确性十分关键.基于定理证明方法,在交互式定理证明器Coq中对某抢占式微内核操作系统的互斥量模块进行代码级形式化建模,给出其接口函数的形式化规范,并实现这些接口函数的功能正确性验证.

关键词： 操作系统   课程体系   改良方法  

摘要： 针对操作系统课程晦涩难懂、教学方式单一、实践操作项目陈旧等问题,从课程开发、实验设计、小组活动、讲座分享4个方面对操作系统课程体系提出创新性改良方法,以更好地激发学生对操作系统的学习兴趣,促进操作系统教学理论与实践有机结合。

关键词： 人机交互   手势捕捉   卡尔曼滤波   仿真操作系统   近似熵  

摘要： 为实现仿真掘进环境中的人机自然交互，设计出一种基于视觉动捕的仿真掘进机操作系统，包括视觉动捕、仿真平台两个单元。视觉动捕单元基于Mediapipe框架，通过相机捕捉手势动作，实现真实世界与虚拟空间的映射。针对手部关键点数据在大范围运动中的不合理跳变问题，通过设置加权质心提出一种改进的卡尔曼滤波算法，并依据操作者手势输出对应指令。仿真平台利用Unity3D虚拟引擎搭建，通过UDP(user datagram protocol)通信与视觉动捕单元实时信息交换，并根据指令实现掘进机运动过程的可视化与环境反馈。实验结果表明，本文改进方法在均方误差、信噪比、近似熵参数上更具有优势，所需的特定手势识别判断正确率可达92%以上，操作者可以实现对仿真掘进机的高效控制。

关键词： 群体机器人   通信编程框架   操作系统   雾机器人   元操作系统  

摘要： 算力和网络技术的发展使得机器人逐渐向小型化、群体化、智能化方向发展，部署在硬件设备上的机器人软件需要集成从底层设备驱动和控制到上层运动规划和推理等多种软件模块，软件架构日益复杂。群体机器人通信编程框架，从机器人软件标准化、模块化、平台化等目标出发，减轻了机器人通信编程的复杂度。分析总结机器人软硬件架构发展趋势，得出群体机器人系统是由各类计算节点、执行器、传感器等硬件设备通过有无线网络互相连接的多域异构互联系统，硬件设备的异构性使得软件模块难以通过单一框架集成。归纳分析现有机器人通信编程框架在易用性、可移植性等方面的特点，从编程模型、异构硬件平台支持、组件间通信机制、编程语言等核心能力方面对框架进行对比，并在实时性、虚拟化、组件编排和容错支持等扩展能力方面总结技术发展趋势。在此基础上，提出以元操作系统为底座打造下一代编程框架，构建人机物泛在融合的群体机器人软件架构。

关键词： Linux操作系统   新工科   课程教学探索  

摘要： 随着信息技术和人工智能技术的不断发展,Linux操作系统因其开源性和兼容性备受学术界和工业界的关注.在新工科背景下,对于计算机相关专业的学生来说,掌握Linux操作系统的知识和技能不仅是必备专业能力,也是未来职业发展的关键.然而,在Linux操作系统课程实际教学中,仍存在如教学内容过于理论化、开源社区资源利用不充分等现实问题,需要探索有效的解决思路.针对这些问题,文章以新工科背景下的Linux操作系统课程教学为主题,通过深入研究和分析,旨在为Linux操作系统人才的培养提供可行的解决方案.

关键词： 智慧城市   数字孪生   城市信息化   工程逻辑   操作系统  

摘要： 城市是开放复杂且处于动态变化的“自然-社会”复合巨系统，系统内部不同功能和结构的子系统不断关联和作用，形成城市运行的内在逻辑。智慧城市为解决城市巨系统问题提供了可行路径，但以“自给自足”为主要特征的纵向耦合模式一定程度上违背了城市系统的运行逻辑，产生了大量“信息孤岛”，阻碍了城市高质量发展的进程。因此，本文从城市系统角度出发，立足于信息时代智慧城市的发展需求，从理论、技术、方法视角提出智慧城市建设横向耦合的共建共享逻辑，厘清哲学视角下的城市系统规律，提出智慧城市数字孪生平台的关键技术需求。本文期待为智慧城市建设、创新应用提供理论与方法支撑。