您的位置： 专家智库 > >

熊宇

作品数：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的域间通信方法，通过Xen创建多个域，每个域运行不同的操作系统；采用Dom0表示主域，DomU表示客户子系统；本发明根据xenstore对读写权限的要求，实现客户子系统与主域之间的通信、不同安全...
杨霞郭文生罗雄高扬卢秀台张冯博向蓓蓓古涛铭廖士钞李南铮瞿元钱智成潘文睿黄一熊宇
文献传递
基于固定优先级的多核抢占式的多级融合实时调度方法
本发明公开一种基于固定优先级的多核抢占式的多级融合实时调度方法，针对基于MILS架构的多级安全操作系统上运行了各种各样的分区操作系统时，实时分区需要保证其强实时性的问题，本发明多个物理CPU共享同一个就绪队列，就绪队列所...
杨霞郭文生罗雄高扬卢秀台张冯博古涛铭廖士钞向蓓蓓黄一钱智成瞿元李南铮潘文睿熊宇
文献传递
协同过滤的电子商务个性化服务推荐系统的研究
随着Internet技术的迅速发展，电子商务应用不断深入。随着电子商务规模的进一步扩大，电子商务为用户提供越来越多选择的同时，其结构也变得越来越复杂。人们在面对海量信息时往往显得很迷茫，把握不住重点，这就导致了电子商务个...
熊宇
关键词：电子商务数据挖掘个性化推荐程序语言
基于时间片轮转的多级融合实时调度方法
本发明公开一种基于时间片轮转的多级融合实时调度方法，当运行于MILS架构上的所有分区“客户”操作系统没有严格的实时性需求时，本发明中每个物理CPU维持一个就绪队列，队列中的VCPU对应一个信用度值，根据信用度值将VCPU...
杨霞郭文生罗雄高扬卢秀台张冯博古涛铭廖士钞向蓓蓓潘文睿钱智成瞿元黄一李南铮熊宇
文献传递
一种基于区块链的抵押评价方法
本发明涉及机器学习、区块链和智能合约技术领域。其提供了一种基于区块链的抵押评价方法，建立了一种全新的、可信的评价系统。本发明包括一种利用抵押得到权重并进行评价的方法，然后系统使用链上评价信息，采用机器学习等手段，过滤掉机...
杨霞李南铮郭文生钱智成瞿元黄一潘文睿高扬张冯博卢秀台熊宇林珍珍万俊闫哲任超郑旭东
文献传递
MILS架构中的强制访问安全策略实现方法及管理方法
本发明公开一种MILS架构中的强制访问安全策略实现方法及管理方法，采用DTE策略与MLS策略两种强制访问控制机制实现了资源不被非法使用和访问的功能，通过严格限制分区“客户”操作系统对可信分离内核和设备的访问请求，防止未授...
杨霞郭文生罗雄高扬卢秀台张冯博古涛铭廖士钞向蓓蓓黄一瞿元潘文睿钱智成李南铮熊宇
文献传递
多安全等级分区间通信的实现方法
本发明公开一种多安全等级分区间通信的实现方法，针对MILS架构下的多级安全操作系统的通信安全问题，本发明为每个分区分配一个安全等级，各分区间按照其安全等级进行通信；包括：建立两个分区间的通信环境；当一个分区准备向另一个分...
杨霞郭文生罗雄高扬卢秀台张冯博向蓓蓓廖士钞古涛铭瞿元李南铮钱智成黄一潘文睿熊宇
文献传递
基于最早截止时间优先的多级融合实时调度方法
本发明公开一种基于最早截止时间优先的多级融合实时调度方法，对于分区中的“客户”操作系统的任务为周期任务，且每个任务都有明确的截止时间时，本发明的调度算法中维持两个全局队列，分别为就绪队列和耗尽队列；每个VCPU关联了两个...
杨霞郭文生罗雄高扬卢秀台张冯博古涛铭廖士钞向蓓蓓潘文睿瞿元钱智成李南铮黄一熊宇
文献传递
全选 清除 导出
共2页<12>
聚类工具0