搜索到67篇“ 微内核架构“的相关文章
- 一种基于微内核架构的BIM数据模型创建方法
- 本发明涉及BIM数据管理技术领域，尤其是涉及一种基于微内核架构的BIM数据模型创建方法，包括：S1：根据微内核架构建立BIM数据库，作为工程全生命期单一数据源；S2：根据道路三维设计系统定义的数据结构制定路线数据字典，并...
- 杜广林王厚霖曲柄宇洪泽俊王雷刘保一王书辉
- 一种微内核架构方法、基于微内核的跨平台系统及测量仪器
- 本申请公开了一种微内核架构方法、基于微内核的跨平台系统及测量仪器，包括：构建内核模块，其中，内核模块用于提供基础功能，基础功能包括模块管理和模块通信；模块管理包括模块生命周期管理、模块加载、模块卸载、模块服务和接口管理；...
- 刘俊李毅红何娟杨国双周科吉
- 基于微内核架构的任务执行系统
- 本申请公开了一种基于微内核架构的任务执行系统，包括强执行管理器，用于接收并执行强执行任务，接收到最新强执行任务，将最新强执行任务加入到第一任务队列作为待办强执行任务，并根据第一执行顺序执行待办强执行任务；弱执行管理器，用...
- 姚秋果
- 一种微内核架构操作系统内存管理方法
- 本发明公开了一种微内核架构操作系统内存管理方法，在内核态对内核抽象得到权能实体，从而构建得到权能实体，将所有权能实体构建为权能空间；在用户态构建了内存管理系统，包括内存管理工具模块，间接系统调用模块和C库模块，分别提供内...
- 肖堃陈灵李蒙罗蕾陈丽蓉
- 一种基于微内核架构的事件驱动方法及装置
- 本申请提供一种基于微内核架构的事件驱动方法及装置，涉及微内核操作系统技术领域，包括：根据外部交易的交易类型，将外部交易抽象为业务事件；将消息队列接口、远程过程调用接口、超文本传输协议接口以及文件接口抽象为事件接收中心，其...
- 高博
- 基于微内核架构的进程间通信方法和装置
- 本发明提供一种基于微内核架构的进程间通信方法和装置，涉及通信技术领域。该方法包括：根据第一进程发送的信道建立请求，确定所述信道建立请求的响应权能；根据所述响应权能，确定所述第一进程的通信资源；在所述通信资源上挂载预设消息...
- 吴治宏
- 微内核架构操作系统内存管理系统的研究与实现
- 随着信息技术的飞速发展,对操作系统安全性的需求日益增长。微内核架构操作系统以其独特的设计理念脱颖而出,这种架构在安全性方面展现出其独特优势。其中内存管理子系统在操作系统中扮演着至关重要的角色,它是确保计算机系统正常运行的...
- 陈灵
- 关键词：微内核内存管理权能操作系统
- 微内核架构下的线程间同步方法、装置、电子设备
- 本申请提供了一种微内核架构下的线程间同步方法、装置、电子设备。其中方法包括：接收线程发出的锁变量请求；其中，锁变量请求包括锁变量地址、申请标志以及请求类型；判断申请标志是否为私有标志；其中，申请标志是私有标志表征该锁变量...
- 柳干
- 实时响应的嵌入式系统虚拟化微内核架构分析
- 2024年
- 为解决传统单一化嵌入式系统在应用过程中导致平台设计冗余的问题,文章将多操作系统架构平台引入嵌入式系统架构中,构建合适的嵌入式虚拟化平台,现阶段,为保证平台的应用价值充分发挥,先对实施虚拟化为内核架构方法进行研究,然后以seL4微内核架构为例,分析基于Chcore Hypervisor实现嵌入式虚拟化的方法,最后,对系统功能加以测试。研究结果表明,采用上述方法构建的实时响应嵌入式系统虚拟化微内核架构,具有良好的性能。希望通过本文研究,为嵌入式系统架构应用价值的提高提供参考。
- 贾玉柱
- 关键词：嵌入式系统
- 基于微内核架构的量子计算机操作系统及量子计算机
- 本申请公开了基于微内核架构的量子计算机操作系统及量子计算机，其中，量子计算机为异构量子计算机，异构量子计算机包括量子处理器部分和经典处理器部分，本申请通过将内核对象管理模块和数据传递模块配置于内核空间，将其他的系统功能模...
- 郭聪项金根
相关作者
- 钱振江
- 作品数：91被引量：138H指数：6
- 供职机构：常熟理工学院
- 研究主题：操作系统 形式化验证 形式化设计 定理证明 形式化
- 黄皓
- 作品数：215被引量：1,275H指数：19
- 供职机构：南京大学
- 研究主题：入侵检测 网络安全 访问控制 操作系统 计算机网络
- 宋方敏
- 作品数：53被引量：120H指数：6
- 供职机构：南京大学计算机科学与技术系
- 研究主题：量子计算 形式化设计 公理集合论 操作系统 量子算法
- 张易知
- 作品数：4被引量：10H指数：1
- 供职机构：上海交通大学
- 研究主题：微内核架构 虚拟化 微内核 嵌入式系统 虚拟机
- 唐洪英
- 作品数：3被引量：4H指数：1
- 供职机构：南京大学
- 研究主题：微内核架构 形式化设计 形式化 ISABELLE HOL
