您的位置： 专家智库 > >

熊宇

作品数：19 被引量：7H指数：1
供职机构：电子科技大学更多>>
相关领域：自动化与计算机技术石油与天然气工程更多>>

合作作者

文献类型

  • 17篇专利
  • 2篇学位论文

领域

  • 2篇自动化与计算...
  • 1篇石油与天然气...

主题

  • 7篇操作系
  • 7篇操作系统
  • 5篇调度
  • 4篇队列
  • 4篇形式化
  • 4篇形式化验证
  • 4篇架构
  • 4篇MILS
  • 3篇实时调度
  • 3篇安全操作
  • 3篇安全操作系统
  • 3篇区块链
  • 2篇代码
  • 2篇多核
  • 2篇形式化验证方...
  • 2篇源码
  • 2篇通信
  • 2篇图像
  • 2篇区块
  • 2篇交易

机构

  • 19篇电子科技大学

作者

  • 19篇熊宇
  • 17篇郭文生
  • 17篇杨霞
  • 10篇罗雄
  • 3篇万俊

年份

  • 1篇2022
  • 3篇2021
  • 4篇2020
  • 10篇2019
  • 1篇2013
共 19 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
面向C源码的自动化形式化验证工具及方法
本发明公开了面向C源码的自动化形式化验证工具及方法，将编写好的代码功能规范插入C源码中，然后将功能规范和C源码自动转换成程序验证器可处理的中间表示，接着程序验证器将中间表示转换成中间验证语言代码，供形式化验证输入使用；采...
杨霞郭文生张冯博卢秀台高扬熊宇万俊闫哲林珍珍任超郑旭东
文献传递
一种基于区块链的抵押评价方法
本发明涉及机器学习、区块链和智能合约技术领域。其提供了一种基于区块链的抵押评价方法，建立了一种全新的、可信的评价系统。本发明包括一种利用抵押得到权重并进行评价的方法，然后系统使用链上评价信息，采用机器学习等手段，过滤掉机...
杨霞李南铮郭文生钱智成瞿元黄一潘文睿高扬张冯博卢秀台熊宇林珍珍万俊闫哲任超郑旭东
文献传递
MILS架构中的强制访问安全策略实现方法及管理方法
本发明公开一种MILS架构中的强制访问安全策略实现方法及管理方法，采用DTE策略与MLS策略两种强制访问控制机制实现了资源不被非法使用和访问的功能，通过严格限制分区“客户”操作系统对可信分离内核和设备的访问请求，防止未授...
杨霞郭文生罗雄高扬卢秀台张冯博古涛铭廖士钞向蓓蓓黄一瞿元潘文睿钱智成李南铮熊宇
文献传递
多安全等级分区间通信的实现方法
本发明公开一种多安全等级分区间通信的实现方法，针对MILS架构下的多级安全操作系统的通信安全问题，本发明为每个分区分配一个安全等级，各分区间按照其安全等级进行通信；包括：建立两个分区间的通信环境；当一个分区准备向另一个分...
杨霞郭文生罗雄高扬卢秀台张冯博向蓓蓓廖士钞古涛铭瞿元李南铮钱智成黄一潘文睿熊宇
文献传递
基于最早截止时间优先的多级融合实时调度方法
本发明公开一种基于最早截止时间优先的多级融合实时调度方法，对于分区中的“客户”操作系统的任务为周期任务，且每个任务都有明确的截止时间时，本发明的调度算法中维持两个全局队列，分别为就绪队列和耗尽队列；每个VCPU关联了两个...
杨霞郭文生罗雄高扬卢秀台张冯博古涛铭廖士钞向蓓蓓潘文睿瞿元钱智成李南铮黄一熊宇
文献传递
基于MILS架构的安全操作系统
本发明公开一种基于MILS架构的安全操作系统，应用于安全操作系统领域，针对现有的操作系统在形式化验证中存在的认证困难的问题，本发明基于MILS架构的系统把若干个进程隔离在一个单独的分区中运行，然后再分别对每个分区进行安全...
杨霞郭文生瞿元李南铮黄一钱智成潘文睿高扬张冯博卢秀台熊宇
文献传递
一种适应高帧率的人脸追踪方法
本发明公开一种适应高帧率的人脸追踪方法，应用于图像识别领域，针对现有的终端设备算力欠缺从而导致人脸追踪速度无法与摄像设备帧率同步的问题，本发明将人脸追踪划分为同步追踪处理和异步人脸识别两个流程，并提供了一种快速人脸识别方...
廖士钞杨霞郭文生高扬向蓓蓓卢秀台张冯博古涛铭李南铮钱智成瞿元黄一潘文睿熊宇
文献传递
一种彩色激光打印文件暗记识别方法和系统
本发明涉及一种彩色激光打印文件暗记识别方法，并基于此方法设计了一套暗记识别比较系统。该方法的特征在于，提取预处理后的图像中暗黄色小点的位置信息，并标定最小可重复部分为暗记，并比较暗记相似度、确定其是否属于同一类暗记。该系...
郭文生向蓓蓓杨霞钱智成黄一潘文睿李南铮瞿元卢秀台熊宇高扬张冯博
文献传递
一种基于GCN的区块链交易风险分析方法
本发明公开了一种基于GCN的区块链交易风险分析方法，包括：步骤S1：对目标交易进行溯源，获得其资金来源的交易；步骤S2：对比资金来源交易中的地址和地址库，计算已知地址的风险值，按照资金比例汇总得到已知风险值；步骤S3：将...
郭文生钱智成杨霞瞿元李南铮黄一潘文睿高扬张冯博卢秀台熊宇万俊林珍珍闫哲任超郑旭东
文献传递
一种schedule调度模块的形式化验证方法
本发明公开一种schedule调度模块的形式化验证方法，针对现有技术对于MILS架构的schedule调度模块的验证过程较为复杂，验证效率低下的问题；本发明通过对schedule调度模块的源代码进行重构操作；对重构之后的...
杨霞郭文生罗雄高扬卢秀台张冯博廖士钞向蓓蓓古涛铭瞿元钱智成李南铮潘文睿黄一熊宇
文献传递
全选 清除 导出
共2页<12>
聚类工具0